VALU3S

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

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

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

Branching pomsets for choreographies

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

Hubs for VirtuosoNext: Online verification of real-time coordinators

SCP 2021

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

WiP@RTSS

Implementing Hybrid Semantics: From Functional to Imperative

ICTAC 2020