Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. - Antoine Girard; Colas Le Guernic; Oded Maler (HSCC, 2006)

Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. - Antoine Girard; Colas Le Guernic (HSCC, 2008)

Reachability Analysis of Hybrid Systems Using Support Functions. - Colas Le Guernic; Antoine Girard (CAV, 2009)

Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. (Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire). - Colas Le Guernic (2009)

Approximating the Pareto Front of Multi-criteria Optimization Problems. - Julien Legriel; Colas Le Guernic; Scott Cotton; Oded Maler (TACAS, 2010)

SpaceEx: Scalable Verification of Hybrid Systems. - Goran Frehse; Colas Le Guernic; Alexandre Donzé; Scott Cotton; Rajarshi Ray 001; Olivier Lebeltel; Rodolfo Ripado; Antoine Girard; Thao Dang 001; Oded Maler (CAV, 2011)

From Cardiac Cells to Genetic Regulatory Networks. - Radu Grosu; Grégory Batt; Flavio H. Fenton; James Glimm; Colas Le Guernic; Scott A. Smolka; Ezio Bartocci (CAV, 2011)

Reachable set computation for uncertain time-varying linear systems. - Matthias Althoff; Colas Le Guernic; Bruce H. Krogh (HSCC, 2011)

Computing reachable states for nonlinear biological models. - Thao Dang 001; Colas Le Guernic; Oded Maler (Theor. Comput. Sci., 2011)

Tools for the Analysis of Hybrid Models. - Thao Dang 001; Goran Frehse; Antoine Girard; Colas Le Guernic (Communicating Embedded Systems, 2013)

Flowpipe approximation and clustering in space-time. - Goran Frehse; Rajat Kateja; Colas Le Guernic (HSCC, 2013)

Protocol Reverse Engineering: Challenges and Obfuscation. - Julien Duchêne; Colas Le Guernic; Eric Alata; Vincent Nicomette; Mohamed Kaâniche (CRiSIS, 2016)

Ransomware and the Legacy Crypto API. - Aurélien Palisse; Hélène Le Bouder; Jean-Louis Lanet; Colas Le Guernic; Axel Legay (CRiSIS, 2016)

Outils pour la rétro-conception de protocoles. Analyse et classification. - Eric Alata; Vincent Nicomette; Julien Duchêne; Colas Le Guernic; Mohamed Kaâniche (Tech. Sci. Informatiques, 2016)

Data Aware Defense (DaD): Towards a Generic and Practical Ransomware Countermeasure. - Aurélien Palisse; Antoine Durand; Hélène Le Bouder; Colas Le Guernic; Jean-Louis Lanet (NordSec, 2017)

Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration. - Colas Le Guernic (SAS, 2017)

Specification-Based Protocol Obfuscation. - Julien Duchêne; Eric Alata; Vincent Nicomette; Mohamed Kaâniche; Colas Le Guernic (DSN, 2018)

State of the art of network protocol reverse engineering tools. - Julien Duchêne; Colas Le Guernic; Eric Alata; Vincent Nicomette; Mohamed Kaâniche (J. Comput. Virol. Hacking Tech., 2018)