Skip to content

Publications

In Proceedings

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 (to appear). In 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland, Proceedings, IEEE, 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