Colas Le Guernic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2009–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | DSN | Specification-Based Protocol Obfuscation. | Julien Duchne, Eric Alata, Vincent Nicomette, Mohamed Kaniche, Colas Le Guernic |
| 2017 | SAS | Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration. | Colas Le Guernic |
| 2016 | CRiSIS | Protocol Reverse Engineering: Challenges and Obfuscation. | Julien Duchne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaniche |
| 2016 | CRiSIS | Ransomware and the Legacy Crypto API. | Aurlien Palisse, Hlne Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay |
| 2011 | CAV | 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 |
| 2011 | CAV | From Cardiac Cells to Genetic Regulatory Networks. | Radu Grosu, Grgory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci |
| 2010 | TACAS | Approximating the Pareto Front of Multi-criteria Optimization Problems. | Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler |
| 2009 | CAV | Reachability Analysis of Hybrid Systems Using Support Functions. | Colas Le Guernic, Antoine Girard |