Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference. - Guillaume Girol; Benjamin Farinier; Sébastien Bardin (CAV (1), 2021)

A Quantitative Flavour of Robust Reachability. - Sébastien Bardin; Guillaume Girol (CoRR, 2022)

Robust reachability and model counting for software security. (Atteignabilité robuste et comptage de modèles pour la sécurité logicielle). - Guillaume Girol (2022)

A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. - Guillaume Girol; Lucca Hirschi; Ralf Sasse; Dennis Jackson; Cas Cremers; David A. Basin (IACR Cryptol. ePrint Arch., 2024)

Quantitative Robustness for Vulnerability Assessment. - Guillaume Girol; Guilhem Lacombe; Sébastien Bardin (Proc. ACM Program. Lang., 2024)

Inference of Robust Reachability Constraints. - Yanis Sellami; Guillaume Girol; Frédéric Recoules; Damien Couroussé; Sébastien Bardin (Proc. ACM Program. Lang., 2024)

Introducing robust reachability. - Guillaume Girol; Benjamin Farinier; Sébastien Bardin (Formal Methods Syst. Des., 2024)