Travelled to:1 × Belgium
1 × Germany
1 × Hungary
1 × South Africa
1 × Switzerland
1 × The Netherlands
4 × USA
Collaborated with:P.Heymans P.Schobbens A.Hubaux B.Steffen A.Legay V.Braun T.Margaria-Steffen Q.Boucher T.Margaria A.Bourdoux L.Demonceau J.Raskin T.T.Tun M.Cordy G.Perrouin J.Trigaux Y.Bontemps R.Matulevicius R.Nisius M.Reitenspieß M.v.d.Beeck A.Dannecker C.Friedrich D.Koschützki F.Schreiber
Talks about:featur (5) softwar (4) product (4) model (4) line (4) configur (3) environ (3) frame (3) check (3) meta (3)
Person: Andreas Claßen
DBLP: Cla=szlig=en:Andreas
Contributed to:
20122011
20102010
2009
2009
2008
2008
1997
19961996
1995Wrote 13 papers:
- ICSE-2012-CordyCPSHL #abstraction #model checking #product line
- Simulation-based abstractions for software product-line model checking (MC, AC, GP, PYS, PH, AL), pp. 672–682.
- ICSE-2011-ClassenHSL #model checking #product line
- Symbolic model checking of software product lines (AC, PH, PYS, AL), pp. 321–330.
- ASE-2010-BoucherCHBD #approach #implementation #product line
- Tag and prune: a pragmatic approach to software product line implementation (QB, AC, PH, AB, LD), pp. 333–336.
- ICSE-2010-ClassenHSLR #model checking #performance #product line #verification
- Model checking lots of systems: efficient verification of temporal properties in software product lines (AC, PH, PYS, AL, JFR), pp. 335–344.
- RE-2009-ClassenHH #analysis #feature model #workflow
- Analysis of Feature Configuration Workflows (AC, AH, PH), pp. 381–382.
- SPLC-2009-HubauxCH #feature model #formal method #modelling #workflow
- Formal modelling of feature configuration workflows (AH, AC, PH), pp. 221–230.
- SPLC-2009-TunBCHH #approach #feature model #requirements
- Relating requirements and feature configurations: a systematic approach (TTT, QB, AC, AH, PH), pp. 201–210.
- FASE-2008-ClassenHS #perspective #requirements #what
- What’s in a Feature: A Requirements Engineering Perspective (AC, PH, PYS), pp. 16–30.
- ATEM-J-2006-HeymansSTBMC #diagrams #feature model
- Evaluating formal properties of feature diagram languages (PH, PYS, JCT, YB, RM, AC), pp. 281–302.
- TACAS-1997-BeeckBCDFKMSS #graph #morphism #polymorphism #power of
- Graphs in METAFrame: The Unifying Power of Polymorphism (MvdB, VB, AC, AD, CF, DK, TMS, FS, BS), pp. 112–129.
- CAV-1996-SteffenMCB
- The METAFrame’95 Environment (BS, TMS, AC, VB), pp. 450–453.
- TACAS-1996-SteffenMCBNR #constraints
- A Constraint-Oriented Service Creation Environment (BS, TMS, AC, VB, RN, MR), pp. 418–421.
- TAPSOFT-1995-SteffenMC #flexibility
- The META-Frame: An Environment for Flexible Tool Management (BS, TM, AC), pp. 791–792.