Alexander von Rhein

According to our database, Alexander von Rhein authored at least 20 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

2016

Analysis Strategies for Configurable Systems.

Alexander von Rhein

PhD thesis, 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

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

Proceedings of the Software Engineering 2016, 2016

Analysestrategien für konfigurierbare Systeme.

Alexander von Rhein

Proceedings of the Ausgezeichnete Informatikdissertationen 2016, 2016

2015

Strategies for Analyzing Configurable Systems.

Alexander von Rhein, Sven Apel

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Presence-Condition Simplification in Highly Configurable Systems.

Alexander von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer, Thorsten Berger

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Potential synergies of theorem proving and model checking for software product lines.

Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake

Proceedings of the 18th International Software Product Line Conference, 2014

2013

Domain Types: Selecting Abstractions Based on Variable Usage

Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein

CoRR, 2013

Feature-interaction detection based on feature-based specifications.

Sven Apel, Alexander von Rhein, Thomas Thüm, Christian Kästner

Comput. Networks, 2013

The PLA model: on the combination of product-line analyses.

Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, Ina Schaefer

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Scalable analysis of variable software.

Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, Christian Lengauer

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Strategies for product-line verification: case studies and experiments.

Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer

Proceedings of the 35th International Conference on Software Engineering, 2013

Domain Types: Abstract-Domain Selection Based on Variable Usage.

Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein

Proceedings of the Hardware and Software: Verification and Testing, 2013

Family-based performance measurement.

Norbert Siegmund, Alexander von Rhein, Sven Apel

Proceedings of the Generative Programming: Concepts and Experiences, 2013

A comparison of product-based, feature-based, and family-based type checking.

Sergiy S. Kolesnikov, Alexander von Rhein, Claus Hunsen, Sven Apel

Proceedings of the Generative Programming: Concepts and Experiences, 2013

2012

Toward variability-aware testing.

Christian Kästner, Alexander von Rhein, Sebastian Erdweg, Jonas Pusch, Sven Apel, Tillmann Rendel, Klaus Ostermann

Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012

2011

Feature-Aware Verification

Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer

CoRR, 2011

Detection of feature interactions using feature-aware verification.

Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011