Tobias Runge

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 32

Top Topics

Software Development

Learning Methodologies

Top Venues

Publications

Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. VaMoS (2024)
Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer
Immutability and Encapsulation for Sound OO Information Flow Control. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. 19 (2) (2023)
Tabea Bordis, Tobias Runge, David Schultz, Ina Schaefer
Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines. J. Comput. Lang. 70 (2022)
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
Traits for Correct-by-Construction Programming. CoRR (2022)
Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Information Flow Control-by-Construction for an Object-Oriented Language. SEFM (2022)
Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer
Verification Strategies for Feature-Oriented Software Product Lines. VaMoS (2022)
Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. SEFM Workshops (2022)
Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
Model-based Fault Classification for Automotive Software. CoRR (2022)
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
Traits: Correctness-by-Construction for Free. FORTE (2022)
Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
Model-Based Fault Classification for Automotive Software. APLAS (2022)
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Flexible Correct-by-Construction Programming. CoRR (2022)
Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR (2022)
Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer
Runtime Verification of Correct-by-Construction Driving Maneuvers. ISoLA (1) (2022)
Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. Software Engineering (2021)
Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea (2021)
Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer
Stability of Product-Line Samplingin Continuous Integration. VaMoS (2021)
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer
Skill-Based Verification of Cyber-Physical Systems. Software Engineering (2021)
Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson
Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. SecDev (2021)
Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
Lattice-Based Information Flow Control-by-Construction for Security-by-Design. FormaliSE@ICSE (2020)
Tabea Bordis, Tobias Runge, Ina Schaefer
Correctness-by-construction for feature-oriented software product lines. GPCE (2020)
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer
Skill-Based Verification of Cyber-Physical Systems. FASE (2020)
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
Variational correctness-by-construction. VaMoS (2020)
Alexander Knüppel, Tobias Runge, Ina Schaefer
Scaling Correctness-by-Construction. ISoLA (1) (2020)
Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer
Product sampling for product lines: the scalability challenge. SPLC (A) (2019)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. FASE (2019)
Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) (2019)
Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson
Towards Confidentiality-by-Construction. ISoLA (1) (2018)
Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer
A classification of product sampling for software product lines. SPLC (2018)
Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson
Many-MADFAct: Concurrently Constructing MADFAs. Stringology (2017)
David Wille, Tobias Runge, Christoph Seidl, Sandro Schulze
Extractive software product line engineering using model-based delta module generation. VaMoS (2017)