Gurvan Le Guernic

According to our database, Gurvan Le Guernic authored at least 20 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Adaptive Structural Operational Semantics.

Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoît Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

2021

From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs.

Romain Belafia, Pierre Jeanjean, Olivier Barais, Gurvan Le Guernic, Benoît Combemale

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020

Automatic Generation of Truffle-based Interpreters for Domain-Specific Languages.

Manuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoît Combemale

J. Object Technol., 2020

A language agnostic approach to modeling requirements: specification and verification.

Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Experience report on the development of a specialized multi-view multi-stakeholder model-based engineering framework.

Gurvan Le Guernic

Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019

2018

USB Packets Filtering Policies and an Associated Low-Cost Simulation Framework.

Xiaoshu Ji, Gurvan Le Guernic, Nora Cuppens-Boulahia, Frédéric Cuppens

Proceedings of the Information and Communications Security - 20th International Conference, 2018

2016

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework.

Gurvan Le Guernic, Benoît Combemale, José Angel Galindo

Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models.

Gurvan Le Guernic

Proceedings of the MODELSWARD 2016, 2016

Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages.

David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

2014

In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft.

Gurvan Le Guernic

Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

2012

ENCoVer: Symbolic Exploration for Information Flow Security.

Musard Balliu, Mads Dam, Gurvan Le Guernic

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

TreeDroid: a tree automaton based approach to enforcing data processing policies.

Mads Dam, Gurvan Le Guernic, Andreas Lundblad

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Epistemic temporal logic for information flow security.

Musard Balliu, Mads Dam, Gurvan Le Guernic

Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, 2011

2009

A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.

Cédric Fournet, Gurvan Le Guernic, Tamara Rezk

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

Precise Dynamic Verification of Confidentiality.

Gurvan Le Guernic

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2007

Confidentiality Enforcement Using Dynamic Information Flow Analyses.

Gurvan Le Guernic

PhD thesis, 2007

FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS.

Gurvan Le Guernic, Julien Perret

Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

Automaton-based Confidentiality Monitoring of Concurrent Programs.

Gurvan Le Guernic

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

Information Flow Testing.

Gurvan Le Guernic

Proceedings of the Advances in Computer Science, 2007

2006

Automata-Based Confidentiality Monitoring.

Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt

Proceedings of the Advances in Computer Science, 2006