Colas Le Guernic

According to our database, Colas Le Guernic authored at least 18 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Specification-Based Protocol Obfuscation.

Julien Duchêne, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017

Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration.

Colas Le Guernic

Proceedings of the Static Analysis - 24th International Symposium, 2017

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

Proceedings of the Secure IT Systems, 2017

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

Ransomware and the Legacy Crypto API.

Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay

Proceedings of the Risks and Security of Internet and Systems, 2016

Protocol Reverse Engineering: Challenges and Obfuscation.

Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

Proceedings of the Risks and Security of Internet and Systems, 2016

2013

Flowpipe approximation and clustering in space-time.

Goran Frehse, Rajat Kateja, Colas Le Guernic

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Tools for the Analysis of Hybrid Models.

Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic

Proceedings of the Communicating Embedded Systems, 2013

2011

Computing reachable states for nonlinear biological models.

Thao Dang, Colas Le Guernic, Oded Maler

Theor. Comput. Sci., 2011

Reachable set computation for uncertain time-varying linear systems.

Matthias Althoff, Colas Le Guernic, Bruce H. Krogh

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 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

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

SpaceEx: Scalable Verification of Hybrid Systems.

Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Approximating the Pareto Front of Multi-criteria Optimization Problems.

Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009

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

Colas Le Guernic

PhD thesis, 2009

Reachability Analysis of Hybrid Systems Using Support Functions.

Colas Le Guernic, Antoine Girard

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.

Antoine Girard, Colas Le Guernic

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2006

Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.

Antoine Girard, Colas Le Guernic, Oded Maler

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006