Tabea Bordis, M.Sc.

Research Interests

• Correctness-by-Construction
• Software Product Lines (SPLs)

Teaching

Winter Term 2021/22

• Software Quality 2

Summer Term 2021

• Software Quality 1

Winter Term 2020/21

• Software Quality 2

Summer Term 2020

• Software Quality 1
• Summercamp

Winter Term 2019/20

• Seminar

Current Topics for Student Projects and Theses

Please have a look here: current thesis topics

Just contact me if you are interested.

(Co)-Supervised Theses

Lukas Tyburzy. Correctness-by-Construction for Software Product Line Implementation Techniques. Master's thesis, 2021. In english.

Robert Hajek. Familien-Basierte Verifikation für Correct-by-Construction Software-Produktlinien. Bachelor's thesis, 2021. In german.

Jonas Ziliack. Fallstudie für Correctness-by-Construction Software-Produktlinien im Tool VarCorC. Bachelor's thesis, 2021. In german.

David Schultz. Benutzerfreundlichkeit bei der Entwicklung von korrekten Softwareproduktlinien in VarCorC. Bachelor's thesis, 2021. In german.

Elias Kuiter. Proof Repositories for Correct-by-Construction Software Product Lines. Master's thesis, 2020. In english.

Nadhem Benkhlifa. Method Call Treatment in CorC. Bachelor's thesis, 2020. In english.

Maximilian Kodetzki. Variational Correctness-by-Construction für Software-Produktlinien mit FeatureIDE. Bachelor's thesis, 2020. In german.

2020

• Tabea Bordis, Tobias Runge, and Ina Schaefer: Correctness-by-Construction for Feature-Oriented Software Product Lines. In 19th International Conference on Generative Programming: Concepts & Experiences (GPCE'20), 2020.
• Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, and Ina Schaefer: Variational Correctness-by-Construction. In 14th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'20), 2020.