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
1002010
Coordination of ECA Rules by Verification and Control
J Cano, G Delaval, E Rutten
Coordination Models and Languages, 33-48, 2014
572014
Integrating discrete controller synthesis into a reactive programming language compiler
G Delaval, E Rutten, H Marchand
Discrete Event Dynamic Systems, 1-34, 2013
562013
Reactive model-based control of reconfiguration in the fractal component-based model
G Delaval, E Rutten
Component-Based Software Engineering, 93-112, 2010
362010
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
322014
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
312011
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
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
292009
A domain-specific language for multitask systems, applying discrete controller synthesis
G Delaval, … Rutten
EURASIP journal on embedded systems 2007, 2007
282007
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
252008
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
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
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
52013
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
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
42011
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