Rebeca for Actor Analysis in Action
٢٠٢٥
Formal Techniques for Distributed Objects, Components, and Systems
٢٠٢٢
Formal Methods: Foundations and Applications
٢٠١٨
Topics in Theoretical Computer Science
٢٠١٧
Cyber Physical Systems. Design, Modeling, and Evaluation
٢٠١٧
Topics in Theoretical Computer Science
٢٠١٦