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
Towards AI-Assisted Correctness-by-Construction Software Development
Kodetzki, M.; Bordis, T.; Kirsten, M.; Schaefer, I.
2025. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Ed.: T. Margaria, 222–241, Springer Nature Switzerland. doi:10.1007/978-3-031-75387-9_14
Kodetzki, M.; Bordis, T.; Kirsten, M.; Schaefer, I.
2025. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Ed.: T. Margaria, 222–241, Springer Nature Switzerland. doi:10.1007/978-3-031-75387-9_14
From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design
Bordis, T.; Kodetzki, M.; Schaefer, I.
2024. Computer, 57 (7), 113 – 119. doi:10.1109/MC.2024.3390948
Bordis, T.; Kodetzki, M.; Schaefer, I.
2024. Computer, 57 (7), 113 – 119. doi:10.1109/MC.2024.3390948
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines
Kodetzki, M.; Bordis, T.; Runge, T.; Schaefer, I.
2024. VaMoS ’24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems. Ed.: T.Kehrer, 17–26, Association for Computing Machinery (ACM). doi:10.1145/3634713.3634714
Kodetzki, M.; Bordis, T.; Runge, T.; Schaefer, I.
2024. VaMoS ’24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems. Ed.: T.Kehrer, 17–26, Association for Computing Machinery (ACM). doi:10.1145/3634713.3634714
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction
Bordis, T.; Kodetzki, M.; Runge, T.; Schaefer, I.
2023. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops – AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers. Ed.: P. Masci, 156–163, Springer International Publishing. doi:10.1007/978-3-031-26236-4_13
Bordis, T.; Kodetzki, M.; Runge, T.; Schaefer, I.
2023. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops – AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers. Ed.: P. Masci, 156–163, Springer International Publishing. doi:10.1007/978-3-031-26236-4_13