Följ
Tobias Runge
Tobias Runge
Karlsruher Institut of Technologie
Verifierad e-postadress på kit.edu
Titel
Citeras av
Citeras av
År
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
852018
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
662019
Extractive software product line engineering using model-based delta module generation
D Wille, T Runge, C Seidl, S Schulze
Proceedings of the 11th International Workshop on Variability Modelling of …, 2017
302017
Tool support for correctness-by-construction
T Runge, I Schaefer, L Cleophas, T Thüm, D Kourie, BW Watson
Fundamental Approaches to Software Engineering: 22nd International …, 2019
292019
Stability of product-line samplingin continuous integration
T Pett, S Krieter, T Runge, T Thüm, M Lochau, I Schaefer
Proceedings of the 15th International Working Conference on Variability …, 2021
182021
Towards confidentiality-by-construction
I Schaefer, T Runge, A Knüppel, L Cleophas, D Kourie, BW Watson
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
162018
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
152020
Comparing correctness-by-construction with post-hoc verification—a qualitative user study
T Runge, T Thüm, L Cleophas, I Schaefer, BW Watson
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
122020
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
92020
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: Essays Dedicated to …, 2022
82022
Scaling correctness-by-construction
A Knüppel, T Runge, I Schaefer
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
82020
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
72020
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
62022
Immutability and Encapsulation for Sound OO Information Flow Control
T Runge, M Servetto, A Potanin, I Schaefer
ACM Transactions on Programming Languages and Systems 45 (1), 1-35, 2023
32023
Traits: Correctness-by-Construction for Free
T Runge, A Potanin, T Thüm, I Schaefer
International Conference on Formal Techniques for Distributed Objects …, 2022
32022
Teaching correctness-by-construction and post-hoc verification–the online experience
T Runge, T Bordis, T Thüm, I Schaefer
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021 …, 2021
32021
Skill-based verification of cyber-physical systems
A Knüppel, I Jatzkowski, M Nolte, T Thüm, T Runge, I Schaefer
Fundamental Approaches to Software Engineering: 23rd International …, 2020
32020
Runtime verification of correct-by-construction driving maneuvers
A Kittelmann, T Runge, T Bordis, I Schaefer
International Symposium on Leveraging Applications of Formal Methods, 242-263, 2022
22022
Information Flow Control-by-Construction for an Object-Oriented Language
T Runge, A Kittelmann, M Servetto, A Potanin, I Schaefer
International Conference on Software Engineering and Formal Methods, 209-226, 2022
22022
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 70, 101119, 2022
22022
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20