Lucie Guillou

16 papers B 6Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 — —
Wait or act: parameterized verification with wait-only protocols and non-blocking communication. (Attendre ou agir: vérification paramétrée avec protocoles wait-only et communication non bloquante).
Lucie Guillou
2025 B conf
Wait-Only Broadcast Protocols Are Easier to Verify.
MFCS
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2025 J jnl
Wait-Only Broadcast Protocols are Easier to Verify.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 — conf
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.
FoSSaCS (2)
Lucie Guillou, Corto Mascle, Nicolas Waldburger
2024 B conf
Phase-Bounded Broadcast Networks over Topologies of Communication.
CONCUR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
Phase-Bounded Broadcast Networks over Topologies of Communication.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
Process-commutative distributed objects: From cryptocurrencies to Byzantine-Fault-Tolerant CRDTs.
Theor. Comput. Sci.
Davide Frey, Lucie Guillou, Michel Raynal, François Taïani
2024 B conf
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
Petri Nets
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2023 J jnl
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.
CoRR
Lucie Guillou, Corto Mascle, Nicolas Waldburger
2023 J jnl
Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs.
CoRR
Davide Frey, Lucie Guillou, Michel Raynal, François Taïani
2023 B conf
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
CONCUR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2023 J jnl
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2022 J jnl
Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version).
CoRR
A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy
2022 B conf
Parameterized Analysis of Reconfigurable Broadcast Networks.
FoSSaCS
A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy
2021 B conf
Consensus-Free Ledgers When Operations of Distinct Processes are Commutative.
PaCT
Davide Frey, Lucie Guillou, Michel Raynal, François Taïani