Suivre
Colas Le Guernic
Colas Le Guernic
INRIA (external collaborator)
Adresse e-mail validée de inria.fr - Page d'accueil
Titre
Citée par
Citée par
Année
SpaceEx: Scalable verification of hybrid systems
G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
11782011
Efficient computation of reachable sets of linear time-invariant systems with inputs
A Girard, C Le Guernic, O Maler
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC …, 2006
3622006
Reachability analysis of linear systems using support functions
C Le Guernic, A Girard
Nonlinear Analysis: Hybrid Systems 4 (2), 250-262, 2010
2652010
Reachability analysis of hybrid systems using support functions
C Le Guernic, A Girard
International Conference on Computer Aided Verification, 540-554, 2009
2122009
Zonotope/hyperplane intersection for hybrid systems reachability analysis
A Girard, C Le Guernic
International Workshop on Hybrid Systems: Computation and Control, 215-228, 2008
1682008
Recent progress in continuous and hybrid reachability analysis
E Asarin, T Dang, G Frehse, A Girard, C Le Guernic, O Maler
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006
1472006
Reachability analysis of hybrid systems with linear continuous dynamics
C Le Guernic
Univerit Joseph Fourier, 2009
1422009
Efficient reachability analysis for linear systems using support functions
A Girard, C Le Guernic
IFAC Proceedings Volumes 41 (2), 8966-8971, 2008
1382008
Approximating the pareto front of multi-criteria optimization problems
J Legriel, C Le Guernic, S Cotton, O Maler
International Conference on Tools and Algorithms for the Construction and …, 2010
1332010
From cardiac cells to genetic regulatory networks
R Grosu, G Batt, FH Fenton, J Glimm, C Le Guernic, SA Smolka, ...
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1222011
Reachable set computation for uncertain time-varying linear systems
M Althoff, C Le Guernic, BH Krogh
Proceedings of the 14th international conference on Hybrid systems …, 2011
1182011
Flowpipe approximation and clustering in space-time
G Frehse, R Kateja, C Le Guernic
Proceedings of the 16th international conference on Hybrid systems …, 2013
862013
Ransomware and the legacy crypto API
A Palisse, H Le Bouder, JL Lanet, C Le Guernic, A Legay
Risks and Security of Internet and Systems: 11th International Conference …, 2017
84*2017
State of the art of network protocol reverse engineering tools
J Duchêne, C Le Guernic, E Alata, V Nicomette, M Kaâniche
Journal of Computer Virology and Hacking Techniques 14, 53-68, 2018
802018
Computing reachable states for nonlinear biological models
T Dang, C Le Guernic, O Maler
International Conference on Computational Methods in Systems Biology, 126-141, 2009
722009
Data aware defense (DaD): towards a generic and practical ransomware countermeasure
A Palisse, A Durand, H Le Bouder, C Le Guernic, JL Lanet
Secure IT Systems: 22nd Nordic Conference, NordSec 2017, Tartu, Estonia …, 2017
422017
Computing reachable states for nonlinear biological models
T Dang, C Le Guernic, O Maler
Theoretical Computer Science 412 (21), 2095-2107, 2011
372011
On the practical computation of one point in each connected component of a semi-algebraic set defined by a polynomial system of equations and non-strict inequalities
C Le Guernic, MS El Din
INRIA, 2004
92004
Calcul efficace de l’ensemble atteignable des systemes linéaires avec incertitudes
C Le Guernic
Master's thesis, Université Paris 7, 2005
62005
Specification-based protocol obfuscation
J Duchêne, E Alata, V Nicomette, M Kaâniche, C Le Guernic
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018
42018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20