Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Andreas Classen
2010 – today
- 2012
[j4]Patrick Heymans, Quentin Boucher, Andreas Classen, Arnaud Bourdoux, Laurent Demonceau: A code tagging approach to software product line development - An application to satellite communication libraries. STTT 14(5): 553-566 (2012)- [j3]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens: Model checking software product lines with SNIP. STTT 14(5): 589-612 (2012)
- [c19]Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682
- [c18]Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong: Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) 2012: 286-287
- [c17]Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay: Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191
- 2011
- [j2]Andreas Classen, Quentin Boucher, Patrick Heymans: A text-based approach to feature modelling: Syntax and semantics of TVL. Sci. Comput. Program. 76(12): 1130-1143 (2011)
- [c16]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay: Symbolic model checking of software product lines. ICSE 2011: 321-330
- [c15]Raphaël Michel, Andreas Classen, Arnaud Hubaux, Quentin Boucher: A formal semantics for feature cardinalities in feature diagrams. VaMoS 2011: 82-89
- 2010
- [c14]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin: Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344
- [c13]Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau: Tag and prune: a pragmatic approach to software product line implementation. ASE 2010: 333-336
- [c12]Arnaud Hubaux, Andreas Classen, Marcílio Mendonça, Patrick Heymans: A Preliminary Review on the Application of Feature Diagrams in Practice. VaMoS 2010: 53-59
- [c11]Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans: Introducing TVL, a Text-based Feature Modelling. VaMoS 2010: 159-162
- [c10]Christophe Gauthier, Andreas Classen, Quentin Boucher, Patrick Heymans, Margaret-Anne D. Storey, Marcílio Mendonça: XToF - A Tool for Tag-based Product Line Implementation. VaMoS 2010: 163-166
2000 – 2009
- 2009
- [c9]Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt: Feature Diagrams for Change-Oriented Programming. ICFI 2009: 107-122
- [c8]Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh: Towards safer composition. ICSE Companion 2009: 227-230
- [c7]Andreas Classen, Arnaud Hubaux, Patrick Heymans: Analysis of Feature Configuration Workflows. RE 2009: 381-382
- [c6]Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans: Relating requirements and feature configurations: a systematic approach. SPLC 2009: 201-210
- [c5]Arnaud Hubaux, Andreas Classen, Patrick Heymans: Formal modelling of feature configuration workflows. SPLC 2009: 221-230
- [c4]Andreas Classen, Arnaud Hubaux, Patrick Heymans: A Formal Semantics for Multi-level Staged Configuration. VaMoS 2009: 51-60
- 2008
- [j1]Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen: Evaluating formal properties of feature diagram languages. IET Software 2(3): 281-302 (2008)
- [c3]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens: What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30
- 2007
- [c2]Andreas Classen: Problem-Oriented Feature Interaction Detection in Software Product Lines. ICFI 2007: 203-206
- [c1]Andreas Classen, Patrick Heymans, Robin C. Laney, Bashar Nuseibeh, Thein Than Tun: On the Structure of Problem Variability: From Feature Diagrams to Problem Frames. VaMoS 2007: 109-117
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:26 CET by the dblp team