| 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 | 640 | 2006 |
| Generic semantics of feature diagrams PY Schobbens, P Heymans, JC Trigaux, Y Bontemps Computer networks 51 (2), 456-479, 2007 | 535 | 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 | 442 | 2010 |
| Model Checking for Software Product Lines with SNIP A Classen, A Hubaux, P Heymans, A Legay, PY Schobbens, M Cordy Int. J. of Tech. Transfer, 2008 | 370* | 2008 |
| 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 | 331 | 2007 |
| 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 | 306 | 2012 |
| Alternating-time logic with imperfect recall PY Schobbens Electronic Notes in Theoretical Computer Science 85 (2), 82-93, 2004 | 261 | 2004 |
| What’s in a Feature: A Requirements Engineering Perspective A Classen, P Heymans, PY Schobbens International Conference on Fundamental Approaches to Software Engineering …, 2008 | 253 | 2008 |
| The regular real-time languages TA Henzinger, JF Raskin, PY Schobbens Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 1998 | 171 | 1998 |
| Operators and laws for combining preference relations M Ryan, PY Schobbens, H Andréka Selected Papers of the Intl. Workshop on Information Systems: Correctness …, 1993 | 162* | 1993 |
| 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 | 133 | 2013 |
| Behavioural modelling and verification of real-time software product lines M Cordy, PY Schobbens, P Heymans, A Legay Proceedings of the 16th International Software Product Line Conference …, 2012 | 125* | 2012 |
| Semantics of FODA feature diagrams Y Bontemps, P Heymans, PY Schobbens, JC Trigaux Proceedings SPLC 2004 Workshop on Software Variability Management for …, 2004 | 109 | 2004 |
| 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 | 103 | 2013 |
| Model-checking access control policies DP Guelev, M Ryan, PY Schobbens Information Security: 7th International Conference, ISC 2004, Palo Alto, CA …, 2004 | 103 | 2004 |
| From live sequence charts to state machines and back: A guided tour Y Bontemps, P Heymans, PY Schobbens IEEE Transactions on Software Engineering 31 (12), 999-1014, 2005 | 98 | 2005 |
| State clock logic: A decidable real-time logic JF Raskin, PY Schobbens International Workshop on Hybrid and Real-Time Systems, 33-47, 1997 | 98 | 1997 |
| 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 | 97 | 2008 |
| Supporting multiple perspectives in feature-based configuration A Hubaux, P Heymans, PY Schobbens, D Deridder, EK Abbasi Software & Systems Modeling 12, 641-663, 2013 | 87 | 2013 |
| Synthesis of open reactive systems from scenario-based specifications Y Bontemps, PY Schobbens, C Löding Fundamenta Informaticae 62 (2), 139-169, 2004 | 83 | 2004 |
Patrick HeymansProfesseur d'Informatique, Université de Namur在 unamur.be 的电子邮件经过验证
