1

Asynchronous Team Automata

FM 2026

Analyzing Many Simulations of Hybrid Programs in Lince

FMAS@iFM 2025

CoMPSeT: A Framework for Comparing Multiparty Session Types

EXPRESS/SOS@CONFEST 2025

RebeCaos

COORDINATION 2025

Animating Rebeca

Marjan Festscrhift@FSEN 2025

Formal Simulation and Visualisation of Hybrid Programs

FMAS@iFM 2024

Reactive graphs in action

FACS 2024

Branching pomsets: design, expressiveness and applications to choreographies

JLAMP 2024

Reducing the gap between theory and practice in real-time systems with MARS

DSN 2024

Team Automata: Overview and Roadmap

COORDINATION 2024