Alexander von Rhein
Title
Cited by
Cited by
Year
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
1612013
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
1522013
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
1352011
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
912012
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
742013
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
462013
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
412015
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
412014
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
412013
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
342015
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
332015
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
292011
Family-based performance measurement
N Siegmund, A von Rhein, S Apel
ACM SIGPLAN Notices 49 (3), 95-104, 2013
272013
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
242013
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
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
132018
Analysis strategies for configurable systems
A von Rhein
92016
Lifting inter-app data-flow analysis to large app sets
A von Rhein, T Berger, NS Johansson, MM Hardø, S Apel
University of Passau, Technical Report MP-1504, 2015
82015
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
72018
The system can't perform the operation now. Try again later.
Articles 1–20