default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDColas Le Guernic
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2009
[b1]Colas Le Guernic:
Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. (Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire). Joseph Fourier University, Grenoble, France, 2009
Journal Articles
- 2018
- [j3]Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche:
State of the art of network protocol reverse engineering tools. J. Comput. Virol. Hacking Tech. 14(1): 53-68 (2018) - 2016
- [j2]Eric Alata, Vincent Nicomette, Julien Duchêne, Colas Le Guernic, Mohamed Kaâniche:
Outils pour la rétro-conception de protocoles. Analyse et classification. Tech. Sci. Informatiques 35(6): 609-640 (2016) - 2011
- [j1]Thao Dang, Colas Le Guernic, Oded Maler:
Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412(21): 2095-2107 (2011)
Conference and Workshop Papers
- 2018
- [c14]Julien Duchêne, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic:
Specification-Based Protocol Obfuscation. DSN 2018: 478-489 - 2017
- [c13]Aurélien Palisse, Antoine Durand, Hélène Le Bouder, Colas Le Guernic, Jean-Louis Lanet:
Data Aware Defense (DaD): Towards a Generic and Practical Ransomware Countermeasure. NordSec 2017: 192-208 - [c12]Colas Le Guernic:
Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration. SAS 2017: 192-211 - 2016
- [c11]Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay:
Ransomware and the Legacy Crypto API. CRiSIS 2016: 11-28 - [c10]Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche:
Protocol Reverse Engineering: Challenges and Obfuscation. CRiSIS 2016: 139-144 - 2013
- [c9]Goran Frehse
, Rajat Kateja, Colas Le Guernic:
Flowpipe approximation and clustering in space-time. HSCC 2013: 203-212 - 2011
- [c8]Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler:
SpaceEx: Scalable Verification of Hybrid Systems. CAV 2011: 379-395 - [c7]Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci:
From Cardiac Cells to Genetic Regulatory Networks. CAV 2011: 396-411 - [c6]Matthias Althoff, Colas Le Guernic, Bruce H. Krogh:
Reachable set computation for uncertain time-varying linear systems. HSCC 2011: 93-102 - 2010
- [c5]Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler:
Approximating the Pareto Front of Multi-criteria Optimization Problems. TACAS 2010: 69-83 - 2009
- [c4]Colas Le Guernic, Antoine Girard:
Reachability Analysis of Hybrid Systems Using Support Functions. CAV 2009: 540-554 - [c3]Thao Dang, Colas Le Guernic, Oded Maler:
Computing Reachable States for Nonlinear Biological Models. CMSB 2009: 126-141 - 2008
- [c2]Antoine Girard, Colas Le Guernic:
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. HSCC 2008: 215-228 - 2006
- [c1]Antoine Girard, Colas Le Guernic, Oded Maler:
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC 2006: 257-271
Parts in Books or Collections
- 2013
- [p1]Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic:
Tools for the Analysis of Hybrid Models. Communicating Embedded Systems 2013: 227-251
Informal and Other Publications
- 2018
- [i1]Julien Duchêne, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic:
Specification-Based Protocol Obfuscation. CoRR abs/1807.09464 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
