Skip to content

Publications

Articles

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  BibTeX
  2. Greenyer, J.; Sharifloo, A. M.; Cordy, M. and Heymans, P. Features Meet Scenarios: Modeling and Consistency-Checking Scenario-Based Product-Line Specifications. In Requirements Engineering Journal, 18 (2): 175–198, 2013. 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

Book chapters

2012

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

In Proceedings

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
  2. Cordy, M.; Legay, A.; Schobbens, P-Y. and Traonouez, L-M. A Framework for the Rigorous Design Highly Adaptive Timed Systems. In FormaliSE’13, pages 64–70, IEEE, 2013. BibTeX
  3. Cordy, M.; Schobbens, P-Y.; Heymans, P. and Legay, A. Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features. In ICSE’13 (to appear), IEEE, 2013. pdf  BibTeX
  4. Greenyer, J.; Brenner, C.; Cordy, M.; Heymans, P. and Gressi, E. Incrementally synthesizing controllers from scenario-based product line specifications. In ESEC/FSE’13, pages 433–443, ACM, 2013. BibTeX

2012

  1. 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
  2. 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
  3. Cordy, M.; Schobbens, P-Y.; Heymans, P. and Legay, A. Behavioural Modelling and Verification of Real-Time Software Product Lines. In 16th International Software Product Line Conference, SPLC 2012, September 2-7, 2012, Salvador, Brazil, Proceedings, ACM, 2012. pdf  BibTeX
  4. Cordy, M.; Schobbens, P-Y.; Heymans, P. and Legay, A. Towards an Incremental Automata-Based Approach for Software Product-Line Model Checking. In Third Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE 2012, September 2, 2012, Salvador, Brazil, Proceedings, pages 74–81, 2012. pdf  BibTeX
  5. Greenyer, J.; Sharifloo, A. M.; Cordy, M. and Heymans, P. Efficient Consistency Checking of Scenario-Based Product Line Specifications. In 30th IEEE International Requirements Engineering Conference, RE 2012, September 24-28, 2012, Chicago, Illinois, USA, Proceedings, pages 161–170, 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

2010

  1. 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

2009

  1. 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

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

PhD Theses

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. 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. 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
  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