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

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)

Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)

Hubs for VirtuosoNext: Online verification of real-time coordinators

SCP 2021

Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)

CoRR 2020

Teaching how to program using automated assessment and functional glossy games (experience report)

ICFP 2018

Typed connector families and their semantics

SCP 2017

A procedure for splitting data-aware processes and its application to coordination

SCP 2016

Feature Nets: behavioural modelling of software product lines

SoSyM 2016

Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things

JISA 2016