Tobias Runge
Title
Cited by
Cited by
Year
A classification of product sampling for software product lines
M Varshosaz, M Al-Hajjaji, T Thüm, T Runge, MR Mousavi, I Schaefer
Proceedings of the 22nd International Systems and Software Product Line …, 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
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
42018
Product Sampling for Product Lines: The Scalability Challenge
T Pett, T Thüm, T Runge, S Krieter, M Lochau, I Schaefer
Proceedings of the 23rd International Systems and Software Product Line …, 2019
32019
Variational correctness-by-construction
T Bordis, T Runge, A Knüppel, T Thüm, I Schaefer
Proceedings of the 14th International Working Conference on Variability …, 2020
2020
Tool Support for Confidentiality-by-Construction
T Runge, I Schaefer, A Knüppel, L Cleophas, D Kourie, BW Watson
ACM SIGAda Ada Letters 38 (2), 64-68, 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–9