ask others

Gurvan Le Guernic

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icsr/Mendez-AcunaGCB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icsr/Mendez-AcunaGCB16
David Méndez-Acuña, José A. Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic:
Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages. ICSR 2016: 368-383
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/modelsward/Guernic16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/modelsward/Guernic16
Gurvan Le Guernic:
Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models. MODELSWARD 2016: 555-562
[c10]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/GuernicCG17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/GuernicCG17
Gurvan Le Guernic, Benoît Combemale, José A. Galindo:
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. F-IDE@FM 2016: 38-52
2014
[c9]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Guernic14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/Guernic14
Gurvan Le Guernic:
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft. ESSS 2014: 50-55
2012
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1208-6106
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1208-6106
Musard Balliu, Mads Dam, Gurvan Le Guernic:
Epistemic Temporal Logic for Information Flow Security. CoRR abs/1208.6106 (2012)
[c8]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ccs/DamGL12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ccs/DamGL12
Mads Dam, Gurvan Le Guernic, Andreas Lundblad:
TreeDroid: a tree automaton based approach to enforcing data processing policies. ACM Conference on Computer and Communications Security 2012: 894-905
[c7]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/csfw/BalliuDG12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csfw/BalliuDG12
Musard Balliu, Mads Dam, Gurvan Le Guernic:
ENCoVer: Symbolic Exploration for Information Flow Security. CSF 2012: 30-44
2011
[c6]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pldi/BalliuDG11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/pldi/BalliuDG11
Musard Balliu, Mads Dam, Gurvan Le Guernic:
Epistemic temporal logic for information flow security. PLAS 2011: 6

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ccs/FournetGR09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ccs/FournetGR09
Cédric Fournet, Gurvan Le Guernic, Tamara Rezk:
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. ACM Conference on Computer and Communications Security 2009: 432-441
2008
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/GuernicP08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/GuernicP08
Gurvan Le Guernic, Julien Perret:
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. Electr. Notes Theor. Comput. Sci. 219: 3-18 (2008)
[c4]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/Guernic08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/Guernic08
Gurvan Le Guernic:
Precise Dynamic Verification of Confidentiality. VERIFY 2008
2007
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
- export record
  dblp key:
  - phd/hal/LeGuernic07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/phd/hal/LeGuernic07
Gurvan Le Guernic:
Confidentiality Enforcement Using Dynamic Information Flow Analyses. Kansas State University, United States of America 2007
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asian/Guernic07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asian/Guernic07
Gurvan Le Guernic:
Information Flow Testing. ASIAN 2007: 33-47
[c2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/csfw/Guernic07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csfw/Guernic07
Gurvan Le Guernic:
Automaton-based Confidentiality Monitoring of Concurrent Programs. CSF 2007: 218-232
2006
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asian/GuernicBJS06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asian/GuernicBJS06
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt:
Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89

Coauthor Index

see FAQ

maintained by

at