research
∙
07/10/2023
Model-checking parametric lock-sharing systems against regular constraints
In parametric lock-sharing systems processes can spawn new processes to ...
share
research
∙
06/02/2023
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
We consider the parameterized verification of arbitrarily large networks...
research
∙
10/14/2022
Model-checking lock-sharing systems against regular constraints
We study the verification of distributed systems where processes are fin...
research
∙
04/26/2022
Distributed controller synthesis for deadlock avoidance
We consider the distributed control synthesis problem for systems with l...
research
∙
02/19/2021
Les claviers, un modèle de calcul
We introduce a new formalisation of languages, called keyboards. We cons...
research
∙
02/12/2021
Responsibility and verification: Importance value in temporal logics
We aim at measuring the influence of the nondeterministic choices of a p...
research
∙
09/13/2019
Controlling a Random Population is EXPTIME-hard
Bertrand et al. [1] (LMCS 2019) describe two-player zero-sum games in wh...
research
∙
07/11/2019