Gwenaël Delaval

Présentation

Assistant professor since 2010 in the LIG (Laboratoire d'Informatique de Grenoble).

Current research subjects

Compilation of synchronous programming languages

Programming methodologies using discrete controller synthesis

Distribution of synchronous programs

Publications

Article dans une revue (6)

Self-Reconfiguration of Industrial Control Systems as a Response to Cyberattacks Jolahn Vaudey,Stephane Mocanu,Eric Rutten,Gwenaël Delaval Journal of Network and Systems Management, 2025, 34 (1), pp.1-27. ⟨10.1007/s10922-025-09979-0⟩ Article dans une revue hal-05299028v1
Contournement du traitement des violences académiques : l’exemple des « dispositifs RPS » Gwenaël Delaval,Emmanuelle Puissant,Samira Saïdoune Mouvements : des idées et des luttes, 2023, 113, pp.141-153. ⟨10.3917/mouv.113.0141⟩ Article dans une revue halshs-04086870v1
An Autonomic-Computing Approach on Mapping Threads to Multi-cores for Software Transactional Memory Naweiluo Zhou,Gwenaël Delaval,Bogdan Robu,Eric Rutten,Jean-François Méhaut Concurrency and Computation: Practice and Experience, 2018, 30 (18), pp.e4506. ⟨10.1002/cpe.4506⟩ Article dans une revue hal-01742690v1
Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler Gwenaël Delaval,Eric Rutten,Hervé Marchand Discrete Event Dynamic Systems, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩ Article dans une revue istex hal-00863286v1
An approach for the synthesis of decentralised supervisors for distributed adaptive systems Amine Belhaj Seboui,Nejib Ben Hadj-Alouane,Gwenaël Delaval,Eric Rutten,Moez Yeddes International Journal of Critical Computer-Based Systems, 2011, Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, 2 (3/4), pp.246-265. ⟨10.1504/IJCCBS.2011.042328⟩ Article dans une revue hal-00784991v1
A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis Gwenaël Delaval,Eric Rutten EURASIP Journal on Embedded Systems, 2007, 2007 (1), pp.084192 Article dans une revue hal-00784474v1

Communication dans un congrès (30)

Reconfiguration of Firewall Filter Rules as a Response to Industrial Control System Intrusion Jolahn Vaudey,Stéphane Mocanu,Gwenaël Delaval,Eric Rutten SICSI 2025 - 1st IEEE International Workshop on Secure Industrial Control Systems and Industrial-IoT, Aug 2025, Avignon, France. pp.1-6 Communication dans un congrès hal-05260039v1
An IEC 62443-security oriented domain specific modelling language Jolahn Vaudey,Stéphane Mocanu,Gwenaël Delaval,Eric Rutten ARES 2024 - 19th International Conference on Availability, Reliability and Security, Jul 2024, Vienne, Austria. pp.1-12, ⟨10.1145/3664476.3670938⟩ Communication dans un congrès hal-04600593v1
Self-reconfiguration of industrial control systems as a response to cyberattacks Jolahn Vaudey,Gwenaël Delaval,Stéphane Mocanu,Éric Rutten SecSoft 2024 - 6th International Workshop on Cyber-Security in Software-defined and Virtualized Infrastructures, Jun 2024, St. Louis, United States. pp.1-6 Communication dans un congrès hal-04600646v1
Stratégies institutionnelles de contournement du traitement des violences académiques : l’exemple des &quot;dispositifs RPS Gwenaël Delaval,Emmanuelle Puissant,Samira Saïdoune Colloque Sorbonne Nouvelle "Les violences ordinaires dans les organisations académiques", CERLIS; CRESPPA; CSU GTM LABTOP; Labo PSC, Jun 2022, Aubervilliers, France Communication dans un congrès halshs-04204440v1
Discrete Control of Response for Cybersecurity in Industrial Control Gwenaël Delaval,Ayan Hore,Stéphane Mocanu,Lucie Muller,Eric Rutten IFAC 2020 - IFAC World Congress 2020, Jul 2020, Berlin, Germany. pp.1-8 Communication dans un congrès hal-02569406v1
A Domain-specific Language for Autonomic Managers in FPGA Reconfigurable Architectures Soguy Mak-Karé Gueye,Gwenaël Delaval,Eric Rutten,Dominique Heller,Jean-Philippe Diguet ICAC 2018 - 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-10 Communication dans un congrès hal-01868675v1
Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings Adja Ndeye Sylla,Maxime Louvel,Eric Rutten,Gwenaël Delaval CCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhagen, Denmark. pp.1472--1479 Communication dans un congrès hal-01862608v1
Discrete and Logico-numerical Control for Dynamic Partial Reconfigurable FPGA-based Embedded Systems : a Case Study Soguy Mak-Karé Gueye,Gwenaël Delaval,Eric Rutten,Jean-Philippe Diguet CCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhaguen, Denmark. pp. 1480-1487 Communication dans un congrès hal-01862619v1
Design Framework for Reliable Multiple Autonomic Loops in Smart Environments Adja Ndeye Sylla,Maxime Louvel,Eric Rutten,Gwenaël Delaval 2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2017, Tucson, AZ, United States Communication dans un congrès cea-01570026v1
Logico-numerical Control for Software Components Reconfiguration Nicolas Berthier,Frederico Alvares,Hervé Marchand,Gwenaël Delaval,Eric Rutten CCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩ Communication dans un congrès hal-01644754v1
Language Support for Modular Autonomic Managers in Reconfigurable Software Components Frederico Alvares,Gwenaël Delaval,Eric Rutten,Lionel Seinturier SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, Jul 2017, Colombus, United States. pp.271 - 278, ⟨10.1109/ICAC.2017.48⟩ Communication dans un congrès hal-01575353v1
Control of Autonomic Parallelism Adaptation on Software Transactional Memory Naweiluo Zhou,Gwenaël Delaval,Bogdan Robu,Eric Rutten,Jean-François Méhaut HPCS 2016 - International Conference on High Performance Computing & Simulation, Jul 2016, Innsbruck, Austria. pp.180-187, ⟨10.1109/HPCSim.2016.7568333⟩ Communication dans un congrès hal-01309195v1
Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory Naweiluo Zhou,Gwenaël Delaval,Bogdan Robu,Eric Rutten,Jean-François Méhaut ICAC 2016 - 13th IEEE International Conference on Autonomic Computing, Jul 2016, Wurzburg, Germany. pp.189 - 198, ⟨10.1109/ICAC.2016.54⟩ Communication dans un congrès hal-01309681v1
Discrete Control-Based Design of Adaptive and Autonomic Computing Systems Xin An,Gwenaël Delaval,Jean-Philippe Diguet,Abdoulaye Gamatié,Soguy Mak-Karé Gueyeet al. ICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩ Communication dans un congrès hal-01116015v1
Distributed Execution of Modular Discrete Controllers for Data Center Management Gwenaël Delaval,Soguy Mak-Karé Gueye,Eric Rutten Proc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS'15, May 2015, Cancun, France Communication dans un congrès hal-01161509v1
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems Wei-Tsun Sun,Alain Girault,Gwenaël Delaval SIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany Communication dans un congrès hal-01165686v1
ECA rules for IoT environment: a case study in safe design Julio Cano,Gwenaël Delaval,Eric Rutten,Yazid Benazzouz,Levent Gurgen First Edition of the Workshop on Quality Assurance for Self-adaptive, Self-organising Systems QA4SASO 2014; In conjunction with the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Sep 2014, London, United Kingdom Communication dans un congrès hal-01091149v1
Coordination of ECA Rules by Verification and Control Julio Cano,Gwenaël Delaval,Eric Rutten COORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩ Communication dans un congrès hal-01290066v1
Modular Coordination of Multiple Autonomic Managers Gwenaël Delaval,Soguy Mak-Karé Gueye,Eric Rutten,Noël de Palma 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. pp.291, ⟨10.1145/2602458.2602465⟩ Communication dans un congrès hal-01006106v1
Discrete Control of Computing Systems Administration: a Programming Language supported Approach Gwenaël Delaval,Noël de Palma,Soguy Mak-Karé Gueye,Hervé Marchand,Eric Rutten European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124 Communication dans un congrès hal-00863276v1
Case studies in discrete control for autonomic system administration Fabienne Boyer,Noël de Palma,Gwenaël Delaval,Olivier Gruber,Eric Rutten Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany Communication dans un congrès hal-00784971v1
Automatic generation of discrete handlers of real-time continuous control tasks Ahmed Soufyane Aboubekr,Gwenaël Delaval,Roger Pissard-Gibollet,Eric Rutten,Daniel Simon IFAC WC 2011 - 18th IFAC World Congress, Aug 2011, Milan, Italy Communication dans un congrès hal-00640406v1
Intégration de la synthèse de contrôleurs discrets dans un langage de programmation Gwenaël Delaval,Eric Rutten,Hervé Marchand Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France Communication dans un congrès inria-00629104v1
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model Gwenaël Delaval,Eric Rutten CBSE 2010 - Component-Based Sofware Engineering, Jun 2010, Prague, Czech Republic. pp.93-112, ⟨10.1007/978-3-642-13238-4_6⟩ Communication dans un congrès hal-05462217v1
QoS and Energy Management Coordination using Discrete Controller Synthesis Noël de Palma,Gwenaël Delaval,Eric Rutten 1st International Workshop on Green Computing Middleware (GCM'2010), Nov 2010, Bangalore, India Communication dans un congrès hal-00784999v1
Contracts for modular discrete controller synthesis Gwenaël Delaval,Hervé Marchand,Eric Rutten Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, ⟨10.1145/1755888.1755898⟩ Communication dans un congrès inria-00476910v1
Modular Distribution and Application to Discrete Controller Synthesis Gwenaël Delaval Third International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P), Mar 2008, Budapest, Hungary. pp.3-19, ⟨10.1016/j.entcs.2008.01.003⟩ Communication dans un congrès hal-01011741v1
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems Abdoulaye Gamatié,Huafeng Yu,Gwenaël Delaval,Éric Rutten International Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, ⟨10.1109/ICESS.2009.12⟩ Communication dans un congrès hal-00838928v1
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs Gwenaël Delaval,Alain Girault,Marc Pouzet LCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2008, Tucson, United States. pp.101-110, ⟨10.1145/1375657.1375672⟩ Communication dans un congrès hal-00750870v1
A domain-specific language for task handlers generation, applying discrete controller synthesis Gwenaël Delaval,Éric Rutten ACM Symposium on Applied Computing, Apr 2006, Dijon/France Communication dans un congrès inria-00000865v1

Rapport (6)

Réaction dans les SCADA Vaudey Jolahn,Stéphane Mocanu,Eric Rutten,Gwenaël Delaval Inria. 2026 Rapport hal-05533157v1
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study Tayeb Bouhadiba,Quentin Sabah,Gwenaël Delaval,Eric Rutten [Research Report] RR-7631, INRIA. 2011, pp.31 Rapport (rapport de recherche) inria-00596883v2
Automatic generation of discrete handlers of real-time continuous control tasks Ahmed Soufyane Aboubekr,Gwenaël Delaval,Roger Pissard-Gibollet,Eric Rutten,Daniel Simon [Research Report] RR-7332, INRIA. 2010, pp.17 Rapport (rapport de recherche) inria-00498394v1
BZR Contracts for Modular Discrete Controller Synthesis Gwenaël Delaval,Hervé Marchand,Eric Rutten [Research Report] RR-7111, INRIA. 2009 Rapport (rapport de recherche) inria-00436560v1
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs Gwenaël Delaval,Alain Girault,Marc Pouzet [Research Report] RR-6378, INRIA. 2007 Rapport (rapport de recherche) inria-00193731v2
A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis Gwenaël Delaval,Éric Rutten [Research Report] RR-5690, INRIA. 2005, pp.44 Rapport (rapport de recherche) inria-00000867v1

Thèse (1)

Répartition modulaire de programmes synchrones Gwenaël Delaval Langage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 2008. Français. ⟨NNT : ⟩ Thèse tel-00750832v1