Maximilian Kodetzki, M.Sc.
- Wissenschaftlicher Mitarbeiter
- Raum: 358
CS 50.34 - Tel.: +49 721 608-43971
- maximilian kodetzki ∂does-not-exist.kit edu
Aktivitäten
- Teilnahme am 20. KeY-Symposium in Bad Herrenalb, Deutschland vom 29.07.2024 - 02.08.2024
- 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
Publikationen
2024
- Tabea Bordis, Maximilian Kodetzki und Ina Schaefer. From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design. In IEEE Computer vol. 57, 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.