TU BRAUNSCHWEIG
Portrait

Tobias Runge, M.Sc.

Institut für Softwaretechnik und Fahrzeuginformatik
Technische Universität Braunschweig

Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

Raum: IZ 412 (TU Braunschweig)
tel. +49 531 391-2278

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

Forschungsschwerpunkte

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

Aktivitäten

Lehre

Sommersemester 2019

Wintersemester 2018

Sommersemester 2018

Zukünftige Studentische Arbeiten

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

Betreute Studentische Arbeiten

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

Veröffentlichungen (dblp)

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

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

2017


  aktualisiert am 28.11.2017
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang