Gwenaël Delaval
37
Documents
Présentation
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
- 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
- 13
- 10
- 13
- 6
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 3
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 1
- 1
Stratégies institutionnelles de contournement du traitement des violences académiques : l’exemple des "dispositifs RPS"Colloque 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-04204440v1
|
|
|
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-02569406v1
|
|
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-01862608v1
|
|
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-01868675v1
|
|
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-01862619v1
|
|
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-01644754v1
|
|
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-01575353v1
|
|
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-01570026v1
|
|
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-01309195v1
|
|
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-01309681v1
|
|
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-01165686v1
|
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-01161509v1
|
|
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-01116015v1
|
|
|
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-01290066v1
|
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-01091149v1
|
|
|
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-01006106v1
|
|
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-00863276v1
|
|
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-00640406v1
|
|
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-00629104v1
|
|
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-00784971v1
|
|
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-00784999v1
|
|
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-00476910v1
|
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-00838928v1
|
|
|
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-01011741v1
|
|
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-00750870v1
|
|
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-00000865v1
|
|
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study[Research Report] RR-7631, INRIA. 2011, pp.31
Rapport
inria-00596883v2
|
|
Automatic generation of discrete handlers of real-time continuous control tasks[Research Report] RR-7332, INRIA. 2010, pp.17
Rapport
inria-00498394v1
|
|
BZR Contracts for Modular Discrete Controller Synthesis[Research Report] RR-7111, INRIA. 2009
Rapport
inria-00436560v1
|
|
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs[Research Report] RR-6378, INRIA. 2007
Rapport
inria-00193731v2
|
|
A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis[Research Report] RR-5690, INRIA. 2005, pp.44
Rapport
inria-00000867v1
|
|
Répartition modulaire de programmes synchronesLangage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 2008. Français. ⟨NNT : ⟩
Thèse
tel-00750832v1
|