Caos: A Reusable Scala Web Animator of Operational Semantics


Can we Communicate? Using Dynamic Logic to Verify Team Automata

FM 2023

MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems


ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

ISoLA 2022

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

ECOOP 2022

Branching pomsets for choreographies

ICE@DisCoTec 2022

Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems

Featured Team Automata

FM 2021

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper

SAMOS 2021