Structured design benefits to a process control software project. - G. P. Benincasa; Axel Daneels; Patrick Heymans; Ch. Serre (SIGMINI, 1978)

Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements. - Patrick Heymans; Eric Dubois 001 (Requir. Eng., 1998)

A proposal for a scenario classification framework. - Colette Rolland; Camille Ben Achour; Corine Cauvet; Jolita Ralyté; Alistair G. Sutcliffe; Neil A. M. Maiden; Matthias Jarke; Peter Haumer; Klaus Pohl; Eric Dubois 001; Patrick Heymans (Requir. Eng., 1998)

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

Animating Albert II Specifications - Patrick Heymans (2001)

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

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

A template-based analysis of GRL. - Gautier Dallons; Patrick Heymans; Isabelle Pollet (EMMSAD, 2005)

Generic Semantics of Feature Diagrams Variants. - Yves Bontemps; Patrick Heymans; Pierre-Yves Schobbens; Jean-Christophe Trigaux (FIW, 2005)

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

Ontological Analysis of KAOS Using Separation of Reference. - Raimundas Matulevicius; Patrick Heymans; Andreas L. Opdahl (EMMSAD, 2006)

Comparative Semantics of Feature Diagrams. - Pierre-Yves Schobbens; Patrick Heymans; Jean-Christophe Trigaux; Yves Bontemps (EVOL, 2006)

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

Towards More Extensible MetaCASE Tools. - Vincent Englebert; Patrick Heymans (CAiSE, 2007)

Highly dynamic behaviour adaptability through prototypes with subjective multimethods. - Sebastián González; Kim Mens; Patrick Heymans (DLS, 2007)

Visually Effective Goal Models Using KAOS. - Raimundas Matulevicius; Patrick Heymans (ER Workshops, 2007)

Comparing GRL and KAOS using the UEML Approach. - Raimundas Matulevicius; Patrick Heymans; Andreas L. Opdahl (IESA, 2007)

Design of a Modelling Language for Information System Security Risk Management. - Nicolas Mayer; Patrick Heymans; Raimundas Matulevicius (RCIS, 2007)

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

Comparing Goal Modelling Languages: An Experiment. - Raimundas Matulevicius; Patrick Heymans (REFSQ, 2007)

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

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

Generic semantics of feature diagrams. - Pierre-Yves Schobbens; Patrick Heymans; Jean-Christophe Trigaux; Yves Bontemps (Comput. Networks, 2007)

