Publications HAL de Eric,RUTTEN de la collection LIG
titre
A control-theory approach for cluster autonomic management: maximizing usage while avoiding overload
auteur
Agustín Yabo, Bogdan Robu, Olivier Richard, Bruno Bzeznik, Eric Rutten
article
CCTA 2019 - 3rd IEEE Conference on Control Technology and Applications, Aug 2019, Hong-Kong, China. pp.189-195
titre
Towards an Autonomic and Distributed Device Management for the Internet of Things
auteur
Neil Ayeb, Eric Rutten, Sebastien Bolle, Thierry Coupaye, Marc Douet
article
FAS*W 2019 - IEEE 4th International Workshops on Foundations and Applications of Self* Systems, Jun 2019, Umea, Sweden. pp.246-248, ⟨10.1109/FAS-W.2019.00065⟩
titre
Modeling Self-Adaptive Fog Systems Using Bigraphs
auteur
Hamza Sahli, Thomas Ledoux, Éric Rutten
article
FOCLASA 2019 - 17th International Workshop on coordination and Self-Adaptativeness of Sotware applications, Sep 2019, Oslo, Norway. pp.1-16
titre
An Autonomic-Computing Approach on Mapping Threads to Multi-cores for Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
article
Concurrency and Computation: Practice and Experience, Wiley, 2018, 30 (18), pp.e4506. ⟨10.1002/cpe.4506⟩
titre
A Domain-specific Language for Autonomic Managers in FPGA Reconfigurable Architectures
auteur
Soguy Mak-Karé Gueye, Gwenaël Delaval, Eric Rutten, Dominique Heller, Jean-Philippe Diguet
article
ICAC 2018 - 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-10
titre
Autonomic Management of Reconfigurations in DPR FPGA-based Embedded System
auteur
Soguy Mak Karé Gueye, Eric Rutten, Jean-Philippe Diguet
article
International Workshop on High Performance and Dynamic Reconfigurable Systems and Networks (DRSN 2018), part of HPCS 2018 - International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. pp.557 - 558, ⟨10.1109/HPCS.2018.00093⟩
titre
Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management
auteur
Nicolas Berthier, Hervé Marchand, Eric Rutten
article
WODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.1-8, ⟨10.1016/j.ifacol.2018.06.288⟩
titre
Towards a control-theory approach for minimizing unused grid resources
auteur
Emmanuel Stahl, Agustín Yabo, Olivier Richard, Bruno Bzeznik, Bogdan Robu, Eric Rutten
article
AI-Science'18 - workshop on Autonomous Infrastructure for Science, in conjunction with the ACM HPDC 2018, Jun 2018, Tempe, AZ, United States. pp.1-8, ⟨10.1145/3217197.3217201⟩
titre
Discrete and Logico-numerical Control for Dynamic Partial Reconfigurable FPGA-based Embedded Systems : a Case Study
auteur
Soguy Mak-Karé Gueye, Gwenaël Delaval, Eric Rutten, Jean-Philippe Diguet
article
CCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhaguen, Denmark. pp. 1480-1487
titre
Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings
auteur
Adja Ndeye Sylla, Maxime Louvel, Eric Rutten, Gwenaël Delaval
article
CCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhagen, Denmark. pp.1472--1479
titre
Feedback Control as MAPE-K loop in Autonomic Computing
auteur
Eric Rutten, Nicolas Marchand, Daniel Simon
article
Software Engineering for Self-Adaptive Systems III. Assurances., 9640, ⟨Springer⟩, pp.349-373, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-74183-3_12⟩
titre
Design Framework for Reliable and Environment Aware Management of Smart Environment Devices
auteur
Adja Ndeye Sylla, Maxime Louvel, Eric Rutten
article
Journal of Internet Services and Applications, Springer, 2017
titre
A Domain-specific Language for The Control of Self-adaptive Component-based Architecture
auteur
Frederico Alvares, Eric Rutten, Lionel Seinturier
article
Journal of Systems and Software, Elsevier, 2017
titre
Design Framework for Reliable Multiple Autonomic Loops in Smart Environments
auteur
Adja Ndeye Sylla, Maxime Louvel, Eric Rutten, Gwenaël Delaval
article
2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2017, Tucson, AZ, United States
titre
Autonomic Management of Missions and Reconfigurations in FPGA-based Embedded System
auteur
Soguy Mak-Karé Gueye, Eric Rutten, Jean-Philippe Diguet
article
The 2017 NASA/ESA Conference on Adaptive Hardware and Systems, Jul 2017, Pasadena, California, United States. pp.8
titre
Language Support for Modular Autonomic Managers in Reconfigurable Software Components
auteur
Frederico Alvares, Gwenaël Delaval, Eric Rutten, Lionel Seinturier
article
SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, Jul 2017, Colombus, United States. pp.271 - 278, ⟨10.1109/ICAC.2017.48⟩
titre
Logico-numerical Control for Software Components Reconfiguration
auteur
Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Eric Rutten
article
CCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩
titre
Development Tools for Rule-Based Coordination Programming in LINC
auteur
Maxime Louvel, François Pacull, Eric Rutten, Adja Sylla
article
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.78-96, ⟨10.1007/978-3-319-59746-1_5⟩
titre
What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?
auteur
Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi Müller, Holger Giese, Romain Rouvoy, Eric Rutten
article
R. de Lemos; D. Garlan; C. Ghezzi; H. Giese. Software Engineering for Self-Adaptive Systems 3: Assurances, 9640, ⟨Springer⟩, 2017, LNCS
titre
Model-based design of correct controllers for dynamically reconfigurable architectures
auteur
Xin An, Eric Rutten, Jean-Philippe Diguet, Abdoulaye Gamatié
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 15 (3), pp.#51. ⟨10.1145/2873056⟩
titre
Designing Autonomic Management Systems by using Reactive Control Techniques
auteur
Nicolas Berthier, Eric Rutten, Noël de Palma, Soguy Mak-Karé Gueye
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2016, 42 (7), pp.18. ⟨10.1109/tse.2015.2510004⟩
titre
Coordination de la Gestion autonome de la Réparation et du Dimensionnement d'un Système multi-niveaux par Contrôle Discret
auteur
Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten, Alain Tchana, Nicolas Berthier
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2016, ⟨10.3166/TSI.35.525-555⟩
titre
Control of Autonomic Parallelism Adaptation on Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
article
International Conference on High Performance Computing & Simulation (HPCS 2016) , Jul 2016, Innsbruck, Austria. pp.180-187, ⟨10.1109/HPCSim.2016.7568333⟩
titre
Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
article
13th IEEE International Conference on Autonomic Computing (ICAC 2016), Jul 2016, Wurzburg, Germany. pp.189 - 198, ⟨10.1109/ICAC.2016.54⟩
titre
Autonomic Parallelism Adaptation for Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Éric Rutten, Jean-François Méhaut
article
Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS), Jul 2016, Lorient, France
titre
Combining Transactional and Behavioural Reliability in Adaptive Middleware
auteur
Adja Ndeye Sylla, Maxime Louvel, Eric Rutten
article
15th Workshop on Adaptive and Reflective Middleware, ARM 2016, Colocated with ACM/IFIP/USENIX Middleware 2016, Dec 2016, Trento, Italy. ⟨10.1145/3008167.3008172⟩
titre
Autonomic Parallelism Adaptation on Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Éric Rutten, Jean-François Méhaut
article
[Research Report] RR-8887, Univ. Grenoble Alpes; INRIA Grenoble. 2016, pp.24
titre
An MDE Approach for Rapid Prototyping and Implementation of Dynamic Reconfigurable Systems
auteur
Gilberto Ochoa Ruiz, Guillet Sébastien, Florent de Lamotte, Eric Rutten, El-Bay Bourennane, Jean-Philippe Diguet, Guy Gogniat
article
ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2015, Vol. 21 Issue 1, Article No. 8, Nov. 2015 ., 21 (1), pp.Article No. 8
titre
High-level design space exploration for adaptive applications on multiprocessor systems-on-chip
auteur
Xin An, Abdoulaye Gamatié, Eric Rutten
article
Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.172-184. ⟨10.1016/j.sysarc.2015.02.002⟩
titre
Synthesizing structural and behavioral control for reconfigurations in component-based systems
auteur
Narges Khakpour, Farhad Arbab, Eric Rutten
article
Formal Aspects of Computing, Springer Verlag, 2015, ⟨10.1007/s00165-015-0346-y⟩
titre
Behavioural Model-based Control for Autonomic Software Components
auteur
Frederico Alvares de Oliveira Jr., Eric Rutten, Lionel Seinturier
article
12th IEEE International Conference on Autonomic Computing (ICAC), IEEE, Jul 2015, Grenoble, France
titre
Modèles comportementaux pour le contrôle de composants logiciels autonomes
auteur
Frederico Alvares de Oliveira, Eric Rutten, Lionel Seinturier
article
MSR 2015 - Modélisation des Systèmes Réactifs, Nov 2015, Nancy, France
titre
Distributed Execution of Modular Discrete Controllers for Data Center Management
auteur
Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten
article
Proc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS'15, May 2015, Cancun, France
titre
Discrete Control-Based Design of Adaptive and Autonomic Computing Systems
auteur
Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Mak-Karé Gueye, Hervé Marchand, Noel de Palma, Eric Rutten
article
ICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩
titre
Génération de règles de coordination à partir de réseaux de Pétri colorés
auteur
Adja Ndeye Sylla, Maxime Louvel, François Pacull, Eric Rutten
article
10è Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR’15, Nov 2015, Nancy, France
titre
High-level Language Support for the Control of Reconfigurations in Component-based Architectures
auteur
Frederico Alvares de Oliveira Jr., Eric Rutten, Lionel Seinturier
article
9th European Conference on Software Architecture (ECSA), Danny weyns; Raffaela Mirandola; Ivica Crnkovic, Sep 2015, Dubrovnick, Croatia. pp.285-293
titre
Proceedings of the IEEE International Conference on Cloud and Autonomic Computing (ICCAC), 2015
auteur
Eric Rutten, Prashant Shenoy
article
Sep 2015, Cambridge, MA, United States. 2015
titre
High-level Language Support for the Control of Reconfiguration in Component-based Architectures
auteur
Frederico Alvares de Oliveira Jr., Eric Rutten, Lionel Seinturier
article
[Research Report] RR-8669, INRIA Grenoble - Rhône-Alpes; INRIA Lille - Nord Europe; Laboratoire d'Informatique Fondamentale de Lille; INRIA. 2015
titre
Feedback Control as MAPE-K loop in Autonomic Computing
auteur
Eric Rutten, Nicolas Marchand, Daniel Simon
article
[Research Report] RR-8827, INRIA Sophia Antipolis - Méditerranée; INRIA Grenoble - Rhône-Alpes. 2015
titre
Coordinating self-sizing and self-repair managers for multi-tier systems
auteur
Soguy Mak-Karé Gueye, Noel de Palma, Eric Rutten, Alain Tchana, Nicolas Berthier
article
Future Generation Computer Systems, Elsevier, 2014, 35, pp.14 - 26. ⟨10.1016/j.future.2013.12.037⟩
titre
Extending UML/MARTE to support Discrete Controller Synthesis, application to Reconfigurable Systems-on-Chip modeling
auteur
Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Eric Rutten, Guy Gogniat, Jean-Philippe Diguet
article
ACM Transactions on Reconfigurable Technology and Systems (TRETS), ACM, 2014, 7 (3), pp.17. ⟨10.1145/2629628⟩
titre
Coordination of ECA rules by verification and control
auteur
Julio Cano, Gwenaël Delaval, Eric Rutten
article
16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. 16 p
titre
Modular Coordination of Multiple Autonomic Managers
auteur
Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten, Noël de Palma
article
17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. pp.291, ⟨10.1145/2602458.2602465⟩
titre
Coordination of ECA Rules by Verification and Control
auteur
Julio Cano, Gwenaël Delaval, Eric Rutten
article
COORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
titre
ECA rules for IoT environment: a case study in safe design
auteur
Julio Cano, Gwenaël Delaval, Eric Rutten, Yazid Benazzouz, Levent Gurgen
article
First Edition of the Workshop on Quality Assurance for Self-adaptive, Self-organising Systems QA4SASO 2014; In conjunction with the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Sep 2014, London, United Kingdom
titre
Discrete Control for Smart Environments through a Generic Finite-State-Models-Based Infrastructure
auteur
Mengxuan Zhao, Gilles Privat, Hassane Alla, Eric Rutten
article
European Conference on Ambient Intelligence, AmI-14, Nov 2014, Eindhoven, Netherlands
titre
Supervisory Controller Synthesis for Safe Software Adaptation
auteur
Narges Khakpour, Farhad Arbab, Eric Rutten
article
12th IFAC - IEEE International Workshop on Discrete Event Systems, WODES '14, May 2014, Paris, France
titre
Coordinating multiple administration loops using discrete control
auteur
Soguy Mak-Karé Gueye, Noel de Palma, Eric Rutten, Alain Tchana
article
Operating Systems Review, Association for Computing Machinery, 2013, 47 (3), pp.18-25. ⟨10.1145/2553070.2553074⟩
titre
Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler
auteur
Gwenaël Delaval, Eric Rutten, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩
titre
Discrete control for ensuring consistency between multiple autonomic managers
auteur
Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten, Alain Tchana, Daniel Hagimont
article
Journal of Cloud Computing: Advances, Systems and Applications, 2013, 2 (1), pp.16. ⟨10.1186/2192-113X-2-16 ⟩
titre
Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control
auteur
Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié
article
ICAC: International Conference on Autonomic Computing, Jun 2013, San Jose CA, United States
titre
Discrete Control of Computing Systems Administration: a Programming Language supported Approach
auteur
Gwenaël Delaval, Noel de Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Eric Rutten
article
European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
titre
Component-Based Autonomic Managers for Coordination Control
auteur
Soguy Mak-Karé Gueye, Noel de Palma, Eric Rutten
article
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.75-89, ⟨10.1007/978-3-642-38493-6_6⟩
titre
CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs
auteur
Xin An, Sarra Boumedien, Abdoulaye Gamatié, Eric Rutten
article
Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems, May 2012, St. Goar, Germany. pp.3--12, ⟨10.1145/2236576.2236577⟩
titre
Modeling and Synthesis of a Dynamic and Partial Reconfiguration Controller
auteur
Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Eric Rutten, Jean-Philippe Diguet, Guy Gogniat
article
International Conference on Field Programmable Logic and Applications (FPL), Aug 2012, Oslo, Norway
titre
Designing formal reconfiguration control using UML/MARTE
auteur
Sébastien Guillet, Nicolas Le Griguer, Eric Rutten, Guy Gogniat, Jean-Philippe Diguet
article
2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Jul 2012, York, United Kingdom
titre
CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs
auteur
Xin An, Sarra Boumedien, Abdoulaye Gamatié, Eric Rutten
article
[Research Report] RR-7918, INRIA. 2012, pp.23
titre
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
auteur
Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenaël Delaval, Eric Rutten, Moez Yeddes
article
International Journal on Critical Computer-based Systems, Inderscience, 2011, Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, 2 (3/4), pp.246-265. ⟨10.1504/IJCCBS.2011.042328⟩
titre
Case studies in discrete control for autonomic system administration
auteur
Fabienne Boyer, Noël de Palma, Gwenaël Delaval, Olivier Gruber, Eric Rutten
article
Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany
titre
Intégration de la synthèse de contrôleurs discrets dans un langage de programmation
auteur
Gwenaël Delaval, Eric Rutten, Hervé Marchand
article
Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France
titre
Automatic generation of discrete handlers of real-time continuous control tasks
auteur
Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Eric Rutten, Daniel Simon
article
18th IFAC World Congress (IFAC WC 2011), Aug 2011, Milan, Italy
titre
The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report
auteur
Nicolas Balacheff, Béatrice Buccio, Patrick Chapuis, Jacky Coutin, Joëlle Coutaz, James L. Crowley, Yves Denneulin, Lydie Du Bousquet, Andrzej Duda, Rachid Echahed, Marie-Christine Fauvet, Catherine Garbay, Eric Gaussier, Isabelle Guillet, Christian Laugier, Yves Ledru, Arnaud Legrand, Nadine Mandran, Hervé Martin, Jean-François Méhaut, Thierry Morturier, Brigitte Plateau, Elisabeth Pons, Joëlle Prévost, Frédéric Prost, Vincent Quint, Patrick Reignier, Franck Rousseau, Marie-Christine Rousset, Eric Rutten, Michel Vacher
article
2011
titre
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study
auteur
Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Eric Rutten
article
[Research Report] RR-7631, INRIA. 2011, pp.31
titre
Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation
auteur
Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Samy Meftali, Jean-Luc Dekeyser, Eric Rutten
article
International Journal of Embedded Systems, Inderscience, 2010, 18 p
titre
Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design
auteur
Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Jean-Luc Dekeyser
article
Knowledge Engineering Review, Cambridge University Press (CUP), 2010, 21 p
titre
QoS and Energy Management Coordination using Discrete Controller Synthesis
auteur
Noël de Palma, Gwenaël Delaval, Eric Rutten
article
1st International Workshop on Green Computing Middleware (GCM'2010), Nov 2010, Bangalore, India
titre
Contracts for modular discrete controller synthesis
auteur
Gwenaël Delaval, Hervé Marchand, Eric Rutten
article
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, ⟨10.1145/1755888.1755898⟩
titre
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks
auteur
Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten
article
WODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩
titre
Modeling and formal control of partial dynamic reconfiguration
auteur
Sébastien Guillet, Florent Frizon de Lamotte, Eric Rutten, Guy Gogniat, Jean-Philippe Diguet
article
Reconfig, 2010, Cancun, Mexico
titre
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design
auteur
Abdoulaye Gamatié, Vlad Rusu, Éric Rutten
article
9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey
titre
Automatic generation of discrete handlers of real-time continuous control tasks
auteur
Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Eric Rutten, Daniel Simon
article
[Research Report] RR-7332, INRIA. 2010, pp.17
titre
Automatic generation of safe handlers for multi-task systems
auteur
Eric Rutten, Hervé Marchand
article
Journal of Embedded Computing, IOS Press, 2009, 3 (4), pp.255-276. ⟨10.3233/JEC-2009-0097⟩
titre
Automating the Addition of Fault Tolerance with Discrete Controller Synthesis
auteur
Alain Girault, Eric Rutten
article
Formal Methods in System Design, Springer Verlag, 2009, 35, pp.190--225. ⟨10.1007/s10703-009-0084-y⟩
titre
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems
auteur
Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten
article
International Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, ⟨10.1109/ICESS.2009.12⟩
titre
BZR Contracts for Modular Discrete Controller Synthesis
auteur
Gwenaël Delaval, Hervé Marchand, Eric Rutten
article
[Research Report] RR-7111, INRIA. 2009
titre
Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems
auteur
Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Eric Rutten
article
EURASIP Journal on Embedded Systems, SpringerOpen, 2008, 2008 (1), pp.376920
titre
Synchronous Modeling and Analysis of Data Intensive Applications
auteur
Abdoulaye Gamatié, Eric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser
article
EURASIP Journal on Embedded Systems, SpringerOpen, 2008, 2008 (1), pp.561863. ⟨10.1155/2008/561863⟩
titre
Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P) 2008
auteur
Eric Rutten, Alain Girault
article
SLA++P - Third International Workshop on Model-driven High-level Programming of Embedded Systems 2008, Apr 2008, Budapest, Hungary
titre
A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems
auteur
Abdoulaye Gamatié, Eric Rutten, Huafeng Yu
article
[Research Report] RR-6589, INRIA. 2008, pp.26
titre
Reactive control of adaptive embedded systems
auteur
Eric Rutten
article
[Research Report] RR-6604, INRIA. 2008, pp.20
titre
A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis
auteur
Gwenaël Delaval, Eric Rutten
article
EURASIP Journal on Embedded Systems, SpringerOpen, 2007, 2007 (1), pp.084192
titre
Optimal discrete controller synthesis for modeling fault-tolerant distributed systems
auteur
Emil Dumitrescu, Eric Rutten, Alain Girault, Hervé Marchand
article
1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France
titre
Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes
auteur
Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten
article
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86
titre
An experiment with reactive data-flow tasking in active robot vision
auteur
Eric Rutten, Eric Marchand, François Chaumette
article
Software: Practice and Experience, Wiley, 1997, 27 (5), pp.599-621. ⟨10.1002/(SICI)1097-024X(199705)27:5<599::AID-SPE102>3.0.CO;2-K⟩