Patrick Heymans

Publication Activity (10 Years)

Years Active: 1978-2022
Publications (10 Years): 32

Top Venues

VaMoS

CoRR

ICSE

SPLC Workshops

Publications

Tony Leclercq, Ebrahim Khalil Abbasi, Bruno Dumas, Marie-Ange Remiche, Patrick Heymans
Essential Expectations of Users of Web Configurators: An Empirical Survey. Proc. ACM Hum. Comput. Interact. 6 (EICS) (2022)
Ebrahim Khalil Abbasi, Tony Leclercq, Patrick Heymans
A meta-model for product configuration ontologies. SPLC (B) (2022)
Pieter Delobelle, Paul Temple, Gilles Perrouin, Benoît Frénay, Patrick Heymans, Bettina Berendt
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning. SIGKDD Explor. 23 (1) (2021)
Sophie Fortz, Paul Temple, Xavier Devroey, Patrick Heymans, Gilles Perrouin
VaryMinions: leveraging RNNs to identify variants in event logs. MaLTeSQuE@ESEC/SIGSOFT FSE (2021)
Pieter Delobelle, Paul Temple, Gilles Perrouin, Benoît Frénay, Patrick Heymans, Bettina Berendt
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning. CoRR (2020)
Julie Henry, Bruno Dumas, Patrick Heymans, Tony Leclercq
Object-Oriented Programming: Diagnosis Understanding by Identifying and Describing Novice Perceptions. FIE (2020)
Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Benoit Amand, Maxime Cordy, Patrick Heymans, Mathieu Acher, Paul Temple, Jean-Marc Jézéquel
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction. VaMoS (2019)
Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser
Multifaceted automated analyses for variability-intensive embedded systems. ICSE (2019)
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. 141 (2018)
Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans
Representing Repairs in Configuration Interfaces: A Look at Industrial Practices. IUI Workshops (2018)
Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans
On Studying Bad Practices in Configuration UIs. IUI Workshops (2018)
Maxime Cordy, Patrick Heymans
Engineering configurators for the retail industry: experience report and challenges ahead. SAC (2018)
Jean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans
Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering. NLDB (2017)
Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans
Towards Security-Aware Mutation Testing. ICST Workshops (2017)
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST (2017)
Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
On Featured Transition Systems. SOFSEM (2017)
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. 16 (1) (2017)
Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Patrick Heymans
Yo variability! JHipster: a playground for web-apps analyses. VaMoS (2017)
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Search-based Similarity-driven Behavioural SPL Testing. VaMoS (2016)
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Featured model-based mutation analysis. ICSE (2016)
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering (2016)
Tony Leclercq, Jean-Marc Davril, Maxime Cordy, Patrick Heymans
Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators. EnCHIReS@EICS (2016)
Nicolas Genon, Gilles Perrouin, Xavier Le Pallec, Patrick Heymans
Unlocking Visual Understanding: Towards Effective Keys for Diagrams. ER (2016)
Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans
A complexity tale: web configurators. VACE@ICSE (2016)
Jean-Marc Davril, Mathieu Acher, Guillaume Bécan, Patrick Heymans
On breaking the curse of dimensionality in reverse engineering feature models. Configuration Workshop (2015)
Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans
All-at-once-synthesis of controllers from scenario-based product line specifications. SPLC (2015)
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS (2015)
Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
State machine flattening, a mapping study and tools assessment. ICST Workshops (2015)
Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher
Using fuzzy modeling for consistent definitions of product qualities in requirements. AIRE (2015)
Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans
Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) (2015)
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. Software Engineering & Management (2015)
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
Towards statistical prioritization for software product lines testing. VaMoS (2014)
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80 (2014)
Ebrahim Khalil Abbasi, Mathieu Acher, Patrick Heymans, Anthony Cleve
Reverse engineering web configurators. CSMR-WCRE (2014)
Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) (2014)
Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens
An extensible platform for product-line behavioural analysis. SPLC Workshops (2014)
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE (2014)
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 Configurations for Software Product Lines. IEEE Trans. Software Eng. 40 (7) (2014)
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
State Machine Flattening: Mapping Study and Assessment. CoRR (2014)
Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
ProVeLines: a product line of verifiers for software product lines. SPLC Workshops (2013)
Birgit Penzenstadler, Martin Mahaux, Patrick Heymans
University meets industry: Calling in real stakeholders. CSEE&T (2013)
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
Towards Statistical Prioritization for Software Product Lines Testing. CoRR (2013)
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay
Verification for Reliable Product Lines. CoRR (2013)
Patrice Caire, Nicolas Genon, Patrick Heymans, Daniel Laurence Moody
Visual notation design 2.0: Towards user comprehensible requirements engineering notations. RE (2013)
Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39 (8) (2013)
Patrick Heymans, Axel Legay, Maxime Cordy
Efficient quality assurance of variability-intensive systems. ICSE (2013)
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
Incrementally synthesizing controllers from scenario-based product line specifications. ESEC/SIGSOFT FSE (2013)
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, Patrick Heymans
Feature model extraction from large collections of informal product descriptions. ESEC/SIGSOFT FSE (2013)
Olivier Mangin, Nicolas Mayer, Béatrix Barafort, Patrick Heymans, Eric Dubois
An Improvement of Process Reference Model Design and Validation Using Business Process Management. SPICE (2013)
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications. Requir. Eng. 18 (2) (2013)
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE (2013)
Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder, Ebrahim Khalil Abbasi
Supporting multiple perspectives in feature-based configuration. Softw. Syst. Model. 12 (3) (2013)
Mathieu Acher, Benoit Baudry, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut
Support for reverse engineering and maintaining feature models. VaMoS (2013)
Arnaud Hubaux, Thein Than Tun, Patrick Heymans
Separation of concerns in feature diagram languages: A systematic survey. ACM Comput. Surv. 45 (4) (2013)
Ebrahim Khalil Abbasi, Arnaud Hubaux, Mathieu Acher, Quentin Boucher, Patrick Heymans
The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases. CAiSE (2013)
Olivier Mangin, Béatrix Barafort, Patrick Heymans, Eric Dubois
Designing a Process Reference Model for Information Security Management Systems. SPICE (2012)
Martin Mahaux, Alistair Mavin, Patrick Heymans
Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People. REFSQ (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. Int. J. Softw. Tools Technol. Transf. 14 (5) (2012)
Joseph Gillain, Stéphane Faulkner, Patrick Heymans, Ivan Jureta, Monique Snoeck
Product portfolio scope optimization based on features and goals. SPLC (1) (2012)
Mathieu Acher, Anthony Cleve, Gilles Perrouin, Patrick Heymans, Charles Vanbeneden, Philippe Collet, Philippe Lahire
On extracting feature models from product descriptions. VaMoS (2012)
Quentin Boucher, Gilles Perrouin, Patrick Heymans
Deriving configuration interfaces from feature models: a vision paper. VaMoS (2012)
Martin Mahaux, Patrick Heymans
Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique. CAiSE (2012)
Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Simulation-based abstractions for software product-line model checking. ICSE (2012)
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)
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14 (5) (2012)
Patrick Heymans
Formal methods for the masses. SPLC (1) (2012)
Quentin Boucher, Ebrahim Khalil Abbasi, Arnaud Hubaux, Gilles Perrouin, Mathieu Acher, Patrick Heymans
Towards more reliable configurators: a re-engineering perspective. PLEASE@ICSE (2012)
Mathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, Philippe Merle
Feature Model Differences. CAiSE (2012)
Patrick Heymans
Introduction to the RE'11 special issue: requirements in motion. Requir. Eng. 17 (2) (2012)
Arnaud Hubaux, Dietmar Jannach, Conrad Drescher, Leonardo Murta, Tomi Männistö, Krzysztof Czarnecki, Patrick Heymans, Tien Nguyen, Markus Zanker
Unifying Software, Product Configuration: A Research Roadmap. Configuration Workshop (2012)
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
Efficient consistency checking of scenario-based product-line specifications. RE (2012)
Raimundas Matulevicius, Haralambos Mouratidis, Nicolas Mayer, Eric Dubois, Patrick Heymans
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management. J. Univers. Comput. Sci. 18 (6) (2012)
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Towards an incremental automata-based approach for software product-line model checking. SPLC (2) (2012)
Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Managing evolution in software product lines: a model-checking perspective. VaMoS (2012)
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 (2012)
Mathieu Acher, Raphaël Michel, Patrick Heymans, Philippe Collet, Philippe Lahire
Languages and tools for managing feature models. PLEASE@ICSE (2012)
Mathieu Acher, Patrick Heymans, Raphaël Michel
Next-generation model-based variability management: languages and tools. SPLC (2) (2012)
Clément Quinton, Laurence Duchien, Patrick Heymans, Stéphane Mouton, Etienne Charlier
Using feature modelling and automations to select among cloud solutions. PLEASE@ICSE (2012)
Nicolas Genon, Patrice Caire, Hubert Toussaint, Patrick Heymans, Daniel Laurence Moody
Towards a More Semantically Transparent i* Visual Syntax. REFSQ (2012)
Quentin Boucher, Gilles Perrouin, Jean-Christophe Deprez, Patrick Heymans
Towards Configurable ISO/IEC 29110-Compliant Software Development Processes for Very Small Entities. EuroSPI (2012)
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Behavioural modelling and verification of real-time software product lines. SPLC (1) (2012)
Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans
An SMT-based approach to automated configuration. SMT@IJCAR (2012)
Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans
An interactive multi-perspective toolset for non-linear product configuration processes. SPLC Workshops (2011)
Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans
A Toolset for Feature-Based Configuration Workflows. SPLC (2011)
Martin Mahaux, Patrick Heymans, Germain Saval
Discovering Sustainability Requirements: An Experience Report. REFSQ (2011)
Gilles Perrouin, Andreas Metzger, Patrick Heymans, Yves Le Traon
VAST 2011 workshop summary. ACM SIGSOFT Softw. Eng. Notes 36 (4) (2011)
Andreas Classen, Quentin Boucher, Patrick Heymans
A text-based approach to feature modelling: Syntax and semantics of TVL. Sci. Comput. Program. 76 (12) (2011)
Gunter Mussbacher, Daniel Amyot, Patrick Heymans
Eight Deadly Sins of GRL. iStar (2011)
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
Symbolic model checking of software product lines. ICSE (2011)
Alexander Helleboogh, Paris Avgeriou, Nelis Boucké, Patrick Heymans
Workshop on Variability in Software Product Line Architectures (VARI-ARCH 2010). ECSA Companion Volume (2010)
Arnaud Hubaux, Andreas Classen, Marcílio Mendonça, Patrick Heymans
A Preliminary Review on the Application of Feature Diagrams in Practice. VaMoS (2010)
Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder
Towards Multi-view Feature-Based Configuration. REFSQ (2010)
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)
Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans
Introducing TVL, a Text-based Feature Modelling. VaMoS (2010)
Martin Mahaux, Patrick Heymans, Neil A. M. Maiden
Making It all Up: Getting in on the Act to Improvise Creative Requirements. RE (2010)
Daniel Laurence Moody, Patrick Heymans, Raimundas Matulevicius
* visual notation. Requir. Eng. 15 (2) (2010)
Nicolas Genon, Daniel Amyot, Patrick Heymans
Analysing the Cognitive Effectiveness of the UCM Visual Notation. SAM (2010)
Arnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphaël Michel, Patrick Heymans
Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies. SLE (2010)
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)

Patrick Heymans.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Heymans