X-by-Construction Meets AI ter Beek, M. H.; Cleophas, L.; Dubslaff, C.; 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, 155–161, Springer Nature Switzerland. doi:10.1007/978-3-031-75387-9_10
HCI, Disability, and Sport Strobel, L.; Gerling, K. 2025. ACM transactions on computer human interaction, 1 (1)