research
∙
05/08/2023
Behavioural Types for Local-First Software
Peer-to-peer systems are the most resilient form of distributed computin...
share
research
∙
12/14/2022
PSTMonitor: Monitor Synthesis from Probabilistic Session Types
We present PSTMonitor, a tool for the run-time verification of quantitat...
research
∙
10/15/2022
A Theory of Formal Choreographic Languages
We introduce a meta-model based on formal languages, dubbed formal chore...
research
∙
08/09/2022
On Composing Communicating Systems
Communication is an essential element of modern software, yet programmin...
research
∙
05/13/2022
Design-by-Contract for Flexible Multiparty Session Protocols – Extended Version
Choreographic models support a correctness-by-construction principle in ...
research
∙
07/19/2021
Towards Probabilistic Session-Type Monitoring
We present a tool-based approach for the runtime analysis of communicati...
research
∙
07/14/2021
Composition of choreography automata
Choreography automata are an automata-based model of choreographies, tha...
research
∙
09/17/2020
Towards Refinable Choreographies
We investigate refinement in the context of choreographies. We introduce...
research
∙
09/17/2020
An Abstract Framework for Choreographic Testing
We initiate the development of a model-driven testing framework for mess...
research
∙
07/23/2020
Probabilistic Analysis of Binary Sessions
We study a probabilistic variant of binary session types that relate to ...
research
∙
09/12/2019
On Learning Nominal Automata with Binders
We investigate a learning algorithm in the context of nominal automata, ...
research
∙
04/17/2019
On Resolving Non-determinism in Choreographies
Choreographies specify multiparty interactions via message passing. A re...
research
∙
11/30/2017
Tool Supported Analysis of IoT
The design of IoT systems could benefit from the combination of two diff...
research
∙
08/24/2017