Search - Archive ouverte HAL Access content directly

Filter your results

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

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

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

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

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

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

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

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 istex hal-00863286v1
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

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

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

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

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

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

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

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

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

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

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

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

BZR Contracts for Modular Discrete Controller Synthesis

Gwenaël Delaval , Hervé Marchand , Eric Rutten
[Research Report] RR-7111, INRIA. 2009
Reports inria-00436560v1
Image document

Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study

Tayeb Bouhadiba , Quentin Sabah , Gwenaël Delaval , Eric Rutten
[Research Report] RR-7631, INRIA. 2011, pp.31
Reports inria-00596883v2
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
[Research Report] RR-7332, INRIA. 2010, pp.17
Reports inria-00498394v1
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

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

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

A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs

Gwenaël Delaval , Alain Girault , Marc Pouzet
[Research Report] RR-6378, INRIA. 2007
Reports inria-00193731v2