Home Curriculum Vitae Work Blog Stuff

Navigation

Banner

Get Firefox!
Get Thunderbird!
W3C HTML Validator
W3C CSS Validator

www.classen.be

Work (Publications)

This section contains the list of my publications. There is another list on Google Scholar, and also one at DBLP.

Please note that the PDF versions of the documents below are provided for personal use. Copyright is owned by the respective publishers and should be acknowledged explicitly in any distribution of the papers.

Journal papers

2014

  1. Classen, A.; Cordy, M.; Heymans, P.; Legay, A. and Schobbens, P-Y. Formal semantics, modular specification, and symbolic verification of product-line behaviour. In Science of Computer Programming, 80 (B): 416-439, 2014. BibTeX

2013

  1. Classen, A.; Cordy, M.; Schobbens, P-Y.; Heymans, P.; Legay, A. and Raskin, J-F. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and their Application to LTL Model Checking. In IEEE Trans Software Eng (TSE), 39 (8): 1069-1089, 2013. pdf  doi  publisher  BibTeX

2012

  1. Classen, A.; Cordy, M.; Heymans, P.; Legay, A. and Schobbens, P-Y. Model checking software product lines with SNIP. In International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag, 14 (5): 589-612, 2012. pdf  BibTeX
  2. Heymans, P.; Boucher, Q.; Classen, A.; Bourdoux, A. and Demonceau, L. A Code Tagging Approach to Software Product Line Development. In International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag, 14 (5): 553-566, 2012. pdf  BibTeX

2011

  1. Classen, A.; Boucher, Q. and Heymans, P. A Text-based Approach to Feature Modelling: Syntax and Semantics of TVL. In Science of Computer Programming, Special Issue on Software Evolution, Adaptability and Variability, 76 (12): 1130-1143, 2011. pdf  doi  publisher  BibTeX

2008

  1. Heymans, P.; Schobbens, P-Y.; Trigaux, J-C.; Bontemps, Y.; Matulevicius, R. and Classen, A. Evaluating Formal Properties of Feature Diagram Languages. In IET Software Journal, Special Issue on Language Engineering, 2 (3): 281-302, 2008. pdf  BibTeX

Book chapters

2012

  1. Cordy, M.; Classen, A.; Heymans, P.; Legay, A. and Schobbens, P-Y. Model Checking Adaptive Software with Featured Transition Systems (to appear). pdf  www  BibTeX

Conference and workshop papers (peer-reviewed)

2013

  1. Cordy, M.; Classen, A.; Heymans, P.; Schobbens, P-Y. and Legay, A. ProVeLines: a product line of verifiers for software product lines. In 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26 - 30, 2013, pages 141-146, 2013. BibTeX

2012

  1. Cordy, M.; Classen, A.; Perrouin, G.; Heymans, P.; Schobbens, P-Y. and Legay, A. Simulation-Based Abstractions for Software Product-Line Model Checking. In 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland, Proceedings, pages 672-682, IEEE, 2012. pdf  BibTeX
  2. Cordy, M.; Classen, A.; Heymans, P.; Schobbens, P-Y. and Legay, A. Managing Evolution in Software Product Lines: A Model-Checking Perspective. In Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27, pages 183-191, ACM Press, 2012. pdf  BibTeX

2011

  1. Classen, A.; Heymans, P.; Schobbens, P-Y. and Legay, A. Symbolic Model Checking of Software Product Lines. In 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings, pages 321-330, ACM, 2011. pdf  BibTeX
  2. Michel, R.; Classen, A.; Hubaux, A. and Boucher, Q. A Formal Semantics for Feature Cardinalities in Feature Diagrams. In Proceedings of the Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11), Namur, Belgium, January 27-29, pages 83-90, ACM Press, 2011. pdf  BibTeX

