Gurvan Le Guernic
发表
Gurvan Le Guernic,
2007
.
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft
Gurvan Le Guernic,
2014,
ESSS.
Gurvan Le Guernic,
2007
.
Gurvan Le Guernic,
2019,
DSM@SPLASH.
Gurvan Le Guernic,
2007
.
Nora Cuppens-Boulahia,
Frédéric Cuppens,
Gurvan Le Guernic,
2018,
ICICS.
Julien Perret,
Gurvan Le Guernic,
Julien Perret,
2007,
RULE@RDP.
David A. Schmidt,
Gurvan Le Guernic,
Anindya Banerjee,
2006
.
Antoine Beugnard,
Gurvan Le Guernic,
Abdelghani Alidra,
2020,
MoDELS.
Benoît Combemale,
Gurvan Le Guernic,
José A. Galindo,
2016,
F-IDE@FM.
Mads Dam,
Gurvan Le Guernic,
Andreas Lundblad,
2012,
CCS '12.
Gurvan Le Guernic,
2007,
20th IEEE Computer Security Foundations Symposium (CSF'07).
Gurvan Le Guernic,
2008
.
Cédric Fournet,
Gurvan Le Guernic,
Tamara Rezk,
2009,
CCS.
Gurvan Le Guernic,
2016,
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
Gurvan Le Guernic,
2007,
ASIAN.
Gurvan Le Guernic,
Thomas Jensen,
T. Jensen,
2005
.
Mads Dam,
Gurvan Le Guernic,
Musard Balliu,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
Gurvan Le Guernic,
2007
.
Benoît Combemale,
Arnaud Blouin,
Benoit Baudry,
2016,
ICSR.
Cédric Fournet,
Gurvan Le Guernic,
Tamara Rezk,
2017
.
Mads Dam,
Gurvan Le Guernic,
Musard Balliu,
2011,
PLAS '11.
Gurvan Le Guernic,
2008,
VERIFY.
Thomas Jensen,
David Pichardie,
Gurvan Le Guernic,
2006
.
Olivier Barais,
Gurvan Le Guernic,
Thomas Degueule,
2020,
J. Object Technol..
David A. Schmidt,
Anindya Banerjee,
Gurvan Le Guernic,
2006,
ASIAN.
Gurvan Le Guernic,
2007
.
Olivier Barais,
Benoît Combemale,
Gurvan Le Guernic,
2021,
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).
Gurvan Le Guernic,
T. Jensen,
2006
.
Gurvan Le Guernic,
J. Duarte,
2016
.