Finite Approximation of LMPs for Exact Verification of Reachability Properties. - Gildas Kouko; Josée Desharnais; François Laviolette (QEST, 2019)

Information Flow Control for the Internet of Things. - Gildas Kouko; Josée Desharnais; Nadia Tawbi (IoTBDS, 2025)