Maximilian Kodetzki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2025
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ISSRE | X-by-Construction: Unifying Functional Correctness and Non-Functional Guarantees. | Maximilian Kodetzki |
| 2024 | ISoLA | Towards AI-Assisted Correctness-by-Construction Software Development. | Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer |
| 2022 | SEFM | VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. | Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer |