Alexander von Rhein

Most-cited papers

Strategies for product-line verification: Case studies and experiments
Sven Apel, Alexander von Rhein, P. Wendler, Armin Groslinger +1 more
2013International Conference on Software Engineering187 citations
Semantic Scholar
Scalable analysis of variable software
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel +2 more
2013ESEC/FSE 2013179 citations
Semantic Scholar
Detection of feature interactions using feature-aware verification
Sven Apel, Hendrik Speidel, P. Wendler, Alexander von Rhein +1 more
2011International Conference on Automated Software Engineering140 citations
Semantic Scholar
Feature-interaction detection based on feature-based specifications
Sven Apel, Alexander von Rhein, Thomas Thüm, Christian Kästner
2013Comput. Networks78 citations Open access
Semantic Scholar
Toward variability-aware testing
Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch +3 more
2012Feature-oriented software development78 citations
Semantic Scholar
Presence-Condition Simplification in Highly Configurable Systems
Alexander von Rhein, A. Grebhahn, Sven Apel, Norbert Siegmund +2 more
20152015 IEEE/ACM 37th IEEE International Conference on Software Engineering74 citations
Semantic Scholar
Variability-Aware Static Analysis at Scale
Alexander von Rhein, Jörg Liebig, A. Janker, Christian Kästner +1 more
2018ACM Transactions on Software Engineering and Methodology71 citations Open access
Semantic Scholar
Variability encoding: From compile-time to load-time variability
Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig +1 more
2016J. Log. Algebraic Methods Program.50 citations Open access
Semantic Scholar
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines
Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer +3 more
2015Fundamental Approaches to Software Engineering48 citations Open access
Semantic Scholar
The PLA model: on the combination of product-line analyses
Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm +1 more
2013International Workshop on Variability Modelling of Software-Intensive Systems44 citations
Semantic Scholar
Potential synergies of theorem proving and model checking for software product lines
Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel +2 more
2014Software Product Lines Conference38 citations
Semantic Scholar
A comparison of product-based, feature-based, and family-based type checking
Sergiy S. Kolesnikov, Alexander von Rhein, Claus Hunsen, Sven Apel
2014International Conference on Generative Programming: Concepts and Experiences35 citations Open access
Semantic Scholar
Family-based performance measurement
Norbert Siegmund, Alexander von Rhein, Sven Apel
2014International Conference on Generative Programming: Concepts and Experiences30 citations Open access
Semantic Scholar
Domain Types: Abstract-Domain Selection Based on Variable Usage
Sven Apel, Dirk Beyer, Karlheinz Friedberger, F. Raimondi +1 more
2013Haifa Verification Conference29 citations
Semantic Scholar
Introducing Binary Decision Diagrams in the explicit-state verification of Java code
Alexander von Rhein, Sven Apel, F. Raimondi
201128 citations
Semantic Scholar
Lifting inter-app data-flow analysis to large app sets
Florian Sattler, Alexander von Rhein, T. Berger, N. Johansson +2 more
2017International Conference on Automated Software Engineering18 citations Open access
Semantic Scholar
Large-Scale Variability-Aware Type Checking and Dataflow Analysis
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel +2 more
201214 citations
Semantic Scholar
Analysis Strategies for Configurable Systems
Alexander von Rhein
20169 citations
Semantic Scholar
On Facilitating Reuse in Multigoal Test-Suite Generation for Software Product Lines ∗ †
Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer +3 more
20157 citations
Semantic Scholar
Domain Types: Selecting Abstractions Based on Variable Usage
Sven Apel, Dirk Beyer, Karlheinz Friedberger, F. Raimondi +1 more
2013arXiv.org4 citations
Semantic Scholar
Feature-Aware Verification
Sven Apel, Hendrik Speidel, P. Wendler, Alexander von Rhein +1 more
2011arXiv.org2 citations
Semantic Scholar
Strategies for Analyzing Configurable Systems
Alexander von Rhein, Sven Apel
2015Software Engineering & Management0 citations
Semantic Scholar