Detection of feature interactions using feature-aware verification. - Sven Apel; Hendrik Speidel; Philipp Wendler; Alexander von Rhein; Dirk Beyer 001 (ASE, 2011)

Feature-Aware Verification - Sven Apel; Hendrik Speidel; Philipp Wendler; Alexander von Rhein; Dirk Beyer 001 (CoRR, 2011)

Toward variability-aware testing. - Christian Kästner; Alexander von Rhein; Sebastian Erdweg; Jonas Pusch; Sven Apel; Tillmann Rendel; Klaus Ostermann (FOSD, 2012)

A comparison of product-based, feature-based, and family-based type checking. - Sergiy S. Kolesnikov; Alexander von Rhein; Claus Hunsen; Sven Apel (GPCE, 2013)

Family-based performance measurement. - Norbert Siegmund; Alexander von Rhein; Sven Apel (GPCE, 2013)

Domain Types: Abstract-Domain Selection Based on Variable Usage. - Sven Apel; Dirk Beyer 001; Karlheinz Friedberger; Franco Raimondi; Alexander von Rhein (Haifa Verification Conference, 2013)

Strategies for product-line verification: case studies and experiments. - Sven Apel; Alexander von Rhein; Philipp Wendler; Armin Größlinger; Dirk Beyer 001 (ICSE, 2013)

Scalable analysis of variable software. - Jörg Liebig; Alexander von Rhein; Christian Kästner; Sven Apel; Jens Dörre; Christian Lengauer (ESEC/SIGSOFT FSE, 2013)

The PLA model: on the combination of product-line analyses. - Alexander von Rhein; Sven Apel; Christian Kästner; Thomas Thüm; Ina Schaefer (VaMoS, 2013)

Feature-interaction detection based on feature-based specifications. - Sven Apel; Alexander von Rhein; Thomas Thüm; Christian Kästner (Comput. Networks, 2013)

Domain Types: Selecting Abstractions Based on Variable Usage - Sven Apel; Dirk Beyer 001; Karlheinz Friedberger; Franco Raimondi; Alexander von Rhein (CoRR, 2013)

Potential synergies of theorem proving and model checking for software product lines. - Thomas Thüm; Jens Meinicke; Fabian Benduhn; Martin Hentschel 002; Alexander von Rhein; Gunter Saake (SPLC, 2014)

Presence-Condition Simplification in Highly Configurable Systems. - Alexander von Rhein; Alexander Grebhahn; Sven Apel; Norbert Siegmund; Dirk Beyer 001; Thorsten Berger (ICSE (1), 2015)

Strategies for Analyzing Configurable Systems. - Alexander von Rhein; Sven Apel (Software Engineering & Management, 2015)

Analysestrategien für konfigurierbare Systeme. - Alexander von Rhein (Ausgezeichnete Informatikdissertationen, 2016)

On facilitating reuse in multi-goal test-suite generation for software product lines. - Malte Lochau; Johannes Bürdek; Stefan Bauregger; Andreas Holzer; Alexander von Rhein; Sven Apel; Dirk Beyer 001 (Software Engineering, 2016)

Variability encoding: From compile-time to load-time variability. - Alexander von Rhein; Thomas Thüm; Ina Schaefer; Jörg Liebig; Sven Apel (J. Log. Algebraic Methods Program., 2016)

Analysis Strategies for Configurable Systems. - Alexander von Rhein (2016)

Lifting inter-app data-flow analysis to large app sets. - Florian Sattler; Alexander von Rhein; Thorsten Berger; Niklas Schalck Johansson; Mikael Mark Hardø; Sven Apel (Autom. Softw. Eng., 2018)

Variability-Aware Static Analysis at Scale: An Empirical Study. - Alexander von Rhein; Jörg Liebig; Andreas Janker; Christian Kästner; Sven Apel (ACM Trans. Softw. Eng. Methodol., 2018)