Follow
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
2242013
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
2142013
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
1792011
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
1052013
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
1052012
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
812015
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
602018
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 7th International Workshop on Variability Modelling of …, 2013
542013
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, ...
Fundamental Approaches to Software Engineering: 18th International …, 2015
512015
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
502015
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
472013
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
462014
Family-based performance measurement
N Siegmund, A Von Rhein, S Apel
ACM SIGPLAN Notices 49 (3), 95-104, 2013
392013
Domain types: Abstract-domain selection based on variable usage
S Apel, D Beyer, K Friedberger, F Raimondi, A von Rhein
Hardware and Software: Verification and Testing: 9th International Haifa …, 2013
342013
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
342011
Large-scale variability-aware type checking and dataflow analysis
J Liebig, A von Rhein, C Kästner, S Apel, J Dörre, C Lengauer
Number MIP-1212, 2012
202012
Analysis strategies for configurable systems
A von Rhein
Universität Passau, 2016
162016
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, 315-346, 2018
142018
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). IEEE, Piscataway, NJ, USA …, 0
10
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
The system can't perform the operation now. Try again later.
Articles 1–20