Tobias Runge

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