research
∙
09/13/2023
A Cancellation Law for Probabilistic Processes
We show a cancellation property for probabilistic choice. If distributio...
share
research
∙
07/14/2023
Real Equation Systems with Alternating Fixed-points (full version with proofs)
We introduce the notion of a Real Equation System (RES), which lifts Boo...
research
∙
07/11/2023
Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable
We study the problem of computing minimal distinguishing formulas for no...
research
∙
02/07/2023
Tool interoperability for model-based systems engineering
Supervisory control design of cyber-physical systems has many challenges...
research
∙
03/14/2022
Lowerbounds for Bisimulation by Partition Refinement
We provide time lower bounds for sequential and parallel algorithms deci...
research
∙
11/03/2021
Fair Mutual Exclusion for N Processes (extended version)
Peterson's mutual exclusion algorithm for two processes has been general...
research
∙
08/24/2021
Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel
We sketch a process algebra with data and probability distributions. Thi...
research
∙
05/25/2021
A linear parallel algorithm to compute bisimulation and relational coarsest partitions
The most efficient way to calculate strong bisimilarity is by calculatio...
research
∙
04/21/2021
Tutorial: Designing Distributed Software in mCRL2
Distributed software is very tricky to implement correctly as some error...
research
∙
11/02/2020
A Formally Verified Fail-Operational Safety Concept for Automated Driving
Modern Automated Driving (AD) systems rely on safety measures to handle ...
research
∙
09/15/2020
Term Rewriting on GPUs
We present a way to implement term rewriting on a GPU. We do this by let...
research
∙
09/24/2019
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
Branching bisimilarity is a behavioural equivalence relation on labelled...
research
∙
02/26/2019
Correct and Efficient Antichain Algorithms for Refinement Checking
Refinement checking plays an important role in system verification. This...
research
∙
11/08/2015