Ibex

Can we Communicate? Using Dynamic Logic to Verify Team Automata

FM 2023

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

ISoLA 2022

Branching pomsets for choreographies

ICE@DisCoTec 2022

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.