Patrick Heymans
University of Namur(BE)
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Service-Oriented Architecture and Web Services, Model-Driven Software Engineering Techniques, Software Engineering Research, Software Engineering Techniques and Practices
Most-Cited Works
- → Model checking lots of systems(2010)360 cited
- → Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking(2013)283 cited
- → A proposal for a scenario classification framework(1998)263 cited
- → Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis(2007)216 cited
- → Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines(2014)210 cited
- → Symbolic model checking of software product lines(2011)208 cited
- → A text-based approach to feature modelling: Syntax and semantics of TVL(2010)158 cited
- → Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation(2011)142 cited
- → On extracting feature models from product descriptions(2012)138 cited
- → A Systematic Approach to Define the Domain of Information System Security Risk Management(2010)135 cited