Access content directly

Gwenaël Delaval

35
Documents

Presentation

Assistant professor since 2010 in the [LIG](http://www.liglab.fr) (Laboratoire d'Informatique de Grenoble). ### Current research subjects - Compilation of synchronous programming languages - Programming methodologies using discrete controller synthesis - Distribution of synchronous programs
Assistant professor since 2010 in the [LIG](http://www.liglab.fr) (Laboratoire d'Informatique de Grenoble). ### Current research subjects - Compilation of synchronous programming languages - Programming methodologies using discrete controller synthesis - Distribution of synchronous programs

Publications

Image document

Discrete Control of Response for Cybersecurity in Industrial Control

Gwenaël Delaval , Ayan Hore , Stéphane Mocanu , Lucie Muller , Eric Rutten et al.
IFAC 2020 - IFAC World Congress 2020, Jul 2020, Berlin, Germany. pp.1-8
Conference papers hal-02569406v1
Image document

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
Conference papers hal-01862619v1
Image document

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
Conference papers hal-01862608v1
Image document

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 et al.
ICAC 2018 - 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-10
Conference papers hal-01868675v1
Image document

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
Conference papers cea-01570026v1
Image document

Logico-numerical Control for Software Components Reconfiguration

Nicolas Berthier , Frederico Alvares , Hervé Marchand , Gwenaël Delaval , Eric Rutten et al.
CCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩
Conference papers hal-01644754v1
Image document

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⟩
Conference papers hal-01575353v1
Image document

Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory

Naweiluo Zhou , Gwenaël Delaval , Bogdan Robu , Eric Rutten , Jean-François Méhaut et al.
ICAC 2016 - 13th IEEE International Conference on Autonomic Computing, Jul 2016, Wurzburg, Germany. pp.189 - 198, ⟨10.1109/ICAC.2016.54⟩
Conference papers hal-01309681v1
Image document

Control of Autonomic Parallelism Adaptation on Software Transactional Memory

Naweiluo Zhou , Gwenaël Delaval , Bogdan Robu , Eric Rutten , Jean-François Méhaut et al.
HPCS 2016 - International Conference on High Performance Computing & Simulation, Jul 2016, Innsbruck, Austria. pp.180-187, ⟨10.1109/HPCSim.2016.7568333⟩
Conference papers hal-01309195v1

Discrete Control-Based Design of Adaptive and Autonomic Computing Systems

Xin An , Gwenaël Delaval , Jean-Philippe Diguet , Abdoulaye Gamatié , Soguy Mak-Karé Gueye et al.
ICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩
Conference papers hal-01116015v1
Image document

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
Conference papers hal-01165686v1

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
Conference papers hal-01161509v1
Image document

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⟩
Conference papers hal-01290066v1

ECA rules for IoT environment: a case study in safe design

Julio Cano , Gwenaël Delaval , Eric Rutten , Yazid Benazzouz , Levent Gurgen et al.
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
Conference papers hal-01091149v1
Image document

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⟩
Conference papers hal-01006106v1
Image document

Discrete Control of Computing Systems Administration: a Programming Language supported Approach

Gwenaël Delaval , Noel de Palma , Soguy Mak-Karé Gueye , Hervé Marchand , Eric Rutten et al.
European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
Conference papers hal-00863276v1
Image document

Case studies in discrete control for autonomic system administration

Fabienne Boyer , Noël de Palma , Gwenaël Delaval , Olivier Gruber , Eric Rutten et al.
Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany
Conference papers hal-00784971v1
Image document

Automatic generation of discrete handlers of real-time continuous control tasks

Ahmed Soufyane Aboubekr , Gwenaël Delaval , Roger Pissard-Gibollet , Eric Rutten , Daniel Simon et al.
IFAC WC 2011 - 18th IFAC World Congress, Aug 2011, Milan, Italy
Conference papers hal-00640406v1
Image document

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
Conference papers inria-00629104v1
Image document

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⟩
Conference papers inria-00476910v1
Image document

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
Conference papers hal-00784999v1

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⟩
Conference papers hal-00838928v1
Image document

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⟩
Conference papers hal-00750870v1
Image document

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⟩
Conference papers hal-01011741v1
Image document

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
Conference papers inria-00000865v1
Image document

Répartition modulaire de programmes synchrones

Gwenaël Delaval
Langage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 2008. Français. ⟨NNT : ⟩
Theses tel-00750832v1