Patrick Heymans

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE 2013: 472-481

Patrick Heymans, Axel Legay, Maxime Cordy: Efficient quality assurance of variability-intensive systems. ICSE 2013: 1496-1498

Mathieu Acher, Benoit Baudry, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut: Support for reverse engineering and maintaining feature models. VaMoS 2013: 20

Raimundas Matulevicius, Haralambos Mouratidis, Nicolas Mayer, Eric Dubois, Patrick Heymans: Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management. J. UCS 18(6): 816-844 (2012)

Patrick Heymans: Introduction to the RE'11 special issue: requirements in motion. Requir. Eng. 17(2): 79-81 (2012)

Patrick Heymans, Quentin Boucher, Andreas Classen, Arnaud Bourdoux, Laurent Demonceau: A code tagging approach to software product line development - An application to satellite communication libraries. STTT 14(5): 553-566 (2012)

Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens: Model checking software product lines with SNIP. STTT 14(5): 589-612 (2012)

Mathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, Philippe Merle: Feature Model Differences. CAiSE 2012: 629-645

Martin Mahaux, Patrick Heymans: Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique. CAiSE 2012: 699-700

Quentin Boucher, Gilles Perrouin, Jean-Christophe Deprez, Patrick Heymans: Towards Configurable ISO/IEC 29110-Compliant Software Development Processes for Very Small Entities. EuroSPI 2012: 169-180

Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682

Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry: A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222

Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans: Efficient consistency checking of scenario-based product-line specifications. RE 2012: 161-170

Martin Mahaux, Alistair Mavin, Patrick Heymans: Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People. REFSQ 2012: 101-116

Nicolas Genon, Patrice Caire, Hubert Toussaint, Patrick Heymans, Daniel Laurence Moody: Towards a More Semantically Transparent i* Visual Syntax. REFSQ 2012: 140-146

Olivier Mangin, Béatrix Barafort, Patrick Heymans, Eric Dubois: Designing a Process Reference Model for Information Security Management Systems. SPICE 2012: 129-140

Patrick Heymans: Formal methods for the masses. SPLC (1) 2012: 4

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Towards an incremental automata-based approach for software product-line model checking. SPLC (2) 2012: 74-81

Joseph Gillain, Stéphane Faulkner, Patrick Heymans, Ivan Jureta, Monique Snoeck: Product portfolio scope optimization based on features and goals. SPLC (1) 2012: 161-170

Mathieu Acher, Patrick Heymans, Raphaël Michel: Next-generation model-based variability management: languages and tools. SPLC (2) 2012: 276-277

Quentin Boucher, Gilles Perrouin, Patrick Heymans: Deriving configuration interfaces from feature models: a vision paper. VaMoS 2012: 37-44

Mathieu Acher, Anthony Cleve, Gilles Perrouin, Patrick Heymans, Charles Vanbeneden, Philippe Collet, Philippe Lahire: On extracting feature models from product descriptions. VaMoS 2012: 45-54

Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191

Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, Yves Le Traon: Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines. CoRR abs/1211.5451 (2012)

Andreas Classen, Quentin Boucher, Patrick Heymans: A text-based approach to feature modelling: Syntax and semantics of TVL. Sci. Comput. Program. 76(12): 1130-1143 (2011)

Gilles Perrouin, Andreas Metzger, Patrick Heymans, Yves Le Traon: VAST 2011 workshop summary. ACM SIGSOFT Software Engineering Notes 36(4): 24-25 (2011)

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay: Symbolic model checking of software product lines. ICSE 2011: 321-330

Gunter Mussbacher, Daniel Amyot, Patrick Heymans: Eight Deadly Sins of GRL. iStar 2011: 2-7

Martin Mahaux, Patrick Heymans, Germain Saval: Discovering Sustainability Requirements: An Experience Report. REFSQ 2011: 19-33

Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans: An interactive multi-perspective toolset for non-linear product configuration processes. SPLC Workshops 2011: 50

Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans: A Toolset for Feature-Based Configuration Workflows. SPLC 2011: 65-69

Patrick Heymans, Krzysztof Czarnecki, Ulrich W. Eisenecker (Eds.): Fifth International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium, January 27-29, 2011. Proceedings. ACM International Conference Proceedings Series, ACM 2011, isbn 978-1-4503-0570-9

