Tobias Runge, M.Sc.

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

Mühlenpfordtstr. 23
38106 Braunschweig

Room: IZ 412 (TU Braunschweig)
phone: +49 531 391-2278

Email: tobias.runge[at]tu-bs.de

Research Interests

  • Correctness by Construction
  • Taxonomy-Based Software Development
  • Software Product Lines (SPLs)



Winter Term 2019

Summer Term 2019

Winter Term 2018

Summer Term 2018

Future Student Thesis

Schaut bitte hier nach: aktuelle Abschlussarbeiten. Bei Interesse einfach melden.

(Co)-Supervised Theses

  • 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)


  • 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 To appear.


  • 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 To appear.
  • 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


  last changed 28.11.2017
TU_Icon_E_Mail_1_17x17_RGB pagetop