research
∙
07/20/2021
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory
In the synthesis of distributed systems, we automate the development of ...
share
research
∙
03/29/2021
A Web Interface for Petri Nets with Transits and Petri Games
Developing algorithms for distributed systems is an error-prone task. Fo...
research
∙
07/14/2020
Model Checking Branching Properties on Petri Nets with Transits (Full Version)
To model check concurrent systems, it is convenient to distinguish betwe...
research
∙
05/14/2020
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)
The correctness of networks is often described in terms of the individua...
research
∙
04/22/2020
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
The manual implementation of distributed systems is an error-prone task ...
research
∙
07/25/2019
Model Checking Data Flows in Concurrent Network Updates (Full Version)
We present a model checking approach for the verification of data flow c...
research
∙
07/01/2019
Translating Asynchronous Games for Distributed Synthesis (Full Version)
In distributed synthesis, we generate a set of process implementations t...
research
∙
11/29/2017