2020
- 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
- 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⟩
- DOI
- DOI : 10.1002/cpe.4506
- Accès au bibtex
-
- 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
- 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⟩
- DOI
- DOI : 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⟩
- DOI
- DOI : 10.1109/ICAC.2017.48
- Accès au texte intégral et bibtex
-
2016
- 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⟩
- DOI
- DOI : 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⟩
- DOI
- DOI : 10.1109/ICAC.2016.54
- Accès au texte intégral et bibtex
-
2015
- 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⟩
- DOI
- DOI : 10.1007/978-3-319-14977-6_6
- Accès au bibtex
-
2014
- 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⟩
- DOI
- DOI : 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⟩
- DOI
- DOI : 10.1007/978-3-662-43376-8_3
- Accès au texte intégral et bibtex
-
2013
- titre
- Discrete Control of Computing Systems Administration: a Programming Language supported Approach
- auteur
- Gwenaël Delaval, Noel 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
-
- 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⟩
- DOI
- DOI : 10.1007/s10626-013-0163-5
- Accès au texte intégral et bibtex
-
2011
- 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
-
- 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
-
- 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⟩
- DOI
- DOI : 10.1504/IJCCBS.2011.042328
- Accès au bibtex
-
2010
- 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
- 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
-
- 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⟩
- DOI
- DOI : 10.1145/1755888.1755898
- Accès au texte intégral et bibtex
-
2009
- 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⟩
- DOI
- DOI : 10.1109/ICESS.2009.12
- Accès au bibtex
-
- 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
- titre
- Répartition modulaire de programmes synchrones
- 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
-
- 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⟩
- DOI
- DOI : 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⟩
- DOI
- DOI : 10.1016/j.entcs.2008.01.003
- Accès au texte intégral et bibtex
-
2007
- 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
-
- 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
- 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
- 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
-