Patrick Heymans

According to our database1, Patrick Heymans authored at least 153 papers between 1978 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
VaryMinions: leveraging RNNs to identify variants in variability-intensive systems' logs.
Empir. Softw. Eng., July, 2024

2022
Essential Expectations of Users of Web Configurators: An Empirical Survey.
Proc. ACM Hum. Comput. Interact., 2022

A meta-model for product configuration ontologies.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

2021
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning.
SIGKDD Explor., 2021

VaryMinions: leveraging RNNs to identify variants in event logs.
Proceedings of the MaLTeSQuE@ESEC/SIGSOFT FSE 2021: Proceedings of the 5th International Workshop on Machine Learning Techniques for Software Quality Evolution, 2021

2020
Object-Oriented Programming: Diagnosis Understanding by Identifying and Describing Novice Perceptions.
Proceedings of the IEEE Frontiers in Education Conference, 2020

2019
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction.
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Multifaceted automated analyses for variability-intensive embedded systems.
Proceedings of the 41st International Conference on Software Engineering, 2019

A Decade of Featured Transition Systems.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
Model-based mutant equivalence detection using automata language equivalence and simulations.
J. Syst. Softw., 2018

Engineering configurators for the retail industry: experience report and challenges ahead.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices.
Proceedings of the Joint Proceedings of the ACM IUI 2018 Workshops co-located with the 23rd ACM Conference on Intelligent User Interfaces (ACM IUI 2018), 2018

On Studying Bad Practices in Configuration UIs.
Proceedings of the Joint Proceedings of the ACM IUI 2018 Workshops co-located with the 23rd ACM Conference on Intelligent User Interfaces (ACM IUI 2018), 2018

2017
Feature-Based Elicitation of Cognitively Efficient Visualizations for SPL Configurations.
Proceedings of the Human Centered Software Product Lines, 2017

Engineering Configuration Graphical User Interfaces from Variability Models.
Proceedings of the Human Centered Software Product Lines, 2017

Statistical prioritization for software product line testing: an experience report.
Softw. Syst. Model., 2017

Yo variability! JHipster: a playground for web-apps analyses.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

On Featured Transition Systems.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering.
Proceedings of the Natural Language Processing and Information Systems, 2017

Towards Security-Aware Mutation Testing.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Search-based Similarity-driven Behavioural SPL Testing.
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Counterexample guided abstraction refinement of product-line behavioural models.
Proceedings of the Software Engineering 2016, 2016

A complexity tale: web configurators.
Proceedings of the 1st International Workshop on Variability and Complexity in Software Design, 2016

Featured model-based mutation analysis.
Proceedings of the 38th International Conference on Software Engineering, 2016

Unlocking Visual Understanding: Towards Effective Keys for Diagrams.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators.
Proceedings of the Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the eight ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

2015
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment.
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

All-at-once-synthesis of controllers from scenario-based product line specifications.
Proceedings of the 19th International Conference on Software Product Line, 2015

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Using fuzzy modeling for consistent definitions of product qualities in requirements.
Proceedings of the 2015 IEEE Second International Workshop on Artificial Intelligence for Requirements Engineering, 2015

State machine flattening, a mapping study and tools assessment.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Poster: VIBeS, Transition System Mutation Made Easy.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

On breaking the curse of dimensionality in reverse engineering feature models.
Proceedings of the 17th International Configuration Workshop, 2015

2014
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines.
IEEE Trans. Software Eng., 2014

Formal semantics, modular specification, and symbolic verification of product-line behaviour.
Sci. Comput. Program., 2014

State Machine Flattening: Mapping Study and Assessment.
CoRR, 2014

Towards statistical prioritization for software product lines testing.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

An extensible platform for product-line behavioural analysis.
Proceedings of the 18th International Software Product Lines Conference, 2014

Coverage Criteria for Behavioural Testing of Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Reverse engineering web configurators.
Proceedings of the 2014 Software Evolution Week, 2014

2013
Model Checking Adaptive Software with Featured Transition Systems.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.
IEEE Trans. Software Eng., 2013

Supporting multiple perspectives in feature-based configuration.
Softw. Syst. Model., 2013

Features meet scenarios: modeling and consistency-checking scenario-based product line specifications.
Requir. Eng., 2013

Separation of concerns in feature diagram languages: A systematic survey.
ACM Comput. Surv., 2013

