2024
Conference papers
- titre
- An IEC 62443-security oriented domain specific modelling language
- auteur
- Jolahn Vaudey, Stéphane Mocanu, Gwenaël Delaval, Eric Rutten
- article
- ARES 2024 – 19th International Conference on Availability, Reliability and Security, Jul 2024, Vienne, Austria. pp.1-12, ⟨10.1145/3664476.3670938⟩
- Accès au texte intégral et bibtex
-
- titre
- Self-reconfiguration of industrial control systems as a response to cyberattacks
- auteur
- Jolahn Vaudey, Gwenaël Delaval, Stéphane Mocanu, Éric Rutten
- article
- SecSoft 2024 – 6th International Workshop on Cyber-Security in Software-defined and Virtualized Infrastructures, Jun 2024, St. Louis, United States. pp.1-6
- Accès au texte intégral et bibtex
-
Software
- titre
- DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model.
- auteur
- Jolahn Vaudey, Eric Rutten, Stéphane Mocanu, Gwenaël Delaval
- article
- 2024, ⟨swh:1:dir:7d672d5b175bebcacb220d68867db4f127f372d5;origin=https://gitlab.inria.fr/jvaudey/iec62433-dsl;visit=swh:1:snp:ff3978f2eac26aa7d82e10abb5543562589f7507;anchor=swh:1:rev:505c77d8dfdfa1495d6497f7dd1b0811c7553d40⟩
- Accès au bibtex
-
2023
Journal articles
- titre
- Contournement du traitement des violences académiques : l’exemple des « dispositifs RPS »
- auteur
- Gwenaël Delaval, Emmanuelle Puissant, Samira Saïdoune
- article
- Mouvements : des idées et des luttes, 2023, 113, pp.141-153. ⟨10.3917/mouv.113.0141⟩
- Accès au bibtex
-
2022
Conference papers
- titre
- Stratégies institutionnelles de contournement du traitement des violences académiques : l’exemple des “dispositifs RPS
- auteur
- Gwenaël Delaval, Emmanuelle Puissant, Samira Saïdoune
- article
- Colloque Sorbonne Nouvelle “Les violences ordinaires dans les organisations académiques”, CERLIS; CRESPPA; CSU GTM LABTOP; Labo PSC, Jun 2022, Aubervilliers, France
- Accès au bibtex
-
2020
Conference papers
- titre
- Discrete Control of Response for Cybersecurity in Industrial Control
- auteur
- Gwenaël Delaval, Ayan Hore, Stéphane Mocanu, Lucie Muller, Eric Rutten
- article
- IFAC 2020 – IFAC World Congress 2020, Jul 2020, Berlin, Germany. pp.1-8
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- An Autonomic-Computing Approach on Mapping Threads to Multi-cores for Software Transactional Memory
- auteur
- Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
- article
- Concurrency and Computation: Practice and Experience, 2018, 30 (18), pp.e4506. ⟨10.1002/cpe.4506⟩
- Accès au bibtex
-
Conference papers
- titre
- A Domain-specific Language for Autonomic Managers in FPGA Reconfigurable Architectures
- auteur
- Soguy Mak-Karé Gueye, Gwenaël Delaval, Eric Rutten, Dominique Heller, Jean-Philippe Diguet
- article
- ICAC 2018 – 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings
- auteur
- Adja Ndeye Sylla, Maxime Louvel, Eric Rutten, Gwenaël Delaval
- article
- CCTA 2018 – 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhagen, Denmark. pp.1472–1479
- Accès au texte intégral et bibtex
-
- titre
- Discrete and Logico-numerical Control for Dynamic Partial Reconfigurable FPGA-based Embedded Systems : a Case Study
- auteur
- Soguy Mak-Karé Gueye, Gwenaël Delaval, Eric Rutten, Jean-Philippe Diguet
- article
- CCTA 2018 – 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhaguen, Denmark. pp. 1480-1487
- Accès au texte intégral et bibtex
-
2017
Conference papers
- titre
- Design Framework for Reliable Multiple Autonomic Loops in Smart Environments
- auteur
- Adja Ndeye Sylla, Maxime Louvel, Eric Rutten, Gwenaël Delaval
- article
- 2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2017, Tucson, AZ, United States
- Accès au texte intégral et bibtex
-
- titre
- Logico-numerical Control for Software Components Reconfiguration
- auteur
- Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Eric Rutten
- article
- CCTA 2017 – IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 – 1606, ⟨10.1109/CCTA.2017.8062685⟩
- Accès au texte intégral et bibtex
-
- titre
- Language Support for Modular Autonomic Managers in Reconfigurable Software Components
- auteur
- Frederico Alvares, Gwenaël Delaval, Eric Rutten, Lionel Seinturier
- article
- SeAC 2017 – 2nd Workshop on Self-Aware Computing @ ICAC’17, Jul 2017, Colombus, United States. pp.271 – 278, ⟨10.1109/ICAC.2017.48⟩
- Accès au texte intégral et bibtex
-
2016
Conference papers
- titre
- Control of Autonomic Parallelism Adaptation on Software Transactional Memory
- auteur
- Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
- article
- HPCS 2016 – International Conference on High Performance Computing & Simulation, Jul 2016, Innsbruck, Austria. pp.180-187, ⟨10.1109/HPCSim.2016.7568333⟩
- Accès au texte intégral et bibtex
-
- titre
- Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory
- auteur
- Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
- article
- ICAC 2016 – 13th IEEE International Conference on Autonomic Computing, Jul 2016, Wurzburg, Germany. pp.189 – 198, ⟨10.1109/ICAC.2016.54⟩
- Accès au texte intégral et bibtex
-
2015
Conference papers
- titre
- A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems
- auteur
- Wei-Tsun Sun, Alain Girault, Gwenaël Delaval
- article
- SIES’2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany
- Accès au texte intégral et bibtex
-
- titre
- Distributed Execution of Modular Discrete Controllers for Data Center Management
- auteur
- Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten
- article
- Proc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS’15, May 2015, Cancun, France
- Accès au bibtex
-
- titre
- Discrete Control-Based Design of Adaptive and Autonomic Computing Systems
- auteur
- Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Mak-Karé Gueye, Hervé Marchand, Noel de Palma, Eric Rutten
- article
- ICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩
- Accès au bibtex
-
2014
Conference papers
- titre
- ECA rules for IoT environment: a case study in safe design
- auteur
- Julio Cano, Gwenaël Delaval, Eric Rutten, Yazid Benazzouz, Levent Gurgen
- article
- 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
- Accès au bibtex
-
- titre
- Modular Coordination of Multiple Autonomic Managers
- auteur
- Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten, Noël de Palma
- article
- 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. pp.291, ⟨10.1145/2602458.2602465⟩
- Accès au texte intégral et bibtex
-
- titre
- Coordination of ECA Rules by Verification and Control
- auteur
- Julio Cano, Gwenaël Delaval, Eric Rutten
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler
- auteur
- Gwenaël Delaval, Eric Rutten, Hervé Marchand
- article
- Discrete Event Dynamic Systems, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Discrete Control of Computing Systems Administration: a Programming Language supported Approach
- auteur
- Gwenaël Delaval, Noël de Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Eric Rutten
- article
- European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
- Accès au texte intégral et bibtex
-
2011
Journal articles
- titre
- An approach for the synthesis of decentralised supervisors for distributed adaptive systems
- auteur
- Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenaël Delaval, Eric Rutten, Moez Yeddes
- article
- 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⟩
- Accès au bibtex
-
Conference papers
- titre
- Intégration de la synthèse de contrôleurs discrets dans un langage de programmation
- auteur
- Gwenaël Delaval, Eric Rutten, Hervé Marchand
- article
- Modélisation des Systèmes Réactifs (MSR’11), Nov 2011, Lille, France
- Accès au texte intégral et bibtex
-
- titre
- Automatic generation of discrete handlers of real-time continuous control tasks
- auteur
- Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Eric Rutten, Daniel Simon
- article
- IFAC WC 2011 – 18th IFAC World Congress, Aug 2011, Milan, Italy
- Accès au texte intégral et bibtex
-
- titre
- Case studies in discrete control for autonomic system administration
- auteur
- Fabienne Boyer, Noël de Palma, Gwenaël Delaval, Olivier Gruber, Eric Rutten
- article
- Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany
- Accès au texte intégral et bibtex
-
Reports
- titre
- Synchronous Control of Reconfiguration in Fractal Component-based Systems — a Case Study
- auteur
- Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Eric Rutten
- article
- [Research Report] RR-7631, INRIA. 2011, pp.31
- Accès au texte intégral et bibtex
-
2010
Conference papers
- titre
- QoS and Energy Management Coordination using Discrete Controller Synthesis
- auteur
- Noël de Palma, Gwenaël Delaval, Eric Rutten
- article
- 1st International Workshop on Green Computing Middleware (GCM’2010), Nov 2010, Bangalore, India
- Accès au texte intégral et bibtex
-
- titre
- Contracts for modular discrete controller synthesis
- auteur
- Gwenaël Delaval, Hervé Marchand, Eric Rutten
- article
- 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⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Automatic generation of discrete handlers of real-time continuous control tasks
- auteur
- Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Eric Rutten, Daniel Simon
- article
- [Research Report] RR-7332, INRIA. 2010, pp.17
- Accès au texte intégral et bibtex
-
2009
Conference papers
- titre
- A Case Study on Controller Synthesis for Data-Intensive Embedded Systems
- auteur
- Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten
- article
- International Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, ⟨10.1109/ICESS.2009.12⟩
- Accès au bibtex
-
Reports
- titre
- BZR Contracts for Modular Discrete Controller Synthesis
- auteur
- Gwenaël Delaval, Hervé Marchand, Eric Rutten
- article
- [Research Report] RR-7111, INRIA. 2009
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
- auteur
- Gwenaël Delaval, Alain Girault, Marc Pouzet
- article
- LCTES – ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2008, Tucson, United States. pp.101-110, ⟨10.1145/1375657.1375672⟩
- Accès au texte intégral et bibtex
-
- titre
- Modular Distribution and Application to Discrete Controller Synthesis
- auteur
- Gwenaël Delaval
- article
- 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⟩
- Accès au texte intégral et bibtex
-
Theses
- titre
- Modular distribution of synchronous programs
- auteur
- Gwenaël Delaval
- article
- Langage de programmation [cs.PL]. Institut National Polytechnique de Grenoble – INPG, 2008. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2007
Journal articles
- titre
- A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis
- auteur
- Gwenaël Delaval, Eric Rutten
- article
- EURASIP Journal on Embedded Systems, 2007, 2007 (1), pp.084192
- Accès au texte intégral et bibtex
-
Reports
- titre
- A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
- auteur
- Gwenaël Delaval, Alain Girault, Marc Pouzet
- article
- [Research Report] RR-6378, INRIA. 2007
- Accès au texte intégral et bibtex
-
2006
Conference papers
- titre
- A domain-specific language for task handlers generation, applying discrete controller synthesis
- auteur
- Gwenaël Delaval, Éric Rutten
- article
- ACM Symposium on Applied Computing, Apr 2006, Dijon/France
- Accès au texte intégral et bibtex
-
2005
Reports
- titre
- A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis
- auteur
- Gwenaël Delaval, Éric Rutten
- article
- [Research Report] RR-5690, INRIA. 2005, pp.44
- Accès au texte intégral et bibtex
-
