Ibex

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.

Caos: A Reusable Scala Web Animator of Operational Semantics

COORDINATION 2023

Can we Communicate? Using Dynamic Logic to Verify Team Automata

FM 2023