VALU3S

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

ERSA@RTSS 2022

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

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

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

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

SAMOS 2021

Hubs for VirtuosoNext: Online verification of real-time coordinators

SCP 2021