Patrick Heymans - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Patrick Heymans' as author, editor, or advisor:

Highly dynamic behaviour adaptability through prototypes with subjective multimethodsSebastián González, Kim Mens, Patrick Heymans. DLS 2007: 77-88 [doi]
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product LinesChristopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, Yves Le Traon. TSE, 40(7):650-670, 2014. [doi]
VAST 2011 workshop summaryGilles Perrouin, Andreas Metzger, Patrick Heymans, Yves Le Traon. sigsoft, 36(4):24-25, 2011. [doi]
Product portfolio scope optimization based on features and goalsJoseph Gillain, Stéphane Faulkner, Patrick Heymans, Ivan Jureta, Monique Snoeck. SPLC 2012: 161-170 [doi]
A Formal Semantics for Decision-oriented Variability Modeling with DOPLERDeepak Dhungana, Patrick Heymans, Rick Rabiser. vamos 2010: 29-35 [doi]
Formal modelling of feature configuration workflowsArnaud Hubaux, Andreas Classen, Patrick Heymans. SPLC 2009: 221-230 [doi]
A code tagging approach to software product line development - An application to satellite communication librariesPatrick Heymans, Quentin Boucher, Andreas Classen, Arnaud Bourdoux, Laurent Demonceau. STTT, 14(5):553-566, 2012. [doi]
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine LearningPieter Delobelle, Paul Temple, Gilles Perrouin, Benoît Frénay, Patrick Heymans, Bettina Berendt. sigkdd, 23(1):32-41, 2021. [doi]
Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual InformationNicolas Genon, Raimundas Matulevicius, Vincent Englebert, Patrick Heymans. eceasst, 13, 2008. [doi]
A Vision for Behavioural Model-Driven Validation of Software Product LinesXavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry. ISoLA 2012: 208-222 [doi]
ProVeLines: a product line of verifiers for software product linesMaxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. SPLC 2013: 141-146 [doi]
A complexity tale: web configuratorsGilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans. ICSE 2016: 28-31 [doi]
On extracting feature models from product descriptionsMathieu Acher, Anthony Cleve, Gilles Perrouin, Patrick Heymans, Charles Vanbeneden, Philippe Collet, Philippe Lahire. In Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2012). 2012: 45-54
Formal semantics, modular specification, and symbolic verification of product-line behaviourAndreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. SCP, 80:416-439, 2014. [doi]
Yo variability! JHipster: a playground for web-apps analysesAxel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Patrick Heymans. vamos 2017: 44-51 [doi]
The Anatomy of a Sales Configurator: An Empirical Study of 111 CasesEbrahim Khalil Abbasi, Arnaud Hubaux, Mathieu Acher, Quentin Boucher, Patrick Heymans. caise 2013: 162-177 [doi]
Towards statistical prioritization for software product lines testingXavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans. vamos 2014: 10 [doi]
Deriving configuration interfaces from feature models: a vision paperQuentin Boucher, Gilles Perrouin, Patrick Heymans. vamos 2012: 37-44 [doi]
Model Checking Adaptive Software with Featured Transition SystemsMaxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. In Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, editors, Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Volume 7740 of Lecture Notes in Computer Science, pages 1-29, Springer, 2013. [doi]
Beyond boolean product-line model checking: dealing with feature attributes and multi-featuresMaxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. ICSE 2013: 472-481 [doi]
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015Elisabetta Di Nitto, Mark Harman, Patrick Heymans, editors, ACM, 2015. [doi]
Incrementally synthesizing controllers from scenario-based product line specificationsJoel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi. FSE 2013: 433-443 [doi]
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 Wieringa. sigsoft, 34(5):40-45, 2009. [doi]
Counterexample guided abstraction refinement of product-line behavioural modelsMaxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker. se 2016: 79-80 [doi]
What s in a Feature: A Requirements Engineering PerspectiveAndreas Classen, Patrick Heymans, Pierre Yves Schobbens. FASE 2008: 16-30 [doi]
Generic Semantics of Feature Diagrams VariantsYves Bontemps, Patrick Heymans, Pierre Yves Schobbens, Jean-Christophe Trigaux. fiw 2005: 58-77
Working conference on requirements engineering: foundation for software quality (REFSQ 07)Peter Sawyer, Barbara Paech, Patrick Heymans. sigsoft, 32(4):47-53, 2007. [doi]
Analysis of Feature Configuration WorkflowsAndreas Classen, Arnaud Hubaux, Patrick Heymans. RE 2009: 381-382 [doi]
First International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. ProceedingsKlaus Pohl, Patrick Heymans, Kyo Chul Kang, Andreas Metzger, editors, Volume 2007-01 of Lero Technical Report, 2007.
Eight Deadly Sins of GRLGunter Mussbacher, Daniel Amyot, Patrick Heymans. istar 2011: 2-7 [doi]
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model CheckingAndreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin. TSE, 39(8):1069-1089, 2013. [doi]
Towards Security-Aware Mutation TestingThomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans. icst 2017: 97-102 [doi]
Beyond De-Facto Standards for Designing Human-Computer Interactions in ConfiguratorsTony Leclercq, Jean-Marc Davril, Maxime Cordy, Patrick Heymans. EICS 2016: 40-43 [doi]
Representing Repairs in Configuration Interfaces: A Look at Industrial PracticesTony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans. IUI 2018: [doi]
Towards Configurable ISO/IEC 29110-Compliant Software Development Processes for Very Small EntitiesQuentin Boucher, Gilles Perrouin, Jean-Christophe Deprez, Patrick Heymans. eurospi 2012: 169-180 [doi]
Second International Workshop on Variability Modelling of Software-Intensive Systems, Universität Duisburg-Essen, Germany, January 16-18, 2008, ProceedingsPatrick Heymans, Kyo Chul Kang, Andreas Metzger, Klaus Pohl, editors, ICB Research Report, 2008.
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical EvaluationXavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. icst 2017: 424-429 [doi]
Feature Model DifferencesMathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, Philippe Merle. caise 2012: 629-645 [doi]
A proposal for a scenario classification frameworkColette Rolland, Camille Ben Achour, Corine Cauvet, Jolita Ralyté, Alistair G. Sutcliffe, Neil A. M. Maiden, Matthias Jarke, Peter Haumer, Klaus Pohl, Eric Dubois 0001, Patrick Heymans. re, 3(1):23-47, 1998. [doi]
Designing a Process Reference Model for Information Security Management SystemsOlivier Mangin, Béatrix Barafort, Patrick Heymans, Eric Dubois 0001. SPICE 2012: 129-140 [doi]
On the evaluation and improvement of feature-based configuration techniques in software product linesArnaud Hubaux, Patrick Heymans. ICSE 2009: 367-370 [doi]
Visually Effective Goal Models Using KAOSRaimundas Matulevicius, Patrick Heymans. er 2007: 265-275 [doi]
Towards a More Semantically Transparent i* Visual SyntaxNicolas Genon, Patrice Caire, Hubert Toussaint, Patrick Heymans, Daniel Laurence Moody. refsq 2012: 140-146 [doi]
Using the event calculus to reason about problem diagramsAndreas Classen, Robin C. Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux. ICSE 2008: 74-77 [doi]
Introducing TVL, a Text-based Feature ModellingQuentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans. vamos 2010: 159-162 [doi]
Technical Aspect Extraction from Customer Reviews Based on Seeded Word ClusteringJean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans. nldb 2017: 97-109 [doi]
Efficient consistency checking of scenario-based product-line specificationsJoel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans. RE 2012: 161-170 [doi]
Next-generation model-based variability management: languages and toolsMathieu Acher, Patrick Heymans, Raphaël Michel. SPLC 2012: 276-277 [doi]
Essential Expectations of Users of Web Configurators: An Empirical SurveyTony Leclercq, Ebrahim Khalil Abbasi, Bruno Dumas, Marie-Ange Remiche, Patrick Heymans. pacmhci, 6(EICS):1-26, 2022. [doi]
Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different PeopleMartin Mahaux, Alistair Mavin, Patrick Heymans. refsq 2012: 101-116 [doi]
A text-based approach to feature modelling: Syntax and semantics of TVLAndreas Classen, Quentin Boucher, Patrick Heymans. SCP, 76(12):1130-1143, 2011. [doi]
Supporting multiple perspectives in feature-based configurationArnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder, Ebrahim Khalil Abbasi. SoSyM, 12(3):641-663, 2013. [doi]
First International Workshop on Analysis of Software Product Lines (ASPL 08)David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans. SPLC 2008: 385 [doi]
Tag and prune: a pragmatic approach to software product line implementationQuentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau. ASE 2010: 333-336 [doi]
On Studying Bad Practices in Configuration UIsTony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans. IUI 2018: [doi]
Reverse engineering web configuratorsEbrahim Khalil Abbasi, Mathieu Acher, Patrick Heymans, Anthony Cleve. CSMR 2014: 264-273 [doi]
Feature Diagrams for Change-Oriented ProgrammingPeter Ebraert, Andreas Classen, Patrick Heymans, Theo D Hondt. fiw 2009: 107-122 [doi]
From Live Sequence Charts to State Machines and Back: A Guided TourYves Bontemps, Patrick Heymans, Pierre Yves Schobbens. TSE, 31(12):999-1014, 2005. [doi]
A Systematic Approach to Define the Domain of Information System Security Risk ManagementEric Dubois 0001, Patrick Heymans, Nicolas Mayer, Raimundas Matulevicius. In Selmin Nurcan, Camille Salinesi, Carine Souveyet, Jolita Ralyté, editors, Intentional Perspectives on Information Systems Engineering. pages 289-306, Springer, 2010. [doi]
A Decade of Featured Transition SystemsMaxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin. BIRTHDAY 2019: 285-312 [doi]
A Toolset for Feature-Based Configuration WorkflowsEbrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans. SPLC 2011: 65-69 [doi]
XToF - A Tool for Tag-based Product Line ImplementationChristophe Gauthier, Andreas Classen, Quentin Boucher, Patrick Heymans, Margaret-Anne D. Storey, Marcílio Mendonça. vamos 2010: 163-166 [doi]
On Featured Transition SystemsAxel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans. sofsem 2017: 453-463 [doi]
Relating requirements and feature configurations: a systematic approachThein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans. SPLC 2009: 201-210 [doi]
Unlocking Visual Understanding: Towards Effective Keys for DiagramsNicolas Genon, Gilles Perrouin, Xavier Le Pallec, Patrick Heymans. ER 2016: 505-512 [doi]
Bridging the Gap Between Past and Future in RE: A Scenario-Based ApproachPeter Haumer, Matthias Jarke, Klaus Pohl, Patrick Heymans. RE 1999: 66-73 [doi]
Report working conference on requirements engineering: foundation for software quality (REFSQ 08)Barbara Paech, Patrick Heymans, Anne Persson. sigsoft, 33(5), 2008. [doi]
A template-based analysis of GRLGautier Dallons, Patrick Heymans, Isabelle Pollet. emmsad 2008: 107-118 [doi]
Simulation-based abstractions for software product-line model checkingMaxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. ICSE 2012: 672-682 [doi]
Défis de la sécurité de l information. Support à la gestion des risques de sécurité par les modèlesNicolas Mayer, Eric Dubois, Patrick Heymans, Raimundas Matulevicius. isi, 13(1):37-74, 2008. [doi]
Features meet scenarios: modeling and consistency-checking scenario-based product line specificationsJoel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans. re, 18(2):175-198, 2013. [doi]
Ontological Analysis of KAOS Using Separation of ReferenceRaimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl. emmsad 2008: 33-44 [doi]
Covering SPL Behaviour with Sampled Configurations: An Initial AssessmentXavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. vamos 2015: 59 [doi]
Symbolic model checking of software product linesAndreas Classen, Patrick Heymans, Pierre Yves Schobbens, Axel Legay. ICSE 2011: 321-330 [doi]
Feature-Based Elicitation of Cognitively Efficient Visualizations for SPL ConfigurationsCéline Sauvage-Thomase, Nicolas Biri, Gilles Perrouin, Nicolas Genon, Patrick Heymans. In Jean-Sébastien Sottet, Alfonso García Frey, Jean Vanderdonckt, editors, Human Centered Software Product Lines. Human-Computer Interaction Series, pages 107-129, Springer, 2017. [doi]
Separation of concerns in feature diagram languages: A systematic surveyArnaud Hubaux, Thein Than Tun, Patrick Heymans. ACM Comput. Surv., 45(4):51, 2013. [doi]
VaryMinions: leveraging RNNs to identify variants in event logsSophie Fortz, Paul Temple, Xavier Devroey, Patrick Heymans, Gilles Perrouin. FSE 2021: 13-18 [doi]
On extracting feature models from product descriptionsMathieu Acher, Anthony Cleve, Gilles Perrouin, Patrick Heymans, Charles Vanbeneden, Philippe Collet, Philippe Lahire. vamos 2012: 45-54 [doi]
Improving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual SyntaxDaniel Laurence Moody, Patrick Heymans, Raimundas Matulevicius. RE 2009: 171-180 [doi]
Towards Multi-view Feature-Based ConfigurationArnaud Hubaux, Patrick Heymans, Pierre Yves Schobbens, Dirk Deridder. refsq 2010: 106-112 [doi]
An Improvement of Process Reference Model Design and Validation Using Business Process ManagementOlivier Mangin, Nicolas Mayer, Béatrix Barafort, Patrick Heymans, Eric Dubois 0001. SPICE 2013: 73-83 [doi]
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect PredictionBenoit Amand, Maxime Cordy, Patrick Heymans, Mathieu Acher, Paul Temple, Jean-Marc Jézéquel. vamos 2019: [doi]
Comparative Semantics of Feature DiagramsPierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps. revolutions 2006: 181-186
Evaluating a Textual Feature Modelling Language: Four Industrial Case StudiesArnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphaël Michel, Patrick Heymans. SLE 2010: 337-356 [doi]
Multifaceted automated analyses for variability-intensive embedded systemsSami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser 0001. ICSE 2019: 854-865 [doi]
Statistical prioritization for software product line testing: an experience reportXavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. SoSyM, 16(1):153-171, 2017. [doi]
Feature model extraction from large collections of informal product descriptionsJean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, Patrick Heymans. FSE 2013: 290-300 [doi]
Languages and tools for managing feature modelsMathieu Acher, Raphaël Michel, Patrick Heymans, Philippe Collet, Philippe Lahire. ICSE 2012: 25-28 [doi]
On breaking the curse of dimensionality in reverse engineering feature modelsJean-Marc Davril, Mathieu Acher, Guillaume Bécan, Patrick Heymans. confws 2015: 19-22 [doi]
Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, ProceedingsPeter Sawyer, Barbara Paech, Patrick Heymans, editors, Volume 4542 of Lecture Notes in Computer Science, Springer, 2007.
Synthèse de diagrammes d états par classe à partir de diagrammes de séquenceYves Bontemps, Germain Saval, Pierre Yves Schobbens, Patrick Heymans. tsi, 26(7):797-817, 2007. [doi]
Model-based mutant equivalence detection using automata language equivalence and simulationsXavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. jss, 141:1-15, 2018. [doi]
An interactive multi-perspective toolset for non-linear product configuration processesEbrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans. SPLC 2011: 50 [doi]
Support for reverse engineering and maintaining feature modelsMathieu Acher, Benoit Baudry, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut. vamos 2013: 20 [doi]
Using feature modelling and automations to select among cloud solutionsClément Quinton, Laurence Duchien, Patrick Heymans, Stéphane Mouton, Etienne Charlier. ICSE 2012: 17-20 [doi]
Object-Oriented Programming: Diagnosis Understanding by Identifying and Describing Novice PerceptionsJulie Henry, Bruno Dumas, Patrick Heymans, Tony Leclercq. mcs 2020: 1-5 [doi]
Introduction to the RE'11 special issue: requirements in motionPatrick Heymans. re, 17(2):79-81, 2012. [doi]
Poster: VIBeS, Transition System Mutation Made EasyXavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans. ICSE 2015: 817-818 [doi]
State machine flattening, a mapping study and tools assessmentXavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans. icst 2015: 1-8 [doi]
Comparing GRL and KAOS using the UEML ApproachRaimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl. iesa 2007: 77-88 [doi]
Using fuzzy modeling for consistent definitions of product qualities in requirementsJean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher. RE 2015: 17-24 [doi]
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019Thorsten 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, editors, ACM, 2019. [doi]
Coverage Criteria for Behavioural Testing of Software Product LinesXavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans. ISoLA 2014: 336-350 [doi]
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal RequirementsPatrick Heymans, Eric Dubois. re, 3(3/4):202-218, 1998. [doi]
Counterexample guided abstraction refinement of product-line behavioural modelsMaxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker. FSE 2014: 190-201 [doi]
Animating Albert II SpecificationsPatrick Heymans. PhD thesis, University of Namur, Belgium, 2001. [doi]
Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping TechniqueMartin Mahaux, Patrick Heymans. caise 2012: 699-700 [doi]
Visual notation design 2.0: Towards user comprehensible requirements engineering notationsPatrice Caire, Nicolas Genon, Patrick Heymans, Daniel Laurence Moody. RE 2013: 115-124 [doi]
A Formal Semantics for Multi-level Staged ConfigurationAndreas Classen, Arnaud Hubaux, Patrick Heymans. vamos 2009: 51-60 [doi]
Comparing Goal Modelling Languages: An ExperimentRaimundas Matulevicius, Patrick Heymans. refsq 2007: 18-32 [doi]
Efficient quality assurance of variability-intensive systemsPatrick Heymans, Axel Legay, Maxime Cordy. ICSE 2013: 1496-1498 [doi]
Discovering Sustainability Requirements: An Experience ReportMartin Mahaux, Patrick Heymans, Germain Saval. refsq 2011: 19-33 [doi]
Making It all Up: Getting in on the Act to Improvise Creative RequirementsMartin Mahaux, Patrick Heymans, Neil A. M. Maiden. RE 2010: 375-376 [doi]
The Unified Enterprise Modelling Language - Overview and further workVíctor Anaya, Giuseppe Berio, Mounira Harzallah, Patrick Heymans, Raimundas Matulevicius, Andreas L. Opdahl, Hervé Panetto, Maria Jose Verdecho. cii, 61(2):99-111, 2010. [doi]
An SMT-based approach to automated configurationRaphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans. cade 2013: 109-119 [doi]
Workshop on Variability in Software Product Line Architectures (VARI-ARCH 2010)Alexander Helleboogh, Paris Avgeriou, Nelis Boucké, Patrick Heymans. ecsa 2010: 309-311 [doi]
A Preliminary Review on the Application of Feature Diagrams in PracticeArnaud Hubaux, Andreas Classen, Marcílio Mendonça, Patrick Heymans. vamos 2010: 53-59 [doi]
Managing evolution in software product lines: a model-checking perspectiveMaxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. vamos 2012: 183-191 [doi]
Separating Concerns in Feature Models: Retrospective and Support for Multi-ViewsArnaud Hubaux, Mathieu Acher, Thein Than Tun, Patrick Heymans, Philippe Collet, Philippe Lahire. In Iris Reinhartz-Berger, Arnon Sturm, Tony Clark, Sholom Cohen, Jorn Bettin, editors, Domain Engineering, Product Lines, Languages, and Conceptual Models. pages 3-28, Springer, 2013. [doi]
Generic semantics of feature diagramsPierre Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps. cn, 51(2):456-479, 2007. [doi]
Towards More Extensible MetaCASE ToolsVincent Englebert, Patrick Heymans. caise 2007: 454-468 [doi]
Towards a Measurement Framework for Security Risk ManagementNicolas Mayer, Eric Dubois 0001, Raimundas Matulevicius, Patrick Heymans. MoDELS 2008: [doi]
All-at-once-synthesis of controllers from scenario-based product line specificationsMaxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans. SPLC 2015: 26-35 [doi]
Separating variability concerns in a product line re-engineering projectArnaud Hubaux, Patrick Heymans, Hataichanok Unphon. AOSD 2008: [doi]
Visual syntax does matter: improving the cognitive effectiveness of the ::::i::::* visual notationDaniel Laurence Moody, Patrick Heymans, Raimundas Matulevicius. re, 15(2):141-175, 2010. [doi]
Engineering Configuration Graphical User Interfaces from Variability ModelsQuentin Boucher, Gilles Perrouin, Jean-Marc Davril, Patrick Heymans. In Jean-Sébastien Sottet, Alfonso García Frey, Jean Vanderdonckt, editors, Human Centered Software Product Lines. Human-Computer Interaction Series, pages 1-46, Springer, 2017. [doi]
An extensible platform for product-line behavioural analysisMaxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens. SPLC 2014: 102-109 [doi]
Engineering configurators for the retail industry: experience report and challenges aheadMaxime Cordy, Patrick Heymans. SAC 2018: 2050-2057 [doi]
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated AnalysisAndreas Metzger, Patrick Heymans, Klaus Pohl, Pierre Yves Schobbens, Germain Saval. RE 2007: 243-253 [doi]
Design of a Modelling Language for Information System Security Risk ManagementNicolas Mayer, Patrick Heymans, Raimundas Matulevicius. rcis 2007: 121-132
Alignment of Misuse Cases with Security Risk ManagementRaimundas Matulevicius, Nicolas Mayer, Patrick Heymans. IEEEares 2008: 1397-1404 [doi]
Fifth International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium, January 27-29, 2011. ProceedingsPatrick Heymans, Krzysztof Czarnecki, Ulrich W. Eisenecker, editors, ACM International Conference Proceedings Series, ACM, 2011.
Search-based Similarity-driven Behavioural SPL TestingXavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. vamos 2016: 89-96 [doi]
Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems DevelopmentRaimundas Matulevicius, Nicolas Mayer, Haralambos Mouratidis, Eric Dubois, Patrick Heymans, Nicolas Genon. caise 2008: 541-555 [doi]
A meta-model for product configuration ontologiesEbrahim Khalil Abbasi, Tony Leclercq, Patrick Heymans. SPLC 2022: 166-173 [doi]
Incrementally Synthesizing Controllers from Scenario-Based Product Line SpecificationsJoel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi. se 2015: 91-92
Unifying Software, Product Configuration: A Research RoadmapArnaud Hubaux, Dietmar Jannach, Conrad Drescher, Leonardo Murta, Tomi Männistö, Krzysztof Czarnecki, Patrick Heymans, Tien Nguyen, Markus Zanker. confws 2012: 31-35 [doi]
Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering ProjectArnaud Hubaux, Patrick Heymans, David Benavides. SPLC 2008: 55-64 [doi]
Formal methods for the massesPatrick Heymans. SPLC 2012: 4 [doi]
University meets industry: Calling in real stakeholdersBirgit Penzenstadler, Martin Mahaux, Patrick Heymans. csee 2013: 1-10 [doi]
Evaluating formal properties of feature diagram languagesPatrick Heymans, Pierre Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen. iee, 2(3):281-302, 2008. [doi]
Featured model-based mutation analysisXavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. ICSE 2016: 655-666 [doi]
Analysing the Cognitive Effectiveness of the UCM Visual NotationNicolas Genon, Daniel Amyot, Patrick Heymans. sam 2011: 221-240 [doi]
Model checking software product lines with SNIPAndreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. STTT, 14(5):589-612, 2012. [doi]
Perspectives on the scope and definition process of the Unified Enterprise Modelling LanguageMichaël Petit, Patrick Heymans. caise 2004: 274-279
Towards more reliable configurators: a re-engineering perspectiveQuentin Boucher, Ebrahim Khalil Abbasi, Arnaud Hubaux, Gilles Perrouin, Mathieu Acher, Patrick Heymans. ICSE 2012: 29-32 [doi]
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual NotationNicolas Genon, Patrick Heymans, Daniel Amyot. SLE 2010: 377-396 [doi]
Structured design benefits to a process control software projectG. P. Benincasa, A. Daneels, Patrick Heymans, Ch. Serre. sigsmall 1978: 86-91 [doi]
Lightweight Formal Methods for Scenario-Based Software EngineeringYves Bontemps, Patrick Heymans, Pierre Yves Schobbens. Dagstuhl 2005: 174-192 [doi]
Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, ProceedingsMartin Glinz, Patrick Heymans, editors, Volume 5512 of Lecture Notes in Computer Science, Springer, 2009. [doi]
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk ManagementRaimundas Matulevicius, Haralambos Mouratidis, Nicolas Mayer, Eric Dubois 0001, Patrick Heymans. jucs, 18(6):816-844, 2012. [doi]
Behavioural modelling and verification of real-time software product linesMaxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. SPLC 2012: 66-75 [doi]
Towards an incremental automata-based approach for software product-line model checkingMaxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. SPLC 2012: 74-81 [doi]
REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software QualityPeter Sawyer, Barbara Paech, Patrick Heymans. refsq 2007: 1-17 [doi]
Towards safer compositionAndreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh. ICSE 2009: 227-230 [doi]
On the Structure of Problem Variability: From Feature Diagrams to Problem FramesAndreas Classen, Patrick Heymans, Robin C. Laney, Bashar Nuseibeh, Thein Than Tun. vamos 2007: 109-117 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Patrick Heymans's Profile

Unidentified Publications