BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cla=szlig=en:Andreas

Contributed to:

ICSE 20122012
ICSE 20112011
ASE 20102010
ICSE 20102010
RE 20092009
SPLC 20092009
FASE 20082008
IET Software, 20082008
TACAS 19971997
CAV 19961996
TACAS 19961996

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.