Formal Foundations of Consistency in Model-Driven Development Pascual, R.; Beckert, B.; Ulbrich, M.; Kirsten, M.; Pfeifer, W. 2025. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III. Ed.: T. Margaria, 178–200, Springer Nature Switzerland. doi:10.1007/978-3-031-75380-0_11
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