Eric RUTTEN
Eric RUTTEN
Adresse e-mail validée de inria.fr
Titre
Citée par
Citée par
Année
Contracts for modular discrete controller synthesis
G Delaval, H Marchand, E Rutten
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages …, 2010
972010
Using controller-synthesis techniques to build property-enforcing layers
K Altisen, A Clodic, F Maraninchi, É Rutten
European Symposium on Programming, 174-188, 2003
962003
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, 3-30, 2017
822017
Automating the addition of fault tolerance with discrete controller synthesis
A Girault, É Rutten
Formal Methods in System Design 35 (2), 190-225, 2009
642009
Reactivity, concurrency, data-flow and hierarchical preemption for behavioural animation
S Donikian, E Rutten
Programming Paradigms in Graphics, 137-153, 1995
511995
Integrating discrete controller synthesis into a reactive programming language compiler
G Delaval, É Rutten, H Marchand
Discrete Event Dynamic Systems 23 (4), 385-418, 2013
492013
Introducing control in the gaspard2 data-parallel metamodel: Synchronous approach
O Labbani, JL Dekeyser, P Boulet, É Rutten
442005
Coordination of ECA rules by verification and control
J Cano, G Delaval, E Rutten
International Conference on Coordination Languages and Models, 33-48, 2014
422014
Temporal planner= nonlinear planner+ time map management
E Rutten, J Hertzberg
AI Communications 6 (1), 18-26, 1993
42*1993
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
412001
Formal verification of signal programs: Application to a power transformer station controller
M Le Borgne, H Marchand, E Rutten, M Samaan
International Conference on Algebraic Methodology and Software Technology …, 1996
391996
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
381992
Feedback control as MAPE-K loop in autonomic computing
E Rutten, N Marchand, D Simon
Software Engineering for Self-Adaptive Systems III. Assurances, 349-373, 2017
372017
Reactive model-based control of reconfiguration in the fractal component-based model
G Delaval, E Rutten
International Symposium on Component-Based Software Engineering, 93-112, 2010
352010
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
312014
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
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
312010
Sequencing data flow tasks in Signal
E Rutten, P Le Guernic
In Proc. of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support …, 1994
311994
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
292009
Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis
H Marchand, É Rutten
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS …, 2002
292002
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20