research
∙
08/14/2023
ProofBuddy: A Proof Assistant for Learning and Monitoring
Proof competence, i.e. the ability to write and check (mathematical) pro...
share
research
∙
04/16/2022
Fault-Tolerant Multiparty Session Types (Technical Report)
Multiparty session types are designed to abstractly capture the structur...
research
∙
09/30/2021
Deciding All Behavioral Equivalences at Once: A Game for Linear-time–Branching-time Spectroscopy
We introduce a generalization of the bisimulation game that can be emplo...
research
∙
08/18/2019
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
The additional complexity caused by concurrently communicating processes...
research
∙
08/27/2018
On the Distributability of Mobile Ambients
Modern society is dependent on distributed software systems and to verif...
research
∙
08/05/2018
On the Distributability of Mobile Ambients (Technical Report)
Modern society is dependent on distributed software systems and to verif...
research
∙
01/09/2018
