Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarPatrick Heymans
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[j26]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Model-based mutant equivalence detection using automata language equivalence and simulations. Journal of Systems and Software 141: 1-15 (2018)- [c104]Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans:
On Studying Bad Practices in Configuration UIs. IUI Workshops 2018 - [c103]Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans:
Representing Repairs in Configuration Interfaces: A Look at Industrial Practices. IUI Workshops 2018 - [c102]Maxime Cordy, Patrick Heymans:
Engineering configurators for the retail industry: experience report and challenges ahead. SAC 2018: 2050-2057 - 2017
- [j25]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. Software and System Modeling 16(1): 153-171 (2017) - [c101]Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans:
Towards Security-Aware Mutation Testing. ICST Workshops 2017: 97-102 - [c100]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 - [c99]Jean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans:
Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering. NLDB 2017: 97-109 - [c98]Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
On Featured Transition Systems. SOFSEM 2017: 453-463 - [c97]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
- [c96]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 - [c95]Nicolas Genon, Gilles Perrouin, Xavier Le Pallec, Patrick Heymans:
Unlocking Visual Understanding: Towards Effective Keys for Diagrams. ER 2016: 505-512 - [c94]Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans:
A complexity tale: web configurators. VACE@ICSE 2016: 28-31 - [c93]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Featured model-based mutation analysis. ICSE 2016: 655-666 - [c92]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 - [c91]Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Search-based Similarity-driven Behavioural SPL Testing. VaMoS 2016: 89-96 - 2015
- [c90]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 - [c89]Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans:
Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) 2015: 817-818 - [c88]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 - [c87]Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher:
Using fuzzy modeling for consistent definitions of product qualities in requirements. AIRE 2015: 17-24 - [c86]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 - [c85]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 - [c84]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
- [j24]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) - [j23]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) - [c83]Ebrahim Khalil Abbasi, Mathieu Acher, Patrick Heymans, Anthony Cleve:
Reverse engineering web configurators. CSMR-WCRE 2014: 264-273 - [c82]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 - [c81]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 - [c80]Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens:
An extensible platform for product-line behavioural analysis. SPLC Workshops 2014: 102-109 - [c79]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
- [j22]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) - [j21]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) - [j20]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder, Ebrahim Khalil Abbasi:
Supporting multiple perspectives in feature-based configuration. Software and System Modeling 12(3): 641-663 (2013) - [j19]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) - [c78]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 - [c77]Birgit Penzenstadler, Martin Mahaux, Patrick Heymans:
University meets industry: Calling in real stakeholders. CSEE&T 2013: 1-10 - [c76]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 - [c75]Patrick Heymans, Axel Legay, Maxime Cordy:
Efficient quality assurance of variability-intensive systems. ICSE 2013: 1496-1498 - [c74]Patrice Caire, Nicolas Genon, Patrick Heymans, Daniel Laurence Moody:
Visual notation design 2.0: Towards user comprehensible requirements engineering notations. RE 2013: 115-124 - [c73]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 - [c72]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 - [c71]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 - [c70]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 - [c69]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
- [j18]Raimundas Matulevicius, Haralambos Mouratidis, Nicolas Mayer, Eric Dubois, Patrick Heymans:
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management. J. UCS 18(6): 816-844 (2012) - [j17]Patrick Heymans:
Introduction to the RE'11 special issue: requirements in motion. Requir. Eng. 17(2): 79-81 (2012) - [j16]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. STTT 14(5): 553-566 (2012) - [j15]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model checking software product lines with SNIP. STTT 14(5): 589-612 (2012) - [c68]Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans:
An SMT-based approach to automated configuration. SMT@IJCAR 2012: 109-119 - [c67]Mathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, Philippe Merle:
Feature Model Differences. CAiSE 2012: 629-645 - [c66]Martin Mahaux, Patrick Heymans:
Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique. CAiSE 2012: 699-700 - [c65]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 - [c64]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 - [c63]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 - [c62]Mathieu Acher, Raphaël Michel, Patrick Heymans, Philippe Collet, Philippe Lahire:
Languages and tools for managing feature models. PLEASE@ICSE 2012: 25-28 - [c61]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 - [c60]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 - [c59]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 - [c58]Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans:
Efficient consistency checking of scenario-based product-line specifications. RE 2012: 161-170 - [c57]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 - [c56]Nicolas Genon, Patrice Caire, Hubert Toussaint, Patrick Heymans, Daniel Laurence Moody:
Towards a More Semantically Transparent i* Visual Syntax. REFSQ 2012: 140-146 - [c55]Olivier Mangin, Béatrix Barafort, Patrick Heymans, Eric Dubois:
Designing a Process Reference Model for Information Security Management Systems. SPICE 2012: 129-140 - [c54]
- [c53]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75 - [c52]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 - [c51]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 - [c50]Mathieu Acher, Patrick Heymans, Raphaël Michel:
Next-generation model-based variability management: languages and tools. SPLC (2) 2012: 276-277 - [c49]Quentin Boucher, Gilles Perrouin, Patrick Heymans:
Deriving configuration interfaces from feature models: a vision paper. VaMoS 2012: 37-44 - [c48]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 - [c47]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
- [j14]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) - [j13]Gilles Perrouin, Andreas Metzger, Patrick Heymans, Yves Le Traon:
VAST 2011 workshop summary. ACM SIGSOFT Software Engineering Notes 36(4): 24-25 (2011) - [c46]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
Symbolic model checking of software product lines. ICSE 2011: 321-330 - [c45]
- [c44]Martin Mahaux, Patrick Heymans, Germain Saval:
Discovering Sustainability Requirements: An Experience Report. REFSQ 2011: 19-33 - [c43]Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans:
An interactive multi-perspective toolset for non-linear product configuration processes. SPLC Workshops 2011: 50 - [c42]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
- [j12]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. Computers in Industry 61(2): 99-111 (2010) - [j11]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) - [c41]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 - [c40]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 - [c39]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 - [c38]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 - [c37]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder:
Towards Multi-view Feature-Based Configuration. REFSQ 2010: 106-112 - [c36]Nicolas Genon, Daniel Amyot, Patrick Heymans:
Analysing the Cognitive Effectiveness of the UCM Visual Notation. SAM 2010: 221-240 - [c35]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 - [c34]Nicolas Genon, Patrick Heymans, Daniel Amyot:
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation. SLE 2010: 377-396 - [c33]Deepak Dhungana, Patrick Heymans, Rick Rabiser:
A Formal Semantics for Decision-oriented Variability Modeling with DOPLER. VaMoS 2010: 29-35 - [c32]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 - [c31]Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans:
Introducing TVL, a Text-based Feature Modelling. VaMoS 2010: 159-162 - [c30]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
- [j10]Martin Glinz, Patrick Heymans, Anne Persson, Guttorm Sindre, Aybüke Aurum, Nazim H. Madhavji, Barbara Paech, Gil Regev, Roel Wieringa:
Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09). ACM SIGSOFT Software Engineering Notes 34(5): 40-45 (2009) - [c29]Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt:
Feature Diagrams for Change-Oriented Programming. ICFI 2009: 107-122 - [c28]Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh:
Towards safer composition. ICSE Companion 2009: 227-230 - [c27]Arnaud Hubaux, Patrick Heymans:
On the evaluation and improvement of feature-based configuration techniques in software product lines. ICSE Companion 2009: 367-370 - [c26]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 - [c25]Andreas Classen, Arnaud Hubaux, Patrick Heymans:
Analysis of Feature Configuration Workflows. RE 2009: 381-382 - [c24]Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans:
Relating requirements and feature configurations: a systematic approach. SPLC 2009: 201-210 - [c23]Arnaud Hubaux, Andreas Classen, Patrick Heymans:
Formal modelling of feature configuration workflows. SPLC 2009: 221-230 - [c22]Andreas Classen, Arnaud Hubaux, Patrick Heymans:
A Formal Semantics for Multi-level Staged Configuration. VaMoS 2009: 51-60 - [c21]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
- [j9]Nicolas Genon, Raimundas Matulevicius, Vincent Englebert, Patrick Heymans:
Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information. ECEASST 13 (2008) - [j8]Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen:
Evaluating formal properties of feature diagram languages. IET Software 2(3): 281-302 (2008) - [j7]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'Information 13(1): 37-74 (2008) - [j6]Barbara Paech, Patrick Heymans, Anne Persson:
Report working conference on requirements engineering: foundation for software quality (REFSQ'08). ACM SIGSOFT Software Engineering Notes 33(5) (2008) - [c20]Raimundas Matulevicius, Nicolas Mayer, Patrick Heymans:
Alignment of Misuse Cases with Security Risk Management. ARES 2008: 1397-1404 - [c19]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 - [c18]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30 - [c17]Nicolas Mayer, Eric Dubois, Raimundas Matulevicius, Patrick Heymans:
Towards a Measurement Framework for Security Risk Management. MODSEC@MoDELS 2008 - [c16]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 - [c15]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
- [j5]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Generic semantics of feature diagrams. Computer Networks 51(2): 456-479 (2007) - [j4]