Formal Methods: Foundations and Applications
2025
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2025
Coordination Models and Languages
2022
Integrated Formal Methods
2022
Formal Methods for Industrial Critical Systems
2020
From Software Engineering to Formal Methods and Tools, and Back
2019