1

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

Realisability of Global Models of Interaction

ICTAC 2023

Overview on Constrained Multiparty Synchronisation in Team Automata

FACS 2023

Caos: A Reusable Scala Web Animator of Operational Semantics

COORDINATION 2023