Andreas Classen

31 papers A* 3A 1B 3Journal 6Unranked 15

Year	Rank	Type	Title / Venue / Authors
2019	—	`conf`	A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin
2014	J	`jnl`	Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2013	—	`ed.`	5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013 FOSD Andreas Classen, Norbert Siegmund
2013	J	`jnl`	Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin
2013	—	`ch.`	Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2013	—	`conf`	ProVeLines: a product line of verifiers for software product lines. SPLC Workshops Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2012	J	`jnl`	A code tagging approach to software product line development - An application to satellite communication libraries. Int. J. Softw. Tools Technol. Transf. Patrick Heymans, Quentin Boucher, Andreas Classen, Arnaud Bourdoux, Laurent Demonceau
2012	—	`conf`	Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong
2012	—	`conf`	Managing evolution in software product lines: a model-checking perspective. VaMoS Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012	J	`jnl`	Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2012	A*	`conf`	Simulation-based abstractions for software product-line model checking. ICSE Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2011	—	`conf`	A formal semantics for feature cardinalities in feature diagrams. VaMoS Raphaël Michel, Andreas Classen, Arnaud Hubaux, Quentin Boucher
2011	J	`jnl`	A text-based approach to feature modelling: Syntax and semantics of TVL. Sci. Comput. Program. Andreas Classen, Quentin Boucher, Patrick Heymans
2011	—	`—`	Modelling and model checking variability-intensive systems Andreas Classen
2011	A*	`conf`	Symbolic model checking of software product lines. ICSE Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2010	—	`conf`	A Preliminary Review on the Application of Feature Diagrams in Practice. VaMoS Arnaud Hubaux, Andreas Classen, Marcílio Mendonça, Patrick Heymans
2010	—	`conf`	Introducing TVL, a Text-based Feature Modelling. VaMoS Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans
2010	—	`conf`	Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin
2010	A*	`conf`	Tag and prune: a pragmatic approach to software product line implementation. ASE Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau
2010	—	`conf`	XToF - A Tool for Tag-based Product Line Implementation. VaMoS Christophe Gauthier, Andreas Classen, Quentin Boucher, Patrick Heymans, Margaret-Anne D. Storey, Marcílio Mendonça
2009	—	`conf`	A Formal Semantics for Multi-level Staged Configuration. VaMoS Andreas Classen, Arnaud Hubaux, Patrick Heymans
2009	A	`conf`	Analysis of Feature Configuration Workflows. RE Andreas Classen, Arnaud Hubaux, Patrick Heymans
2009	—	`conf`	Feature Diagrams for Change-Oriented Programming. ICFI Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt
2009	B	`conf`	Formal modelling of feature configuration workflows. SPLC Arnaud Hubaux, Andreas Classen, Patrick Heymans
2009	B	`conf`	Relating requirements and feature configurations: a systematic approach. SPLC Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans
2009	—	`conf`	Towards safer composition. ICSE Companion Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh
2008	J	`jnl`	Evaluating formal properties of feature diagram languages. IET Softw. Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen
2008	—	`conf`	Using the event calculus to reason about problem diagrams. IWAAPF@ICSE Andreas Classen, Robin C. Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux
2008	B	`conf`	What's in a Feature: A Requirements Engineering Perspective. FASE Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
2007	—	`conf`	On the Structure of Problem Variability: From Feature Diagrams to Problem Frames. VaMoS Andreas Classen, Patrick Heymans, Robin C. Laney, Bashar Nuseibeh, Thein Than Tun
2007	—	`conf`	Problem-Oriented Feature Interaction Detection in Software Product Lines. ICFI Andreas Classen