Statistics
Publications
17
Citations
979
H-Index
15
Active since
2011
Alexander von Rhein is an author at University of Passau specializing in computer science, computing, and formal methods.
Publications per year
2011–2020
17
17
Scalable analysis of variable software
Jörg Liebig, Alexander von Rhein, Christian Kästner et al. · 2013 · 152 citations
Strategies for product-line verification: case studies and experiments
Sven Apel, Alexander von Rhein, Philipp Wendler et al. · 2013 · 143 citations
Detection of feature interactions using feature-aware verification
Sven Apel, Hendrik Speidel, Philipp Wendler et al. · 2011 · 130 citations
Feature-interaction detection based on feature-based specifications
Sven Apel, Alexander von Rhein, Thomas Thüm et al. · Computer Networks · 2013 · 74 citations
1–5 of 17