Realisability of Global Models of Interaction

ICTAC 2023

Overview on Constrained Multiparty Synchronisation in Team Automata

FACS 2023

Branching pomsets: design, expressiveness and applications to choreographies

JLAMP 2023

Ibex (01/2022-now)

__Quantitative methods for cyber-physical programming__ - is an FCT project that aims at develop the mathematical foundations of cyber-physical programming by taking into account uncertainty and behavioural distance.

Caos: A Reusable Scala Web Animator of Operational Semantics


Can we Communicate? Using Dynamic Logic to Verify Team Automata

FM 2023

Spreadsheet-based Configuration of Families of Real-Time Specifications


ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

ISoLA 2022

Branching pomsets for choreographies

ICE@DisCoTec 2022