Verification for Reliable Product Lines.
CoRR, 2013

Support for reverse engineering and maintaining feature models.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

ProVeLines: a product line of verifiers for software product lines.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

An Improvement of Process Reference Model Design and Validation Using Business Process Management.
Proceedings of the Software Process Improvement and Capability Determination, 2013

Feature model extraction from large collections of informal product descriptions.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Visual notation design 2.0: Towards user comprehensible requirements engineering notations.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Efficient quality assurance of variability-intensive systems.
Proceedings of the 35th International Conference on Software Engineering, 2013

Beyond boolean product-line model checking: dealing with feature attributes and multi-features.
Proceedings of the 35th International Conference on Software Engineering, 2013

University meets industry: Calling in real stakeholders.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases.
Proceedings of the Advanced Information Systems Engineering, 2013

Separating Concerns in Feature Models: Retrospective and Support for Multi-Views.
Proceedings of the Domain Engineering, Product Lines, Languages, and Conceptual Models, 2013

2012
A code tagging approach to software product line development - An application to satellite communication libraries.
Int. J. Softw. Tools Technol. Transf., 2012

Model checking software product lines with SNIP.
Int. J. Softw. Tools Technol. Transf., 2012

Introduction to the RE'11 special issue: requirements in motion.
Requir. Eng., 2012

Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management.
J. Univers. Comput. Sci., 2012

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
CoRR, 2012

Managing evolution in software product lines: a model-checking perspective.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Deriving configuration interfaces from feature models: a vision paper.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

On extracting feature models from product descriptions.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Formal methods for the masses.
Proceedings of the 16th International Software Product Line Conference, 2012

Product portfolio scope optimization based on features and goals.
Proceedings of the 16th International Software Product Line Conference, 2012

Towards an incremental automata-based approach for software product-line model checking.
Proceedings of the 16th International Software Product Line Conference, 2012

Behavioural modelling and verification of real-time software product lines.
Proceedings of the 16th International Software Product Line Conference, 2012

Next-generation model-based variability management: languages and tools.
Proceedings of the 16th International Software Product Line Conference, 2012

Designing a Process Reference Model for Information Security Management Systems.
Proceedings of the Software Process Improvement and Capability Determination, 2012

Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012

Towards a More Semantically Transparent i* Visual Syntax.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012

Efficient consistency checking of scenario-based product-line specifications.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

A Vision for Behavioural Model-Driven Validation of Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Using feature modelling and automations to select among cloud solutions.
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

Simulation-based abstractions for software product-line model checking.
Proceedings of the 34th International Conference on Software Engineering, 2012

Towards more reliable configurators: a re-engineering perspective.
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

Languages and tools for managing feature models.
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

Towards Configurable ISO/IEC 29110-Compliant Software Development Processes for Very Small Entities.
Proceedings of the Systems, Software and Services Process Improvement, 2012

Unifying Software, Product Configuration: A Research Roadmap.
Proceedings of the Workshop on Configuration at ECAI 2012, 2012

Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique.
Proceedings of the Advanced Information Systems Engineering, 2012

Feature Model Differences.
Proceedings of the Advanced Information Systems Engineering, 2012

An SMT-based approach to automated configuration.
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011
VAST 2011 workshop summary.
ACM SIGSOFT Softw. Eng. Notes, 2011

A text-based approach to feature modelling: Syntax and semantics of TVL.
Sci. Comput. Program., 2011

A Toolset for Feature-Based Configuration Workflows.
Proceedings of the Software Product Lines - 15th International Conference, 2011

An interactive multi-perspective toolset for non-linear product configuration processes.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Discovering Sustainability Requirements: An Experience Report.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2011

Eight Deadly Sins of GRL.
Proceedings of the 5<sup>th</sup> International <i>i</i>* Workshop 2011, 2011

Symbolic model checking of software product lines.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Visual syntax does matter: improving the cognitive effectiveness of the <i>i</i>* visual notation.
Requir. Eng., 2010

The Unified Enterprise Modelling Language - Overview and further work.
Comput. Ind., 2010

A Preliminary Review on the Application of Feature Diagrams in Practice.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

XToF - A Tool for Tag-based Product Line Implementation.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

A Formal Semantics for Decision-oriented Variability Modeling with DOPLER.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Introducing TVL, a Text-based Feature Modelling.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Analysing the Cognitive Effectiveness of the UCM Visual Notation.
Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

