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

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)