Alexander von Rhein
Title
Cited by
Cited by
Year
Strategies for product-line verification: Case studies and experiments
S Apel, A Von Rhein, P Wendler, A Größlinger, D Beyer
2013 35th International Conference on Software Engineering (ICSE), 482-491, 2013
1802013
Scalable analysis of variable software
J Liebig, A Von Rhein, C Kästner, S Apel, J Dörre, C Lengauer
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
1772013
Detection of feature interactions using feature-aware verification
S Apel, H Speidel, P Wendler, A Von Rhein, D Beyer
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
1502011
Toward variability-aware testing
C Kästner, A Von Rhein, S Erdweg, J Pusch, S Apel, T Rendel, ...
Proceedings of the 4th International Workshop on Feature-Oriented Software …, 2012
932012
Feature-interaction detection based on feature-based specifications
S Apel, A Von Rhein, T Thüm, C Kästner
Computer Networks 57 (12), 2399-2409, 2013
872013
The pla model: on the combination of product-line analyses
A Von Rhein, S Apel, C Kästner, T Thüm, I Schaefer
Proceedings of the Seventh International Workshop on Variability Modelling …, 2013
502013
Presence-Condition Simplification in Highly Configurable Systems
A von Rhein, A Grebhahn, S Apel, N Siegmund, D Beyer, T Berger
Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International …, 2015
492015
Potential synergies of theorem proving and model checking for software product lines
T Thüm, J Meinicke, F Benduhn, M Hentschel, A Von Rhein, G Saake
Proceedings of the 18th International Software Product Line Conference …, 2014
432014
A comparison of product-based, feature-based, and family-based type checking
S Kolesnikov, A von Rhein, C Hunsen, S Apel
ACM SIGPLAN Notices 49 (3), 115-124, 2013
432013
Variability encoding: From compile-time to load-time variability
A von Rhein, T Thüm, I Schaefer, J Liebig, S Apel
Journal of Logical and Algebraic Methods in Programming 85 (1, Part 2), 125-145, 2015
382015
Facilitating reuse in multi-goal test-suite generation for software product lines
J Bürdek, M Lochau, S Bauregger, A Holzer, A Von Rhein, S Apel, ...
International Conference on Fundamental Approaches to Software Engineering …, 2015
382015
Family-based performance measurement
N Siegmund, A von Rhein, S Apel
ACM SIGPLAN Notices 49 (3), 95-104, 2013
322013
Introducing binary decision diagrams in the explicit-state verification of Java code
A Von Rhein, S Apel, F Raimondi
Proc. Java Pathfinder Workshop 82, 2, 2011
322011
Domain types: Abstract-domain selection based on variable usage
S Apel, D Beyer, K Friedberger, F Raimondi, A von Rhein
Haifa Verification Conference, 262-278, 2013
312013
Variability-aware static analysis at scale: An empirical study
AV Rhein, J Liebig, A Janker, C Kästner, S Apel
ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (4), 1-33, 2018
232018
Large-scale variability-aware type checking and dataflow analysis
J Liebig, A Von Rhein, C Kästner, S Apel, J Dorre, C Lengauer
182012
GR÷ SSLINGER, A., ANDBEYER, D. 2013d. Strategies for Product-Line Verification: Case Studies and Experiments
S APEL, A VON RHEIN, P WENDLER
Proc. áInt’l Conf. áSoftware Engineering (ICSE), 482-491, 0
17
Analysis strategies for configurable systems
A von Rhein
112016
Lifting inter-app data-flow analysis to large app sets
A von Rhein, T Berger, NS Johansson, MM Hardø, S Apel
Department of Computer Science and Mathematics, University of Passau, Tech …, 2015
92015
Lifting inter-app data-flow analysis to large app sets
F Sattler, A von Rhein, T Berger, NS Johansson, MM Hardø, S Apel
Automated Software Engineering 25 (2), 315-346, 2018
82018
The system can't perform the operation now. Try again later.
Articles 1–20