Working conference on requirements engineering: foundation for software quality (REFSQ'07). - Peter Sawyer; Barbara Paech; Patrick Heymans (ACM SIGSOFT Softw. Eng. Notes, 2007)

Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. - Yves Bontemps; Germain Saval; Pierre-Yves Schobbens; Patrick Heymans (Tech. Sci. Informatiques, 2007)

Alignment of Misuse Cases with Security Risk Management. - Raimundas Matulevicius; Nicolas Mayer; Patrick Heymans (ARES, 2008)

Separating variability concerns in a product line re-engineering project. - Arnaud Hubaux; Patrick Heymans; Hataichanok Unphon (EA@AOSD, 2008)

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

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

Using the event calculus to reason about problem diagrams. - Andreas Classen; Robin C. Laney; Thein Than Tun; Patrick Heymans; Arnaud Hubaux (IWAAPF@ICSE, 2008)

Towards a Measurement Framework for Security Risk Management. - Nicolas Mayer; Eric Dubois 001; Raimundas Matulevicius; Patrick Heymans (MODSEC@MoDELS, 2008)

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

Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project. - Arnaud Hubaux; Patrick Heymans; David Benavides 001 (SPLC, 2008)

Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information. - Nicolas Genon; Raimundas Matulevicius; Vincent Englebert; Patrick Heymans (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Evaluating formal properties of feature diagram languages. - Patrick Heymans; Pierre-Yves Schobbens; Jean-Christophe Trigaux; Yves Bontemps; Raimundas Matulevicius; Andreas Classen (IET Softw., 2008)

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

Report working conference on requirements engineering: foundation for software quality (REFSQ'08). - Barbara Paech; Patrick Heymans; Anne Persson (ACM SIGSOFT Softw. Eng. Notes, 2008)

Feature Diagrams for Change-Oriented Programming. - Peter Ebraert; Andreas Classen; Patrick Heymans; Theo D'Hondt (ICFI, 2009)

Towards safer composition. - Andreas Classen; Patrick Heymans; Thein Than Tun; Bashar Nuseibeh (ICSE Companion, 2009)

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

Analysis of Feature Configuration Workflows. - Andreas Classen; Arnaud Hubaux; Patrick Heymans (RE, 2009)

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

Formal modelling of feature configuration workflows. - Arnaud Hubaux; Andreas Classen; Patrick Heymans (SPLC, 2009)

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

A Formal Semantics for Multi-level Staged Configuration. - Andreas Classen; Arnaud Hubaux; Patrick Heymans (VaMoS, 2009)

Some Challenges of Feature-based Merging of Class Diagrams. - Germain Saval; Jorge Pinna Puissant; Patrick Heymans; Tom Mens (VaMoS, 2009)

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

A Systematic Approach to Define the Domain of Information System Security Risk Management. - Eric Dubois 001; Patrick Heymans; Nicolas Mayer; Raimundas Matulevicius (Intentional Perspectives on Information Systems Engineering, 2010)

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

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

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

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

Towards Multi-view Feature-Based Configuration. - Arnaud Hubaux; Patrick Heymans; Pierre-Yves Schobbens; Dirk Deridder (REFSQ, 2010)

Analysing the Cognitive Effectiveness of the UCM Visual Notation. - Nicolas Genon; Daniel Amyot; Patrick Heymans (SAM, 2010)

Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation. - Nicolas Genon; Patrick Heymans; Daniel Amyot (SLE, 2010)

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

Introducing TVL, a Text-based Feature Modelling. - Quentin Boucher; Andreas Classen; Paul Faber; Patrick Heymans (VaMoS, 2010)

A Formal Semantics for Decision-oriented Variability Modeling with DOPLER. - Deepak Dhungana; Patrick Heymans; Rick Rabiser (VaMoS, 2010)

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

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

The Unified Enterprise Modelling Language - Overview and further work. - Víctor Anaya; Giuseppe Berio; Mounira Harzallah; Patrick Heymans; Raimundas Matulevicius; Andreas L. Opdahl; Hervé Panetto; Maria Jose Verdecho (Comput. Ind., 2010)

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

Symbolic model checking of software product lines. - Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay (ICSE, 2011)

Eight Deadly Sins of GRL. - Gunter Mussbacher; Daniel Amyot; Patrick Heymans (iStar, 2011)

Discovering Sustainability Requirements: An Experience Report. - Martin Mahaux; Patrick Heymans; Germain Saval (REFSQ, 2011)

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

A Toolset for Feature-Based Configuration Workflows. - Ebrahim Khalil Abbasi; Arnaud Hubaux; Patrick Heymans (SPLC, 2011)

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

VAST 2011 workshop summary. - Gilles Perrouin; Andreas Metzger; Patrick Heymans; Yves Le Traon (ACM SIGSOFT Softw. Eng. Notes, 2011)

An SMT-based approach to automated configuration. - Raphaël Michel; Arnaud Hubaux; Vijay Ganesh 001; Patrick Heymans (SMT@IJCAR, 2012)

Feature Model Differences. - Mathieu Acher; Patrick Heymans; Philippe Collet; Clément Quinton; Philippe Lahire; Philippe Merle (CAiSE, 2012)

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

Unifying Software, Product Configuration: A Research Roadmap. - Arnaud Hubaux; Dietmar Jannach; Conrad Drescher; Leonardo Murta 001; Tomi Männistö; Krzysztof Czarnecki 001; Patrick Heymans; Tien Nguyen; Markus Zanker (Configuration Workshop, 2012)

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

Languages and tools for managing feature models. - Mathieu Acher; Raphaël Michel; Patrick Heymans; Philippe Collet; Philippe Lahire (PLEASE@ICSE, 2012)

Towards more reliable configurators: a re-engineering perspective. - Quentin Boucher; Ebrahim Khalil Abbasi; Arnaud Hubaux; Gilles Perrouin; Mathieu Acher; Patrick Heymans (PLEASE@ICSE, 2012)

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

Using feature modelling and automations to select among cloud solutions. - Clément Quinton; Laurence Duchien; Patrick Heymans; Stéphane Mouton; Etienne Charlier (PLEASE@ICSE, 2012)

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

Efficient consistency checking of scenario-based product-line specifications. - Joel Greenyer; Amir Molzam Sharifloo; Maxime Cordy; Patrick Heymans (RE, 2012)

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

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

Designing a Process Reference Model for Information Security Management Systems. - Olivier Mangin; Béatrix Barafort; Patrick Heymans; Eric Dubois 001 (SPICE, 2012)

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

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

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

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

Formal methods for the masses. - Patrick Heymans (SPLC (1), 2012)

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

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

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

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

Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management. - Raimundas Matulevicius; Haralambos Mouratidis; Nicolas Mayer; Eric Dubois 001; Patrick Heymans (J. Univers. Comput. Sci., 2012)

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

Model checking software product lines with SNIP. - Andreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Int. J. Softw. Tools Technol. Transf., 2012)

A code tagging approach to software product line development - An application to satellite communication libraries. - Patrick Heymans; Quentin Boucher; Andreas Classen; Arnaud Bourdoux; Laurent Demonceau (Int. J. Softw. Tools Technol. Transf., 2012)

Separating Concerns in Feature Models: Retrospective and Support for Multi-Views. - Arnaud Hubaux; Mathieu Acher; Thein Than Tun; Patrick Heymans; Philippe Collet; Philippe Lahire (Domain Engineering, Product Lines, Languages, and Conceptual Models, 2013)

The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases. - Ebrahim Khalil Abbasi; Arnaud Hubaux; Mathieu Acher; Quentin Boucher; Patrick Heymans (CAiSE, 2013)

University meets industry: Calling in real stakeholders. - Birgit Penzenstadler; Martin Mahaux; Patrick Heymans (CSEE&T, 2013)

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

Efficient quality assurance of variability-intensive systems. - Patrick Heymans; Axel Legay; Maxime Cordy (ICSE, 2013)

Visual notation design 2.0: Towards user comprehensible requirements engineering notations. - Patrice Caire; Nicolas Genon; Patrick Heymans; Daniel Laurence Moody (RE, 2013)

Feature model extraction from large collections of informal product descriptions. - Jean-Marc Davril; Edouard Delfosse; Negar Hariri; Mathieu Acher; Jane Cleland-Huang; Patrick Heymans (ESEC/SIGSOFT FSE, 2013)

An Improvement of Process Reference Model Design and Validation Using Business Process Management. - Olivier Mangin; Nicolas Mayer; Béatrix Barafort; Patrick Heymans; Eric Dubois 001 (SPICE, 2013)

ProVeLines: a product line of verifiers for software product lines. - Maxime Cordy; Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay (SPLC Workshops, 2013)

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

Verification for Reliable Product Lines. - Maxime Cordy; Patrick Heymans; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Carlo Ghezzi; Axel Legay (CoRR, 2013)

Separation of concerns in feature diagram languages: A systematic survey. - Arnaud Hubaux; Thein Than Tun; Patrick Heymans (ACM Comput. Surv., 2013)

Features meet scenarios: modeling and consistency-checking scenario-based product line specifications. - Joel Greenyer; Amir Molzam Sharifloo; Maxime Cordy; Patrick Heymans (Requir. Eng., 2013)

Supporting multiple perspectives in feature-based configuration. - Arnaud Hubaux; Patrick Heymans; Pierre-Yves Schobbens; Dirk Deridder; Ebrahim Khalil Abbasi (Softw. Syst. Model., 2013)

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. - Andreas Classen; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay; Jean-François Raskin (IEEE Trans. Software Eng., 2013)

Model Checking Adaptive Software with Featured Transition Systems. - Maxime Cordy; Andreas Classen; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Assurances for Self-Adaptive Systems, 2013)

Reverse engineering web configurators. - Ebrahim Khalil Abbasi; Mathieu Acher; Patrick Heymans; Anthony Cleve (CSMR-WCRE, 2014)

Coverage Criteria for Behavioural Testing of Software Product Lines. - Xavier Devroey; Gilles Perrouin; Axel Legay; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans (ISoLA (1), 2014)

An extensible platform for product-line behavioural analysis. - Maxime Cordy; Marco Willemart; Bruno Dawagne; Patrick Heymans; Pierre-Yves Schobbens (SPLC Workshops, 2014)

Towards statistical prioritization for software product lines testing. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Pierre-Yves Schobbens; Axel Legay; Patrick Heymans (VaMoS, 2014)

State Machine Flattening: Mapping Study and Assessment. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (CoRR, 2014)

Formal semantics, modular specification, and symbolic verification of product-line behaviour. - Andreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Sci. Comput. Program., 2014)

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines. - Christopher Henard; Mike Papadakis; Gilles Perrouin; Jacques Klein; Patrick Heymans; Yves Le Traon (IEEE Trans. Software Eng., 2014)