Víctor Anaya, Giuseppe Berio, Mounira Harzallah, Patrick Heymans, Raimundas Matulevicius, Andreas L. Opdahl, Hervé Panetto, Maria Jose Verdecho: The Unified Enterprise Modelling Language - Overview and further work. Computers in Industry 61(2): 99-111 (2010)

Daniel Laurence Moody, Patrick Heymans, Raimundas Matulevicius: Visual syntax does matter: improving the cognitive effectiveness of the i* visual notation. Requir. Eng. 15(2): 141-175 (2010)

Alexander Helleboogh, Paris Avgeriou, Nelis Boucké, Patrick Heymans: Workshop on Variability in Software Product Line Architectures (VARI-ARCH 2010). ECSA Companion Volume 2010: 309-311

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin: Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344

Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau: Tag and prune: a pragmatic approach to software product line implementation. ASE 2010: 333-336

Martin Mahaux, Patrick Heymans, Neil A. M. Maiden: Making It all Up: Getting in on the Act to Improvise Creative Requirements. RE 2010: 375-376

Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder: Towards Multi-view Feature-Based Configuration. REFSQ 2010: 106-112

Nicolas Genon, Daniel Amyot, Patrick Heymans: Analysing the Cognitive Effectiveness of the UCM Visual Notation. SAM 2010: 221-240

Arnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphaël Michel, Patrick Heymans: Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies. SLE 2010: 337-356

Nicolas Genon, Patrick Heymans, Daniel Amyot: Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation. SLE 2010: 377-396

Deepak Dhungana, Patrick Heymans, Rick Rabiser: A Formal Semantics for Decision-oriented Variability Modeling with DOPLER. VaMoS 2010: 29-35

Arnaud Hubaux, Andreas Classen, Marcílio Mendonça, Patrick Heymans: A Preliminary Review on the Application of Feature Diagrams in Practice. VaMoS 2010: 53-59

Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans: Introducing TVL, a Text-based Feature Modelling. VaMoS 2010: 159-162

Christophe Gauthier, Andreas Classen, Quentin Boucher, Patrick Heymans, Margaret-Anne D. Storey, Marcílio Mendonça: XToF - A Tool for Tag-based Product Line Implementation. VaMoS 2010: 163-166

Martin Glinz, Patrick Heymans, Anne Persson, Guttorm Sindre, Aybüke Aurum, Nazim H. Madhavji, Barbara Paech, Gil Regev, Roel Wieringa: Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09). ACM SIGSOFT Software Engineering Notes 34(5): 40-45 (2009)

Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt: Feature Diagrams for Change-Oriented Programming. ICFI 2009: 107-122

Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh: Towards safer composition. ICSE Companion 2009: 227-230

Arnaud Hubaux, Patrick Heymans: On the evaluation and improvement of feature-based configuration techniques in software product lines. ICSE Companion 2009: 367-370

Daniel Laurence Moody, Patrick Heymans, Raimundas Matulevicius: Improving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual Syntax. RE 2009: 171-180

Andreas Classen, Arnaud Hubaux, Patrick Heymans: Analysis of Feature Configuration Workflows. RE 2009: 381-382

Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans: Relating requirements and feature configurations: a systematic approach. SPLC 2009: 201-210

Arnaud Hubaux, Andreas Classen, Patrick Heymans: Formal modelling of feature configuration workflows. SPLC 2009: 221-230

Andreas Classen, Arnaud Hubaux, Patrick Heymans: A Formal Semantics for Multi-level Staged Configuration. VaMoS 2009: 51-60

Germain Saval, Jorge Pinna Puissant, Patrick Heymans, Tom Mens: Some Challenges of Feature-based Merging of Class Diagrams. VaMoS 2009: 127-136

Martin Glinz, Patrick Heymans (Eds.): Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings. Lecture Notes in Computer Science 5512, Springer 2009, isbn 978-3-642-02049-0

Nicolas Genon, Raimundas Matulevicius, Vincent Englebert, Patrick Heymans: Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information. ECEASST 13 (2008)

Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen: Evaluating formal properties of feature diagram languages. IET Software 2(3): 281-302 (2008)

