| Model checking lots of systems: efficient verification of temporal properties in software product lines A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 402 | 2010 |
| Symbolic model checking of software product lines A Classen, P Heymans, PY Schobbens, A Legay Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 344* | 2011 |
| Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking A Classen, M Cordy, PY Schobbens, P Heymans, A Legay, JF Raskin IEEE Transactions on Software Engineering 39 (8), 1069-1089, 2012 | 261 | 2012 |
| A text-based approach to feature modelling: Syntax and semantics of TVL A Classen, Q Boucher, P Heymans Science of Computer Programming 76 (12), 1130-1143, 2011 | 240 | 2011 |
| What’s in a Feature: A Requirements Engineering Perspective A Classen, P Heymans, PY Schobbens International Conference on Fundamental Approaches to Software Engineering …, 2008 | 236 | 2008 |
| Introducing TVL, a text-based feature modelling language Q Boucher, A Classen, P Faber, P Heymans Proceedings of the Fourth International Workshop on Variability Modelling of …, 2010 | 108 | 2010 |
| Evaluating formal properties of feature diagram languages P Heymans, PY Schobbens, JC Trigaux, Y Bontemps, R Matulevičius, ... IET software 2 (3), 281-302, 2008 | 95 | 2008 |
| ProVeLines: a product line of verifiers for software product lines M Cordy, A Classen, P Heymans, PY Schobbens, A Legay Proceedings of the 17th International Software Product Line Conference co …, 2013 | 92 | 2013 |
| Formal modelling of feature configuration workflows. A Hubaux, A Classen, P Heymans SPLC 9, 221-230, 2009 | 92 | 2009 |
| Simulation-based abstractions for software product-line model checking M Cordy, A Classen, G Perrouin, PY Schobbens, P Heymans, A Legay 2012 34th International Conference on Software Engineering (ICSE), 672-682, 2012 | 80 | 2012 |
| Relating requirements and feature configurations: A systematic approach T Than Tun, Q Boucher, A Classen, A Hubaux, P Heymans Proceedings of the 13th International Software Product Line Conference, 201-210, 2009 | 78 | 2009 |
| A Formal Semantics for Multi-level Staged Configuration. A Classen, A Hubaux, P Heymans VaMoS 9, 51-60, 2009 | 72 | 2009 |
| Formal semantics, modular specification, and symbolic verification of product-line behaviour A Classen, M Cordy, P Heymans, A Legay, PY Schobbens Science of Computer Programming 80, 416-439, 2014 | 66 | 2014 |
| A Preliminary Review on the Application of Feature Diagrams in Practice. A Hubaux, A Classen, M Mendonça, P Heymans VaMoS 10, 53-59, 2010 | 63 | 2010 |
| Incremental formalization: a key to industrial success B Steffen, T Margaria, A Claßen, V Braun | 58 | 1995 |
| A formal semantics for feature cardinalities in feature diagrams R Michel, A Classen, A Hubaux, Q Boucher Proceedings of the 5th Workshop on Variability Modeling of Software …, 2011 | 56 | 2011 |
| Model checking adaptive software with featured transition systems M Cordy, A Classen, P Heymans, A Legay, PY Schobbens Assurances for Self-Adaptive Systems, 1-29, 2013 | 51 | 2013 |
| Modelling with FTS: a collection of illustrative examples A Classen | 43 | 2010 |
| Managing evolution in software product lines: A model-checking perspective M Cordy, A Classen, PY Schobbens, P Heymans, A Legay Proceedings of the Sixth International Workshop on Variability Modeling of …, 2012 | 41 | 2012 |
| Tag and prune: A pragmatic approach to software product line implementation Q Boucher, A Classen, P Heymans, A Bourdoux, L Demonceau Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 41 | 2010 |