2010

  1. Boucher, Q.; Classen, A.; Faber, P. and Heymans, P. Introducing TVL, a Text-based Feature Modelling Language. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29, pages 159-162, University of Duisburg-Essen, 2010. pdf  BibTeX
  2. Boucher, Q.; Classen, A.; Heymans, P.; Bourdoux, A. and Demonceau, L. Tag and Prune: A Pragmatic Approach to Software Product Line Implementation. In ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, pages 333-336, ACM, 2010. pdf  BibTeX
  3. Classen, A.; Heymans, P.; Schobbens, P-Y.; Legay, A. and Raskin, J-F. Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings, pages 335-344, ACM, 2010. pdf  BibTeX
  4. Gauthier, C.; Classen, A.; Boucher, Q.; Heymans, P.; Storey, M-A. and Mendonca, M. XToF: A Tool for Tag-based Product Line Implementation. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29, pages 163-166, University of Duisburg-Essen, 2010. pdf  BibTeX
  5. Hubaux, A.; Classen, A.; Mendonca, M. and Heymans, P. A Preliminary Review on the Application of Feature Diagrams in Practice. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29, pages 53-59, University of Duisburg-Essen, 2010. pdf  BibTeX
  6. Hubaux, A.; Abbasi, E. K.; Classen, A. and Heymans, P. Workflow-driven Product Derivation (Invited Talk). In First International Workshop on Product Line Requirements Engineering and Quality (PLREQ'10), held in conjunction with REFSQ 2010, Essen, Germany, 2010. pdf  BibTeX

2009

  1. Bourdoux, A.; Demonceau, L.; Parisis, P.; Classen, A. and Boucher, Q. Feature Management Applied to On-Board Software Building Blocks. In DASIA 2009, DAta Systems In Aerospace, May 2009, Istanbul, Turkey, ESA, 2009. pdf  BibTeX
  2. Classen, A.; Hubaux, A. and Heymans, P. A Formal Semantics for Multi-level Staged Configuration. In Proceedings of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain, January 28-30, pages 51-60, University of Duisburg-Essen, 2009. pdf  BibTeX
  3. Classen, A.; Heymans, P.; Tun, T. T. and Nuseibeh, B. Towards Safer Composition. In Proceedings of the 31st International Conference on Software Engineering (ICSE), Companion Volume, New Ideas and Emerging Results Track, pages 227-230, IEEE, Vancouver, Canada, 2009. pdf  BibTeX
  4. Classen, A.; Hubaux, A. and Heymans, P. Analysis of Feature Configuration Workflows (poster). In Proceedings of the 17th IEEE International Requirements Engineering Conference (RE'09), Atlanta, Georgia, USA, pages 381-382, IEEE, 2009. pdf  BibTeX
  5. Ebraert, P.; Classen, A.; Heymans, P. and D'Hondt, T. Feature Diagrams for Change-Oriented Programming. In Feature Interactions in Sofware and Communication Systems X (ICFI'09), pages 107-122, IOS Press, Lisbon, Portugal, 2009. pdf  BibTeX
  6. Hubaux, A.; Classen, A. and Heymans, P. Formal Modelling of Feature Configuration Workflows. In Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA, pages 221-230, ACM, ACM International Conference Proceeding Series 446, 2009. pdf  BibTeX
  7. Tun, T. T.; Boucher, Q.; Classen, A.; Hubaux, A. and Heymans, P. Relating Requirements and Feature Configurations: A Systematic Approach. In Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA, pages 201-210, ACM, ACM International Conference Proceeding Series 446, 2009. pdf  BibTeX

2008

  1. Classen, A.; Heymans, P. and Schobbens, P-Y. What's in a Feature: A Requirements Engineering Perspective. In Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE'08), Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS'08), pages 16-30, Springer, LNCS 4961, 2008. pdf  BibTeX
  2. Classen, A.; Laney, R.; Tun, T. T.; Heymans, P. and Hubaux, A. Using the Event Calculus to Reason about Problem Diagrams. In Proceedings of the Third International Workshop on Advances and Applications of Problem Frames (IWAAPF'08). Co-located with ICSE 2008., pages 74-77, ACM Digital Library, Leipzig, Germany, 2008. pdf  BibTeX
  3. Classen, A.; Hubaux, A.; Sanen, F.; Truyen, E.; Vallejos, J.; Costanza, P.; Meuter, W. De; Heymans, P. and Joosen, W. Modelling Variability in Self-Adaptive systems: Towards a Research Agenda. In Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE), held in conjuction with GPCE / OOPSLA 2008, Nashville, Tennessee, October 19-23, pages 19-26, 2008. pdf  BibTeX
  4. Linden, I.; Toussaint, H.; Classen, A. and Schobbens, P-Y. Automatic Student Coaching and Monitoring Thanks to AUTOMATON: The Case of Writing a Compiler. In ECEL 2008: Proceedings of the 7th European Conference on e-Learning, Cyprus 6-7 November 2008, pages 109-117, 2008. pdf  BibTeX