On breaking the curse of dimensionality in reverse engineering feature models. - Jean-Marc Davril; Mathieu Acher; Guillaume Bécan; Patrick Heymans (Configuration Workshop, 2015)

Poster: VIBeS, Transition System Mutation Made Easy. - Xavier Devroey; Gilles Perrouin; Pierre-Yves Schobbens; Patrick Heymans (ICSE (2), 2015)

State machine flattening, a mapping study and tools assessment. - Xavier Devroey; Maxime Cordy; Pierre-Yves Schobbens; Axel Legay; Patrick Heymans (ICST Workshops, 2015)

Using fuzzy modeling for consistent definitions of product qualities in requirements. - Jean-Marc Davril; Maxime Cordy; Patrick Heymans; Mathieu Acher (AIRE, 2015)

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. - Joel Greenyer; Christian Brenner 001; Maxime Cordy; Patrick Heymans; Erika Gressi (Software Engineering & Management, 2015)

All-at-once-synthesis of controllers from scenario-based product line specifications. - Maxime Cordy; Jean-Marc Davril; Joel Greenyer; Erika Gressi; Patrick Heymans (SPLC, 2015)

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. - Xavier Devroey; Gilles Perrouin; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (VaMoS, 2015)

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators. - Tony Leclercq; Jean-Marc Davril; Maxime Cordy; Patrick Heymans (EnCHIReS@EICS, 2016)

