Follow
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
572018
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
352019
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
262017
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
152019
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
122018
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
92019
Stability of product-line samplingin continuous integration
T Pett, S Krieter, T Runge, T Thüm, M Lochau, I Schaefer
15th International Working Conference on Variability Modelling of Software …, 2021
72021
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
72020
Re-CorC-ing KeY: correct-by-construction software development based on KeY
T Bordis, L Cleophas, A Kittelmann, T Runge, I Schaefer, BW Watson
The Logic of Software. A Tasting Menu of Formal Methods, 80-104, 2022
32022
Correctness-by-construction for feature-oriented software product lines
T Bordis, T Runge, I Schaefer
Proceedings of the 19th ACM SIGPLAN International Conference on Generative …, 2020
32020
Scaling correctness-by-construction
A Knüppel, T Runge, I Schaefer
International Symposium on Leveraging Applications of Formal Methods, 187-207, 2020
32020
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
32020
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
22020
Verification Strategies for Feature-Oriented Software Product Lines
E Kuiter, A Knüppel, T Bordis, T Runge, I Schaefer
Proceedings of the 16th International Working Conference on Variability …, 2022
12022
Teaching Correctness-by-Construction and Post-hoc Verification–The Online Experience
T Runge, T Bordis, T Thüm, I Schaefer
Formal Methods Teaching Workshop, 101-116, 2021
12021
Many-MADFAct: Concurrently Constructing MADFAs.
T Runge, I Schaefer, L Cleophas, BW Watson
Stringology, 126-142, 2017
12017
Model-based Fault Classification for Automotive Software
M Becker, R Meyer, T Runge, I Schaefer, S van der Wall, S Wolff
arXiv preprint arXiv:2208.14290, 2022
2022
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
T Runge, A Kittelmann, M Servetto, A Potanin, I Schaefer
arXiv preprint arXiv:2208.02672, 2022
2022
Family-based and product-based development of correct-by-construction software product lines
T Bordis, T Runge, D Schultz, I Schaefer
Journal of Computer Languages, 101119, 2022
2022
Traits for Correct-by-Construction Programming
T Runge, A Potanin, T Thüm, I Schaefer
arXiv preprint arXiv:2204.05644, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20