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 × Russia
1 × United Kingdom
2 × Italy
3 × USA
Collaborated with:
S.Apel D.Beyer N.Siegmund P.Wendler S.S.Kolesnikov C.Hunsen A.Größlinger H.Speidel A.Grebhahn T.Berger T.Thüm J.Meinicke F.Benduhn M.Hentschel G.Saake J.Liebig C.Kästner J.Dörre C.Lengauer J.Bürdek M.Lochau S.Bauregger A.Holzer
Talks about:
product (4) base (4) softwar (3) featur (3) line (3) famili (2) verif (2) check (2) comparison (1) strategi (1)

Person: Alexander von Rhein

DBLP DBLP: Rhein:Alexander_von

Contributed to:

FASE 20152015
ICSE 20152015
SPLC 20142014
ESEC/FSE 20132013
GPCE 20132013
ICSE 20132013
ASE 20112011

Wrote 8 papers:

FASE-2015-BurdekLBHRA015 #generative #multi #product line #reuse #testing
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (JB, ML, SB, AH, AvR, SA, DB), pp. 84–99.
ICSE-v1-2015-RheinGAS0B #configuration management
Presence-Condition Simplification in Highly Configurable Systems (AvR, AG, SA, NS, DB, TB), pp. 178–188.
SPLC-2014-ThumMBHRS #model checking #product line #proving #theorem proving
Potential synergies of theorem proving and model checking for software product lines (TT, JM, FB, MH, AvR, GS), pp. 177–186.
ESEC-FSE-2013-LiebigRKADL #analysis #scalability
Scalable analysis of variable software (JL, AvR, CK, SA, JD, CL), pp. 81–91.
GPCE-2013-KolesnikovRHA #comparison #type checking
A comparison of product-based, feature-based, and family-based type checking (SSK, AvR, CH, SA), pp. 115–124.
GPCE-2013-SiegmundRA #metric #performance
Family-based performance measurement (NS, AvR, SA), pp. 95–104.
ICSE-2013-ApelRWGB #case study #product line #verification
Strategies for product-line verification: case studies and experiments (SA, AvR, PW, AG, DB), pp. 482–491.
ASE-2011-ApelSWRB #detection #feature model #interactive #using #verification
Detection of feature interactions using feature-aware verification (SA, HS, PW, AvR, DB), pp. 372–375.

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.