Follow
Gwenaël Delaval
Gwenaël Delaval
Assistant professor, Université Grenoble Alpes, France
Verified email at imag.fr
Title
Cited by
Cited by
Year
Contracts for modular discrete controller synthesis
G Delaval, H Marchand, E Rutten
ACM Sigplan Notices 45 (4), 57-66, 2010
972010
Coordination of ECA Rules by Verification and Control
J Cano, G Delaval, E Rutten
Coordination Models and Languages, 33-48, 2014
632014
Integrating discrete controller synthesis into a reactive programming language compiler
G Delaval, E Rutten, H Marchand
Discrete Event Dynamic Systems, 1-34, 2013
582013
Reactive model-based control of reconfiguration in the fractal component-based model
G Delaval, E Rutten
Component-Based Software Engineering, 93-112, 2010
342010
ECA rules for IoT environment: a case study in safe design
J Cano, E Rutten, G Delaval, Y Benazzouz, L Gurgen
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), 2014 IEEE …, 2014
332014
Modular coordination of multiple autonomic managers
G Delaval, SMK Gueye, É Rutten, N De Palma
Proceedings of the 17th international ACM Sigsoft symposium on Component …, 2014
302014
A case study on controller synthesis for data-intensive embedded systems
A Gamatié, H Yu, G Delaval, É Rutten
Embedded Software and Systems, 2009. ICESS'09. International Conference on …, 2009
302009
Synchronous control of reconfiguration in fractal component-based systems: a case study
T Bouhadiba, Q Sabah, G Delaval, É Rutten
Proceedings of the ninth ACM international conference on Embedded software …, 2011
292011
A domain-specific language for multitask systems, applying discrete controller synthesis
G Delaval, É Rutten
EURASIP journal on embedded systems 2007, 2007
292007
A type system for the automatic distribution of higher-order synchronous dataflow programs
G Delaval, A Girault, M Pouzet
ACM Sigplan Notices 43 (7), 101-110, 2008
272008
Automatic generation of discrete handlers of real-time continuous control tasks
AS Aboubekr, G Delaval, R Pissard-Gibollet, E Rutten, D Simon
112010
A programming language for adaptation control: case study.
S Aboubekr, G Delaval, E Rutten
SIGBED Review 6 (3), 11, 2009
102009
Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory
N Zhou, G Delaval, B Robu, E Rutten, JF Méhaut
Autonomic Computing (ICAC), 2016 IEEE International Conference on, 189-198, 2016
92016
Distributed Execution of Modular Discrete Controllers for Data Center Management
G Delaval, SMK Gueye, E Rutten
Proc. of the 5th IFAC international workshop on Dependable Control of …, 2015
92015
Discrete control-based design of adaptive and autonomic computing systems
X An, G Delaval, JP Diguet, A Gamatié, S Gueye, H Marchand, ...
Distributed Computing and Internet Technology, 93-113, 2015
62015
Discrete Control of Computing Systems Administration: a Programming Language supported Approach
G Delaval, N De Palma, SMK Gueye, H Marchand, E Rutten
European Control Conference, 2013
62013
A domain-specific language for task handlers generation, applying discrete controller synthesis
G Delaval, É Rutten
Proceedings of the 2006 ACM symposium on Applied computing, 901-905, 2006
62006
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
AB Seboui, NB Hadj-Alouane, G Delaval, E Rutten, M Yeddes
International Journal of Critical Computer-Based Systems 2 (3), 246-265, 2011
52011
Discrete supervisory control application to computing systems administration
F Boyer, N de Palma, G Delaval, O Gruber, E Rutten
Information Control Problems in Manufacturing 14 (1), 206-211, 2012
42012
Qos and energy management coordination using discrete controller synthesis
N De Palma, G Delaval, E Rutten
Proceedings of the 1st Workshop on Green Computing, 22-26, 2010
32010
The system can't perform the operation now. Try again later.
Articles 1–20