Tobias Runge

According to our database, Tobias Runge authored at least 29 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines.

Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

2023

Immutability and Encapsulation for Sound OO Information Flow Control.

Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer

ACM Trans. Program. Lang. Syst., March, 2023

Correctness-by-Construction for Correct and Secure Software Systems.

Tobias Runge

PhD thesis, 2023

Flexible Correct-by-Construction Programming.

Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer

Log. Methods Comput. Sci., 2023

2022

Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines.

Tabea Bordis, Tobias Runge, David Schultz, Ina Schaefer

J. Comput. Lang., 2022

Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers.

Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer

CoRR, 2022

Traits for Correct-by-Construction Programming.

Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer

CoRR, 2022

Verification Strategies for Feature-Oriented Software Product Lines.

Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer

Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022

Information Flow Control-by-Construction for an Object-Oriented Language.

Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.

Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

Runtime Verification of Correct-by-Construction Driving Maneuvers.

Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Traits: Correctness-by-Construction for Free.

Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY.

Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

Model-Based Fault Classification for Automotive Software.

Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

Stability of Product-Line Samplingin Continuous Integration.

Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience.

Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

Tutorial: The Correctness-by-Construction Approach to Programming Using CorC.

Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson

Proceedings of the IEEE Secure Development Conference, 2021

Tool Support for Correctness-by-Construction.

Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Software Engineering 2021, 2021

Skill-Based Verification of Cyber-Physical Systems.

Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer

Proceedings of the Software Engineering 2021, 2021

2020

Variational correctness-by-construction.

Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

Scaling Correctness-by-Construction.

Alexander Knüppel, Tobias Runge, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Lattice-Based Information Flow Control-by-Construction for Security-by-Design.

Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Correctness-by-construction for feature-oriented software product lines.

Tabea Bordis, Tobias Runge, Ina Schaefer

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

2019

Product sampling for product lines: the scalability challenge.

Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study.

Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

A classification of product sampling for software product lines.

Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Towards Confidentiality-by-Construction.

Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

Extractive software product line engineering using model-based delta module generation.

David Wille, Tobias Runge, Christoph Seidl, Sandro Schulze

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Many-MADFAct: Concurrently Constructing MADFAs.

Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2017, 2017