Andreas Classen

According to our database, Andreas Classen authored at least 30 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2014

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

2013

Model Checking Adaptive Software with Featured Transition Systems.

Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens

Proceedings of the Assurances for Self-Adaptive Systems, 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

ProVeLines: a product line of verifiers for software product lines.

Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

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

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

Managing evolution in software product lines: a model-checking perspective.

Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series.

Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong

Proceedings of the 16th International Software Product Line Conference, 2012

Simulation-based abstractions for software product-line model checking.

Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Modelling and model checking variability-intensive systems

Andreas Classen

PhD thesis, 2011

A text-based approach to feature modelling: Syntax and semantics of TVL.

Andreas Classen, Quentin Boucher, Patrick Heymans

Sci. Comput. Program., 2011

A formal semantics for feature cardinalities in feature diagrams.

Raphaël Michel, Andreas Classen, Arnaud Hubaux, Quentin Boucher

Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

Symbolic model checking of software product lines.

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

A Preliminary Review on the Application of Feature Diagrams in Practice.

Arnaud Hubaux, Andreas Classen, Marcílio Mendonça, Patrick Heymans

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 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

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Introducing TVL, a Text-based Feature Modelling.

Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Tag and prune: a pragmatic approach to software product line implementation.

Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau

Proceedings of the ASE 2010, 2010

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

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

A Formal Semantics for Multi-level Staged Configuration.

Andreas Classen, Arnaud Hubaux, Patrick Heymans

Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

Relating requirements and feature configurations: a systematic approach.

Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans

Proceedings of the Software Product Lines, 13th International Conference, 2009

Formal modelling of feature configuration workflows.

Arnaud Hubaux, Andreas Classen, Patrick Heymans

Proceedings of the Software Product Lines, 13th International Conference, 2009

Analysis of Feature Configuration Workflows.

Andreas Classen, Arnaud Hubaux, Patrick Heymans

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Towards safer composition.

Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh

Proceedings of the 31st International Conference on Software Engineering, 2009

Feature Diagrams for Change-Oriented Programming.

Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

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

Using the event calculus to reason about problem diagrams.

Andreas Classen, Robin C. Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux

Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

What's in a Feature: A Requirements Engineering Perspective.

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens

Proceedings of the Fundamental Approaches to Software Engineering, 2008

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

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Problem-Oriented Feature Interaction Detection in Software Product Lines.

Andreas Classen

Proceedings of the Feature Interactions in Software and Communication Systems IX, 2007