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

Route 25 (2022-2025)

__Agenda for Autonomous, Intelligent, Interoperable and Inclusive Mobility__ - is portuguese funded project, by IAPMEI, to keep Portugal relevant in the mobility industry.

Secure integration of extremely resource-constrained nodes on distributed ROS2 applications

Spreadsheet-based Configuration of Families of Real-Time Specifications