Colas Le Guernic

发表

Antoine Girard, Oded Maler, Colas Le Guernic, 2006, HSCC.
Jean-Louis Lanet, Axel Legay, Hélène Le Bouder, 2016, CRiSIS.
Oded Maler, Thao Dang, Colas Le Guernic, 2009, Theor. Comput. Sci..
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2011, CAV.
Goran Frehse, Colas Le Guernic, Rajat Kateja, 2013, HSCC '13.
Antoine Girard, Colas Le Guernic, A. Girard, 2008, HSCC.
Antoine Girard, Colas Le Guernic, A. Girard, 2009, CAV.
Jean-Louis Lanet, Hélène Le Bouder, Colas Le Guernic, 2017, NordSec.
Oded Maler, Thao Dang, Colas Le Guernic, 2009, CMSB.
Oded Maler, Scott Cotton, Colas Le Guernic, 2010, TACAS.
Julien Duchêne, Vincent Nicomette, Mohamed Kaâniche, 2018, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Antoine Girard, Goran Frehse, Oded Maler, 2011, CAV.
Julien Duchêne, Vincent Nicomette, Mohamed Kaâniche, 2016, Journal of Computer Virology and Hacking Techniques.
Goran Frehse, Antoine Girard, Thao Dang, 2013, Communicating Embedded Systems.
Julien Duchêne, Vincent Nicomette, Mohamed Kaâniche, 2016, CRiSIS.
Julien Duchêne, Vincent Nicomette, Mohamed Kaâniche, 2016, Tech. Sci. Informatiques.
Matthias Althoff, Bruce H. Krogh, Colas Le Guernic, 2011, HSCC '11.