Skip to content

Publications

In Proceedings

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

  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

  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 Relation for Software Product Lines: Foundations for Scalable Model Checking. Technical Report P-CS-TR SPLMC-00000004, PReCISE Research Center, University of Namur, 2011. 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
  4. 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