What’s in a $Feature$: A Requirements Engineering Perspective von Classen, Andreas, Heymans, Patrick, Schobbens, Pierre-Yves

Volltext

A text-based approach to feature modelling: Syntax and semantics of TVL von Classen, Andreas, Boucher, Quentin, Heymans, Patrick

Volltext

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking von Classen, A., Cordy, M., Schobbens, Pierre-Yves, Heymans, P., Legay, A., Raskin, Jean-Francois

Volltext

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines von Henard, Christopher, Papadakis, Mike, Perrouin, Gilles, Klein, Jacques, Heymans, Patrick, Le Traon, Yves

Volltext

VaryMinions: leveraging RNNs to identify variants in variability-intensive systems’ logs von Fortz, Sophie, Temple, Paul, Devroey, Xavier, Heymans, Patrick, Perrouin, Gilles

Volltext

Introduction to the RE’11 special issue: requirements in motion von Heymans, Patrick

Volltext

Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation von Genon, Nicolas, Heymans, Patrick, Amyot, Daniel

Volltext

Model checking lots of systems: efficient verification of temporal properties in software product lines von Classen, Andreas, Heymans, Patrick, Schobbens, Pierre-Yves, Legay, Axel, Raskin, Jean-François

Volltext

Symbolic model checking of software product lines von Classen, Andreas, Heymans, Patrick, Schobbens, Pierre-Yves, Legay, Axel

Volltext

Model-based mutant equivalence detection using automata language equivalence and simulations von Devroey, Xavier, Perrouin, Gilles, Papadakis, Mike, Legay, Axel, Schobbens, Pierre-Yves, Heymans, Patrick

Volltext

Model checking software product lines with SNIP von Classen, Andreas, Cordy, Maxime, Heymans, Patrick, Legay, Axel, Schobbens, Pierre-Yves

Volltext

Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings von Glinz, Martin, Heymans, Patrick

Volltext

Formal semantics, modular specification, and symbolic verification of product-line behaviour von Classen, Andreas, Cordy, Maxime, Heymans, Patrick, Legay, Axel, Schobbens, Pierre-Yves

Volltext

Visual syntax does matter: improving the cognitive effectiveness of the i visual notation von Moody, Daniel L., Heymans, Patrick, Matulevičius, Raimundas

Volltext

Generic semantics of feature diagrams von Schobbens, Pierre-Yves, Heymans, Patrick, Trigaux, Jean-Christophe, Bontemps, Yves

Volltext

Statistical prioritization for software product line testing: an experience report von Devroey, Xavier, Perrouin, Gilles, Cordy, Maxime, Samih, Hamza, Legay, Axel, Schobbens, Pierre-Yves, Heymans, Patrick

Volltext

Essential Expectations of Users of Web Configurators: An Empirical Survey von Leclercq, Tony, Abbasi, Ebrahim Khalil, Dumas, Bruno, Remiche, Marie-Ange, Heymans, Patrick

Volltext

Discovering Sustainability Requirements: An Experience Report von Mahaux, Martin, Heymans, Patrick, Saval, Germain

Volltext

University meets industry: Calling in real stakeholders von Penzenstadler, Birgit, Mahaux, Martin, Heymans, Patrick

Volltext

Separation of Concerns in Feature Diagram Languages: A Systematic Survey von HUBAUX, Arnaud, THEIN THAN TUN, HEYMANS, Patrick

Volltext