Gwenaël Delaval

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
https://hal-cea.archives-ouvertes.fr/cea-01570026/file/2017_iccac_multi-loops.pdf 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
International Conference on High Performance Computing & Simulation (HPCS 2016) , Jul 2016, Innsbruck, Austria. pp.180-187, 2016, <10.1109/HPCSim.2016.7568333>
DOI
DOI : 10.1109/HPCSim.2016.7568333
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01309195/file/HPCS_ZHOU.pdf 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
13th IEEE International Conference on Autonomic Computing (ICAC 2016), Jul 2016, Wurzburg, Germany. pp.189 - 198, 2016, <10.1109/ICAC.2016.54>
DOI
DOI : 10.1109/ICAC.2016.54
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01309681/file/AutonomicComputingSTM.pdf 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. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01165686/file/20140927-0819.pdf 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. 2015
Accès au bibtex
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. Springer, 11th International Conference on Distributed Computing and Internet Technology, LNCS (8956), 2015, <http://icdcit.ac.in>. <10.1007/978-3-319-14977-6_6>
DOI
DOI : 10.1007/978-3-319-14977-6_6
Accès au bibtex
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
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, 2014, <10.1145/2602458.2602465>
DOI
DOI : 10.1145/2602458.2602465
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01006106/file/cbse291-Gueye.pdf BibTex
titre
Coordination of ECA rules by verification and control
auteur
Julio Cano, Gwenaël Delaval, Eric Rutten
article
16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. 16 p., 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01006186/file/coord14.pdf BibTex
titre
Coordination of ECA Rules by Verification and Control
auteur
Julio Cano, Gwenaël Delaval, Eric Rutten
article
David Hutchison; Takeo Kanade; Bernhard Steffen; Demetri Terzopoulos; Doug Tygar; Gerhard Weikum; Eva KĂĽhn; Rosario Pugliese; Josef Kittler; Jon M. Kleinberg; Alfred Kobsa; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan. 16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. Springer, Lecture Notes in Computer Science, LNCS-8459, pp.33-48, 2014, Coordination Models and Languages. <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
https://hal.inria.fr/hal-01290066/file/326181_1_En_3_Chapter.pdf 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, Éric Rutten
article
Manfred Morari. European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863276/file/ECC2013.pdf BibTex
titre
Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler
auteur
Gwenaël Delaval, Éric Rutten, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 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
https://hal.inria.fr/hal-00863286/file/jdeds.pdf BibTex

2011

titre
Intégration de la synthèse de contrôleurs discrets dans un langage de programmation
auteur
Gwenaël Delaval, Éric Rutten, Hervé Marchand
article
Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00629104/file/msr11.pdf BibTex
titre
Automatic generation of discrete handlers of real-time continuous control tasks
auteur
Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon
article
18th IFAC World Congress (IFAC WC 2011), Aug 2011, Milan, Italy. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00640406/file/bzrccad.pdf 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. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00784971/file/febid2011.pdf BibTex
titre
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study
auteur
Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten
article
[Research Report] RR-7631, INRIA. 2011, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00596883/file/RR-7631.pdf 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, Éric Rutten, Moez Yeddes
article
International Journal on Critical Computer-based Systems, Inderscience, 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
BibTex

2010

titre
QoS and Energy Management Coordination using Discrete Controller Synthesis
auteur
Noël De Palma, Gwenaël Delaval, Éric Rutten
article
1st International Workshop on Green Computing Middleware (GCM'2010), Nov 2010, Bangalore, India. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00784999/file/delaval-gcm10.pdf BibTex
titre
Automatic generation of discrete handlers of real-time continuous control tasks
auteur
Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon
article
[Research Report] RR-7332, INRIA. 2010, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00498394/file/RR-7332.pdf BibTex
titre
Contracts for modular discrete controller synthesis
auteur
Gwenaël Delaval, Hervé Marchand, Éric 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, 2010, <http://portal.acm.org/citation.cfm?doid=1755888.1755898>. <10.1145/1755888.1755898>
DOI
DOI : 10.1145/1755888.1755898
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00476910/file/lctes2010.pdf 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, 2009, <10.1109/ICESS.2009.12>
DOI
DOI : 10.1109/ICESS.2009.12
Accès au bibtex
BibTex
titre
BZR Contracts for Modular Discrete Controller Synthesis
auteur
Gwenaël Delaval, Hervé Marchand, Éric Rutten
article
[Research Report] RR-7111, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00436560/file/RR-7111.pdf 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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00750832/file/these-delaval.pdf 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. ACM, pp.101-110, 2008, Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems. <10.1145/1375657.1375672>
DOI
DOI : 10.1145/1375657.1375672
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00750870/file/lctes50-delaval.pdf 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. 238 (1), pp.3-19, 2009, <10.1016/j.entcs.2008.01.003>
DOI
DOI : 10.1016/j.entcs.2008.01.003
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01011741/file/slap08.pdf BibTex

2007

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
https://hal.inria.fr/inria-00193731/file/RR-6378.pdf BibTex
titre
A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis
auteur
Gwenaël Delaval, Éric Rutten
article
EURASIP Journal on Embedded Systems, SpringerOpen, 2007, 2007 (1), pp.084192
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00784474/file/1687-3963-2007-084192.pdf 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, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000865/file/article-nemo.pdf 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
https://hal.inria.fr/inria-00000867/file/RR-5690.pdf BibTex