| Feature diagrams: A survey and a formal semantics PY Schobbens, P Heymans, JC Trigaux 14th IEEE International Requirements Engineering Conference (RE'06), 139-148, 2006 | 620 | 2006 |
| Generic semantics of feature diagrams PY Schobbens, P Heymans, JC Trigaux, Y Bontemps Computer networks 51 (2), 456-479, 2007 | 523 | 2007 |
| 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 | 417 | 2010 |
| A proposal for a scenario classification framework C Rolland, CB Achour, C Cauvet, J Ralyté, A Sutcliffe, NAM Maiden, ... Requirements engineering journal 3 (1), 23-47, 1998 | 373 | 1998 |
| Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis A Metzger, K Pohl, P Heymans, PY Schobbens, G Saval 15th IEEE International Requirements Engineering Conference (RE 2007), 243-253, 2007 | 328 | 2007 |
| 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 | 285 | 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 | 284 | 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 | 251 | 2011 |
| What’s in a Feature: A Requirements Engineering Perspective A Classen, P Heymans, PY Schobbens Fundamental Approaches to Software Engineering: 11th International …, 2008 | 246 | 2008 |
| Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines C Henard, M Papadakis, G Perrouin, J Klein, P Heymans, Y Le Traon IEEE Transactions on Software Engineering 40 (7), 650-670, 2014 | 227 | 2014 |
| Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines C Henard, M Papadakis, G Perrouin, J Klein, P Heymans, Y Le Traon IEEE Transactions on Software Engineering 40 (7), 650-670, 2014 | 227 | 2014 |
| Analysing the cognitive effectiveness of the BPMN 2.0 visual notation N Genon, P Heymans, D Amyot Software Language Engineering: Third International Conference, SLE 2010 …, 2011 | 216 | 2011 |
| A systematic approach to define the domain of information system security risk management É Dubois, P Heymans, N Mayer, R Matulevičius Intentional perspectives on information systems engineering, 289-306, 2010 | 206 | 2010 |
| On extracting feature models from product descriptions M Acher, A Cleve, G Perrouin, P Heymans, C Vanbeneden, P Collet, ... proceedings of the sixth international workshop on variability modeling of …, 2012 | 200 | 2012 |
| Feature model extraction from large collections of informal product descriptions JM Davril, E Delfosse, N Hariri, M Acher, J Cleland-Huang, P Heymans proceedings of the 2013 9th joint meeting on foundations of software …, 2013 | 183 | 2013 |
| Visual syntax does matter: improving the cognitive effectiveness of the i* visual notation DL Moody, P Heymans, R Matulevičius Requirements Engineering 15, 141-175, 2010 | 183 | 2010 |
| Beyond boolean product-line model checking: dealing with feature attributes and multi-features M Cordy, PY Schobbens, P Heymans, A Legay 2013 35th International Conference on Software Engineering (ICSE), 472-481, 2013 | 129 | 2013 |
| Model checking software product lines with SNIP A Classen, M Cordy, P Heymans, A Legay, PY Schobbens International Journal on Software Tools for Technology Transfer 14, 589-612, 2012 | 128 | 2012 |
| Improving the effectiveness of visual representations in requirements engineering: An evaluation of i* visual syntax DL Moody, P Heymans, R Matulevicius 2009 17th IEEE International Requirements Engineering Conference, 171-180, 2009 | 120 | 2009 |
| Visual notation design 2.0: Towards user comprehensible requirements engineering notations P Caire, N Genon, P Heymans, DL Moody 2013 21st IEEE International Requirements Engineering Conference (RE), 115-124, 2013 | 114 | 2013 |
