Access content directly

Gwenaël Delaval

37
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

Contournement du traitement des violences académiques : l’exemple des « dispositifs RPS »

Gwenaël Delaval , Emmanuelle Puissant , Samira Saïdoune
Mouvements : des idées et des luttes, 2023, 113, pp.141-153. ⟨10.3917/mouv.113.0141⟩
Journal articles halshs-04086870v1

An Autonomic-Computing Approach on Mapping Threads to Multi-cores for Software Transactional Memory

Naweiluo Zhou , Gwenaël Delaval , Bogdan Robu , Eric Rutten , Jean-François Méhaut
Concurrency and Computation: Practice and Experience, 2018, 30 (18), pp.e4506. ⟨10.1002/cpe.4506⟩
Journal articles hal-01742690v1
Image document

Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler

Gwenaël Delaval , Eric Rutten , Hervé Marchand
Discrete Event Dynamic Systems, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩
Journal articles hal-00863286v1

An approach for the synthesis of decentralised supervisors for distributed adaptive systems

Amine Belhaj Seboui , Nejib Ben Hadj-Alouane , Gwenaël Delaval , Eric Rutten , Moez Yeddes
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⟩
Journal articles hal-00784991v1
Image document

A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis

Gwenaël Delaval , Eric Rutten
EURASIP Journal on Embedded Systems, 2007, 2007 (1), pp.084192
Journal articles hal-00784474v1

Stratégies institutionnelles de contournement du traitement des violences académiques : l’exemple des "dispositifs RPS"

Gwenaël Delaval , Emmanuelle Puissant , Samira Saïdoune
Colloque Sorbonne Nouvelle "Les violences ordinaires dans les organisations académiques", CERLIS; CRESPPA; CSU GTM LABTOP; Labo PSC, Jun 2022, Aubervilliers, France
Conference papers halshs-04204440v1
Image document

Discrete Control of Response for Cybersecurity in Industrial Control

Gwenaël Delaval , Ayan Hore , Stéphane Mocanu , Lucie Muller , Eric Rutten
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
ICAC 2018 - 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-10
Conference papers hal-01868675v1
Image document

Logico-numerical Control for Software Components Reconfiguration

Nicolas Berthier , Frederico Alvares , Hervé Marchand , Gwenaël Delaval , Eric Rutten
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

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

Control of Autonomic Parallelism Adaptation on Software Transactional Memory

Naweiluo Zhou , Gwenaël Delaval , Bogdan Robu , Eric Rutten , Jean-François Méhaut
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
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
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

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

Discrete Control-Based Design of Adaptive and Autonomic Computing Systems

Xin An , Gwenaël Delaval , Jean-Philippe Diguet , Abdoulaye Gamatié , Soguy Mak-Karé Gueye
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

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
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
European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
Conference papers hal-00863276v1
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
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

Case studies in discrete control for autonomic system administration

Fabienne Boyer , Noël de Palma , Gwenaël Delaval , Olivier Gruber , Eric Rutten
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

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

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 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

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