default search action

combined dblp search
author search
venue search
publication search

ask others

Andreas Classen

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CordyDLPCHSR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CordyDLPCHSR19
Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin:
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 285-312
2014
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ClassenCHLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ClassenCHLS14
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80: 416-439 (2014)
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ClassenCSHLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ClassenCSHLR13
Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin:
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/CordyCHSL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/CordyCHSL13
Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
ProVeLines: a product line of verifiers for software product lines. SPLC Workshops 2013: 141-146
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/CordyCHLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/CordyCHLS13
Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems 2013: 1-29
[e1]
- view
- export record
  dblp key:
  - conf/gpce/2013fosd
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/2013fosd
Andreas Classen, Norbert Siegmund:
5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013. ACM 2013, ISBN 978-1-4503-2168-6 [contents]
2012
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HeymansBCBD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HeymansBCBD12
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. Int. J. Softw. Tools Technol. Transf. 14(5): 553-566 (2012)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ClassenCHLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ClassenCHLS12
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5): 589-612 (2012)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CordyCPSHL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CordyCPSHL12
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
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekBCRSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekBCRSW12
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
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/CordyCSHL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/CordyCSHL12
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
[b1]
- view
- export record
  dblp key:
  - phd/be/Classen11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/be/Classen11
Andreas Classen:
Modelling and model checking variability-intensive systems. University of Namur, Belgium, 2011
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ClassenBH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ClassenBH11
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)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ClassenHSL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ClassenHSL11
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
Symbolic model checking of software product lines. ICSE 2011: 321-330
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/MichelCHB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/MichelCHB11
Raphaël Michel, Andreas Classen, Arnaud Hubaux, Quentin Boucher:
A formal semantics for feature cardinalities in feature diagrams. VaMoS 2011: 82-89
2010
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ClassenHSLR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ClassenHSLR10
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
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BoucherCHBD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BoucherCHBD10
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
[c13]
- view
  - electronic edition @ vamos-workshop.net
  - no references & citations available
- export record
  dblp key:
  - conf/vamos/HubauxCMH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/HubauxCMH10
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
[c12]
- view
  - electronic edition @ vamos-workshop.net
  - no references & citations available
- export record
  dblp key:
  - conf/vamos/BoucherCFH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BoucherCFH10
Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans:
Introducing TVL, a Text-based Feature Modelling. VaMoS 2010: 159-162
[c11]
- view
  - electronic edition @ vamos-workshop.net
  - no references & citations available
- export record
  dblp key:
  - conf/vamos/GauthierCBHSM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/GauthierCBHSM10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fiw/EbraertCHD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fiw/EbraertCHD09
Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt:
Feature Diagrams for Change-Oriented Programming. ICFI 2009: 107-122
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ClassenHTN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ClassenHTN09
Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh:
Towards safer composition. ICSE Companion 2009: 227-230
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/re/ClassenHH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/ClassenHH09
Andreas Classen, Arnaud Hubaux, Patrick Heymans:
Analysis of Feature Configuration Workflows. RE 2009: 381-382
[c7]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/splc/TunBCHH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/TunBCHH09
Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans:
Relating requirements and feature configurations: a systematic approach. SPLC 2009: 201-210
[c6]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/splc/HubauxCH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/HubauxCH09
Arnaud Hubaux, Andreas Classen, Patrick Heymans:
Formal modelling of feature configuration workflows. SPLC 2009: 221-230
[c5]
- view
  - electronic edition @ vamos-workshop.net
  - no references & citations available
- export record
  dblp key:
  - conf/vamos/ClassenHH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/ClassenHH09
Andreas Classen, Arnaud Hubaux, Patrick Heymans:
A Formal Semantics for Multi-level Staged Configuration. VaMoS 2009: 51-60
2008
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/HeymansSTBMC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/HeymansSTBMC08
Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen:
Evaluating formal properties of feature diagram languages. IET Softw. 2(3): 281-302 (2008)
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ClassenHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ClassenHS08
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ClassenLTHH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ClassenLTHH08
Andreas Classen, Robin C. Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux:
Using the event calculus to reason about problem diagrams. IWAAPF@ICSE 2008: 74-77
2007
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fiw/Classen07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fiw/Classen07
Andreas Classen:
Problem-Oriented Feature Interaction Detection in Software Product Lines. ICFI 2007: 203-206
[c1]
- view
  - electronic edition @ vamos-workshop.net
  - no references & citations available
- export record
  dblp key:
  - conf/vamos/ClassenHLNT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/ClassenHLNT07
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

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.