Tobias Runge
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
2018–2022
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | APLAS | Model-Based Fault Classification for Automotive Software. | Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sren van der Wall, Sebastian Wolff |
| 2022 | FORTE | Traits: Correctness-by-Construction for Free. | Tobias Runge, Alex Potanin, Thomas Thm, Ina Schaefer |
| 2022 | ISoLA | Runtime Verification of Correct-by-Construction Driving Maneuvers. | Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer |
| 2022 | SEFM | VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. | Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer |
| 2022 | SEFM | Information Flow Control-by-Construction for an Object-Oriented Language. | Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer |
| 2020 | FASE | Skill-Based Verification of Cyber-Physical Systems. | Alexander Knppel, Inga Jatzkowski, Marcus Nolte, Thomas Thm, Tobias Runge, Ina Schaefer |
| 2020 | GPCE | Correctness-by-construction for feature-oriented software product lines. | Tabea Bordis, Tobias Runge, Ina Schaefer |
| 2020 | ICSE | Lattice-Based Information Flow Control-by-Construction for Security-by-Design. | Tobias Runge, Alexander Knppel, Thomas Thm, Ina Schaefer |
| 2020 | ISoLA | Scaling Correctness-by-Construction. | Alexander Knppel, Tobias Runge, Ina Schaefer |
| 2019 | FASE | Tool Support for Correctness-by-Construction. | Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thm, Derrick G. Kourie, Bruce W. Watson |
| 2019 | FM | Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. | Tobias Runge, Thomas Thm, Loek Cleophas, Ina Schaefer, Bruce W. Watson |
| 2019 | SPLC | Product sampling for product lines: the scalability challenge. | Tobias Pett, Thomas Thm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer |
| 2018 | ISoLA | Towards Confidentiality-by-Construction. | Ina Schaefer, Tobias Runge, Alexander Knppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson |
| 2018 | SPLC | A classification of product sampling for software product lines. | Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer |