๐ Publications
Welcome to the publications list. FInd selected publicaions below and the full list of publications on CbC, XbC, and CorC at the bottom of this page.
๐ Selected Publications
- T. Bordis, M. Kodetzki, and I. Schaefer. From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design. IEEE Computer 57/7. 2024.
- T. Runge, I. Schaefer, L. Cleophas, T. Thรผm, D. G. Kourie, and B. W. Watson. Tool Support for Correctness-by-Construction. FASE 2019.
๐ All Publications
The list of publications is grouped by publication year.
๐ 2025
- M. Kodetzki. X-by-Construction: Unifying Functional Correctness and Non-Functional Guarantees. ISSRE Workshops 2025.
- M. Kodetzki, T. Bordis, A. Potanin, and I. Schaefer. X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering. Onward! Papers (SPLASH) 2025.
- T. Bordis. Scaling Correcness-by-Construction. Dissertation. 2025.
- R. Rรธnneberg, T. Bordis, C. Gerking, A. Heydari Tabar, and I. Schaefer. Scaling Information Flow Control By-Construction to Component-Based Software Architectures. FORTE 2025.
๐ 2024
- M. Kodetzki, T. Bordis, M. Kirsten, and I. Schaefer. Towards AI-Assisted Correctness-by-Construction Software Development. ISoLA 2024.
- T. Bordis, M. Kodetzki, and I. Schaefer. From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design. IEEE Computer 57/7. 2024.
- M. Kodetzki, T. Bordis, T. Runge, and I. Schaefer. Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. VaMoS 2024.
๐ 2023
- T. Runge, T. Bordis, A. Potanin, T. Thรผm, and I. Schaefer. Flexible Correct-by-Construction Programming. Logical Methods in Computer Science, Volume 19. 2023.
- T. Runge. Correctness-by-Construction for Correct and Secure Software Systems. Dissertation. 2023.
- T. Runge, M. Servetto, A. Potanin, and I. Schaefer. Immutability and Encapsulation for Sound OO Information Flow Control. ACM Transactions on Programming Languages and Systems, Volume 45. 2023.
๐ 2022
- T. Runge, A. Potanin, T. Thรผm, and I. Schaefer. Traits for Correct-by-Construction Programming. CoRR 2022.
- T. Bordis, T. Runge, D. Schultz, and I.Schaefer. Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines. Journal of Computer Languages (COLA). 2022.
- T. Bordis, L. Cleophas, A. Kittelmann, T. Runge, I. Schaefer, and B. W. Watson. Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software: A Tasting Menu of Formal Methods. 2022.
- T. Runge, A. Potanin, T. Thรผm, and I. Schaefer. Traits: Correctness-by-Construction for Free. FORTE 2022.
- A. Kittelmann, T. Runge, T. Bordis, and I. Schaefer. Runtime Verification of Correct-by-Construction Driving Maneuvers. ISoLA 2022.
- T. Bordis, M. Kodetzki, T. Runge, and I. Schaefer. VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. SEFM 2022.
- T. Runge, A. Kittelmann, M. Servetto, A. Potanin, and I. Schaefer. Information Flow Control-by-Construction for an Object-Oriented Language. SEFM 2022.
๐ 2021
- I. Schaefer, T. Runge, L. Cleophas, and B. W. Watson. Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. SecDev 2021.
- T. Runge, T. Bordis, T. Thรผm, and I. Schaefer. Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea 2021.
๐ 2020
- T. Bordis, T. Runge, and I. Schaefer. Correctness-by-Construction for Feature-Oriented Software Product Lines. GPCE 2020.
- T. Runge, A. Knรผppel, T. Thรผm, and I. Schaefer. Lattice-Based Information Flow Control-by-Construction for Security-by-Design. FormaliSE 2020.
- A. Knรผppel, T. Runge, and I. Schaefer. Scaling Correctness-by-Construction. ISoLA 2020.
- T. Bordis, T. Runge, A. Knรผppel, T. Thรผm, and I. Schaefer. Variational Correctness-by-Construction. VaMoS 2020.
๐ 2019
- T. Runge, T. Thรผm, L. Cleophas, I. Schaefer, and B. W. Watson. Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. REFINE 2019.
- T. Runge, I. Schaefer, L. Cleophas, T. Thรผm, D. G. Kourie, and B. W. Watson. Tool Support for Correctness-by-Construction. FASE 2019.
๐ 2018
- I. Schaefer, T. Runge, A. Knรผppel, L. Cleophas, D. G. Kourie, and B. W. Watson. Towards Confidentiality-by-Construction. ISoLA 2018.