| Towards Generalised Half-Duplex Systems C Di Giusto, L Germerie Guizouarn, E Lozes arXiv preprint arXiv:2110.00145, 2021 | 8 | 2021 |
| RSC to the ReSCu: Automated Verification of Systems of Communicating Automata L Desgeorges, L Germerie Guizouarn International Conference on Coordination Languages and Models, 135-143, 2023 | 4 | 2023 |
| Multiparty half-duplex systems and synchronous communications C Di Giusto, L Germerie Guizouarn, E Lozes Journal of Logical and Algebraic Methods in Programming 131, 100843, 2023 | 4 | 2023 |
| Communicating automata and quasi-synchronous communications LG Guizouarn Université Côte d'Azur, 2023 | 2 | 2023 |
| Prompt runtime enforcement A Anand, L Germerie Guizouarn, T Jéron, S Mukherjee, S Pinisetty, ... International Symposium on Automated Technology for Verification and …, 2025 | 1 | 2025 |
| Reversible Pebble Transducers L Dartois, P Gastin, LG Guizouarn, S Krishna arXiv preprint arXiv:2506.11334, 2025 | | 2025 |
| Reversible transducers over infinite words L Dartois, P Gastin, LG Guizouarn, R Govind, S Krishna arXiv preprint arXiv:2406.11488, 2024 | | 2024 |
| Automates communicants et communications quasi-synchrones LG Guizouarn Université Côte d'Azur, 2023 | | 2023 |
| Verification of Systems of Communicating L Desgeorges, LG Guizouarn Coordination Models and Languages: 25th IFIP WG 6.1 International Conference …, 2023 | | 2023 |
| Formalising Futures and Promises in Viper C Giusto, L Germerie Guizouarn, L Henrio, E Lozes 33èmes Journées Francophones des Langages Applicatifs, 2022 | | 2022 |
| Formalisations des futures et promesses en Viper L Germerie Guizouarn Ecole Jeunes Chercheuses et Chercheurs en Informatique Mathématique, 2022 | | 2022 |