2007

  1. Classen, A.; Heymans, P.; Laney, R.; Nuseibeh, B. and Tun, T. T. On the Structure of Problem Variability: From Feature Diagrams to Problem Frames. In Proceedings of the First International Workshop on Variability Modelling of Software-intensive Systems, January 2007, Limerick, Ireland, pages 109-117, LERO, 2007. pdf  BibTeX
  2. Classen, A. Problem-Oriented Feature Interaction Detection in Software Product Lines. In Feature Interactions in Sofware and Communication Systems IX (ICFI'07), pages 203-206, IOS Press, Grenoble, France, 2007. pdf  BibTeX
  3. Heymans, P.; Schobbens, P-Y.; Trigaux, J-C.; Matulevicius, R.; Classen, A. and Bontemps, Y. Towards the Comparative Evaluation of Feature Diagram Languages. In Proceedings of the Software and Services Variability Management Workshop - Concepts, Models and Tools, Helsinki, Finland, 2007. pdf  BibTeX

2006

  1. Trigaux, J-C.; Heymans, P.; Schobbens, P-Y. and Classen, A. Comparative semantics of Feature Diagrams : FFD vs vDFD. In Proceedings of the Workshop on Comparative Evaluation in Requirements Engineering (CERE06) held in conjunction with the 14th IEEE International Requirements Engineering Conference (RE06), Minneapolis, Minnesota, USA, 2006. pdf  BibTeX

Conference and Workshop proceedings (editor)

2013

  1. Classen, A. and Siegmund, N., ed. 5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013. ACM, 2013. www  BibTeX

2012

  1. Beek, M. H. t. and Classen, A., ed. Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series, 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012. , 2012. pdf  www  BibTeX

PhD thesis

2011

  1. Classen, A. Modelling and Model Checking Variability-Intensive Systems. Ph.D. Thesis, PReCISE Research Centre, Faculty of Computer Science, University of Namur (FUNDP), 5000 Namur, Belgium, 2011. pdf  BibTeX

Technical reports

2011

  1. Classen, A.; Cordy, M.; Heymans, P.; Schobbens, P-Y. and Legay, A. SNIP: An Efficient Model Checker for Software Product Lines. Technical Report P-CS-TR SPLMC-00000003, PReCISE Research Center, University of Namur, 2011. pdf  BibTeX
  2. Cordy, M.; Classen, A.; Perrouin, G.; Heymans, P.; Schobbens, P-Y. and Legay, A. Simulation-Based Abstractions for Software Product-Line Model Checking. Technical Report P-CS-TR SPLMC-00000004, PReCISE Research Center, University of Namur, 2011. pdf  BibTeX

2010

  1. Classen, A.; Boucher, Q.; Faber, P. and Heymans, P. The TVL Specification. Technical Report P-CS-TR SPLBT-00000003, PReCISE Research Center, University of Namur, Namur, Belgium, 2010. pdf  BibTeX
  2. Classen, A. Modelling with FTS: a Collection of Illustrative Examples. Technical Report P-CS-TR SPLMC-00000001, PReCISE Research Center, University of Namur, Namur, Belgium, 2010. pdf  BibTeX
  3. Classen, A. CTL Model Checking for Software Product Lines in NuSMV. Technical Report P-CS-TR SPLMC-00000002, PReCISE Research Center, University of Namur, 2010. pdf  BibTeX

2009

  1. Classen, A.; Hubaux, A. and Heymans, P. A Formal Semantics for Multi-level Staged Configuration. Technical Report P-CS-TR SPLBT-00000002, PReCISE Research Center, University of Namur, Namur, Belgium, 2009. pdf  BibTeX

2008

  1. Hubaux, A. and Classen, A. Taming Time in Software Product Lines. Technical Report P-CS-TR SPLBT-00000001, PReCISE Research Center, University of Namur, Namur, Belgium, 2008. pdf  BibTeX

Other

2007

  1. Classen, A. Problem-Oriented Modelling and Verification of Software Product Lines. Master's Thesis, Computer Science Department, University of Namur, Belgium, 2007. pdf  BibTeX

Contact

acl
@
intecsoft.com

 

[ copyright © 2014 by Andreas Classen ]   [ Curriculum Vitae ]   [ Work ]   [ Blog ]   [ Stuff