Rebeca for Actor Analysis in Action
2025
Formal Techniques for Distributed Objects, Components, and Systems
2022
Formal Methods: Foundations and Applications
2018
Topics in Theoretical Computer Science
2017
Cyber Physical Systems. Design, Modeling, and Evaluation
2017
Topics in Theoretical Computer Science
2016