Research Interests

Activities

Participation at the FOSD Meeting 2022 in Vienna from 29 March to 01 April, 2022
Participation at the Summer School on Formal Techniques 2022 (online) from May 22 to May 28, 2021

Maximilian Kodetzki. Introducing Object-Orientation to Correct-by-Construction Software Product Lines in VarCorC. Project's work, 2022. In english.
Malena Horstmann. Introducing Proof Statistics within CorC. Bachelor’s Thesis, 2022. In english.
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.
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.

Tabea Bordis, Tobias Runge, David Schultz, and Ina Schaefer. Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines. In Journal of Computer Languages (COLA), 2022.
Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer. Verification Strategies for Feature-Oriented Software Product Lines. In 16th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'22), 2022

Tobias Runge, Tabea Bordis, Thomas Thüm, and Ina Schaefer. Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea, 2021.

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.