| Software engineering for self-adaptive systems: Research challenges in the provision of assurances R De Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, ... Software Engineering for Self-Adaptive Systems III. Assurances …, 2017 | 147 | 2017 |
| Using controller-synthesis techniques to build property-enforcing layers K Altisen, A Clodic, F Maraninchi, É Rutten European Symposium on Programming, 174-188, 2003 | 98 | 2003 |
| Contracts for modular discrete controller synthesis G Delaval, H Marchand, E Rutten Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages …, 2010 | 97 | 2010 |
| Feedback control as MAPE-K loop in autonomic computing E Rutten, N Marchand, D Simon Software Engineering for Self-Adaptive Systems III. Assurances …, 2017 | 83 | 2017 |
| Automating the addition of fault tolerance with discrete controller synthesis A Girault, É Rutten Formal Methods in System Design 35 (2), 190-225, 2009 | 68 | 2009 |
| Coordination of ECA rules by verification and control J Cano, G Delaval, E Rutten Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014 | 64 | 2014 |
| Integrating discrete controller synthesis into a reactive programming language compiler G Delaval, É Rutten, H Marchand Discrete Event Dynamic Systems 23, 385-418, 2013 | 60 | 2013 |
| Reactivity, concurrency, data-flow and hierarchical preemption for behavioural animation S Donikian, E Rutten Programming Paradigms in Graphics: Proceedings of the Eurographics Workshop …, 1995 | 51 | 1995 |
| Formal verification of programs specified with signal: Application to a power transformer station controller H Marchand, E Rutten, M Le Borgne, M Samaan Science of Computer Programming 41 (1), 85-104, 2001 | 46 | 2001 |
| Temporal planner= nonlinear planner+ time map management E Rutten, J Hertzberg AI Communications 6 (1), 18-26, 1993 | 44* | 1993 |
| A task-level robot programming language and its reactive execution E Coste-Mainere, B Espiau, E Rutten Proceedings 1992 IEEE International Conference on Robotics and Automation …, 1992 | 43 | 1992 |
| Formal verification of signal programs: Application to a power transformer station controller M Le Borgne, H Marchand, E Rutten, M Samaan Algebraic Methodology and Software Technology: 5th International Conference …, 1996 | 42 | 1996 |
| Introducing control in the gaspard2 data-parallel metamodel: Synchronous approach O Labbani, JL Dekeyser, P Boulet, É Rutten International Workshop MARTES: Modeling and Analysis of Real-Time and …, 2005 | 41 | 2005 |
| Sequencing date flow tasks in SIGNAL E Rutten, P Le Guernic INRIA, 1993 | 40 | 1993 |
| Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation IR Quadri, H Yu, A Gamatié, E Rutten, S Meftali, JL Dekeyser International Journal of Embedded Systems 4 (3-4), 204-224, 2010 | 39 | 2010 |
| ECA rules for IoT environment: a case study in safe design J Cano, E Rutten, G Delaval, Y Benazzouz, L Gurgen 2014 IEEE Eighth International Conference on Self-Adaptive and Self …, 2014 | 35 | 2014 |
| Reactive model-based control of reconfiguration in the fractal component-based model G Delaval, E Rutten Component-Based Software Engineering: 13th International Symposium, CBSE …, 2010 | 34 | 2010 |
| Modular coordination of multiple autonomic managers G Delaval, SMK Gueye, E Rutten, N De Palma Proceedings of the 17th international ACM Sigsoft symposium on Component …, 2014 | 30 | 2014 |
| A case study on controller synthesis for data-intensive embedded systems A Gamatié, H Yu, G Delaval, É Rutten 2009 International Conference on Embedded Software and Systems, 75-82, 2009 | 30 | 2009 |
| A domain-specific language for multitask systems, applying discrete controller synthesis G Delaval, E Rutten EURASIP journal on embedded systems 2007, 1-17, 2007 | 30 | 2007 |
Gwenaël DelavalAssistant professor, Université Grenoble Alpes, France在 imag.fr 的电子邮件经过验证
