1

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

Can we Communicate? Using Dynamic Logic to Verify Team Automata

FM 2023

Spreadsheet-based Configuration of Families of Real-Time Specifications

TiCSA@ETAPS 2023