Patrick Heymans

165 papers A* 7A 15B 22C 8Misc 1Journal 35Unranked 66
YearRankTypeTitle / Venue / Authors
2024 J jnl
VaryMinions: leveraging RNNs to identify variants in variability-intensive systems' logs.
Empir. Softw. Eng.
Sophie Fortz, Paul Temple, Xavier Devroey, Patrick Heymans, Gilles Perrouin
2022 — conf
A meta-model for product configuration ontologies.
SPLC (B)
Ebrahim Khalil Abbasi, Tony Leclercq, Patrick Heymans
2022 J jnl
Essential Expectations of Users of Web Configurators: An Empirical Survey.
Proc. ACM Hum. Comput. Interact.
Tony Leclercq, Ebrahim Khalil Abbasi, Bruno Dumas, Marie-Ange Remiche, Patrick Heymans
2021 J jnl
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning.
SIGKDD Explor.
Pieter Delobelle, Paul Temple, Gilles Perrouin, Benoît Frénay, Patrick Heymans, Bettina Berendt
2021 — conf
VaryMinions: leveraging RNNs to identify variants in event logs.
MaLTeSQuE@ESEC/SIGSOFT FSE
Sophie Fortz, Paul Temple, Xavier Devroey, Patrick Heymans, Gilles Perrouin
2020 J jnl
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning.
CoRR
Pieter Delobelle, Paul Temple, Gilles Perrouin, Benoît Frénay, Patrick Heymans, Bettina Berendt
2020 C conf
Object-Oriented Programming: Diagnosis Understanding by Identifying and Describing Novice Perceptions.
FIE
Julie Henry, Bruno Dumas, Patrick Heymans, Tony Leclercq
2019 — conf
A Decade of Featured Transition Systems.
From Software Engineering to Formal Methods and Tools, and Back
Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin
2019 A* conf
Multifaceted automated analyses for variability-intensive embedded systems.
ICSE
Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser
2019 — ed.
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019
SPLC (A)
Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thüm, Tewfik Ziadi
2019 — conf
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction.
VaMoS
Benoit Amand, Maxime Cordy, Patrick Heymans, Mathieu Acher, Paul Temple, Jean-Marc Jézéquel
2018 Misc conf
Engineering configurators for the retail industry: experience report and challenges ahead.
SAC
Maxime Cordy, Patrick Heymans
2018 J jnl
Model-based mutant equivalence detection using automata language equivalence and simulations.
J. Syst. Softw.
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2018 — conf
On Studying Bad Practices in Configuration UIs.
IUI Workshops
Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans
2018 — conf
Representing Repairs in Configuration Interfaces: A Look at Industrial Practices.
IUI Workshops
Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans
2017 A conf
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation.
ICST
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2017 — ch.
Engineering Configuration Graphical User Interfaces from Variability Models.
Human Centered Software Product Lines
Quentin Boucher, Gilles Perrouin, Jean-Marc Davril, Patrick Heymans
2017 — ch.
Feature-Based Elicitation of Cognitively Efficient Visualizations for SPL Configurations.
Human Centered Software Product Lines
Céline Sauvage-Thomase, Nicolas Biri, Gilles Perrouin, Nicolas Genon, Patrick Heymans
2017 B conf
On Featured Transition Systems.
SOFSEM
Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2017 J jnl
Statistical prioritization for software product line testing: an experience report.
Softw. Syst. Model.
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2017 C conf
Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering.
NLDB
Jean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans
2017 — conf
Towards Security-Aware Mutation Testing.
ICST Workshops
Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans
2017 — conf
Yo variability! JHipster: a playground for web-apps analyses.
VaMoS
Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Patrick Heymans
2016 — conf
A complexity tale: web configurators.
VACE@ICSE
Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans
2016 — conf
Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators.
EnCHIReS@EICS
Tony Leclercq, Jean-Marc Davril, Maxime Cordy, Patrick Heymans
2016 C conf
Counterexample guided abstraction refinement of product-line behavioural models.
Software Engineering
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
2016 A* conf
Featured model-based mutation analysis.
ICSE
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2016 — conf
Search-based Similarity-driven Behavioural SPL Testing.
VaMoS
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2016 A conf
Unlocking Visual Understanding: Towards Effective Keys for Diagrams.
ER
Nicolas Genon, Gilles Perrouin, Xavier Le Pallec, Patrick Heymans
2015 B conf
All-at-once-synthesis of controllers from scenario-based product line specifications.
SPLC
Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans
2015 — conf
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment.
VaMoS
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2015 — conf
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.
Software Engineering & Management
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
2015 — conf
On breaking the curse of dimensionality in reverse engineering feature models.
Configuration Workshop
Jean-Marc Davril, Mathieu Acher, Guillaume Bécan, Patrick Heymans
2015 — conf
Poster: VIBeS, Transition System Mutation Made Easy.
ICSE (2)
Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans
2015 — ed.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015
ESEC/SIGSOFT FSE
Elisabetta Di Nitto, Mark Harman, Patrick Heymans
2015 — conf
State machine flattening, a mapping study and tools assessment.
ICST Workshops
Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2015 — conf
Using fuzzy modeling for consistent definitions of product qualities in requirements.
AIRE
Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher
2014 B ed.
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014
SPLC
Stefania Gnesi, Alessandro Fantechi, Patrick Heymans, Julia Rubin, Krzysztof Czarnecki, Deepak Dhungana
2014 — conf
An extensible platform for product-line behavioural analysis.
SPLC Workshops
Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens
2014 J jnl
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines.
IEEE Trans. Software Eng.
Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, Yves Le Traon
2014 — conf
Counterexample guided abstraction refinement of product-line behavioural models.
SIGSOFT FSE
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
2014 — conf
Coverage Criteria for Behavioural Testing of Software Product Lines.
ISoLA (1)
Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2014 J jnl
Formal semantics, modular specification, and symbolic verification of product-line behaviour.
Sci. Comput. Program.
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2014 — conf
Reverse engineering web configurators.
CSMR-WCRE
Ebrahim Khalil Abbasi, Mathieu Acher, Patrick Heymans, Anthony Cleve
2014 J jnl
State Machine Flattening: Mapping Study and Assessment.
CoRR
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2014 — conf
Towards statistical prioritization for software product lines testing.
VaMoS
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2013 C conf
An Improvement of Process Reference Model Design and Validation Using Business Process Management.
SPICE
Olivier Mangin, Nicolas Mayer, Béatrix Barafort, Patrick Heymans, Eric Dubois
2013 A* conf
Beyond boolean product-line model checking: dealing with feature attributes and multi-features.
ICSE
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2013 A* conf
Efficient quality assurance of variability-intensive systems.
ICSE
Patrick Heymans, Axel Legay, Maxime Cordy
2013 — conf
Feature model extraction from large collections of informal product descriptions.
ESEC/SIGSOFT FSE
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, Patrick Heymans
2013 J jnl
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.
IEEE Trans. Software Eng.
Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin
2013 J jnl
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications.
Requir. Eng.
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
2013 — conf
Incrementally synthesizing controllers from scenario-based product line specifications.
ESEC/SIGSOFT FSE
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
2013 — ch.
Model Checking Adaptive Software with Featured Transition Systems.
Assurances for Self-Adaptive Systems
Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2013 — conf
ProVeLines: a product line of verifiers for software product lines.
SPLC Workshops
Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2013 — ch.
Separating Concerns in Feature Models: Retrospective and Support for Multi-Views.
Domain Engineering, Product Lines, Languages, and Conceptual Models
Arnaud Hubaux, Mathieu Acher, Thein Than Tun, Patrick Heymans, Philippe Collet, Philippe Lahire
2013 J jnl
Separation of concerns in feature diagram languages: A systematic survey.
ACM Comput. Surv.
Arnaud Hubaux, Thein Than Tun, Patrick Heymans
2013 — conf
Support for reverse engineering and maintaining feature models.
VaMoS
Mathieu Acher, Benoit Baudry, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut
2013 J jnl
Supporting multiple perspectives in feature-based configuration.
Softw. Syst. Model.
Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder, Ebrahim Khalil Abbasi
2013 A conf
The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases.
CAiSE
Ebrahim Khalil Abbasi, Arnaud Hubaux, Mathieu Acher, Quentin Boucher, Patrick Heymans
2013 J jnl
Towards Statistical Prioritization for Software Product Lines Testing.
CoRR
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2013 — conf
University meets industry: Calling in real stakeholders.
CSEE&T
Birgit Penzenstadler, Martin Mahaux, Patrick Heymans
2013 J jnl
Verification for Reliable Product Lines.
CoRR
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay
2013 A conf
Visual notation design 2.0: Towards user comprehensible requirements engineering notations.
RE
Patrice Caire, Nicolas Genon, Patrick Heymans, Daniel Laurence Moody
2012 — conf
A Vision for Behavioural Model-Driven Validation of Software Product Lines.
ISoLA (1)
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
2012 J jnl
A code tagging approach to software product line development - An application to satellite communication libraries.
Int. J. Softw. Tools Technol. Transf.
Patrick Heymans, Quentin Boucher, Andreas Classen, Arnaud Bourdoux, Laurent Demonceau
2012 — conf
An SMT-based approach to automated configuration.
SMT@IJCAR
Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans
2012 — conf
Behavioural modelling and verification of real-time software product lines.
SPLC (1)
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012 J jnl
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
CoRR
Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, Yves Le Traon
2012 B conf
Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People.
REFSQ
Martin Mahaux, Alistair Mavin, Patrick Heymans
2012 — conf
Deriving configuration interfaces from feature models: a vision paper.
VaMoS
Quentin Boucher, Gilles Perrouin, Patrick Heymans
2012 C conf
Designing a Process Reference Model for Information Security Management Systems.
SPICE
Olivier Mangin, Béatrix Barafort, Patrick Heymans, Eric Dubois
2012 A conf
Efficient consistency checking of scenario-based product-line specifications.
RE
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
2012 A conf
Feature Model Differences.
CAiSE
Mathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, Philippe Merle
2012 — conf
Formal methods for the masses.
SPLC (1)
Patrick Heymans
2012 A conf
Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique.
CAiSE
Martin Mahaux, Patrick Heymans
2012 J jnl
Introduction to the RE'11 special issue: requirements in motion.
Requir. Eng.
Patrick Heymans
2012 — conf
Languages and tools for managing feature models.
PLEASE@ICSE
Mathieu Acher, Raphaël Michel, Patrick Heymans, Philippe Collet, Philippe Lahire
2012 — conf
Managing evolution in software product lines: a model-checking perspective.
VaMoS
Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012 J jnl
Model checking software product lines with SNIP.
Int. J. Softw. Tools Technol. Transf.
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2012 — conf
Next-generation model-based variability management: languages and tools.
SPLC (2)
Mathieu Acher, Patrick Heymans, Raphaël Michel
2012 — conf
On extracting feature models from product descriptions.
VaMoS
Mathieu Acher, Anthony Cleve, Gilles Perrouin, Patrick Heymans, Charles Vanbeneden, Philippe Collet, Philippe Lahire
2012 — conf
Product portfolio scope optimization based on features and goals.
SPLC (1)
Joseph Gillain, Stéphane Faulkner, Patrick Heymans, Ivan Jureta, Monique Snoeck
2012 A* conf
Simulation-based abstractions for software product-line model checking.
ICSE
Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012 J jnl
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management.
J. Univers. Comput. Sci.
Raimundas Matulevicius, Haralambos Mouratidis, Nicolas Mayer, Eric Dubois, Patrick Heymans
2012 B conf
Towards Configurable ISO/IEC 29110-Compliant Software Development Processes for Very Small Entities.
EuroSPI
Quentin Boucher, Gilles Perrouin, Jean-Christophe Deprez, Patrick Heymans
2012 B conf
Towards a More Semantically Transparent i* Visual Syntax.
REFSQ
Nicolas Genon, Patrice Caire, Hubert Toussaint, Patrick Heymans, Daniel Laurence Moody
2012 — conf
Towards an incremental automata-based approach for software product-line model checking.
SPLC (2)
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012 — conf
Towards more reliable configurators: a re-engineering perspective.
PLEASE@ICSE
Quentin Boucher, Ebrahim Khalil Abbasi, Arnaud Hubaux, Gilles Perrouin, Mathieu Acher, Patrick Heymans
2012 — conf
Unifying Software, Product Configuration: A Research Roadmap.
Configuration Workshop
Arnaud Hubaux, Dietmar Jannach, Conrad Drescher, Leonardo Murta, Tomi Männistö, Krzysztof Czarnecki, Patrick Heymans, Tien Nguyen, Markus Zanker
2012 — conf
Using feature modelling and automations to select among cloud solutions.
PLEASE@ICSE
Clément Quinton, Laurence Duchien, Patrick Heymans, Stéphane Mouton, Etienne Charlier
2011 B conf
A Toolset for Feature-Based Configuration Workflows.
SPLC
Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans
2011 J jnl
A text-based approach to feature modelling: Syntax and semantics of TVL.
Sci. Comput. Program.
Andreas Classen, Quentin Boucher, Patrick Heymans
2011 — conf
An interactive multi-perspective toolset for non-linear product configuration processes.
SPLC Workshops
Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans
2011 B conf
Discovering Sustainability Requirements: An Experience Report.
REFSQ
Martin Mahaux, Patrick Heymans, Germain Saval
2011 — conf
Eight Deadly Sins of GRL.
iStar
Gunter Mussbacher, Daniel Amyot, Patrick Heymans
2011 — ed.
Fifth International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium, January 27-29, 2011. Proceedings
VaMoS
Patrick Heymans, Krzysztof Czarnecki, Ulrich W. Eisenecker
2011 A* conf
Symbolic model checking of software product lines.
ICSE
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2011 J jnl
VAST 2011 workshop summary.
ACM SIGSOFT Softw. Eng. Notes
Gilles Perrouin, Andreas Metzger, Patrick Heymans, Yves Le Traon
2010 — conf
A Formal Semantics for Decision-oriented Variability Modeling with DOPLER.
VaMoS
Deepak Dhungana, Patrick Heymans, Rick Rabiser
2010 — conf
A Preliminary Review on the Application of Feature Diagrams in Practice.
VaMoS
Arnaud Hubaux, Andreas Classen, Marcílio Mendonça, Patrick Heymans
2010 — ch.
A Systematic Approach to Define the Domain of Information System Security Risk Management.
Intentional Perspectives on Information Systems Engineering
Eric Dubois, Patrick Heymans, Nicolas Mayer, Raimundas Matulevicius
2010 — conf
Analysing the Cognitive Effectiveness of the UCM Visual Notation.
SAM
Nicolas Genon, Daniel Amyot, Patrick Heymans
2010 B conf
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation.
SLE
Nicolas Genon, Patrick Heymans, Daniel Amyot
2010 B conf
Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies.
SLE
Arnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphaël Michel, Patrick Heymans
2010 — conf
Introducing TVL, a Text-based Feature Modelling.
VaMoS
Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans
2010 A conf
Making It all Up: Getting in on the Act to Improvise Creative Requirements.
RE
Martin Mahaux, Patrick Heymans, Neil A. M. Maiden
2010 — conf
Model checking lots of systems: efficient verification of temporal properties in software product lines.
ICSE (1)
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin
2010 A* conf
Tag and prune: a pragmatic approach to software product line implementation.
ASE
Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau
2010 J jnl
The Unified Enterprise Modelling Language - Overview and further work.
Comput. Ind.
Víctor Anaya, Giuseppe Berio, Mounira Harzallah, Patrick Heymans, Raimundas Matulevicius, Andreas L. Opdahl, Hervé Panetto, Maria Jose Verdecho
2010 B conf
Towards Multi-view Feature-Based Configuration.
REFSQ
Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder
2010 J jnl
Visual syntax does matter: improving the cognitive effectiveness of the
Requir. Eng.
Daniel Laurence Moody, Patrick Heymans, Raimundas Matulevicius
2010 — conf
Workshop on Variability in Software Product Line Architectures (VARI-ARCH 2010).
ECSA Companion Volume
Alexander Helleboogh, Paris Avgeriou, Nelis Boucké, Patrick Heymans
2010 — conf
XToF - A Tool for Tag-based Product Line Implementation.
VaMoS
Christophe Gauthier, Andreas Classen, Quentin Boucher, Patrick Heymans, Margaret-Anne D. Storey, Marcílio Mendonça
2009 — conf
A Formal Semantics for Multi-level Staged Configuration.
VaMoS
Andreas Classen, Arnaud Hubaux, Patrick Heymans
2009 A conf
Analysis of Feature Configuration Workflows.
RE
Andreas Classen, Arnaud Hubaux, Patrick Heymans
2009 — conf
Feature Diagrams for Change-Oriented Programming.
ICFI
Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt
2009 B conf
Formal modelling of feature configuration workflows.
SPLC
Arnaud Hubaux, Andreas Classen, Patrick Heymans
2009 A conf
Improving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual Syntax.
RE
Daniel Laurence Moody, Patrick Heymans, Raimundas Matulevicius
2009 — conf
On the evaluation and improvement of feature-based configuration techniques in software product lines.
ICSE Companion
Arnaud Hubaux, Patrick Heymans
2009 B conf
Relating requirements and feature configurations: a systematic approach.
SPLC
Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans
2009 J jnl
Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09).
ACM SIGSOFT Softw. Eng. Notes
Martin Glinz, Patrick Heymans, Anne Persson, Guttorm Sindre, Aybüke Aurum, Nazim H. Madhavji, Barbara Paech, Gil Regev, Roel J. Wieringa
2009 B ed.
Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings
REFSQ
Martin Glinz, Patrick Heymans
2009 — conf
Some Challenges of Feature-based Merging of Class Diagrams.
VaMoS
Germain Saval, Jorge Pinna Puissant, Patrick Heymans, Tom Mens
2009 — conf
Towards safer composition.
ICSE Companion
Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh
2008 A conf
Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development.
CAiSE
Raimundas Matulevicius, Nicolas Mayer, Haralambos Mouratidis, Eric Dubois, Patrick Heymans, Nicolas Genon
2008 B conf
Alignment of Misuse Cases with Security Risk Management.
ARES
Raimundas Matulevicius, Nicolas Mayer, Patrick Heymans
2008 J jnl
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 Inf.
Nicolas Mayer, Eric Dubois, Patrick Heymans, Raimundas Matulevicius
2008 J jnl
Evaluating formal properties of feature diagram languages.
IET Softw.
Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen
2008 B conf
First International Workshop on Analysis of Software Product Lines (ASPL'08).
SPLC
David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans
2008 J jnl
Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Nicolas Genon, Raimundas Matulevicius, Vincent Englebert, Patrick Heymans
2008 J jnl
Report working conference on requirements engineering: foundation for software quality (REFSQ'08).
ACM SIGSOFT Softw. Eng. Notes
Barbara Paech, Patrick Heymans, Anne Persson
2008 — ed.
Second International Workshop on Variability Modelling of Software-Intensive Systems, Universität Duisburg-Essen, Germany, January 16-18, 2008, Proceedings
VaMoS
Patrick Heymans, Kyo Chul Kang, Andreas Metzger, Klaus Pohl
2008 — conf
Separating variability concerns in a product line re-engineering project.
EA@AOSD
Arnaud Hubaux, Patrick Heymans, Hataichanok Unphon
2008 — conf
Towards a Measurement Framework for Security Risk Management.
MODSEC@MoDELS
Nicolas Mayer, Eric Dubois, Raimundas Matulevicius, Patrick Heymans
2008 — conf
Using the event calculus to reason about problem diagrams.
IWAAPF@ICSE
Andreas Classen, Robin C. Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux
2008 B conf
Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project.
SPLC
Arnaud Hubaux, Patrick Heymans, David Benavides
2008 B conf
What's in a Feature: A Requirements Engineering Perspective.
FASE
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
2007 — conf
Comparing GRL and KAOS using the UEML Approach.
IESA
Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl
2007 B conf
Comparing Goal Modelling Languages: An Experiment.
REFSQ
Raimundas Matulevicius, Patrick Heymans
2007 B conf
Design of a Modelling Language for Information System Security Risk Management.
RCIS
Nicolas Mayer, Patrick Heymans, Raimundas Matulevicius
2007 A conf
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis.
RE
Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, Germain Saval
2007 — ed.
First International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. Proceedings
VaMoS
Klaus Pohl, Patrick Heymans, Kyo Chul Kang, Andreas Metzger
2007 J jnl
Generic semantics of feature diagrams.
Comput. Networks
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps
2007 C conf
Highly dynamic behaviour adaptability through prototypes with subjective multimethods.
DLS
Sebastián González, Kim Mens, Patrick Heymans
2007 — conf
On the Structure of Problem Variability: From Feature Diagrams to Problem Frames.
VaMoS
Andreas Classen, Patrick Heymans, Robin C. Laney, Bashar Nuseibeh, Thein Than Tun
2007 B conf
REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality.
REFSQ
Peter Sawyer, Barbara Paech, Patrick Heymans
2007 B ed.
Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings
REFSQ
Peter Sawyer, Barbara Paech, Patrick Heymans
2007 J jnl
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence.
Tech. Sci. Informatiques
Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans
2007 A conf
Towards More Extensible MetaCASE Tools.
CAiSE
Vincent Englebert, Patrick Heymans
2007 — conf
Visually Effective Goal Models Using KAOS.
ER Workshops
Raimundas Matulevicius, Patrick Heymans
2007 J jnl
Working conference on requirements engineering: foundation for software quality (REFSQ'07).
ACM SIGSOFT Softw. Eng. Notes
Peter Sawyer, Barbara Paech, Patrick Heymans
2006 — conf
Comparative Semantics of Feature Diagrams.
EVOL
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps
2006 A conf
Feature Diagrams: A Survey and a Formal Semantics.
RE
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux
2006 C conf
Ontological Analysis of KAOS Using Separation of Reference.
EMMSAD
Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl
2005 C conf
A template-based analysis of GRL.
EMMSAD
Gautier Dallons, Patrick Heymans, Isabelle Pollet
2005 J jnl
From Live Sequence Charts to State Machines and Back: A Guided Tour.
IEEE Trans. Software Eng.
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
2005 — conf
Generic Semantics of Feature Diagrams Variants.
FIW
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux
2004 — conf
Perspectives on the scope and definition process of the Unified Enterprise Modelling Language.
CAiSE Workshops (3)
Michaël Petit, Patrick Heymans
2003 — conf
Lightweight Formal Methods for Scenario-Based Software Engineering.
Scenarios: Models, Transformations and Tools
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
2001 — —
Animating Albert II Specifications
Patrick Heymans
1999 A conf
Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach.
RE
Peter Haumer, Matthias Jarke, Klaus Pohl, Patrick Heymans
1998 J jnl
A proposal for a scenario classification framework.
Requir. Eng.
Colette Rolland, Camille Ben Achour, Corine Cauvet, Jolita Ralyté, Alistair G. Sutcliffe, Neil A. M. Maiden, Matthias Jarke, Peter Haumer, Klaus Pohl, Eric Dubois, Patrick Heymans
1998 J jnl
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements.
Requir. Eng.
Patrick Heymans, Eric Dubois
1978 — conf
Structured design benefits to a process control software project.
SIGMINI
G. P. Benincasa, Axel Daneels, Patrick Heymans, Ch. Serre