Loïc Germerie Guizouarn

Publications

• 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