Pages

1. • Speech

   An SMT-based Approach to Automated Configuration

   Michel, Raphaël Hubaux, Arnaud Ganesh, Vijay Heymans, Patrick (2012) —
2. • Speech

   Efficient Consistency Checking of Scenario-Based Product Line Specifications [Best paper award]

   Greenyer, Joel Molzam Sharifloo, Amir Cordy, Maxime Heymans, Patrick (2012) —
3. • Speech

   Next-Generation Model-based Variability Management: Languages and Tools (Tutorial)

   Acher, Mathieu Heymans, Patrick Collet, Philippe Lahire, Philippe (2012) —
4. • Speech

   Unifying Software and Product Configuration: A Research Roadmap (to appear)

   Hubaux, Arnaud Dietmar, Jannach Drescher, Conrad Murta, Leonardo Mannisto, Tomi Czarnecki, Krzysztof Heymans, Patrick Nguyen, Tien Zanker, Markus (2012) —
5. • Speech

   Towards a systematic approach for cognitively efficient configuration visualizations

   Sauvage-Thomase, Céline Biri, Nicolas Perrouin, Gilles Heymans, Patrick (2014) Journée Ligne de Produits '14 — Centre de Recherche Public Henri Tudor
6. • Autre (Other)

   State Machine Flattening: Mapping Study and Assessment

   Devroey, Xavier Perrouin, Gilles Cordy, Maxime Legay, Axel Schobbens, Pierre-Yves Heymans, Patrick (2014)
7. • Journal article

   Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management

   Matulevicius, Raimundas Mouratidis, Haralambos Mayer, Nicolas Dubois, Eric Heymans, Patrick (2012) Journal of Universal Computer Science — no. 6, p. 816-844 (1986)
8. • Autre (Other)

   Towards Statistical Prioritization for Software Product Lines Testing

   Devroey, Xavier Cordy, Maxime Perrouin, Gilles Schobbens, Pierre-Yves Legay, Axel Heymans, Patrick (2013)
9. • Journal article

   Separation of concerns in feature diagram languages : A systematic survey

   Hubaux, Arnaud Tun, Thein Than Heymans, Patrick (2013) ACM Computing Surveys — vol. 45, no. 4, (2013)
10. • Speech

    ProVeLines : A Product Line of Verifiers for Software Product Lines

    Cordy, Maxime Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Legay, Axel (2013) 17th International Software Product Line Conference — Tokyo
11. • Speech

    All-At-Once-Synthesis of controllers from scenario-based product line specifications

    Cordy, Maxime Davril, Jean-Marc Greenyer, Joel Gressi, Erika Heymans, Patrick (2015) 19th International Software Product Line Conference, SPLC 2015 —
12. • Speech

    Efficient quality assurance of variability-intensive systems

    Heymans, Patrick Legay, Axel Cordy, Maxime (2013) 2013 35th International Conference on Software Engineering, ICSE 2013 —
13. • BookChapter

    Model checking adaptive software with featured transition systems

    Cordy, Maxime Classen, Andreas Heymans, Patrick Legay, Axel Schobbens, Pierre Cámara, Javier de Lemos, Rogério Ghezzi, Carlo Lopes, Antónia (2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : Principles, Models, and Techniques — [ISBN : 978-3-642-36248-4]
14. • Speech

    Reverse engineering web sales configurators

    Abbasi, Ebrahim Khalil Heymans, Patrick (2013) 29th IEEE International Conference on Software Maintenance, ICSM 2013 —
15. • Speech

    Feature model extraction from large collections of informal product descriptions

    Davril, Jean-Marc Delfosse, Edouard Hariri, Negar Acher, Mathieu Cleland-Huang, Jane Heymans, Patrick (2013) 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 —
16. • Journal article

    Formal semantics, modular specification, and symbolic verification of product-line behaviour

    Classen, Andreas Cordy, Maxime Heymans, Patrick Legay, Axel Schobbens, Pierre Yves (2014) Science of Computer Programming — vol. 80, no. PART B, p. 416-439 (2013)
17. • Speech

    State machine flattening, a mapping study and tools assessment

    Devroey, Xavier Cordy, Maxime Schobbens, Pierre Yves Legay, Axel Heymans, Patrick (2015) 2015 8th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 —
18. • Speech

    Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

    Cordy, Maxime Schobbens, Pierre Yves Heymans, Patrick Legay, Axel (2013) 2013 35th International Conference on Software Engineering, ICSE 2013 —
19. • Speech

    An extensible platform for product-line behavioural analysis

    Cordy, Maxime Willemart, Marco Dawagne, Bruno Heymans, Patrick Schobbens, Pierre-Yves (2014) 18th International Software Product Line Conference, SPLC 2014 —
20. • Speech

    University meets industry : Calling in real stakeholders

    Penzenstadler, Birgit Mahaux, Martin Heymans, Patrick (2013) 2013 26th International Conference on Software Engineering Education and Training, CSEE and T 2013 —
21. • Journal article

    Bypassing the combinatorial explosion : Using similarity to generate and prioritize t-wise test configurations for software product lines

    Henard, Christopher Papadakis, Mike Perrouin, Gilles Klein, Jacques Heymans, Patrick Traon, Yves Le (2014) IEEE Transactions on Software Engineering — vol. 40, no. 7, p. 650-670 (2014)
22. • Speech

    Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

    Devroey, Xavier Perrouin, Gilles Papadakis, Mike Legay, Axel Schobbens, Pierre Heymans, Patrick (2017) 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) —
23. • BookChapter

    Towards an incremental automata-based approach for software product-line model checking

    Cordy, Maxime Schobbens, Pierre Heymans, Patrick Legay, Axel (2012) ACM International Conference Proceeding Series : — [ISBN : 9781450310956]
24. • Speech

    Support for reverse engineering and maintaining feature models

    Acher, Mathieu Baudry, Benoit Heymans, Patrick Cleve, Anthony Hainaut, Jean Luc (2013) 7th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2013 —
25. • Speech

    Poster: VIBeS, Transition System Mutation Made Easy

    Devroey, Xavier Perrouin, Gilles Schobbens, Pierre Heymans, Patrick (2015) 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 —
26. • Journal article

    Features meet scenarios : Modeling and consistency-checking scenario-based product line specifications

    Greenyer, Joel Molzam Sharifloo, Amir Cordy, Maxime Heymans, Patrick (2013) Requirements Engineering — vol. 18, no. 2, p. 175-198 (2014)
27. • Speech

    Incrementally synthesizing controllers from scenario-based product line specifications

    Greenyer, Joel Brenner, Christian Cordy, Maxime Heymans, Patrick Gressi, Erika (2013) 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 —
28. • Speech

    Yo Variability! JHipster: A Playground for Web-Apps Analyses

    Halin, Axel Nuttinck, Alexandre Acher, Mathieu Devroey, Xavier Perrouin, Gilles Heymans, Patrick (2017) —
29. • Journal article

    Statistical prioritization for software product line testing: an experience report

    Devroey, Xavier Perrouin, Gilles Cordy, Maxime Samih, Hamza Legay, Axel Schobbens, Pierre Yves Heymans, Patrick (2015) Software and Systems Modeling — p. 1-19 (2015)
30. • Speech

    Visual notation design 2.0 : Towards user comprehensible requirements engineering notations

    Caire, Patrice Genon, Nicolas Heymans, Patrick Moody, Daniel L. (2013) 2013 21st IEEE International Requirements Engineering Conference, RE 2013 —

Pages