
Gwenaël Delaval
39
Documents
Présentation
Assistant professor since 2010 in the LIG (Laboratoire d'Informatique de Grenoble).
Current research subjects
- Compilation of synchronous programming languages
- Programming methodologies using discrete controller synthesis
- Distribution of synchronous programs
Publications
8
5
4
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
1
1
1
4
3
2
3
3
2
5
3
3
2
2
1
1
11
8
6
6
5
5
3
2
2
2
1
1
1
1
1
Publications
|
An IEC 62443-security oriented domain specific modelling languageARES 2024 - 19th International Conference on Availability, Reliability and Security, Jul 2024, Vienne, Austria. pp.1-12, ⟨10.1145/3664476.3670938⟩
Communication dans un congrès
hal-04600593
v1
|
|
Self-reconfiguration of industrial control systems as a response to cyberattacksSecSoft 2024 - 6th International Workshop on Cyber-Security in Software-defined and Virtualized Infrastructures, Jun 2024, St. Louis, United States. pp.1-6
Communication dans un congrès
hal-04600646
v1
|
Stratégies institutionnelles de contournement du traitement des violences académiques : l’exemple des "dispositifs RPSColloque Sorbonne Nouvelle "Les violences ordinaires dans les organisations académiques", CERLIS; CRESPPA; CSU GTM LABTOP; Labo PSC, Jun 2022, Aubervilliers, France
Communication dans un congrès
halshs-04204440
v1
|
|
|
Discrete Control of Response for Cybersecurity in Industrial ControlIFAC 2020 - IFAC World Congress 2020, Jul 2020, Berlin, Germany. pp.1-8
Communication dans un congrès
hal-02569406
v1
|
|
A Domain-specific Language for Autonomic Managers in FPGA Reconfigurable ArchitecturesICAC 2018 - 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-10
Communication dans un congrès
hal-01868675
v1
|
|
Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart BuildingsCCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhagen, Denmark. pp.1472--1479
Communication dans un congrès
hal-01862608
v1
|
|
Discrete and Logico-numerical Control for Dynamic Partial Reconfigurable FPGA-based Embedded Systems : a Case StudyCCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhaguen, Denmark. pp. 1480-1487
Communication dans un congrès
hal-01862619
v1
|
|
Logico-numerical Control for Software Components ReconfigurationCCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩
Communication dans un congrès
hal-01644754
v1
|
|
Design Framework for Reliable Multiple Autonomic Loops in Smart Environments2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2017, Tucson, AZ, United States
Communication dans un congrès
cea-01570026
v1
|
|
Language Support for Modular Autonomic Managers in Reconfigurable Software ComponentsSeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, Jul 2017, Colombus, United States. pp.271 - 278, ⟨10.1109/ICAC.2017.48⟩
Communication dans un congrès
hal-01575353
v1
|
|
Control of Autonomic Parallelism Adaptation on Software Transactional MemoryHPCS 2016 - International Conference on High Performance Computing & Simulation, Jul 2016, Innsbruck, Austria. pp.180-187, ⟨10.1109/HPCSim.2016.7568333⟩
Communication dans un congrès
hal-01309195
v1
|
|
Autonomic Parallelism and Thread Mapping Control on Software Transactional MemoryICAC 2016 - 13th IEEE International Conference on Autonomic Computing, Jul 2016, Wurzburg, Germany. pp.189 - 198, ⟨10.1109/ICAC.2016.54⟩
Communication dans un congrès
hal-01309681
v1
|
Distributed Execution of Modular Discrete Controllers for Data Center ManagementProc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS'15, May 2015, Cancun, France
Communication dans un congrès
hal-01161509
v1
|
|
|
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systemsSIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany
Communication dans un congrès
hal-01165686
v1
|
Discrete Control-Based Design of Adaptive and Autonomic Computing SystemsICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩
Communication dans un congrès
hal-01116015
v1
|
|
ECA rules for IoT environment: a case study in safe designFirst 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
Communication dans un congrès
hal-01091149
v1
|
|
|
Coordination of ECA Rules by Verification and ControlCOORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Communication dans un congrès
hal-01290066
v1
|
|
Modular Coordination of Multiple Autonomic Managers17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. pp.291, ⟨10.1145/2602458.2602465⟩
Communication dans un congrès
hal-01006106
v1
|
|
Discrete Control of Computing Systems Administration: a Programming Language supported ApproachEuropean Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
Communication dans un congrès
hal-00863276
v1
|
|
Automatic generation of discrete handlers of real-time continuous control tasksIFAC WC 2011 - 18th IFAC World Congress, Aug 2011, Milan, Italy
Communication dans un congrès
hal-00640406
v1
|
|
Intégration de la synthèse de contrôleurs discrets dans un langage de programmationModélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France
Communication dans un congrès
inria-00629104
v1
|
|
Case studies in discrete control for autonomic system administrationSixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany
Communication dans un congrès
hal-00784971
v1
|
|
QoS and Energy Management Coordination using Discrete Controller Synthesis1st International Workshop on Green Computing Middleware (GCM'2010), Nov 2010, Bangalore, India
Communication dans un congrès
hal-00784999
v1
|
|
Contracts for modular discrete controller synthesisProceedings 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⟩
Communication dans un congrès
inria-00476910
v1
|
A Case Study on Controller Synthesis for Data-Intensive Embedded SystemsInternational Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, ⟨10.1109/ICESS.2009.12⟩
Communication dans un congrès
hal-00838928
v1
|
|
|
Modular Distribution and Application to Discrete Controller SynthesisThird 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⟩
Communication dans un congrès
hal-01011741
v1
|
|
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow ProgramsLCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2008, Tucson, United States. pp.101-110, ⟨10.1145/1375657.1375672⟩
Communication dans un congrès
hal-00750870
v1
|
|
A domain-specific language for task handlers generation, applying discrete controller synthesisACM Symposium on Applied Computing, Apr 2006, Dijon/France
Communication dans un congrès
inria-00000865
v1
|
|
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study[Research Report] RR-7631, INRIA. 2011, pp.31
Rapport
(rapport de recherche)
inria-00596883
v2
|
|
Automatic generation of discrete handlers of real-time continuous control tasks[Research Report] RR-7332, INRIA. 2010, pp.17
Rapport
(rapport de recherche)
inria-00498394
v1
|
|
BZR Contracts for Modular Discrete Controller Synthesis[Research Report] RR-7111, INRIA. 2009
Rapport
(rapport de recherche)
inria-00436560
v1
|
|
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs[Research Report] RR-6378, INRIA. 2007
Rapport
(rapport de recherche)
inria-00193731
v2
|
|
A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis[Research Report] RR-5690, INRIA. 2005, pp.44
Rapport
(rapport de recherche)
inria-00000867
v1
|
|
Répartition modulaire de programmes synchronesLangage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 2008. Français. ⟨NNT : ⟩
Thèse
tel-00750832
v1
|
Chargement...
Chargement...