Towards Multi-view Feature-Based Configuration.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2010

Making It all Up: Getting in on the Act to Improvise Creative Requirements.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Tag and prune: a pragmatic approach to software product line implementation.
Proceedings of the ASE 2010, 2010

Model checking lots of systems: efficient verification of temporal properties in software product lines.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Workshop on Variability in Software Product Line Architectures (VARI-ARCH 2010).
Proceedings of the Software Architecture, 4th European Conference, 2010

A Systematic Approach to Define the Domain of Information System Security Risk Management.
Proceedings of the Intentional Perspectives on Information Systems Engineering., 2010

2009
Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09).
ACM SIGSOFT Softw. Eng. Notes, 2009

Some Challenges of Feature-based Merging of Class Diagrams.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

A Formal Semantics for Multi-level Staged Configuration.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

Relating requirements and feature configurations: a systematic approach.
Proceedings of the Software Product Lines, 13th International Conference, 2009

Formal modelling of feature configuration workflows.
Proceedings of the Software Product Lines, 13th International Conference, 2009

Improving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual Syntax.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Analysis of Feature Configuration Workflows.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

On the evaluation and improvement of feature-based configuration techniques in software product lines.
Proceedings of the 31st International Conference on Software Engineering, 2009

Towards safer composition.
Proceedings of the 31st International Conference on Software Engineering, 2009

Feature Diagrams for Change-Oriented Programming.
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008
Report working conference on requirements engineering: foundation for software quality (REFSQ'08).
ACM SIGSOFT Softw. Eng. Notes, 2008

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., 2008

Evaluating formal properties of feature diagram languages.
IET Softw., 2008

Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project.
Proceedings of the Software Product Lines, 12th International Conference, 2008

First International Workshop on Analysis of Software Product Lines (ASPL'08).
Proceedings of the Software Product Lines, 12th International Conference, 2008

Towards a Measurement Framework for Security Risk Management.
Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

Using the event calculus to reason about problem diagrams.
Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

What's in a Feature: A Requirements Engineering Perspective.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development.
Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

Separating variability concerns in a product line re-engineering project.
Proceedings of the 2008 AOSD workshop on Early aspects, 2008

Alignment of Misuse Cases with Security Risk Management.
Proceedings of the The Third International Conference on Availability, 2008

2007
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence.
Tech. Sci. Informatiques, 2007

Working conference on requirements engineering: foundation for software quality (REFSQ'07).
ACM SIGSOFT Softw. Eng. Notes, 2007

Generic semantics of feature diagrams.
Comput. Networks, 2007

On the Structure of Problem Variability: From Feature Diagrams to Problem Frames.
Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007

Comparing Goal Modelling Languages: An Experiment.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007

Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Design of a Modelling Language for Information System Security Risk Management.
Proceedings of the First International Conference on Research Challenges in Information Science, 2007

Comparing GRL and KAOS using the UEML Approach.
Proceedings of the Enterprise Interoperability II, 2007

Visually Effective Goal Models Using KAOS.
Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Highly dynamic behaviour adaptability through prototypes with subjective multimethods.
Proceedings of the 2007 Symposium on Dynamic Languages, 2007

Towards More Extensible MetaCASE Tools.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

2006
Feature Diagrams: A Survey and a Formal Semantics.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Comparative Semantics of Feature Diagrams.
Proceedings of the 2nd ERCIM Workshop on Software Evolution, 2006

Ontological Analysis of KAOS Using Separation of Reference.
Proceedings of the 11th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2006

2005
From Live Sequence Charts to State Machines and Back: A Guided Tour.
IEEE Trans. Software Eng., 2005

Generic Semantics of Feature Diagrams Variants.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

A template-based analysis of GRL.
Proceedings of the 10th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2005

2004
Perspectives on the scope and definition process of the Unified Enterprise Modelling Language.
Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

2003
Lightweight Formal Methods for Scenario-Based Software Engineering.
Proceedings of the Scenarios: Models, 2003

2001
Animating Albert II Specifications
PhD thesis, 2001

1999
Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach.
Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

1998
A proposal for a scenario classification framework.
Requir. Eng., 1998

Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements.
Requir. Eng., 1998

1978
Structured design benefits to a process control software project.
Proceedings of the first SIGMINI symposium on Small systems, 1978


  Loading...