Tobias Runge
TitleCited byYear
A classification of product sampling for software product lines
M Varshosaz, M Al-Hajjaji, T Thüm, T Runge, MR Mousavi, I Schaefer
Proceeedings of the 22nd International Conference on Systems and Software …, 2018
192018
Extractive software product line engineering using model-based delta module generation
D Wille, T Runge, C Seidl, S Schulze
Proceedings of the Eleventh International Workshop on Variability Modelling …, 2017
142017
Product Sampling for Product Lines: The Scalability Challenge
T Pett, T Thüm, T Runge, S Krieter, M Lochau, I Schaefer
Proc. Int’l Systems and Software Product Line Conf.(SPLC). ACM. To appear, 2019
42019
Towards confidentiality-by-construction
I Schaefer, T Runge, A Knüppel, L Cleophas, D Kourie, BW Watson
International Symposium on Leveraging Applications of Formal Methods, 502-515, 2018
22018
Product sampling for product lines: the scalability challenge [challenge proposal]
T Pett, T Thüm, T Runge, S Krieter, M Lochau, I Schaefer
Proceedings of the 23rd International Systems and Software Product Line …, 2019
2019
Tool support for correctness-by-construction
T Runge, I Schaefer, L Cleophas, T Thüm, D Kourie, BW Watson
International Conference on Fundamental Approaches to Software Engineering …, 2019
2019
Many-MADFAct: Concurrently Constructing MADFAs.
T Runge, I Schaefer, L Cleophas, BW Watson
Stringology, 126-142, 2017
2017
Prague Stringology Conference 2017
T Runge, I Schaefer, L Cleophas, BWW Many-MADFAct, CC MADFA
The system can't perform the operation now. Try again later.
Articles 1–8