We stand with Ukraine  

Maximilian Kodetzki

Orcid: 0009-0008-9022-859X

Affiliations:
  • Karlsruhe Institute of Technology (KIT), Institute of Information Security and Dependability (KASTEL), Karlsruhe, Germany


According to our database1, Maximilian Kodetzki authored at least 5 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
X-by-Construction: Unifying Functional Correctness and Non-Functional Guarantees.
[BibTeX]
[DOI]
Maximilian Kodetzki
Proceedings of the 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025, 2025

2024
From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design.
[BibTeX]
[DOI]
Tabea Bordis
,
Maximilian Kodetzki
,
Ina Schaefer
Computer, 2024

Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Tabea Bordis
,
Maximilian Kodetzki
,
Tobias Runge
,
Ina Schaefer
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022


  Loading...