Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

22 résultats
Page :
triés par
Image document

Adaptive Structural Operational Semantics

 Gwendal Jouneaux , Damian Frölich , Olivier Barais , Benoit Combemale , Gurvan Le Guernic , et al.
SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2023, Cascais, Portugal. pp.29-42, ⟨10.1145/3623476.3623517⟩
Communication dans un congrès hal-04252577v1
Image document

Automaton-based Non-interference Monitoring of Concurrent Programs

 Gurvan Le Guernic
[Research Report] 2007
Rapport inria-00159987v1
Image document

Automatic generation of Truffle-based interpreters for Domain-Specific Languages

 Manuel Leduc , Gwendal Jouneaux , Thomas Degueule , Gurvan Le Guernic , Olivier Barais , et al.
The Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
Article dans une revue hal-02395867v2

C&ESAR'23: Cybersecurity of Smart Peripheral Devices (Mobiles / IoT / Edge)

 Gurvan Le Guernic
C&ESAR 2023 - Cybersecurity of Smart Peripheral Devices (Mobiles / IoT / Edge), CEUR Workshop Proceedings, 3610, 2024
Proceedings/Recueil des communications hal-04408267v1
Image document

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

 Gurvan Le Guernic , Benoit Combemale , José Angel Galindo Duarte
3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus
Communication dans un congrès hal-01401849v1
Image document

Automaton-based Confidentiality Monitoring of Concurrent Programs

 Gurvan Le Guernic
Computer Security Foundations Symposium, Jul 2007, S. Servolo island, Venice, Italy
Communication dans un congrès inria-00161019v1
Image document

FL-system's Intelligent Cache

 Gurvan Le Guernic , Julien Perret
MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, pp.79-88
Communication dans un congrès inria-00000709v1
Image document

Monitoring Information Flow

 Gurvan Le Guernic , Thomas Jensen
Workshop on Foundations of Computer Security - FCS'05, Jul 2005, Chicago/USA, pp.19--30
Communication dans un congrès inria-00001218v1
Image document

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

 Romain Belafia , Pierre Jeanjean , Olivier Barais , Gurvan Le Guernic , Benoit Combemale
MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Virtual, Japan. pp.1-10
Communication dans un congrès hal-03342678v1
Image document

Automata-based Confidentiality Monitoring

 Gurvan Le Guernic , Anindya Banerjee , Thomas Jensen , David Schmidt
ASIAN'06: 11th Annual Asian Computing Science Conference, National Institute of Informatics, Dec 2006, Tokyo/Japan
Communication dans un congrès inria-00130210v1
Image document

Information Flow Testing

 Gurvan Le Guernic
Annual Asian Computing Science Conference, Carnegie Mellon University Qatar Campus, Dec 2007, Doha, Qatar. ⟨10.1007/978-3-540-76929-3_4⟩
Communication dans un congrès inria-00198595v1
Image document

Confidentiality Enforcement Using Dynamic Information Flow Analyses

 Gurvan Le Guernic
Software Engineering [cs.SE]. Kansas State University, 2007. English. ⟨NNT : ⟩
Thèse tel-00198621v1
Image document

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

 Gurvan Le Guernic , Julien Perret
International Workshop on Rule-Based Programming, Jun 2007, Paris/France
Communication dans un congrès inria-00159267v1
Image document

Automaton-based Non-interference Monitoring

 Gurvan Le Guernic , Anindya Banerjee , David Schmidt
[Technical Report] KSU Report 2006-1, 2006, pp.49
Rapport inria-00001221v2
Image document

Experience Report on the Development of a Specialized Multi-view Multi-stakeholder Model-Based Engineering Framework (extended version)

 Gurvan Le Guernic
[Research Report] RR-9283, Inria Rennes - Bretagne Atlantique; IRISA. 2019
Rapport hal-02398051v1

C&ESAR'22: Ensuring Trust in a Decentralized World

 Gurvan Le Guernic
Computer & Electronics Security Application Rendezvous 2022, CEUR Workshop Proceedings, 3329, 2023
Proceedings/Recueil des communications hal-04408264v1
Image document

Precise Dynamic Verification of Noninterference

 Gurvan Le Guernic
[Research Report] 2008, pp.40
Rapport inria-00162609v3
Image document

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

 Gurvan Le Guernic , José Angel Galindo Duarte
[Research Report] RR-8967, Inria Rennes Bretagne Atlantique. 2016, pp.41
Rapport hal-01385541v1
Image document

Système de recherche de méthodes Java basé sur leur signature

 Nicolas Bonnel , Gurvan Le Guernic
4e Manifestation des Jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (MajecSTIC), Nov 2006, Lorient, France
Communication dans un congrès inria-00113231v1
Image document

Experience Report on the Development of a Specialized Multi-view Multi-stakeholder Model-Based Engineering Framework

 Gurvan Le Guernic
DSM 2019 - 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, Oct 2019, Athens, Greece. pp.50-59, ⟨10.1145/3358501.3361237⟩
Communication dans un congrès hal-02398053v1
Image document

A Language Agnostic Approach to Modeling Requirements: Specification and Verification

 Abdelghani Alidra , Antoine Beugnard , Hubert Godfroy , Pierre Kimmel , Gurvan Le Guernic
MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩
Communication dans un congrès hal-02924645v1
Image document

Reverse-engineering reusable language modules from legacy domain-specific languages

 David Méndez-Acuña , José Angel Galindo Duarte , Benoit Combemale , Arnaud Blouin , Benoit Baudry , et al.
International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Communication dans un congrès hal-01284816v1
Page :