Tobias Runge, M.Sc. Institut für Softwaretechnik und Fahrzeuginformatik Institute of Software Engineering and Automotive Informatics Technische Universität Braunschweig Informatikzentrum Mühlenpfordtstr. 23 38106 Braunschweig Raum: IZ 412 (TU Braunschweig) tel. +49 531 391-2278 Room: IZ 412 (TU Braunschweig) phone: +49 531 391-2278 Email: tobias.rungetu-bs.de

Forschungsschwerpunkte

Research Interests

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

Aktivitäten

Activities

• Teilnahme beim FOSD Meeting 2019 in Weimar vom 12. März bis 15. März 2019
• Participation in the FOSD Meeting 2019 in Weimar, Germany, from 12th March to 15th March 2019
• Teilnahme beim HacKeYthon 2018 in Karlsruhe vom 6. Dezember bis 7. Dezember 2018
• Participation in the KeY Symposium 2018 2018 in Karlsruhe from 6th December to 7th December 2018
• Teilnahme beim KeY Symposium 2018 in Göteborg vom 13. August bis 15. August 2018
• Participation in the KeY Symposium 2018 2018 in Gothenburg from 13th August to 15th August 2018
• Teilnahme an der DeepSpec Summer School 2018 in Princeton vom 16. bis 27. Juli 2018
• Participation in the DeepSpec Summer School 2017 in Princeton from 16th to 27th July 2018
• Teilnahme beim FOSD Meeting 2018 in Göteborg vom 03. bis 06. Juni 2018
• Participation in the FOSD Meeting 2018 in Gothenburg from 3rd to 6th June 2018

Lehre

Teaching

Wintersemester 2019

Winter Term 2019

• Seminar
• Seminar

Sommersemester 2019

Summer Term 2019

• Softwareentwicklungspraktikum
• Software Engineering Laboratory

Wintersemester 2018

Winter Term 2018

• Softwarequalität 2
• Software Quality 2

Sommersemester 2018

Summer Term 2018

• Softwareentwicklungspraktikum
• Software Engineering Laboratory

Zukünftige Studentische Arbeiten

Future Student Thesis

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

Betreute Studentische Arbeiten

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

Veröffentlichungen (dblp)

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

• 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