Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDPatrick Heymans
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j27]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)- 2020
- [c109]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
- [c108]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 - [c107]Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser:
Multifaceted automated analyses for variability-intensive embedded systems. ICSE 2019: 854-865 - [c106]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
- [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. J. Syst. Softw. 141: 1-15 (2018) - [c105]Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans:
On Studying Bad Practices in Configuration UIs. IUI Workshops 2018 - [c104]Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans:
Representing Repairs in Configuration Interfaces: A Look at Industrial Practices. IUI Workshops 2018 - [c103]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. Softw. Syst. Model. 16(1): 153-171 (2017) - [c102]Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans:
Towards Security-Aware Mutation Testing. ICST Workshops 2017: 97-102 - [c101]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 - [c100]Jean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans:
Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering. NLDB 2017: 97-109 - [c99]Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
On Featured Transition Systems. SOFSEM 2017: 453-463 - [c98]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
- [c97]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 - [c96]Nicolas Genon, Gilles Perrouin, Xavier Le Pallec, Patrick Heymans:
Unlocking Visual Understanding: Towards Effective Keys for Diagrams. ER 2016: 505-512 - [c95]Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans:
A complexity tale: web configurators. VACE@ICSE 2016: 28-31 - [c94]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Featured model-based mutation analysis. ICSE 2016: 655-666 - [c93]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 - [c92]Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Search-based Similarity-driven Behavioural SPL Testing. VaMoS 2016: 89-96 - 2015
- [c91]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 - [c90]Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans:
Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) 2015: 817-818 - [c89]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 - [c88]Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher:
Using fuzzy modeling for consistent definitions of product qualities in requirements. AIRE 2015: 17-24 - [c87]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 - [c86]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 - [c85]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) - [c84]Ebrahim Khalil Abbasi, Mathieu Acher, Patrick Heymans, Anthony Cleve:
Reverse engineering web configurators. CSMR-WCRE 2014: 264-273 - [c83]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 - [c82]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 - [c81]Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens:
An extensible platform for product-line behavioural analysis. SPLC Workshops 2014: 102-109 - [c80]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. Softw. Syst. Model. 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) - [c79]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 - [c78]Birgit Penzenstadler, Martin Mahaux, Patrick Heymans:
University meets industry: Calling in real stakeholders. CSEE&T 2013: 1-10 - [c77]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 - [c76]Patrick Heymans, Axel Legay, Maxime Cordy:
Efficient quality assurance of variability-intensive systems. ICSE 2013: 1496-1498 - [c75]Patrice Caire, Nicolas Genon, Patrick Heymans, Daniel Laurence Moody:
Visual notation design 2.0: Towards user comprehensible requirements engineering notations. RE 2013: 115-124 - [c74]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 - [c73]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 - [c72]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 - [c71]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 - [c70]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. Univers. Comput. Sci. 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. Int. J. Softw. Tools Technol. Transf. 14(5): 553-566 (2012) - [j15]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) - [c69]Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans:
An SMT-based approach to automated configuration. SMT@IJCAR 2012: 109-119 - [c68]Mathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, Philippe Merle:
Feature Model Differences. CAiSE 2012: 629-645 - [c67]Martin Mahaux, Patrick Heymans:
Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique. CAiSE 2012: 699-700 - [c66]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 - [c65]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 - [c64]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 - [c63]Mathieu Acher, Raphaël Michel, Patrick Heymans, Philippe Collet, Philippe Lahire:
Languages and tools for managing feature models. PLEASE@ICSE 2012: 25-28 - [c62]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 - [c61]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 - [c60]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 - [c59]Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans:
Efficient consistency checking of scenario-based product-line specifications. RE 2012: 161-170 - [c58]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 - [c57]Nicolas Genon, Patrice Caire, Hubert Toussaint, Patrick Heymans, Daniel Laurence Moody:
Towards a More Semantically Transparent i* Visual Syntax. REFSQ 2012: 140-146 - [c56]Olivier Mangin, Béatrix Barafort, Patrick Heymans, Eric Dubois:
Designing a Process Reference Model for Information Security Management Systems. SPICE 2012: 129-140 - [c55]Patrick Heymans:
Formal methods for the masses. SPLC (1) 2012: 4 - [c54]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75 - [c53]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 - [c52]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 - [c51]Mathieu Acher, Patrick Heymans, Raphaël Michel:
Next-generation model-based variability management: languages and tools. SPLC (2) 2012: 276-277 - [c50]Quentin Boucher, Gilles Perrouin, Patrick Heymans:
Deriving configuration interfaces from feature models: a vision paper. VaMoS 2012: 37-44 - [c49]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 - [c48]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 Softw. Eng. Notes 36(4): 24-25 (2011) - [c47]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
Symbolic model checking of software product lines. ICSE 2011: 321-330 - [c46]Gunter Mussbacher, Daniel Amyot, Patrick Heymans:
Eight Deadly Sins of GRL. iStar 2011: 2-7 - [c45]Martin Mahaux, Patrick Heymans, Germain Saval:
Discovering Sustainability Requirements: An Experience Report. REFSQ 2011: 19-33 - [c44]Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans:
An interactive multi-perspective toolset for non-linear product configuration processes. SPLC Workshops 2011: 50 - [c43]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. Comput. Ind. 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) - [c42]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 - [c41]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 - [c40]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 - [c39]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 - [c38]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder:
Towards Multi-view Feature-Based Configuration. REFSQ 2010: 106-112 - [c37]Nicolas Genon, Daniel Amyot, Patrick Heymans:
Analysing the Cognitive Effectiveness of the UCM Visual Notation. SAM 2010: 221-240 - [c36]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 - [c35]Nicolas Genon, Patrick Heymans, Daniel Amyot:
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation. SLE 2010: 377-396 - [c34]Deepak Dhungana, Patrick Heymans, Rick Rabiser:
A Formal Semantics for Decision-oriented Variability Modeling with DOPLER. VaMoS 2010: 29-35 - [c33]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 - [c32]Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans:
Introducing TVL, a Text-based Feature Modelling. VaMoS 2010: 159-162 - [c31]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 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) - [c30]Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt:
Feature Diagrams for Change-Oriented Programming. ICFI 2009: 107-122 - [c29]Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh:
Towards safer composition. ICSE Companion 2009: 227-230 - [c28]Arnaud Hubaux, Patrick Heymans:
On the evaluation and improvement of feature-based configuration techniques in software product lines. ICSE Companion 2009: 367-370 - [c27]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 - [c26]Andreas Classen, Arnaud Hubaux, Patrick Heymans:
Analysis of Feature Configuration Workflows. RE 2009: 381-382 - [c25]Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans:
Relating requirements and feature configurations: a systematic approach. SPLC 2009: 201-210 - [c24]Arnaud Hubaux, Andreas Classen, Patrick Heymans:
Formal modelling of feature configuration workflows. SPLC 2009: 221-230 - [c23]Andreas Classen, Arnaud Hubaux, Patrick Heymans:
A Formal Semantics for Multi-level Staged Configuration. VaMoS 2009: 51-60 - [c22]Germain Saval, Jorge Pinna Puissant, Patrick Heymans, Tom Mens:
Some Challenges of Feature-based Merging of Class Diagrams. VaMoS 2009: 127-136 - [e4]