Nicolas Mayer, Eric Dubois, Patrick Heymans, Raimundas Matulevicius: Défis de la sécurité de l'information. Support à la gestion des risques de sécurité par les modèles. Ingénierie des Systèmes d'Information 13(1): 37-74 (2008)

Barbara Paech, Patrick Heymans, Anne Persson: Report working conference on requirements engineering: foundation for software quality (REFSQ'08). ACM SIGSOFT Software Engineering Notes 33(5) (2008)

Raimundas Matulevicius, Nicolas Mayer, Patrick Heymans: Alignment of Misuse Cases with Security Risk Management. ARES 2008: 1397-1404

Raimundas Matulevicius, Nicolas Mayer, Haralambos Mouratidis, Eric Dubois, Patrick Heymans, Nicolas Genon: Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development. CAiSE 2008: 541-555

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens: What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30

Arnaud Hubaux, Patrick Heymans, David Benavides: Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project. SPLC 2008: 55-64

David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans: First International Workshop on Analysis of Software Product Lines (ASPL'08). SPLC 2008: 385

Patrick Heymans, Kyo Chul Kang, Andreas Metzger, Klaus Pohl (Eds.): Second International Workshop on Variability Modelling of Software-Intensive Systems, Universität Duisburg-Essen, Germany, January 16-18, 2008, Proceedings. ICB Research Report, 2008

Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps: Generic semantics of feature diagrams. Computer Networks 51(2): 456-479 (2007)

Peter Sawyer, Barbara Paech, Patrick Heymans: Working conference on requirements engineering: foundation for software quality (REFSQ'07). ACM SIGSOFT Software Engineering Notes 32(4): 47-53 (2007)

Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans: Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Technique et Science Informatiques 26(7): 797-817 (2007)

Vincent Englebert, Patrick Heymans: Towards More Extensible MetaCASE Tools. CAiSE 2007: 454-468

Sebastián González, Kim Mens, Patrick Heymans: Highly dynamic behaviour adaptability through prototypes with subjective multimethods. DLS 2007: 77-88

Raimundas Matulevicius, Patrick Heymans: Visually Effective Goal Models Using KAOS. ER Workshops 2007: 265-275

Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl: Comparing GRL and KAOS using the UEML Approach. IESA 2007: 77-88

Nicolas Mayer, Patrick Heymans, Raimundas Matulevicius: Design of a Modelling Language for Information System Security Risk Management. RCIS 2007: 121-132

Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, Germain Saval: Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. RE 2007: 243-253

Peter Sawyer, Barbara Paech, Patrick Heymans: REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality. REFSQ 2007: 1-17

Raimundas Matulevicius, Patrick Heymans: Comparing Goal Modelling Languages: An Experiment. REFSQ 2007: 18-32

Andreas Classen, Patrick Heymans, Robin C. Laney, Bashar Nuseibeh, Thein Than Tun: On the Structure of Problem Variability: From Feature Diagrams to Problem Frames. VaMoS 2007: 109-117

Peter Sawyer, Barbara Paech, Patrick Heymans (Eds.): Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings. Lecture Notes in Computer Science 4542, Springer 2007, isbn 978-3-540-73030-9

Klaus Pohl, Patrick Heymans, Kyo Chul Kang, Andreas Metzger (Eds.): First International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. Proceedings. Lero Technical Report 2007-01, 2007

Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux: Feature Diagrams: A Survey and a Formal Semantics. RE 2006: 136-145

Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens: From Live Sequence Charts to State Machines and Back: A Guided Tour. IEEE Trans. Software Eng. 31(12): 999-1014 (2005)

Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux: Generic Semantics of Feature Diagrams Variants. FIW 2005: 58-77

Michaël Petit, Patrick Heymans: Perspectives on the scope and definition process of the Unified Enterprise Modelling Language. CAiSE Workshops (3) 2004: 274-279

Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens: Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools 2003: 174-192

Peter Haumer, Matthias Jarke, Klaus Pohl, Patrick Heymans: Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach. RE 1999: 66-73

Patrick Heymans, Eric Dubois: Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements. Requir. Eng. 3(3/4): 202-218 (1998)