Correctness-by-construction for feature-oriented software product lines. - Tabea Bordis; Tobias Runge; Ina Schaefer (GPCE, 2020)

Variational correctness-by-construction. - Tabea Bordis; Tobias Runge; Alexander Knüppel; Thomas Thüm; Ina Schaefer (VaMoS, 2020)

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

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. - Tabea Bordis; Loek Cleophas; Alexander Kittelmann; Tobias Runge; Ina Schaefer; Bruce W. Watson (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Runtime Verification of Correct-by-Construction Driving Maneuvers. - Alexander Kittelmann; Tobias Runge; Tabea Bordis; Ina Schaefer (ISoLA (1), 2022)

VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. - Tabea Bordis; Maximilian Kodetzki; Tobias Runge; Ina Schaefer (SEFM Workshops, 2022)

Verification Strategies for Feature-Oriented Software Product Lines. - Elias Kuiter; Alexander Knüppel; Tabea Bordis; Tobias Runge; Ina Schaefer (VaMoS, 2022)

Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines. - Tabea Bordis; Tobias Runge; David Schultz; Ina Schaefer (J. Comput. Lang., 2022)

Flexible Correct-by-Construction Programming. - Tobias Runge; Tabea Bordis; Alex Potanin; Thomas Thüm; Ina Schaefer (Log. Methods Comput. Sci., 2023)

Free Facts: An Alternative to Inefficient Axioms in Dafny. - Tabea Bordis; K. Rustan M. Leino (FM (1), 2024)

Towards AI-Assisted Correctness-by-Construction Software Development. - Maximilian Kodetzki; Tabea Bordis; Michael Kirsten; Ina Schaefer (ISoLA (4), 2024)

Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. - Maximilian Kodetzki; Tabea Bordis; Tobias Runge; Ina Schaefer (VaMoS, 2024)

Scaling Information Flow Control By-Construction to Component-Based Software Architectures. - Rasmus C. Rønneberg; Tabea Bordis; Christopher Gerking; Asmae Heydari Tabar; Ina Schaefer (FORTE, 2025)