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

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems

STTT 2012

Channel-based coordination via constraint satisfaction

SCP 2011

Deconstructing Reo

ENTCS 2009