Ban3

Informations sur l'auteur

Eric Rutten

http://proton.inrialpes.fr/~rutten

http://pistou.imag.fr/site/author/372

 
Équipe(s) :
SARDES Du 25/03/1994 au 31/12/2099
 

Publications de l'auteur

La liste contient 45 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2011
1
An approach for the synthesis of decentralised supervisors for distributed adaptive systems.
International Journal of Critical Computer-Based Systems, 2(3/4):246-265, 2011.
bibtex/ html
2
An approach for the Synthesis of Decentralized Supervisors for Distributed Adaptive Systems.
International Journal of Critical Computer-Based Systems, 2(3/4):pp. 246-265, 2011.
Www-128x128
bibtex/ html
2010
3
Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation.
International Journal of Embedded Systems, sep 2010.
bibtex/ html
2009
4
Automating the Addition of Fault Tolerance with Discrete Controller Synthesis.
Formal Methods in System Design, 35(2):190--225, oct 2009.
Www-128x128
bibtex/ html
2008
5
Synchronous Modeling and Analysis of Data Intensive Applications.
Journal on Embedded Systems, 2008:Article ID 84192, 22 pages, sep 2008.
Www-128x128
bibtex/ html
2007
6
A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis.
EURASIP Journal on Embedded Systems, 2007:Article ID 84192, 17 pages, 2007.
Pdf-128x128abstract ]
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2011
7
Synchronous Control of Reconfiguration in Fractal Component-based Systems: a Case Study.
Proceedings of the ninth ACM international conference on Embedded software, :309--318, EMSOFT'11, New York, NY, USA, 2011.
Www-128x128 Www-128x128
bibtex/ html
8
Automatic Generation of Discrete Handlers of Real-Time Continuous Control Tasks.
Proceedings of the 18th IFAC World Congress, 18, Milano, Italy, aug 2011.
bibtex/ html
9
Case Studies in Discrete Control of Autonomic Computing Systems.
Proc. of the Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Karlsruhe, Germany, jun 2011.
bibtex/ html
2010
10
Multicriteria Optimal Reconfiguration of Fault-Tolerant Real-Time Tasks.
Workshop on Discrete Event Systems, WODES'10, Berlin, Germany, sep 2010.
bibtex/ html
11
QoS and Energy Management Coordination using Discrete Controller Synthesis.
1st International Workshop on Green Computing Middleware (GCM'2010), Bangalore, India, nov 2010.
Pdf-128x128abstract ]
bibtex/ html
12
A Decentralized Supervisory Control Approach For Distributed Adaptive Systems.
4th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), 2010.
bibtex/ html
13
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model.
13th International Symposium on Component-Based Software Engineering (CBSE), 6092, Lecture Notes in Computer Science, 2010.
bibtex/ html
14
Contracts for modular discrete controller synthesis.
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2010.
bibtex/ html
15
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design.
9th International Symposium on Parallel and Distributed Computing (ISPDC), 2010.
bibtex/ html
16
Modeling and formal control of partial dynamic reconfiguration.
6th International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2010.
bibtex/ html
2009
17
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems.
Proceedings of the 6th IEEE International Conference on Embedded Software and Systems, ICESS'09, em HangZhou, Zhejiang, China, May 25--27, 2009}, 2009.
bibtex/ html
18
Supervisory control of adaptive and reconfigurable computing systems.
Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09, em Moscow, Russia, June 3--5, 2009}, 2009.
bibtex/ html
2008
19
Modeling and Formal Validation of High-Performance Embedded Systems.
Proceedings of the 7th International Symposium on Parallel and Distributed Computing, ISPDC '08, em Krakow, Poland July 1-5, 2008}, 2008.
bibtex/ html
20
Safe Design of High-Performance Embedded Systems in a MDE Framework.
1st IEEE International workshop UML and Formal Methods, UML&FM'08, 2008. Note: Special issue of the ISSE NASA journal Innovations in Systems and Software Engineering.
bibtex/ html
21
Reactive control of adaptive embedded systems -- a position paper.
7th Workshop on Adaptive and Reflective Middleware (ARM'08), 2008.
bibtex/ html
2007
22
Optimal discrete controller synthesis for modeling of fault-tolerant distributed systems.
1st IFAC Workshop on Dependable Control of Discrete Systems, DCDS'07, 2007.
bibtex/ html
23
Model Transformations from a Data Parallel Formalism towards Synchronous Languages.
Forum on specification and Design Languages, FDL'07, 2007.
bibtex/ html
2006
24
A Domain-specific Language for Task Handlers Generation, Applying Discrete Controller Synthesis.
ACM Symposium on Applied computing, SAC'06, :901--905, apr 2006.
bibtex/ html
25
The Sigali Tool Box Environment.
Workshop on Discrete Event Systems, WODES'06 (tools session), Ann-Arbor (MI, USA), jul 2006.
bibtex/ html
Scientific books and chapter [OS]
2008
26
Model Transformations from a Data Parallel Formalism towards Synchronous Languages.
Lecture Notes Electrical Engineering Vol. 10, 13, Springer Verlag, 2008. Note: ISBN: 978-1-4020-8296-2.
bibtex/ html
2007
27
UML2 profile for modelling controlled data parallel applications.
Springer Verlag, sep 2007. Note: ISBN: 978-1-4020-6147-9.
bibtex/ html
National peer-reviewed conference proceedings [ACTN]
2011
28
Intégration de la synthèse de contrôleurs discrets dans un langage de programmation.
Actes du 8ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR 2011), :125--140, Lille, France, nov 2011.
bibtex/ html
29
Modélisation et contrôle de reconfiguration partielle dynamique.
Actes du Symposium en Architecture de Machines, SympA'14, em 10-13 mai 2011, Saint-Malo, France}, 2011.
bibtex/ html
2007
30
Synthèse optimale de contrôleurs discrets pour des systèmes distribués tolérants aux fautes.
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'07, 2007.
bibtex/ html
Book or Proceedings editing [DO]
2010
31
Best papers from the 5th international workshop on feedback control implementation and design in computing systems and networks (FeBID 2010).
44, 2010.
bibtex/ html
2009
32
Model-driven High-level Programming of Embedded Systems. Selected papers from Sla++p'07 and Sla++p'08.
Special issue of the Eurasip Journal on Embedded Systems, apr 2009. Note: \tt http://www.hindawi.com/journals/es/volume-2008/si.6.html.
bibtex/ html
33
Interactions of discrete-event automation and computer sciences.
Special section of the Journal of Universal Computer Science, jul 2009. Note: \tt http://www.jucs.org/jucs.
bibtex/ html
34
International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P'08.
238, ENTCS, Elsevier, Budapest, Hungary, mar 2009.
bibtex/ html
2008
35
Model-driven High-level Programming of Embedded Systems. Selected papers from Sla++p'07 and Sla++p'08.
Special issue of the Journal on Embedded Systems, 2008.
Www-128x128
bibtex/ html
2007
36
Modelling and Control of Reactive Systems.
Special issue of the journal of Discrete Event Dynamic System, may 2007. Note: Volume 17, number 2, \url{http://springerlink.metapress.com/content/1573-7594/}.
bibtex/ html
Other Publications [AP]
2011
38
Safe Design of Dynamically Reconfigurable Embedded Systems.
Proceedings of the 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), em Grenoble, France, March 18}, 2011.
bibtex/ html
39
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study.
Research Report, (RR-7631):31, INRIA, may 2011.
Www-128x128
bibtex/ html
2010
40
Automatic generation of discrete handlers of real-time continuous control tasks.
Rapport de recherche, :17, INRIA, jul 2010. Note: RR-7332.
bibtex/ html
2008
41
A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems.
Rapport de Recherche, (6589), INRIA, jul 2008.
Www-128x128
bibtex/ html
42
Reactive control of adaptive embedded systems.
Rapport de Recherche, (6604), INRIA, jul 2008.
Www-128x128
bibtex/ html
2007
43
Model Transformations from a Data Parallel Formalism towards Synchronous Languages.
Rapport de Recherche, (6291), INRIA, sep 2007. Note: \sf hal.inria.fr.
bibtex/ html
44
Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems.
Rapport de Recherche, (6137), INRIA, mar 2007. Note: \sf hal.inria.fr.
bibtex/ html
2006
45
Safe Design Methodology for an Intelligent Cruise Control System with GPS.
IEEE Intelligent Transportation Systems Society Newsletter, 8(4):16-23, dec 2006.
bibtex/ html