default search action
Patrick Heymans
Person information
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j30]Sophie Fortz, Paul Temple, Xavier Devroey, Patrick Heymans, Gilles Perrouin:
VaryMinions: leveraging RNNs to identify variants in variability-intensive systems' logs. Empir. Softw. Eng. 29(4): 99 (2024) - 2022
- [j29]Tony Leclercq, Ebrahim Khalil Abbasi, Bruno Dumas, Marie-Ange Remiche, Patrick Heymans:
Essential Expectations of Users of Web Configurators: An Empirical Survey. Proc. ACM Hum. Comput. Interact. 6(EICS): 165:1-165:26 (2022) - [c116]Ebrahim Khalil Abbasi, Tony Leclercq, Patrick Heymans:
A meta-model for product configuration ontologies. SPLC (B) 2022: 166-173 - 2021
- [j28]Pieter Delobelle, Paul Temple, Gilles Perrouin, Benoît Frénay, Patrick Heymans, Bettina Berendt:
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning. SIGKDD Explor. 23(1): 32-41 (2021) - [c115]Sophie Fortz, Paul Temple, Xavier Devroey, Patrick Heymans, Gilles Perrouin:
VaryMinions: leveraging RNNs to identify variants in event logs. MaLTeSQuE@ESEC/SIGSOFT FSE 2021: 13-18 - 2020
- [c114]Julie Henry, Bruno Dumas, Patrick Heymans, Tony Leclercq:
Object-Oriented Programming: Diagnosis Understanding by Identifying and Describing Novice Perceptions. FIE 2020: 1-5 - [i5]Pieter Delobelle, Paul Temple, Gilles Perrouin, Benoît Frénay, Patrick Heymans, Bettina Berendt:
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning. CoRR abs/2005.06852 (2020)
2010 – 2019
- 2019
- [c113]Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin:
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 285-312 - [c112]Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser:
Multifaceted automated analyses for variability-intensive embedded systems. ICSE 2019: 854-865 - [c111]Benoit Amand, Maxime Cordy, Patrick Heymans, Mathieu Acher, Paul Temple, Jean-Marc Jézéquel:
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction. VaMoS 2019: 7:1-7:9 - [e8]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:
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019. ACM 2019, ISBN 978-1-4503-7138-4 [contents] - 2018
- [j27]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. 141: 1-15 (2018) - [c110]Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans:
On Studying Bad Practices in Configuration UIs. IUI Workshops 2018 - [c109]Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans:
Representing Repairs in Configuration Interfaces: A Look at Industrial Practices. IUI Workshops 2018 - [c108]Maxime Cordy, Patrick Heymans:
Engineering configurators for the retail industry: experience report and challenges ahead. SAC 2018: 2050-2057 - 2017
- [j26]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. 16(1): 153-171 (2017) - [c107]Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans:
Towards Security-Aware Mutation Testing. ICST Workshops 2017: 97-102 - [c106]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST 2017: 424-429 - [c105]Jean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans:
Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering. NLDB 2017: 97-109 - [c104]Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
On Featured Transition Systems. SOFSEM 2017: 453-463 - [c103]Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Patrick Heymans:
Yo variability! JHipster: a playground for web-apps analyses. VaMoS 2017: 44-51 - [p5]Quentin Boucher, Gilles Perrouin, Jean-Marc Davril, Patrick Heymans:
Engineering Configuration Graphical User Interfaces from Variability Models. Human Centered Software Product Lines 2017: 1-46 - [p4]Céline Sauvage-Thomase, Nicolas Biri, Gilles Perrouin, Nicolas Genon, Patrick Heymans:
Feature-Based Elicitation of Cognitively Efficient Visualizations for SPL Configurations. Human Centered Software Product Lines 2017: 107-129 - 2016
- [c102]Tony Leclercq, Jean-Marc Davril, Maxime Cordy, Patrick Heymans:
Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators. EnCHIReS@EICS 2016: 40-43 - [c101]Nicolas Genon, Gilles Perrouin, Xavier Le Pallec, Patrick Heymans:
Unlocking Visual Understanding: Towards Effective Keys for Diagrams. ER 2016: 505-512 - [c100]Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans:
A complexity tale: web configurators. VACE@ICSE 2016: 28-31 - [c99]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Featured model-based mutation analysis. ICSE 2016: 655-666 - [c98]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering 2016: 79-80 - [c97]Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Search-based Similarity-driven Behavioural SPL Testing. VaMoS 2016: 89-96 - 2015
- [c96]Jean-Marc Davril, Mathieu Acher, Guillaume Bécan, Patrick Heymans:
On breaking the curse of dimensionality in reverse engineering feature models. Configuration Workshop 2015: 19-22 - [c95]Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans:
Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) 2015: 817-818 - [c94]Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
State machine flattening, a mapping study and tools assessment. ICST Workshops 2015: 1-8 - [c93]Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher:
Using fuzzy modeling for consistent definitions of product qualities in requirements. AIRE 2015: 17-24 - [c92]Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi:
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. Software Engineering & Management 2015: 91-92 - [c91]Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans:
All-at-once-synthesis of controllers from scenario-based product line specifications. SPLC 2015: 26-35 - [c90]Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS 2015: 59 - [e7]Elisabetta Di Nitto, Mark Harman, Patrick Heymans:
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015. ACM 2015, ISBN 978-1-4503-3675-8 [contents] - 2014
- [j25]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80: 416-439 (2014) - [j24]Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, Yves Le Traon:
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines. IEEE Trans. Software Eng. 40(7): 650-670 (2014) - [c89]Ebrahim Khalil Abbasi, Mathieu Acher, Patrick Heymans, Anthony Cleve:
Reverse engineering web configurators. CSMR-WCRE 2014: 264-273 - [c88]Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) 2014: 336-350 - [c87]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE 2014: 190-201 - [c86]Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens:
An extensible platform for product-line behavioural analysis. SPLC Workshops 2014: 102-109 - [c85]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
Towards statistical prioritization for software product lines testing. VaMoS 2014: 10:1-10:7 - [e6]Stefania Gnesi, Alessandro Fantechi, Patrick Heymans, Julia Rubin, Krzysztof Czarnecki, Deepak Dhungana:
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014. ACM 2014, ISBN 978-1-4503-2740-4 [contents] - [i4]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
State Machine Flattening: Mapping Study and Assessment. CoRR abs/1403.5398 (2014) - 2013
- [j23]Arnaud Hubaux, Thein Than Tun, Patrick Heymans:
Separation of concerns in feature diagram languages: A systematic survey. ACM Comput. Surv. 45(4): 51:1-51:23 (2013) - [j22]Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans:
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications. Requir. Eng. 18(2): 175-198 (2013) - [j21]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder, Ebrahim Khalil Abbasi:
Supporting multiple perspectives in feature-based configuration. Softw. Syst. Model. 12(3): 641-663 (2013) - [j20]Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin:
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013) - [c84]Ebrahim Khalil Abbasi, Arnaud Hubaux, Mathieu Acher, Quentin Boucher, Patrick Heymans:
The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases. CAiSE 2013: 162-177 - [c83]Birgit Penzenstadler, Martin Mahaux, Patrick Heymans:
University meets industry: Calling in real stakeholders. CSEE&T 2013: 1-10 - [c82]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE 2013: 472-481 - [c81]Patrick Heymans, Axel Legay, Maxime Cordy:
Efficient quality assurance of variability-intensive systems. ICSE 2013: 1496-1498 - [c80]Patrice Caire, Nicolas Genon, Patrick Heymans, Daniel Laurence Moody:
Visual notation design 2.0: Towards user comprehensible requirements engineering notations. RE 2013: 115-124 - [c79]Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, Patrick Heymans:
Feature model extraction from large collections of informal product descriptions. ESEC/SIGSOFT FSE 2013: 290-300 - [c78]Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi:
Incrementally synthesizing controllers from scenario-based product line specifications. ESEC/SIGSOFT FSE 2013: 433-443 - [c77]Olivier Mangin, Nicolas Mayer, Béatrix Barafort, Patrick Heymans, Eric Dubois:
An Improvement of Process Reference Model Design and Validation Using Business Process Management. SPICE 2013: 73-83 - [c76]Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
ProVeLines: a product line of verifiers for software product lines. SPLC Workshops 2013: 141-146 - [c75]Mathieu Acher, Benoit Baudry, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut:
Support for reverse engineering and maintaining feature models. VaMoS 2013: 20:1-20:8 - [p3]Arnaud Hubaux, Mathieu Acher, Thein Than Tun, Patrick Heymans, Philippe Collet, Philippe Lahire:
Separating Concerns in Feature Models: Retrospective and Support for Multi-Views. Domain Engineering, Product Lines, Languages, and Conceptual Models 2013: 3-28 - [p2]Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems 2013: 1-29 - [i3]Xavier Devroey, Maxime Cordy, Gilles Perrouin, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
Towards Statistical Prioritization for Software Product Lines Testing. CoRR abs/1310.2474 (2013) - [i2]Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay:
Verification for Reliable Product Lines. CoRR abs/1311.1343 (2013) - 2012
- [j19]Raimundas Matulevicius, Haralambos Mouratidis, Nicolas Mayer, Eric Dubois, Patrick Heymans:
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management. J. Univers. Comput. Sci. 18(6): 816-844 (2012) - [j18]Patrick Heymans:
Introduction to the RE'11 special issue: requirements in motion. Requir. Eng. 17(2): 79-81 (2012) - [j17]Patrick Heymans, Quentin Boucher, Andreas Classen, Arnaud Bourdoux, Laurent Demonceau:
A code tagging approach to software product line development - An application to satellite communication libraries. Int. J. Softw. Tools Technol. Transf. 14(5): 553-566 (2012) - [j16]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5): 589-612 (2012) - [c74]Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans:
An SMT-based approach to automated configuration. SMT@IJCAR 2012: 109-119 - [c73]Mathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, Philippe Merle:
Feature Model Differences. CAiSE 2012: 629-645 - [c72]Martin Mahaux, Patrick Heymans:
Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique. CAiSE 2012: 699-700 - [c71]Arnaud Hubaux, Dietmar Jannach, Conrad Drescher, Leonardo Murta, Tomi Männistö, Krzysztof Czarnecki, Patrick Heymans, Tien Nguyen, Markus Zanker:
Unifying Software, Product Configuration: A Research Roadmap. Configuration Workshop 2012: 31-35 - [c70]Quentin Boucher, Gilles Perrouin, Jean-Christophe Deprez, Patrick Heymans:
Towards Configurable ISO/IEC 29110-Compliant Software Development Processes for Very Small Entities. EuroSPI 2012: 169-180 - [c69]Clément Quinton, Laurence Duchien, Patrick Heymans, Stéphane Mouton, Etienne Charlier:
Using feature modelling and automations to select among cloud solutions. PLEASE@ICSE 2012: 17-20 - [c68]Mathieu Acher, Raphaël Michel, Patrick Heymans, Philippe Collet, Philippe Lahire:
Languages and tools for managing feature models. PLEASE@ICSE 2012: 25-28 - [c67]Quentin Boucher, Ebrahim Khalil Abbasi, Arnaud Hubaux, Gilles Perrouin, Mathieu Acher, Patrick Heymans:
Towards more reliable configurators: a re-engineering perspective. PLEASE@ICSE 2012: 29-32 - [c66]Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682 - [c65]Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry:
A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222 - [c64]Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans:
Efficient consistency checking of scenario-based product-line specifications. RE 2012: 161-170 - [c63]Martin Mahaux, Alistair Mavin, Patrick Heymans:
Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People. REFSQ 2012: 101-116 - [c62]Nicolas Genon, Patrice Caire, Hubert Toussaint, Patrick Heymans, Daniel Laurence Moody:
Towards a More Semantically Transparent i* Visual Syntax. REFSQ 2012: 140-146 - [c61]Olivier Mangin, Béatrix Barafort, Patrick Heymans, Eric Dubois:
Designing a Process Reference Model for Information Security Management Systems. SPICE 2012: 129-140 - [c60]Patrick Heymans:
Formal methods for the masses. SPLC (1) 2012: 4 - [c59]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75 - [c58]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Towards an incremental automata-based approach for software product-line model checking. SPLC (2) 2012: 74-81 - [c57]Joseph Gillain, Stéphane Faulkner, Patrick Heymans, Ivan Jureta, Monique Snoeck:
Product portfolio scope optimization based on features and goals. SPLC (1) 2012: 161-170 - [c56]Mathieu Acher, Patrick Heymans, Raphaël Michel:
Next-generation model-based variability management: languages and tools. SPLC (2) 2012: 276-277 - [c55]Quentin Boucher, Gilles Perrouin, Patrick Heymans:
Deriving configuration interfaces from feature models: a vision paper. VaMoS 2012: 37-44 - [c54]Mathieu Acher, Anthony Cleve, Gilles Perrouin, Patrick Heymans, Charles Vanbeneden, Philippe Collet, Philippe Lahire:
On extracting feature models from product descriptions. VaMoS 2012: 45-54 - [c53]Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191 - [i1]Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, Yves Le Traon:
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines. CoRR abs/1211.5451 (2012) - 2011
- [j15]Andreas Classen, Quentin Boucher, Patrick Heymans:
A text-based approach to feature modelling: Syntax and semantics of TVL. Sci. Comput. Program. 76(12): 1130-1143 (2011) - [j14]Gilles Perrouin, Andreas Metzger, Patrick Heymans, Yves Le Traon:
VAST 2011 workshop summary. ACM SIGSOFT Softw. Eng. Notes 36(4): 24-25 (2011) - [c52]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
Symbolic model checking of software product lines. ICSE 2011: 321-330 - [c51]Gunter Mussbacher, Daniel Amyot, Patrick Heymans:
Eight Deadly Sins of GRL. iStar 2011: 2-7 - [c50]Martin Mahaux, Patrick Heymans, Germain Saval:
Discovering Sustainability Requirements: An Experience Report. REFSQ 2011: 19-33 - [c49]Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans:
An interactive multi-perspective toolset for non-linear product configuration processes. SPLC Workshops 2011: 50 - [c48]Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans:
A Toolset for Feature-Based Configuration Workflows. SPLC 2011: 65-69 - [e5]Patrick Heymans, Krzysztof Czarnecki, Ulrich W. Eisenecker:
Fifth International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium, January 27-29, 2011. Proceedings. ACM International Conference Proceedings Series, ACM 2011, ISBN 978-1-4503-0570-9 [contents] - 2010
- [j13]Víctor Anaya, Giuseppe Berio, Mounira Harzallah, Patrick Heymans, Raimundas Matulevicius, Andreas L. Opdahl, Hervé Panetto, Maria Jose Verdecho:
The Unified Enterprise Modelling Language - Overview and further work. Comput. Ind. 61(2): 99-111 (2010) - [j12]Daniel Laurence Moody, Patrick Heymans, Raimundas Matulevicius:
Visual syntax does matter: improving the cognitive effectiveness of the i* visual notation. Requir. Eng. 15(2): 141-175 (2010) - [c47]Alexander Helleboogh, Paris Avgeriou, Nelis Boucké, Patrick Heymans:
Workshop on Variability in Software Product Line Architectures (VARI-ARCH 2010). ECSA Companion Volume 2010: 309-311 - [c46]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin:
Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344 - [c45]Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau:
Tag and prune: a pragmatic approach to software product line implementation. ASE 2010: 333-336 - [c44]Martin Mahaux, Patrick Heymans, Neil A. M. Maiden:
Making It all Up: Getting in on the Act to Improvise Creative Requirements. RE 2010: 375-376 - [c43]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder:
Towards Multi-view Feature-Based Configuration. REFSQ 2010: 106-112 - [c42]Nicolas Genon, Daniel Amyot, Patrick Heymans:
Analysing the Cognitive Effectiveness of the UCM Visual Notation. SAM 2010: 221-240 - [c41]Arnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphaël Michel, Patrick Heymans:
Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies. SLE 2010: 337-356 - [c40]Nicolas Genon, Patrick Heymans, Daniel Amyot:
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation. SLE 2010: 377-396 - [c39]Deepak Dhungana, Patrick Heymans, Rick Rabiser:
A Formal Semantics for Decision-oriented Variability Modeling with DOPLER. VaMoS 2010: 29-35 - [c38]Arnaud Hubaux, Andreas Classen, Marcílio Mendonça, Patrick Heymans:
A Preliminary Review on the Application of Feature Diagrams in Practice. VaMoS 2010: 53-59 - [c37]Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans:
Introducing TVL, a Text-based Feature Modelling. VaMoS 2010: 159-162 - [c36]Christophe Gauthier, Andreas Classen, Quentin Boucher, Patrick Heymans, Margaret-Anne D. Storey, Marcílio Mendonça:
XToF - A Tool for Tag-based Product Line Implementation. VaMoS 2010: 163-166 - [p1]Eric Dubois, Patrick Heymans, Nicolas Mayer, Raimundas Matulevicius:
A Systematic Approach to Define the Domain of Information System Security Risk Management. Intentional Perspectives on Information Systems Engineering 2010: 289-306
2000 – 2009
- 2009
- [j11]Martin Glinz, Patrick Heymans, Anne Persson, Guttorm Sindre, Aybüke Aurum, Nazim H. Madhavji, Barbara Paech, Gil Regev, Roel J. Wieringa:
Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09). ACM SIGSOFT Softw. Eng. Notes 34(5): 40-45 (2009) - [c35]Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt:
Feature Diagrams for Change-Oriented Programming. ICFI 2009: 107-122 - [c34]Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh:
Towards safer composition. ICSE Companion 2009: 227-230 - [c33]Arnaud Hubaux, Patrick Heymans:
On the evaluation and improvement of feature-based configuration techniques in software product lines. ICSE Companion 2009: 367-370 - [c32]Daniel Laurence Moody, Patrick Heymans, Raimundas Matulevicius:
Improving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual Syntax. RE 2009: 171-180 - [c31]Andreas Classen, Arnaud Hubaux, Patrick Heymans:
Analysis of Feature Configuration Workflows. RE 2009: 381-382 - [c30]Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans:
Relating requirements and feature configurations: a systematic approach. SPLC 2009: 201-210 - [c29]Arnaud Hubaux, Andreas Classen, Patrick Heymans:
Formal modelling of feature configuration workflows. SPLC 2009: 221-230 - [c28]Andreas Classen, Arnaud Hubaux, Patrick Heymans:
A Formal Semantics for Multi-level Staged Configuration. VaMoS 2009: 51-60 - [c27]Germain Saval, Jorge Pinna Puissant, Patrick Heymans, Tom Mens:
Some Challenges of Feature-based Merging of Class Diagrams. VaMoS 2009: 127-136 - [e4]Martin Glinz, Patrick Heymans:
Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings. Lecture Notes in Computer Science 5512, Springer 2009, ISBN 978-3-642-02049-0 [contents] - 2008
- [j10]Nicolas Genon, Raimundas Matulevicius, Vincent Englebert, Patrick Heymans:
Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 13 (2008) - [j9]Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen:
Evaluating formal properties of feature diagram languages. IET Softw. 2(3): 281-302 (2008) - [j8]Nicolas Mayer, Eric Dubois, Patrick Heymans, Raimundas Matulevicius:
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. 13(1): 37-74 (2008) - [j7]Barbara Paech, Patrick Heymans, Anne Persson:
Report working conference on requirements engineering: foundation for software quality (REFSQ'08). ACM SIGSOFT Softw. Eng. Notes 33(5) (2008) - [c26]Raimundas Matulevicius, Nicolas Mayer, Patrick Heymans:
Alignment of Misuse Cases with Security Risk Management. ARES 2008: 1397-1404 - [c25]Arnaud Hubaux, Patrick Heymans, Hataichanok Unphon:
Separating variability concerns in a product line re-engineering project. EA@AOSD 2008: 4:1-4:8 - [c24]Raimundas Matulevicius, Nicolas Mayer, Haralambos Mouratidis, Eric Dubois, Patrick Heymans, Nicolas Genon:
Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development. CAiSE 2008: 541-555 - [c23]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30 - [c22]Andreas Classen, Robin C. Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux:
Using the event calculus to reason about problem diagrams. IWAAPF@ICSE 2008: 74-77 - [c21]Nicolas Mayer, Eric Dubois, Raimundas Matulevicius, Patrick Heymans:
Towards a Measurement Framework for Security Risk Management. MODSEC@MoDELS 2008 - [c20]Arnaud Hubaux, Patrick Heymans, David Benavides:
Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project. SPLC 2008: 55-64 - [c19]David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans:
First International Workshop on Analysis of Software Product Lines (ASPL'08). SPLC 2008: 385 - [e3]Patrick Heymans, Kyo Chul Kang, Andreas Metzger, Klaus Pohl:
Second International Workshop on Variability Modelling of Software-Intensive Systems, Universität Duisburg-Essen, Germany, January 16-18, 2008, Proceedings. ICB Research Report, 2008 [contents] - 2007
- [j6]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Generic semantics of feature diagrams. Comput. Networks 51(2): 456-479 (2007) - [j5]Peter Sawyer, Barbara Paech, Patrick Heymans:
Working conference on requirements engineering: foundation for software quality (REFSQ'07). ACM SIGSOFT Softw. Eng. Notes 32(4): 47-53 (2007) - [j4]Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans:
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Tech. Sci. Informatiques 26(7): 797-817 (2007) - [c18]Vincent Englebert, Patrick Heymans:
Towards More Extensible MetaCASE Tools. CAiSE 2007: 454-468 - [c17]Sebastián González, Kim Mens, Patrick Heymans:
Highly dynamic behaviour adaptability through prototypes with subjective multimethods. DLS 2007: 77-88 - [c16]Raimundas Matulevicius, Patrick Heymans:
Visually Effective Goal Models Using KAOS. ER Workshops 2007: 265-275 - [c15]Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl:
Comparing GRL and KAOS using the UEML Approach. IESA 2007: 77-88 - [c14]Nicolas Mayer, Patrick Heymans, Raimundas Matulevicius:
Design of a Modelling Language for Information System Security Risk Management. RCIS 2007: 121-132 - [c13]Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, Germain Saval:
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. RE 2007: 243-253 - [c12]Peter Sawyer, Barbara Paech, Patrick Heymans:
REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality. REFSQ 2007: 1-17 - [c11]Raimundas Matulevicius, Patrick Heymans:
Comparing Goal Modelling Languages: An Experiment. REFSQ 2007: 18-32 - [c10]Andreas Classen, Patrick Heymans, Robin C. Laney, Bashar Nuseibeh, Thein Than Tun:
On the Structure of Problem Variability: From Feature Diagrams to Problem Frames. VaMoS 2007: 109-117 - [e2]Peter Sawyer, Barbara Paech, Patrick Heymans:
Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings. Lecture Notes in Computer Science 4542, Springer 2007, ISBN 978-3-540-73030-9 [contents] - [e1]Klaus Pohl, Patrick Heymans, Kyo Chul Kang, Andreas Metzger:
First International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. Proceedings. Lero Technical Report 2007-01, 2007 [contents] - 2006
- [c9]Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl:
Ontological Analysis of KAOS Using Separation of Reference. EMMSAD 2006: 33-44 - [c8]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Comparative Semantics of Feature Diagrams. EVOL 2006: 181-186 - [c7]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux:
Feature Diagrams: A Survey and a Formal Semantics. RE 2006: 136-145 - 2005
- [j3]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
From Live Sequence Charts to State Machines and Back: A Guided Tour. IEEE Trans. Software Eng. 31(12): 999-1014 (2005) - [c6]Gautier Dallons, Patrick Heymans, Isabelle Pollet:
A template-based analysis of GRL. EMMSAD 2005: 107-118 - [c5]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux:
Generic Semantics of Feature Diagrams Variants. FIW 2005: 58-77 - 2004
- [c4]Michaël Petit, Patrick Heymans:
Perspectives on the scope and definition process of the Unified Enterprise Modelling Language. CAiSE Workshops (3) 2004: 274-279 - 2003
- [c3]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools 2003: 174-192 - 2001
- [b1]Patrick Heymans:
Animating Albert II Specifications. University of Namur, Belgium, 2001
1990 – 1999
- 1999
- [c2]Peter Haumer, Matthias Jarke, Klaus Pohl, Patrick Heymans:
Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach. RE 1999: 66-73 - 1998
- [j2]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:
A proposal for a scenario classification framework. Requir. Eng. 3(1): 23-47 (1998) - [j1]Patrick Heymans, Eric Dubois:
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements. Requir. Eng. 3(3/4): 202-218 (1998)
1970 – 1979
- 1978
- [c1]G. P. Benincasa, Axel Daneels, Patrick Heymans, Ch. Serre:
Structured design benefits to a process control software project. SIGMINI 1978: 86-91
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint