Skip to content

Patrick Heymans

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

79

Venues

25

Active years

1999–2026

Best venue rank

A*

Where they publish

Papers

79 indexed papers, newest first.

YearVenueTitleAuthors
2026ICWEOASQuali: Automated Quality Analysis of OpenAPI Specifications.Alix Decrop, Mikel Vandeloise, Patrick Heymans, Gilles Perrouin
2022SPLCA meta-model for product configuration ontologies.Ebrahim Khalil Abbasi, Tony Leclercq, Patrick Heymans
2020FIEObject-Oriented Programming: Diagnosis Understanding by Identifying and Describing Novice Perceptions.Julie Henry, Bruno Dumas, Patrick Heymans, Tony Leclercq
2019ICSEMultifaceted automated analyses for variability-intensive embedded systems.Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sbastien Mosser
2018IUIOn Studying Bad Practices in Configuration UIs.Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans
2018IUIRepresenting Repairs in Configuration Interfaces: A Look at Industrial Practices.Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans
2018SACEngineering configurators for the retail industry: experience report and challenges ahead.Maxime Cordy, Patrick Heymans
2017ICSTAutomata 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
2017ICSTTowards Security-Aware Mutation Testing.Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans
2017NLDBTechnical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering.Jean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans
2017SOFSEMOn Featured Transition Systems.Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2016EICSBeyond De-Facto Standards for Designing Human-Computer Interactions in Configurators.Tony Leclercq, Jean-Marc Davril, Maxime Cordy, Patrick Heymans
2016ERUnlocking Visual Understanding: Towards Effective Keys for Diagrams.Nicolas Genon, Gilles Perrouin, Xavier Le Pallec, Patrick Heymans
2016ICSEFeatured model-based mutation analysis.Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2016ICSEA complexity tale: web configurators.Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans
2015ICSEPoster: VIBeS, Transition System Mutation Made Easy.Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans
2015ICSTState machine flattening, a mapping study and tools assessment.Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2015REUsing fuzzy modeling for consistent definitions of product qualities in requirements.Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher
2015SPLCAll-at-once-synthesis of controllers from scenario-based product line specifications.Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans
2014ISoLACoverage Criteria for Behavioural Testing of Software Product Lines.Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2014SPLCAn extensible platform for product-line behavioural analysis.Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens
2013CaiSEThe Anatomy of a Sales Configurator: An Empirical Study of 111 Cases.Ebrahim Khalil Abbasi, Arnaud Hubaux, Mathieu Acher, Quentin Boucher, Patrick Heymans
2013ICSEBeyond boolean product-line model checking: dealing with feature attributes and multi-features.Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2013ICSEEfficient quality assurance of variability-intensive systems.Patrick Heymans, Axel Legay, Maxime Cordy
2013REVisual notation design 2.0: Towards user comprehensible requirements engineering notations.Patrice Caire, Nicolas Genon, Patrick Heymans, Daniel Laurence Moody
2013SPICEAn Improvement of Process Reference Model Design and Validation Using Business Process Management.Olivier Mangin, Nicolas Mayer, Batrix Barafort, Patrick Heymans, Eric Dubois
2013SPLCProVeLines: a product line of verifiers for software product lines.Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2012CADEAn SMT-based approach to automated configuration.Raphal Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans
2012CaiSEFeature Model Differences.Mathieu Acher, Patrick Heymans, Philippe Collet, Clment Quinton, Philippe Lahire, Philippe Merle
2012CaiSEImprovisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique.Martin Mahaux, Patrick Heymans
2012EuroSPITowards Configurable ISO/IEC 29110-Compliant Software Development Processes for Very Small Entities.Quentin Boucher, Gilles Perrouin, Jean-Christophe Deprez, Patrick Heymans
2012ICSELanguages and tools for managing feature models.Mathieu Acher, Raphal Michel, Patrick Heymans, Philippe Collet, Philippe Lahire
2012ICSETowards more reliable configurators: a re-engineering perspective.Quentin Boucher, Ebrahim Khalil Abbasi, Arnaud Hubaux, Gilles Perrouin, Mathieu Acher, Patrick Heymans
2012ICSESimulation-based abstractions for software product-line model checking.Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012ICSEUsing feature modelling and automations to select among cloud solutions.Clment Quinton, Laurence Duchien, Patrick Heymans, Stphane Mouton, Etienne Charlier
2012ISoLAA Vision for Behavioural Model-Driven Validation of Software Product Lines.Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
2012REEfficient consistency checking of scenario-based product-line specifications.Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
2012REFSQTowards a More Semantically Transparent i* Visual Syntax.Nicolas Genon, Patrice Caire, Hubert Toussaint, Patrick Heymans, Daniel Laurence Moody
2012REFSQChoose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People.Martin Mahaux, Alistair Mavin, Patrick Heymans
2012SPICEDesigning a Process Reference Model for Information Security Management Systems.Olivier Mangin, Batrix Barafort, Patrick Heymans, Eric Dubois
2012SPLCNext-generation model-based variability management: languages and tools.Mathieu Acher, Patrick Heymans, Raphal Michel
2012SPLCBehavioural modelling and verification of real-time software product lines.Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012SPLCTowards an incremental automata-based approach for software product-line model checking.Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012SPLCProduct portfolio scope optimization based on features and goals.Joseph Gillain, Stphane Faulkner, Patrick Heymans, Ivan Jureta, Monique Snoeck
2012SPLCFormal methods for the masses.Patrick Heymans
2011ICSESymbolic model checking of software product lines.Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2011REFSQDiscovering Sustainability Requirements: An Experience Report.Martin Mahaux, Patrick Heymans, Germain Saval
2011SPLCAn interactive multi-perspective toolset for non-linear product configuration processes.Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans
2011SPLCA Toolset for Feature-Based Configuration Workflows.Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans
2010ECSAWorkshop on Variability in Software Product Line Architectures (VARI-ARCH 2010).Alexander Helleboogh, Paris Avgeriou, Nelis Bouck, Patrick Heymans
2010ICSEModel checking lots of systems: efficient verification of temporal properties in software product lines.Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-Franois Raskin
2010REMaking It all Up: Getting in on the Act to Improvise Creative Requirements.Martin Mahaux, Patrick Heymans, Neil A. M. Maiden
2010REFSQTowards Multi-view Feature-Based Configuration.Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder
2010SLEAnalysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation.Nicolas Genon, Patrick Heymans, Daniel Amyot
2010SLEEvaluating a Textual Feature Modelling Language: Four Industrial Case Studies.Arnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphal Michel, Patrick Heymans
2009ICSETowards safer composition.Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh
2009ICSEOn the evaluation and improvement of feature-based configuration techniques in software product lines.Arnaud Hubaux, Patrick Heymans
2009REAnalysis of Feature Configuration Workflows.Andreas Classen, Arnaud Hubaux, Patrick Heymans
2009REImproving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual Syntax.Daniel Laurence Moody, Patrick Heymans, Raimundas Matulevicius
2009SPLCFormal modelling of feature configuration workflows.Arnaud Hubaux, Andreas Classen, Patrick Heymans
2009SPLCRelating requirements and feature configurations: a systematic approach.Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans
2008CaiSEAdapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development.Raimundas Matulevicius, Nicolas Mayer, Haralambos Mouratidis, Eric Dubois, Patrick Heymans, Nicolas Genon
2008FASEWhat's in a Feature: A Requirements Engineering Perspective.Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
2008ICSEUsing the event calculus to reason about problem diagrams.Andreas Classen, Robin C. Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux
2008MODELSTowards a Measurement Framework for Security Risk Management.Nicolas Mayer, Eric Dubois, Raimundas Matulevicius, Patrick Heymans
2008SPLCFirst International Workshop on Analysis of Software Product Lines (ASPL'08).David Benavides, Antonio Ruiz Corts, Don S. Batory, Patrick Heymans
2008SPLCVariability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project.Arnaud Hubaux, Patrick Heymans, David Benavides
2007CaiSETowards More Extensible MetaCASE Tools.Vincent Englebert, Patrick Heymans
2007DLSHighly dynamic behaviour adaptability through prototypes with subjective multimethods.Sebastin Gonzlez, Kim Mens, Patrick Heymans
2007ERVisually Effective Goal Models Using KAOS.Raimundas Matulevicius, Patrick Heymans
2007RCISDesign of a Modelling Language for Information System Security Risk Management.Nicolas Mayer, Patrick Heymans, Raimundas Matulevicius
2007REDisambiguating 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
2007REFSQComparing Goal Modelling Languages: An Experiment.Raimundas Matulevicius, Patrick Heymans
2007REFSQREFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality.Peter Sawyer, Barbara Paech, Patrick Heymans
2006EMMSADOntological Analysis of KAOS Using Separation of Reference.Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl
2006REFeature Diagrams: A Survey and a Formal Semantics.Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux
2005EMMSADA template-based analysis of GRL.Gautier Dallons, Patrick Heymans, Isabelle Pollet
2004CaiSEPerspectives on the scope and definition process of the Unified Enterprise Modelling Language.Michal Petit, Patrick Heymans
1999REBridging the Gap Between Past and Future in RE: A Scenario-Based Approach.Peter Haumer, Matthias Jarke, Klaus Pohl, Patrick Heymans