Unlocking Visual Understanding: Towards Effective Keys for Diagrams. - Nicolas Genon; Gilles Perrouin; Xavier Le Pallec; Patrick Heymans (ER, 2016)

Featured model-based mutation analysis. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (ICSE, 2016)

A complexity tale: web configurators. - Gilles Perrouin; Mathieu Acher; Jean-Marc Davril; Axel Legay; Patrick Heymans (VACE@ICSE, 2016)

Counterexample guided abstraction refinement of product-line behavioural models. - Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens; Bruno Dawagne; Martin Leucker (Software Engineering, 2016)

Search-based Similarity-driven Behavioural SPL Testing. - Xavier Devroey; Gilles Perrouin; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (VaMoS, 2016)

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (ICST, 2017)

Towards Security-Aware Mutation Testing. - Thomas Loise; Xavier Devroey; Gilles Perrouin; Mike Papadakis; Patrick Heymans (ICST Workshops, 2017)

Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering. - Jean-Marc Davril; Tony Leclercq; Maxime Cordy; Patrick Heymans (NLDB, 2017)

On Featured Transition Systems. - Axel Legay; Gilles Perrouin; Xavier Devroey; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans (SOFSEM, 2017)

Yo variability! JHipster: a playground for web-apps analyses. - Axel Halin; Alexandre Nuttinck; Mathieu Acher; Xavier Devroey; Gilles Perrouin; Patrick Heymans (VaMoS, 2017)

Statistical prioritization for software product line testing: an experience report. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Hamza Samih; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (Softw. Syst. Model., 2017)

Engineering Configuration Graphical User Interfaces from Variability Models. - Quentin Boucher; Gilles Perrouin; Jean-Marc Davril; Patrick Heymans (Human Centered Software Product Lines, 2017)

Feature-Based Elicitation of Cognitively Efficient Visualizations for SPL Configurations. - Céline Sauvage-Thomase; Nicolas Biri; Gilles Perrouin; Nicolas Genon; Patrick Heymans (Human Centered Software Product Lines, 2017)

On Studying Bad Practices in Configuration UIs. - Tony Leclercq; Maxime Cordy; Bruno Dumas; Patrick Heymans (IUI Workshops, 2018)

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices. - Tony Leclercq; Maxime Cordy; Bruno Dumas; Patrick Heymans (IUI Workshops, 2018)

Engineering configurators for the retail industry: experience report and challenges ahead. - Maxime Cordy; Patrick Heymans (SAC, 2018)

Model-based mutant equivalence detection using automata language equivalence and simulations. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (J. Syst. Softw., 2018)

A Decade of Featured Transition Systems. - Maxime Cordy; Xavier Devroey; Axel Legay; Gilles Perrouin; Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Jean-François Raskin (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Multifaceted automated analyses for variability-intensive embedded systems. - Sami Lazreg; Maxime Cordy; Philippe Collet; Patrick Heymans; Sébastien Mosser 001 (ICSE, 2019)

Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction. - Benoit Amand; Maxime Cordy; Patrick Heymans; Mathieu Acher; Paul Temple; Jean-Marc Jézéquel (VaMoS, 2019)

Object-Oriented Programming: Diagnosis Understanding by Identifying and Describing Novice Perceptions. - Julie Henry; Bruno Dumas; Patrick Heymans; Tony Leclercq (FIE, 2020)

VaryMinions: leveraging RNNs to identify variants in event logs. - Sophie Fortz; Paul Temple; Xavier Devroey; Patrick Heymans; Gilles Perrouin (MaLTeSQuE@ESEC/SIGSOFT FSE, 2021)

Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning. - Pieter Delobelle; Paul Temple; Gilles Perrouin; Benoît Frénay; Patrick Heymans; Bettina Berendt (SIGKDD Explor., 2021)

A meta-model for product configuration ontologies. - Ebrahim Khalil Abbasi; Tony Leclercq; Patrick Heymans (SPLC (B), 2022)

Essential Expectations of Users of Web Configurators: An Empirical Survey. - Tony Leclercq; Ebrahim Khalil Abbasi; Bruno Dumas; Marie-Ange Remiche; Patrick Heymans (Proc. ACM Hum. Comput. Interact., 2022)

VaryMinions: leveraging RNNs to identify variants in variability-intensive systems' logs. - Sophie Fortz; Paul Temple; Xavier Devroey; Patrick Heymans; Gilles Perrouin (Empir. Softw. Eng., 2024)