Colas Le Guernic

According to our database1, Colas Le Guernic
  • authored at least 16 papers between 2006 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration.
Proceedings of the Static Analysis - 24th International Symposium, 2017

Data Aware Defense (DaD): Towards a Generic and Practical Ransomware Countermeasure.
Proceedings of the Secure IT Systems, 2017

2016
Outils pour la rétro-conception de protocoles. Analyse et classification.
Technique et Science Informatiques, 2016

Ransomware and the Legacy Crypto API.
Proceedings of the Risks and Security of Internet and Systems, 2016

Protocol Reverse Engineering: Challenges and Obfuscation.
Proceedings of the Risks and Security of Internet and Systems, 2016

2013
Flowpipe approximation and clustering in space-time.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2011
Computing reachable states for nonlinear biological models.
Theor. Comput. Sci., 2011

Reachable set computation for uncertain time-varying linear systems.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

From Cardiac Cells to Genetic Regulatory Networks.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Approximating the Pareto Front of Multi-criteria Optimization Problems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009
Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. (Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire).
PhD thesis, 2009

Computing Reachable States for Nonlinear Biological Models.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Reachability Analysis of Hybrid Systems Using Support Functions.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2006
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006


  Loading...