Lucie Guillou | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

A. R. Balasubramanian
15 publications
Chana Weil-Kennedy
8 publications
Corto Mascle
8 publications
Arnaud Sangnier
4 publications
Nicolas Waldburger
3 publications
Nathalie Sznajder
3 publications

research

∙ 07/10/2023

Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous

We consider networks of processes that all execute the same finite-state...

0 Lucie Guillou, et al. ∙

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...

0 Lucie Guillou, et al. ∙

research

∙ 01/25/2022

Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version)

Reconfigurable broadcast networks (RBN) are a model of distributed compu...

0 A. R. Balasubramanian, et al. ∙