Ibex

An Adequate While-Language for Stochastic Hybrid Computation

PPDP 2025

CoMPSeT: A Framework for Comparing Multiparty Session Types

EXPRESS/SOS@CONFEST 2025

Formal Simulation and Visualisation of Hybrid Programs

FMAS@iFM 2024

The CAOS framework for Scala: computer-aided design of SOS

SCP 2024

Reactive graphs in action

FACS 2024

Branching pomsets: design, expressiveness and applications to choreographies

JLAMP 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

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.