Maximilian Kodetzki

According to our database, Maximilian Kodetzki authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines.

Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

Towards AI-Assisted Correctness-by-Construction Software Development.

Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

2022

VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.

Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022