| 2023 | SLE | Adaptive Structural Operational Semantics. | Gwendal Jouneaux, Damian Frlich, Olivier Barais, Benot Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen |
| 2021 | MODELS | From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs. | Romain Belafia, Pierre Jeanjean, Olivier Barais, Gurvan Le Guernic, Benot Combemale |
| 2020 | MODELS | A language agnostic approach to modeling requirements: specification and verification. | Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic |
| 2019 | OOPSLA | Experience report on the development of a specialized multi-view multi-stakeholder model-based engineering framework. | Gurvan Le Guernic |
| 2018 | ICICS | USB Packets Filtering Policies and an Associated Low-Cost Simulation Framework. | Xiaoshu Ji, Gurvan Le Guernic, Nora Cuppens-Boulahia, Frdric Cuppens |
| 2016 | ICSR | Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages. | David Mndez-Acua, Jos Angel Galindo, Benot Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic |
| 2016 | MODELSWARD | Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models. | Gurvan Le Guernic |
| 2012 | CCS | TreeDroid: a tree automaton based approach to enforcing data processing policies. | Mads Dam, Gurvan Le Guernic, Andreas Lundblad |
| 2011 | PLDI | Epistemic temporal logic for information flow security. | Musard Balliu, Mads Dam, Gurvan Le Guernic |
| 2009 | CCS | A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. | Cdric Fournet, Gurvan Le Guernic, Tamara Rezk |
| 2008 | CADE | Precise Dynamic Verification of Confidentiality. | Gurvan Le Guernic |