| 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 | 1095 | 2011 |
| 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 | 315 | 2006 |
| Reachability analysis of linear systems using support functions C Le Guernic, A Girard Nonlinear Analysis: Hybrid Systems 4 (2), 250-262, 2010 | 237 | 2010 |
| Reachability analysis of hybrid systems using support functions C Le Guernic, A Girard Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 201 | 2009 |
| Zonotope/hyperplane intersection for hybrid systems reachability analysis A Girard, C Le Guernic Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008 | 159 | 2008 |
| 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 | 137 | 2006 |
| Reachability analysis of hybrid systems with linear continuous dynamics C Le Guernic Univerit Joseph Fourier, 2009 | 135 | 2009 |
| Efficient reachability analysis for linear systems using support functions A Girard, C Le Guernic IFAC Proceedings Volumes 41 (2), 8966-8971, 2008 | 122 | 2008 |
| 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 | 117 | 2011 |
| Approximating the pareto front of multi-criteria optimization problems J Legriel, C Le Guernic, S Cotton, O Maler Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 113 | 2010 |
| 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 | 103 | 2011 |
| Flowpipe approximation and clustering in space-time G Frehse, R Kateja, C Le Guernic Proceedings of the 16th international conference on Hybrid systems …, 2013 | 79 | 2013 |
| 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 | 72* | 2017 |
| Computing reachable states for nonlinear biological models T Dang, C Le Guernic, O Maler Computational Methods in Systems Biology: 7th International Conference, CMSB …, 2009 | 69 | 2009 |
| State of the art of network protocol reverse engineering tools J Duchene, C Le Guernic, E Alata, V Nicomette, M Kaâniche Journal of Computer Virology and Hacking Techniques 14, 53-68, 2018 | 66 | 2018 |
| Computing reachable states for nonlinear biological models T Dang, C Le Guernic, O Maler Theoretical Computer Science 412 (21), 2095-2107, 2011 | 35 | 2011 |
| 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 | 32 | 2017 |
| 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 | 8 | 2004 |
| Calcul efficace de l’ensemble atteignable des systemes linéaires avec incertitudes C Le Guernic Master's thesis, Université Paris 7, 2005 | 6 | 2005 |
| Toward a sound analysis of guarded LTI loops with inputs by abstract acceleration C Le Guernic Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017 | 3 | 2017 |
Antoine GirardSenior Researcher, L2S, CNRSEmail verificata su l2s.centralesupelec.fr
