Lucie Guillou

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 12

Top Topics

Data Broadcasting

Primitive Operations

Face Verification

Safety Analysis

Top Venues

Publications

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. CoRR (2024)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Phase-Bounded Broadcast Networks over Topologies of Communication. CONCUR (2024)
Lucie Guillou, Corto Mascle, Nicolas Waldburger
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. FoSSaCS (2) (2024)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. Petri Nets (2024)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Phase-Bounded Broadcast Networks over Topologies of Communication. CoRR (2024)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. CONCUR (2023)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. CoRR (2023)
Lucie Guillou, Corto Mascle, Nicolas Waldburger
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. CoRR (2023)
Davide Frey, Lucie Guillou, Michel Raynal, François Taïani
Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs. CoRR (2023)
A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy
Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version). CoRR (2022)
A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy
Parameterized Analysis of Reconfigurable Broadcast Networks. FoSSaCS (2022)
Davide Frey, Lucie Guillou, Michel Raynal, François Taïani
Consensus-Free Ledgers When Operations of Distinct Processes are Commutative. PaCT (2021)