Gurvan Le Guernic

ORCID

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 9

Top Venues

Kansas State University, United States of America (PHD)

Education History

Kansas State University, United States of America

PHD

Publications

Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoît Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen
Adaptive Structural Operational Semantics. SLE (2023)
Romain Belafia, Pierre Jeanjean, Olivier Barais, Gurvan Le Guernic, Benoît Combemale
From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs. MoDELS (Companion) (2021)
Manuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoît Combemale
Automatic Generation of Truffle-based Interpreters for Domain-Specific Languages. J. Object Technol. 19 (2) (2020)
Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic
A language agnostic approach to modeling requirements: specification and verification. MoDELS (Companion) (2020)
Gurvan Le Guernic
Experience report on the development of a specialized multi-view multi-stakeholder model-based engineering framework. DSM@SPLASH (2019)
Xiaoshu Ji, Gurvan Le Guernic, Nora Cuppens-Boulahia, Frédéric Cuppens
USB Packets Filtering Policies and an Associated Low-Cost Simulation Framework. ICICS (2018)
Gurvan Le Guernic
Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models. MODELSWARD (2016)
Gurvan Le Guernic, Benoît Combemale, José Angel Galindo
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. F-IDE@FM (2016)
David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic
Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages. ICSR (2016)
Gurvan Le Guernic
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft. ESSS (2014)
Musard Balliu, Mads Dam, Gurvan Le Guernic
Epistemic Temporal Logic for Information Flow Security CoRR (2012)
Mads Dam, Gurvan Le Guernic, Andreas Lundblad
TreeDroid: a tree automaton based approach to enforcing data processing policies. CCS (2012)
Musard Balliu, Mads Dam, Gurvan Le Guernic
ENCoVer: Symbolic Exploration for Information Flow Security. CSF (2012)
Musard Balliu, Mads Dam, Gurvan Le Guernic
Epistemic temporal logic for information flow security. PLAS (2011)
Cédric Fournet, Gurvan Le Guernic, Tamara Rezk
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. CCS (2009)
Gurvan Le Guernic, Julien Perret
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. Electron. Notes Theor. Comput. Sci. 219 (2008)
Gurvan Le Guernic
Precise Dynamic Verification of Confidentiality. VERIFY (2008)
Gurvan Le Guernic
Automaton-based Confidentiality Monitoring of Concurrent Programs. CSF (2007)
Gurvan Le Guernic
Information Flow Testing. ASIAN (2007)
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt
Automata-Based Confidentiality Monitoring. ASIAN (2006)

Gurvan Le Guernic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gurvan Le Guernic