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: Rhein:Alexander_von
Contributed to:
2015
2015
2014
2013
20132013
2011Wrote 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.