Colas Le Guernic

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ joint publications with coauthor community group 1

> Home > Persons > Colas Le Guernic

Publications

2017
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/nordsec/PalisseDBGL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nordsec/PalisseDBGL17
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
2016
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/PalisseBLGL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/PalisseBLGL16
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
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/FrehseKG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/FrehseKG13
Goran Frehse, Rajat Kateja, Colas Le Guernic:
Flowpipe approximation and clustering in space-time. HSCC 2013: 203-212
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/wi/13/DangFGG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/13/DangFGG13
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic:
Tools for the Analysis of Hybrid Models. Communicating Embedded Systems 2013: 227-251
2011
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DangGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DangGM11
Thao Dang, Colas Le Guernic, Oded Maler:
Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412(21): 2095-2107 (2011)
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FrehseGDCRLRGDM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FrehseGDCRLRGDM11
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GrosuBFGGSB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GrosuBFGGSB11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AlthoffGK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AlthoffGK11
Matthias Althoff, Colas Le Guernic, Bruce H. Krogh:
Reachable set computation for uncertain time-varying linear systems. HSCC 2011: 93-102
2010
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LegrielGCM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LegrielGCM10
Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler:
Approximating the Pareto Front of Multi-criteria Optimization Problems. TACAS 2010: 69-83
2009
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GuernicG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GuernicG09
Colas Le Guernic, Antoine Girard:
Reachability Analysis of Hybrid Systems Using Support Functions. CAV 2009: 540-554
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/DangGM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/DangGM09
Thao Dang, Colas Le Guernic, Oded Maler:
Computing Reachable States for Nonlinear Biological Models. CMSB 2009: 126-141
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GirardG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GirardG08
Antoine Girard, Colas Le Guernic:
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. HSCC 2008: 215-228
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GirardGM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GirardGM06
Antoine Girard, Colas Le Guernic, Oded Maler:
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC 2006: 257-271

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.