| Contracts for modular discrete controller synthesis G Delaval, H Marchand, E Rutten ACM Sigplan Notices 45 (4), 57-66, 2010 | 96 | 2010 |
| Coordination of ECA Rules by Verification and Control J Cano, G Delaval, E Rutten Coordination Models and Languages, 33-48, 2014 | 65 | 2014 |
| Integrating discrete controller synthesis into a reactive programming language compiler G Delaval, E Rutten, H Marchand Discrete Event Dynamic Systems, 1-34, 2013 | 60 | 2013 |
| 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 | 35 | 2014 |
| Reactive model-based control of reconfiguration in the fractal component-based model G Delaval, E Rutten Component-Based Software Engineering, 93-112, 2010 | 34 | 2010 |
| 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 | 29 | 2014 |
| 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 | 29 | 2009 |
| A domain-specific language for multitask systems, applying discrete controller synthesis G Delaval, É Rutten EURASIP journal on embedded systems 2007, 2007 | 29 | 2007 |
| 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 | 28 | 2011 |
| 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 | 28 | 2008 |
| Automatic generation of discrete handlers of real-time continuous control tasks AS Aboubekr, G Delaval, R Pissard-Gibollet, E Rutten, D Simon | 11 | 2010 |
| A programming language for adaptation control: case study. S Aboubekr, G Delaval, E Rutten SIGBED Review 6 (3), 11, 2009 | 10 | 2009 |
| 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 | 9 | 2016 |
| 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 | 9 | 2015 |
| 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 | 7 | 2015 |
| 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 | 6 | 2006 |
| 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 | 5 | 2013 |
| 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 | 5 | 2011 |
| 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 | 4 | 2012 |
| 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 | 3 | 2010 |
Eric RUTTENInria在 inria.fr 的电子邮件经过验证
Eric RUTTENInria在 inria.fr 的电子邮件经过验证
Hervé MarchandUniv Rennes, Inria, CNRS, IRISA在 inria.fr 的电子邮件经过验证
Pissard-Gibollet RogerINRIA在 inria.fr 的电子邮件经过验证