Alexander von Rhein

ORCID

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 5

Top Venues

GPCE

J. Log. Algebraic Methods Program.

ICSE (1)

CoRR

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

Alexander von Rhein, Jörg Liebig, Andreas Janker, Christian Kästner, Sven Apel
Variability-Aware Static Analysis at Scale: An Empirical Study. ACM Trans. Softw. Eng. Methodol. 27 (4) (2018)
Florian Sattler, Alexander von Rhein, Thorsten Berger, Niklas Schalck Johansson, Mikael Mark Hardø, Sven Apel
Lifting inter-app data-flow analysis to large app sets. Autom. Softw. Eng. 25 (2) (2018)
Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
On facilitating reuse in multi-goal test-suite generation for software product lines. Software Engineering (2016)
Alexander von Rhein
Analysestrategien für konfigurierbare Systeme. Ausgezeichnete Informatikdissertationen (2016)
Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel
Variability encoding: From compile-time to load-time variability. J. Log. Algebraic Methods Program. 85 (1) (2016)
Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. FASE (2015)
Alexander von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer, Thorsten Berger
Presence-Condition Simplification in Highly Configurable Systems. ICSE (1) (2015)
Alexander von Rhein, Sven Apel
Strategies for Analyzing Configurable Systems. Software Engineering & Management (2015)
Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake
Potential synergies of theorem proving and model checking for software product lines. SPLC (2014)
Sergiy S. Kolesnikov, Alexander von Rhein, Claus Hunsen, Sven Apel
A comparison of product-based, feature-based, and family-based type checking. GPCE (2013)
Norbert Siegmund, Alexander von Rhein, Sven Apel
Family-based performance measurement. GPCE (2013)
Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein
Domain Types: Abstract-Domain Selection Based on Variable Usage. Haifa Verification Conference (2013)
Sven Apel, Alexander von Rhein, Thomas Thüm, Christian Kästner
Feature-interaction detection based on feature-based specifications. Comput. Networks 57 (12) (2013)
Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, Ina Schaefer
The PLA model: on the combination of product-line analyses. VaMoS (2013)
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, Christian Lengauer
Scalable analysis of variable software. ESEC/SIGSOFT FSE (2013)
Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer
Strategies for product-line verification: case studies and experiments. ICSE (2013)
Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein
Domain Types: Selecting Abstractions Based on Variable Usage CoRR (2013)
Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann
Toward variability-aware testing. FOSD (2012)
Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer
Feature-Aware Verification CoRR (2011)
Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer
Detection of feature interactions using feature-aware verification. ASE (2011)

Alexander von Rhein.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander von Rhein