Publications
Ma page DBLP
- Reversible Transducers over Infinite Words
(disponible ici)
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, and Shankaranarayanan Krishna
CONCUR, August 2024, volume 311 of LIPIcs, pages 21:1-21:22
- RSC to the ReSCu: Automated Verification of Communicating Automata
(disponible ici)
Loïc Desgeorges et Loïc Germerie Guizouarn
COORDINATION, Juin 2023, volume 13908 of LNCS, pages 135-143
- Multiparty Half-duplex Systems and Synchronous Communications
(disponible ici)
Cinzia Di Giusto, Loïc Germerie Guizouarn, et Étienne Lozes
Journal of Logical and Algebraic Methods in Programming, Février 2023
- Formalising Futures and Promises in Viper
(disponible ici)
Cinzia Di Giusto, Loïc Germerie Guizouarn, Ludovic Henrio, et Étienne Lozes
33èmes Journées Francophones des Langages Applicatifs, Juin 2022
- Towards Generalised Half-duplex Systems
(disponible ici)
Cinzia Di Giusto, Loïc Germerie Guizouarn, et Étienne Lozes
ICE Online, Juin 2021, volume 347 of EPTCS, pages 22–37