Gwenaël Delaval

Orcid: 0009-0000-3029-7384

According to our database1, Gwenaël Delaval authored at least 29 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Self-reconfiguration of industrial control systems as a response to cyberattacks.
Proceedings of the 10th IEEE International Conference on Network Softwarization, 2024

An IEC 62443-security oriented domain specific modelling language.
Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2018
An autonomic-computing approach on mapping threads to multi-cores for software transactional memory.
Concurr. Comput. Pract. Exp., 2018

A Domain-Specific Language for Autonomic Managers in FPGA Reconfigurable Architectures.
Proceedings of the 2018 IEEE International Conference on Autonomic Computing, 2018

Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018

Discrete and Logico-Numerical Control for Dynamic Partial Reconfigurable FPGA-Based Embedded Systems: A Case Study.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2017
Design Framework for Reliable Multiple Autonomic Loops in Smart Environments.
Proceedings of the 2017 International Conference on Cloud and Autonomic Computing, 2017

Language Support for Modular Autonomic Managers in Reconfigurable Software Components.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Logico-numerical control for software components reconfiguration.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017

2016
Control of autonomic parallelism adaptation on software transactional memory.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016

Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory.
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

2015
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Discrete Control-Based Design of Adaptive and Autonomic Computing Systems.
Proceedings of the Distributed Computing and Internet Technology, 2015

2014
ECA Rules for IoT Environment: A Case Study in Safe Design.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Coordination of ECA Rules by Verification and Control.
Proceedings of the Coordination Models and Languages, 2014

Modular coordination of multiple autonomic managers.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013
Integrating discrete controller synthesis into a reactive programming language compiler.
Discret. Event Dyn. Syst., 2013

Discrete control of computing systems administration: A programming language supported approach.
Proceedings of the 12th European Control Conference, 2013

2011
An approach for the synthesis of decentralised supervisors for distributed adaptive systems.
Int. J. Crit. Comput. Based Syst., 2011

Synchronous control of reconfiguration in fractal component-based systems: a case study.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Contracts for modular discrete controller synthesis.
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model.
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

2009
A programming language for adaptation control: case study.
SIGBED Rev., 2009

A Case Study on Controller Synthesis for Data-Intensive Embedded Systems.
Proceedings of the International Conference on Embedded Software and Systems, 2009

2008
Répartition modulaire de programmes synchrones. (Modular distribution of synchronous programs).
PhD thesis, 2008

Modular Distribution and Application to Discrete Controller Synthesis.
Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, 2008

A type system for the automatic distribution of higher-order synchronous dataflow programs.
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

2007
A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis.
EURASIP J. Embed. Syst., 2007

2006
A domain-specific language for task handlers generation, applying discrete controller synthesis.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006


  Loading...