Gwenaël Delaval
Présentation
Assistant professor since 2010 in the LIG (Laboratoire d'Informatique de Grenoble).Current research subjects
Publications
Publications
|
|
Reconfiguration of Firewall Filter Rules as a Response to Industrial Control System IntrusionSICSI 2025 - 1st IEEE International Workshop on Secure Industrial Control Systems and Industrial-IoT, Aug 2025, Avignon, France. pp.1-6 |
|
|
An IEC 62443-security oriented domain specific modelling languageARES 2024 - 19th International Conference on Availability, Reliability and Security, Jul 2024, Vienne, Austria. pp.1-12, ⟨10.1145/3664476.3670938⟩ |
|
|
Self-reconfiguration of industrial control systems as a response to cyberattacksSecSoft 2024 - 6th International Workshop on Cyber-Security in Software-defined and Virtualized Infrastructures, Jun 2024, St. Louis, United States. pp.1-6 |
Stratégies institutionnelles de contournement du traitement des violences académiques : l’exemple des "dispositifs RPSColloque Sorbonne Nouvelle "Les violences ordinaires dans les organisations académiques", CERLIS; CRESPPA; CSU GTM LABTOP; Labo PSC, Jun 2022, Aubervilliers, France |
|
|
|
Discrete Control of Response for Cybersecurity in Industrial ControlIFAC 2020 - IFAC World Congress 2020, Jul 2020, Berlin, Germany. pp.1-8 |
|
|
A Domain-specific Language for Autonomic Managers in FPGA Reconfigurable ArchitecturesICAC 2018 - 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-10 |
|
|
Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart BuildingsCCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhagen, Denmark. pp.1472--1479 |
|
|
Discrete and Logico-numerical Control for Dynamic Partial Reconfigurable FPGA-based Embedded Systems : a Case StudyCCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhaguen, Denmark. pp. 1480-1487 |
|
|
Logico-numerical Control for Software Components ReconfigurationCCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩ |
|
|
Design Framework for Reliable Multiple Autonomic Loops in Smart Environments2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2017, Tucson, AZ, United States |
|
|
Language Support for Modular Autonomic Managers in Reconfigurable Software ComponentsSeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, Jul 2017, Colombus, United States. pp.271 - 278, ⟨10.1109/ICAC.2017.48⟩ |
|
|
Control of Autonomic Parallelism Adaptation on Software Transactional MemoryHPCS 2016 - International Conference on High Performance Computing & Simulation, Jul 2016, Innsbruck, Austria. pp.180-187, ⟨10.1109/HPCSim.2016.7568333⟩ |
|
|
Autonomic Parallelism and Thread Mapping Control on Software Transactional MemoryICAC 2016 - 13th IEEE International Conference on Autonomic Computing, Jul 2016, Wurzburg, Germany. pp.189 - 198, ⟨10.1109/ICAC.2016.54⟩ |
Distributed Execution of Modular Discrete Controllers for Data Center ManagementProc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS'15, May 2015, Cancun, France |
|
|
|
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systemsSIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany |
Discrete Control-Based Design of Adaptive and Autonomic Computing SystemsICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩ |
|
ECA rules for IoT environment: a case study in safe designFirst 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 |
|
|
|
Coordination of ECA Rules by Verification and ControlCOORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩ |
|
|
Modular Coordination of Multiple Autonomic Managers17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. pp.291, ⟨10.1145/2602458.2602465⟩ |
|
|
Discrete Control of Computing Systems Administration: a Programming Language supported ApproachEuropean Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124 |
|
|
Intégration de la synthèse de contrôleurs discrets dans un langage de programmationModélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France |
|
|
Automatic generation of discrete handlers of real-time continuous control tasksIFAC WC 2011 - 18th IFAC World Congress, Aug 2011, Milan, Italy |
|
|
Case studies in discrete control for autonomic system administrationSixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany |
|
|
QoS and Energy Management Coordination using Discrete Controller Synthesis1st International Workshop on Green Computing Middleware (GCM'2010), Nov 2010, Bangalore, India |
|
|
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based ModelCBSE 2010 - Component-Based Sofware Engineering, Jun 2010, Prague, Czech Republic. pp.93-112, ⟨10.1007/978-3-642-13238-4_6⟩ |
|
|
Contracts for modular discrete controller synthesisProceedings 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⟩ |
|
|
Modular Distribution and Application to Discrete Controller SynthesisThird 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⟩ |
A Case Study on Controller Synthesis for Data-Intensive Embedded SystemsInternational Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, ⟨10.1109/ICESS.2009.12⟩ |
|
|
|
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow ProgramsLCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2008, Tucson, United States. pp.101-110, ⟨10.1145/1375657.1375672⟩ |
|
|
A domain-specific language for task handlers generation, applying discrete controller synthesisACM Symposium on Applied Computing, Apr 2006, Dijon/France |
|
|
Réaction dans les SCADAInria. 2026 |
|
|
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study[Research Report] RR-7631, INRIA. 2011, pp.31 |
|
|
Automatic generation of discrete handlers of real-time continuous control tasks[Research Report] RR-7332, INRIA. 2010, pp.17 |
|
|
BZR Contracts for Modular Discrete Controller Synthesis[Research Report] RR-7111, INRIA. 2009 |
|
|
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs[Research Report] RR-6378, INRIA. 2007 |
|
|
A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis[Research Report] RR-5690, INRIA. 2005, pp.44 |
|
|
Répartition modulaire de programmes synchronesLangage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 2008. Français. ⟨NNT : ⟩ |