Alexander von Rhein

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