research
∙
05/01/2023
Population Protocols with Unordered Data
Population protocols form a well-established model of computation of pas...
share
research
∙
04/26/2023
Verifying linear temporal specifications of constant-rate multi-mode systems
Constant-rate multi-mode systems (MMS) are hybrid systems with finitely ...
research
∙
09/06/2022
Separators in Continuous Petri Nets
Leroux has proved that unreachability in Petri nets can be witnessed by ...
research
∙
06/06/2022
Verifying generalised and structural soundness of workflow nets via relaxations
Workflow nets are a well-established mathematical formalism for the anal...
research
∙
01/14/2022
The complexity of soundness in workflow nets
Workflow nets are a popular variant of Petri nets that allow for algorit...
research
∙
01/28/2021
Continuous One-Counter Automata
We study the reachability problem for continuous one-counter automata, C...
research
∙
10/15/2020
Directed Reachability for Infinite-State Systems
Numerous tasks in program analysis and synthesis reduce to deciding reac...
research
∙
05/07/2020
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
We present a sound and complete method for the verification of qualitati...
research
∙
10/10/2019
Succinct Population Protocols for Presburger Arithmetic
Angluin et al. proved that population protocols compute exactly the pred...
research
∙
09/26/2019
Affine Extensions of Integer Vector Addition Systems with States
We study the reachability problem for affine Z-VASS, which are integer v...
research
∙
09/05/2019
The Complexity of Reachability in Affine Vector Addition Systems with States
We give a trichotomy on the complexity of integer reachability in vector...
research
∙
02/05/2019
Expressive Power of Oblivious Consensus Protocols
Population protocols are a formal model of computation by identical, ano...
research
∙
07/01/2018
Automatic Analysis of Expected Termination Time for Population Protocols
Population protocols are a formal model of sensor networks consisting of...
research
∙
01/02/2018
Large Flocks of Small Birds: On the Minimal Size of Population Protocols
Population protocols are a well established model of distributed computa...
research
∙
10/19/2017