Tobias Runge, M.Sc.

Institute of Software Engineering and Automotive Informatics
Technische Universität Braunschweig

Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

Room: IZ 361
Phone: +49 531 391-3276

Email: tobias.runge(at)tu-bs.de

Research Interests

Correctness by Construction
Taxonomy-basierte Software-Entwicklung
Software Produktlinien (SPLs)

Activities

Research visit at the Victoria University Wellington from 16th September to 29th September 2019
Participation in the KeY Symposium 2019 in Manigod from 12th August to 15th August 2019
Participation in the FOSD Meeting 2019 in Weimar, Germany, from 12th March to 15th March 2019
Participation in the KeY Symposium 2018 2018 in Karlsruhe from 6th December to 7th December 2018
Participation in the KeY Symposium 2018 2018 in Gothenburg from 13th August to 15th August 2018
Participation in the DeepSpec Summer School 2017 in Princeton from 16th to 27th July 2018
Participation in the FOSD Meeting 2018 in Gothenburg from 3rd to 6th June 2018

Teaching

Winter Term 2021

Software Engineering 1

Summer term 2020

Software Engineering Laboratory

Winter Term 2019

Seminar

Summer term 2019

Software Engineering Laboratory

Winter term 2018

Software Quality 2

Summer term 2018

Software Engineering Laboratory

Future Student Thesis

Please have a look here: current theses Simply contact us if you are interested.

(Co)-Supervised Theses

Frederik Fröling. CbC-Light: Correctness-by-Construction mit Block-Verträgen in CorC. Master's Thesis, 2021. In german.
Lukas Tyburzy. Correctness-by-Construction for Software Product Line Implementation Techniques. Master's Thesis, 2021. In english.
Huu Cuong Nguyen. A User Study to Evaluate the Usability of the Correctness-by-Construction Editor CorC. Master's Thesis, 2021. In english.
Hayreddin Ciner. Case Study and Usability Improvements for the Correctness-by-Construction Editor. Master's Thesis, 2021. In english.
Jonas Ziliack. Fallstudie für Correctness-by-Construction Software-Produktlinien im Tool VarCorC. Bachelor' Thesis, 2021. In german.
David Schulz. Benutzerfreundlichkeit bei der Entwicklung von korrekten Softwareproduktlinien in VarCorC. Bachelor' Thesis, 2021. In german.
Elias Kuiter. Proof Repositories for Correct-by-Construction Software Product Lines. Master's Thesis, 2021. In english.
Patrick Nowak. Information Flow im Correctness-by-Construction Editor. Master's thesis, 2020. In german.
Nadhem Benkhlifa. Method Call Treatment in CorC. Bachelor's thesis, 2020. In german.
David Winterland. Abstract Execution for Correctness-by-Construction. Master's thesis, 2020. In english.
Max Kodetzki. Variational Correctness-by-Construction für Software-Produktlinien mit FeatureIDE. Bachelor's thesis, 2020. In german.
Arne Windeler. Strong Compositionality for Skill-Based Cyber-Physical Systems. Bachelor's thesis, 2019. In english.
Leon Schaer. Überprüfung der korrekten Implementierung von Softwarekomponenten mittels Z3. Project's work, 2019. In german.
Daniel Kison. Implementing Correctness-by-Construction Tool Support as Web Application. Bachelor's thesis, 2019. In german.
Stefanie Schober. Entwicklung korrekter Softwarekomponenten mittels Correctness-by-Construction. Bachelor's thesis, 2019. In german.
Huu-Tai Ly. Feature Model-Generation from Taxonomies. Master's thesis, 2019. In english.
Tabea Bordis. Supporting Method Calls in CorC for Developing Correct-by-Construction Software Product Lines. Master's thesis, 2019. In english.
Tobias Pett. Stability of Product Sampling under Product-Line Evolution. Master's thesis, 2018. In english.
Thomas Mysliwietz. Feingranulare Variabilitätsanalyse von objektorientiertem Quelltext. Master's thesis, 2018. In german.

Publications

dblp

2021

Tobias Runge, Tabea Bordis, Thomas Thüm, and Ina Schaefer. Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. In FMTea 2021.
Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer. Stability of Product-Line Samplingin Continuous Integration. In VaMoS, 2021.

2020

Alexander Knüppel, Tobias Runge, and Ina Schaefer. Scaling Correctness-by-Construction. In ISoLA 2020.
Tabea Bordis, Tobias Runge, and Ina Schaefer. Correctness-by-Construction for Feature-Oriented Software Product Lines. In GPCE, 2020.
Tobias Runge, Alexander Knüppel, Thomas Thüm, and Ina Schaefer. Lattice-Based Information Flow Control-by-Construction for Security-by-Design. In FormaliSE, 2020.
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, and Ina Schaefer. Skill-Based Verication of Cyber-Physical Systems. In FASE 2020.
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, and Ina Schaefer. Variational Correctness-by-Construction. In VaMoS, 2020.

2019

T. Runge, T. Thüm, L. Cleophas, I. Schaefer, B. W. Watson: Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative UserStudy, REFINE, 2019.
T. Pett, T. Thüm, T. Runge, S. Krieter, M. Lochau, I. Schaefer: Product Sampling for Product Lines: The Scalability Challenge, SPLC, ACM, 2019.
T. Runge, I. Schaefer, L. Cleophas, T. Thüm, D. G. Kourie, B. W. Watson: Tool Support for Correctness-by-Construction, Proc. of the International Conference on Fundamental Approaches to Software Engineering (FASE), Springer, 2019.

2018

T. Runge, I. Schaefer, A. Knüppel, L. Cleophas, D. G. Kourie, B. W. Watson: Tool support for Confidentiality by Construction, HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems (HILT'18), 2018.
I. Schaefer, T. Runge, A. Knüppel, L. Cleophas, D. G. Kourie, B. W. Watson: Towards Confidentiality-by-Construction, International Symposium on Leveraging Applications of Formal Methods, Springer, 2018
M. Varshosaz, M. Al-Hajjaji, T. Thüm, T. Runge, M. R. Mousavi, I. Schaefer: A Classification of Product Sampling for Software Product Lines, Proc. of the 22nd International Systems and Software Product Line Conference, ACM, 2018

2017

D. Wille, T. Runge, C. Seidl, S. Schulze: Extractive Software Product Line Engineering Using Model-Based Delta Module Generation, Proc. of the Intl. Workshop on Variability Modeling in Software-intensive Systems (VaMoS), ACM, 2017
T. Runge, I. Schaefer, L. Cleophas, B. W. Watson: Many-MADFAct: Concurrently Constructing MADFAs, Prague Stringology Conference, 2017