• Correctness-by-Construction 
• X-by-Construction
• Software-Produktlinien

• Teilnahme an der 18. Internationalen Konferenz für Variabilitätsmodellierung software-intensiver Systeme (VaMoS'24) in Bern, Schweiz vom 06.02.2024 - 09.02.2024
• CbC-Tutorial auf dem 20. Internationalen Kolloquium zu theoretischen Aspekten der Informatik (ICTAC'23) in Lima, Peru vom 04.12.2023 - 08.12.2023
• Teilnahme am 19. KeY-Symposium in Bergen, Norwegen vom 08.08.2023 - 10.08.2023

2024

• Maximilian Kodetzki, Tabea Bordis, Tobias Runge und Ina Schaefer. Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. In VaMoS'24: Proceedings of the 18th International Working Conference on Variability Modeling of Software-Intensive Systems, 2024.

2023

• Tabea Bordis, Maximilian Kodetzki, Tobias Runge und Ina Schaefer. VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. In SEFM 2022: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2023.

Sommersemester 2024

• Softwarequalitätssicherung und Softwaretest (Seminar)

Wintersemester 2023/2024

• Softwaretest und Qualitätsmanagement (Master)