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
232018
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
152017
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
62018
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
42019
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
22019
Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User Study
T Runge, T Thüm, L Cleophas, I Schaefer, BW Watson
International Symposium on Formal Methods, 388-405, 2019
12019
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
T Runge, A Knüppel, T Thüm, I Schaefer
Proceedings of the 8th International Conference on Formal Methods in …, 2020
2020
Skill-Based Verification of Cyber-Physical Systems
A Knüppel, I Jatzkowski, M Nolte, T Thüm, T Runge, I Schaefer
International Conference on Fundamental Approaches to Software Engineering …, 2020
2020
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
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–12