Gurvan Le Guernic - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2023

Adaptive Structural Operational SemanticsGwendal Jouneaux, Damian Frölich, Olivier Barais, Benoît Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen. SLE 2023: 29-42 [doi]

2021

From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEsRomain Belafia, Pierre Jeanjean, Olivier Barais, Gurvan Le Guernic, Benoît Combemale. MoDELS 2021: 454-463 [doi]

2020

A language agnostic approach to modeling requirements: specification and verificationAbdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic. MoDELS 2020: [doi]

Automatic Generation of Truffle-based Interpreters for Domain-Specific LanguagesManuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoît Combemale. jot, 19(2), 2020. [doi]

2019

Experience report on the development of a specialized multi-view multi-stakeholder model-based engineering frameworkGurvan Le Guernic. OOPSLA 2019: 50-59 [doi]

2018

USB Packets Filtering Policies and an Associated Low-Cost Simulation FrameworkXiaoshu Ji, Gurvan Le Guernic, Nora Cuppens-Boulahia, Frédéric Cuppens. icics 2018: 732-742 [doi]

2016

Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition ModelsGurvan Le Guernic. modelsward 2016: 555-562 [doi]

Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific LanguagesDavid Méndez-Acuña, José A. Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic. icsr 2016: 368-383 [doi]

2012

ENCoVer: Symbolic Exploration for Information Flow SecurityMusard Balliu, Mads Dam, Gurvan Le Guernic. csfw 2012: 30-44 [doi]

TreeDroid: a tree automaton based approach to enforcing data processing policiesMads Dam, Gurvan Le Guernic, Andreas Lundblad. ccs 2012: 894-905 [doi]

2011

Epistemic temporal logic for information flow securityMusard Balliu, Mads Dam, Gurvan Le Guernic. PLDI 2011: 6 [doi]

2009

A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanismsCÃ©dric Fournet, Gurvan Le Guernic, Tamara Rezk. ccs 2009: 432-441 [doi]

2008

Precise Dynamic Verification of ConfidentialityGurvan Le Guernic. cade 2008: [doi]

FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRSGurvan Le Guernic, Julien Perret. ENTCS, 219:3-18, 2008. [doi]

2007

Confidentiality Enforcement Using Dynamic Information Flow AnalysesGurvan Le Guernic. PhD thesis, Kansas State University, United States of America, 2007. [doi]

Automaton-based Confidentiality Monitoring of Concurrent ProgramsGurvan Le Guernic. csfw 2007: 218-232 [doi]

Information Flow TestingGurvan Le Guernic. asian 2007: 33-47 [doi]

2006

Automata-Based Confidentiality MonitoringGurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt. asian 2008: 75-89 [doi]

Sign in or sign up to see more results.

runs on WebDSL