research
∙
11/05/2022
Geometry of VAS reachability sets
Vector Addition Systems (VAS) or equivalently petri-nets are a popular m...
share
research
∙
05/06/2022
Regular Model Checking Upside-Down: An Invariant-Based Approach
Regular model checking is a well-established technique for the verificat...
research
∙
11/23/2021
Modular population protocols
Population protocols are a model of distributed computation intended for...
research
∙
08/20/2021
Abduction of trap invariants in parameterized systems
In a previous paper we have presented a CEGAR approach for the verificat...
research
∙
03/18/2021
Computing Parameterized Invariants of Parameterized Petri Nets
A fundamental advantage of Petri net models is the possibility to automa...
research
∙
10/19/2020
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
In rendez-vous protocols an arbitrarily large number of indistinguishabl...
research
∙
02/17/2020
Constructive expressive power of population protocols
Population protocols are a model of distributed computation intended for...
research
∙
01/27/2020
On the Flatness of Immediate Observation Petri Nets
In a previous paper we introduced immediate observation (IO) Petri nets,...
research
∙
12/13/2019
The Complexity of Verifying Population Protocols
Population protocols [Angluin et al., PODC, 2004] are a model of distrib...
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
∙
03/28/2019
