Andreas Classen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
4
Active years
2008–2013
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SPLC | ProVeLines: a product line of verifiers for software product lines. | Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay |
| 2012 | ICSE | Simulation-based abstractions for software product-line model checking. | Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2012 | SPLC | 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 |
| 2011 | ICSE | Symbolic model checking of software product lines. | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay |
| 2010 | ICSE | Model checking lots of systems: efficient verification of temporal properties in software product lines. | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-Franois Raskin |
| 2009 | ICSE | Towards safer composition. | Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh |
| 2009 | RE | Analysis of Feature Configuration Workflows. | Andreas Classen, Arnaud Hubaux, Patrick Heymans |
| 2009 | SPLC | Formal modelling of feature configuration workflows. | Arnaud Hubaux, Andreas Classen, Patrick Heymans |
| 2009 | SPLC | Relating requirements and feature configurations: a systematic approach. | Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans |
| 2008 | FASE | What's in a Feature: A Requirements Engineering Perspective. | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens |
| 2008 | ICSE | Using the event calculus to reason about problem diagrams. | Andreas Classen, Robin C. Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux |