Problem-Oriented Feature Interaction Detection in Software Product Lines. - Andreas Classen (ICFI, 2007)

On the Structure of Problem Variability: From Feature Diagrams to Problem Frames. - Andreas Classen; Patrick Heymans; Robin C. Laney; Bashar Nuseibeh; Thein Than Tun (VaMoS, 2007)

What's in a Feature: A Requirements Engineering Perspective. - Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens (FASE, 2008)

Using the event calculus to reason about problem diagrams. - Andreas Classen; Robin C. Laney; Thein Than Tun; Patrick Heymans; Arnaud Hubaux (IWAAPF@ICSE, 2008)

Evaluating formal properties of feature diagram languages. - Patrick Heymans; Pierre-Yves Schobbens; Jean-Christophe Trigaux; Yves Bontemps; Raimundas Matulevicius; Andreas Classen (IET Softw., 2008)

Feature Diagrams for Change-Oriented Programming. - Peter Ebraert; Andreas Classen; Patrick Heymans; Theo D'Hondt (ICFI, 2009)

Towards safer composition. - Andreas Classen; Patrick Heymans; Thein Than Tun; Bashar Nuseibeh (ICSE Companion, 2009)

Analysis of Feature Configuration Workflows. - Andreas Classen; Arnaud Hubaux; Patrick Heymans (RE, 2009)

Formal modelling of feature configuration workflows. - Arnaud Hubaux; Andreas Classen; Patrick Heymans (SPLC, 2009)

Relating requirements and feature configurations: a systematic approach. - Thein Than Tun; Quentin Boucher; Andreas Classen; Arnaud Hubaux; Patrick Heymans (SPLC, 2009)

A Formal Semantics for Multi-level Staged Configuration. - Andreas Classen; Arnaud Hubaux; Patrick Heymans (VaMoS, 2009)

Model checking lots of systems: efficient verification of temporal properties in software product lines. - Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay; Jean-François Raskin (ICSE (1), 2010)

Tag and prune: a pragmatic approach to software product line implementation. - Quentin Boucher; Andreas Classen; Patrick Heymans; Arnaud Bourdoux; Laurent Demonceau (ASE, 2010)

Introducing TVL, a Text-based Feature Modelling. - Quentin Boucher; Andreas Classen; Paul Faber; Patrick Heymans (VaMoS, 2010)

XToF - A Tool for Tag-based Product Line Implementation. - Christophe Gauthier; Andreas Classen; Quentin Boucher; Patrick Heymans; Margaret-Anne D. Storey; Marcílio Mendonça (VaMoS, 2010)

A Preliminary Review on the Application of Feature Diagrams in Practice. - Arnaud Hubaux; Andreas Classen; Marcílio Mendonça; Patrick Heymans (VaMoS, 2010)

Symbolic model checking of software product lines. - Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay (ICSE, 2011)

A formal semantics for feature cardinalities in feature diagrams. - Raphaël Michel; Andreas Classen; Arnaud Hubaux; Quentin Boucher (VaMoS, 2011)

A text-based approach to feature modelling: Syntax and semantics of TVL. - Andreas Classen; Quentin Boucher; Patrick Heymans (Sci. Comput. Program., 2011)

Modelling and model checking variability-intensive systems - Andreas Classen (2011)

Simulation-based abstractions for software product-line model checking. - Maxime Cordy; Andreas Classen; Gilles Perrouin; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (ICSE, 2012)

Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. - Maurice H. ter Beek; Martin Becker 002; Andreas Classen; Fabricia Roos-Frantz; Ina Schaefer; Peter Y. H. Wong (SPLC (1), 2012)

Managing evolution in software product lines: a model-checking perspective. - Maxime Cordy; Andreas Classen; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (VaMoS, 2012)

Model checking software product lines with SNIP. - Andreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Int. J. Softw. Tools Technol. Transf., 2012)

A code tagging approach to software product line development - An application to satellite communication libraries. - Patrick Heymans; Quentin Boucher; Andreas Classen; Arnaud Bourdoux; Laurent Demonceau (Int. J. Softw. Tools Technol. Transf., 2012)

ProVeLines: a product line of verifiers for software product lines. - Maxime Cordy; Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay (SPLC Workshops, 2013)

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. - Andreas Classen; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay; Jean-François Raskin (IEEE Trans. Software Eng., 2013)

Model Checking Adaptive Software with Featured Transition Systems. - Maxime Cordy; Andreas Classen; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Assurances for Self-Adaptive Systems, 2013)

Formal semantics, modular specification, and symbolic verification of product-line behaviour. - Andreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Sci. Comput. Program., 2014)

A Decade of Featured Transition Systems. - Maxime Cordy; Xavier Devroey; Axel Legay; Gilles Perrouin; Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Jean-François Raskin (From Software Engineering to Formal Methods and Tools, and Back, 2019)