Publications de Eric Rutten

Load the BibTeX file

Thèses de doctorat

1. E. Rutten. Programmation sûre des systèmes de contrôle/commande: le séquencement de tâches flot de données dans les langages réactifs. Habilitation à diriger des recherches de l'Ifsic, Université de Rennes1, Décembre 1999.

Articles de journaux

1. Imran Quadri, Huafeng Yu, Abdoulaye Gamatie Samy, Meftali and Jean-Luc Dekeyser, Eric Rutten. Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation. International Journal of Embedded Systems, 2010.
2. Huafeng Yu, Abdoulaye Gamatie, Eric Rutten, Jean-Luc Dekeyser. Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design. Knowledge Engineering Review, Accepted for publication, 2010.
3. Jean-René Beauvais, Eric Rutten, Thierry Gautier, Paul Le Guernic, Yan-Mei Tang. Modelling Statecharts and Activitycharts as Signal equations. ACM Transactions on Software Engineering and Methodology, 10(4), 2001.
4. Hervé Marchand, Eric Rutten, Michel Le Borgne, Mazen Samaan. Formal Verification of Programs specified with Signal: Application to a power transformer Station Controller. Science of Computer Programming, 41(1):85-104, Août 2001.
5. H. Marchand, E. Rutten, M. Le Borgne, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. Science of Computer Programming, 2000.
6. F. Jiménez, E. Rutten. Modélisation synchrone de standards de programmation de systèmes de contrôle : le langage ST de la norme CEI 1131-3. Revue de l'électricité et de l'électronique (SEE), (3):60-68, Mars 2000.
7. F. Jiménez, E. Rutten. Modélisation synchrone de standards de programmation de systèmes de contrôle : le langage ST de la norme CEI 1131-3. Revue de l'électricité et de l'électronique (SEE), (3):60-68, Mars 2000.
8. E. Marchand, E. Rutten, H. Marchand, F. Chaumette. Specifying and verifying active vision-based robotic systems with the Signal environment. Int. Journal of Robotics Research, 17(4):418-432, Avril 1998.
9. E. Rutten, E. Marchand, F. Chaumette. An experiment with reactive data-flow tasking in active robot vision. Software - Practice & Experience, 27(5):599-621, Mai 1997.
10. E. Marchand, E. Rutten, F. Chaumette. From data-flow task to multi-tasking: Applying the synchronous approach to active vision in robotics. IEEE Trans. on Control Systems Technology, 5(2):200-216, Mars 1997.

Chapitres de livres

1. T. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. Signal- the specification of a generic, verified production cell controller. In Formal Development of Reactive Systems - Case Study Production Cell, C. Lewerentz, T. Lindner (eds.), Chap. 7, pp. 115-129, Lecture Notes in Computer Science, Springer Verlag, Janvier 1995.

Conférences internationales

1. Loïc Besnard, Hervé Marchand, Eric Rutten. The Sigali Tool Box Environment. In WODES'06, 8th International Workshop on Discrete Event Systems, Sessions on Software Tools for DES, Ann Arbor, Michigan, USA, Juillet 2006.
2. F. Jiménez, E. Rutten. A synchronous model of IEC 61131 PLC languages in Signal. In Proceedings of the 13th Euromicro Conference on Real-Time Systems, ECRTS'01, June 13th-15th, 2001, Delft, The Netherlands, Pages 135-142, 2001.
3. F. Jiménez, E. Rutten. Hybrid simulation of IEC-61131 PLC programs using Signal and Simulink. In Proceedings of the 4th International Conference on Automation of Mixed Processes, ADPM'00, 18-19 September 2000, Dortmund, Germany, Pages 171-176, 2000.
4. F. Jiménez, E. Rutten. Modélisation synchrone de standards de programmation de systèmes de contrôle. In Actes de la Journée d'études sur les Nouvelles Percées dans les Langages pour l'Automatique, Amiens, Novembre 1999.
5. F. Jiménez, E. Rutten. A synchronous model of the PLC programming language ST. In Proceedings of the Work In Progress session, 11th Euromicro Conference on Real Time Systems, ERTS'99, Pages 21-24, York, England, Juin 1999.
6. J.R. Beauvais, R. Houdebine, Y.M. Tang, P. Le Guernic, E. Rutten, T. Gautier. Une modélisation de StateCharts et ActivityCharts en Signal. In Actes du 2ème Congrès sur la Modélisation des Systèmes Réactifs, MSR'99, Cachan, Mars 1999.
7. S. Pinchinat, E. Rutten, R.K. Shyamasundar. Taxonomy and expressiveness of preemption : a syntactic approach. In Proceedings of the Asian Computing Science Conference, ASIAN'98, LNCS, Manila, The Philippines, Décembre 1998.
8. A. Benveniste, M. Siegel, L. Holenderski, K. Winkelmann, E. Sefton, E. Rutten, P. Le Guernic, T. Gautier. Safety Critical Embedded Systems Design: the SACRES approach. In Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, Septembre 1998.
9. P. Le Guernic, S. Machard, E. Rutten. Répartition de programmes Signal. In Actes des Rencontres Francophones du Parallélisme des Architectures et des Systèmes, RenPar'10, Strasbourg, Juin 1998.
10. A. Benveniste, T. Gautier, P. Le Guernic, E. Rutten. Distributed code generation of dataflow synchronous programs: the SACRES approach. In Proceedings of The Eleventh International Symposium on Languages for Intensional Programming, ISLIP'98, Sun Microsystems, Palo Alto, California (USA), Mai 1998.
11. J.R. Beauvais, T. Gautier, P. Le Guernic, R. Houdebine, E. Rutten. A translation of Statecharts into Signal. In Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), Pages 52-62, Aizu-Wakamatsu, Japan, Mars 1998.
12. Ph. Baufreton, X. Méhaut, E. Rutten. Embedded Systems in Avionics and the Sacres Approach. In Proceedings of The 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP'97, York, United Kingdom, Septembre 1997.
13. Ph. Baufreton, H. Granier, X. Méhaut, E. Rutten. The Sacres Approach to Emdedded Systems Applied to Aircraft Engine Controllers. In Proceedings of the 22st IFAC/IFIP Workshop on Real Time Programming, WRTP'97, Lyon, France, Présentation invitée, Septembre 1997.
14. Ph. Baufreton, X. Méhaut, E. Rutten. L'approche Sacres pour les systèmes embarqués à sécurité critique. In Actes du Salon Real-Time Systems RTS'97, Paris, Pages 101-118, Janvier 1997.
15. P. Le Guernic, E. Rutten. Experiments with the synchronous methodology illustrating its support of predictability. In Proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming, WRTP'96, Pages 81-86, Canela/Gramado, RS, Brazil, Novembre 1996.
16. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. In Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Pages 271-285, Munich, Germany, Juillet 1996.
17. H. Marchand, E. Marchand, E. Rutten. Spécification et vérification de systèmes réactifs : expérimentation de la méthodologie synchrone SIGNAL. In Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, MSR'96, Brest, Mars 1996.
18. S. Pinchinat, E. Rutten, R.K. Shyamasundar. Preemption primitives in reactive languages (a preliminary report). In Proceedings of the Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, Décembre 1995.
19. E. Rutten, P. Le Guernic. Sequencing and preempting data flow tasks. In Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, Novembre 1995.
20. H. Marchand, E. Rutten, M. Samaan. Synchronous design of a transformer station controller in Signal. In Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, Pages 754-759, Septembre 1995.
21. E. Marchand, F. Chaumette, E. Rutten. Real time active visual reconstruction using the synchronous paradigm. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS '95, Pittsburgh, Pennsylvania, Août 1995.
22. E. Rutten, F. Martinez. Signalgti: implementing task preemption and time intervals in the synchronous data flow language Signal. In Proceedings of the 7th Euromicro Workshop on Real-Time Systems, Odense, Denmark, Juin 1995.
23. E. Rutten, P. Le Guernic. Sequencing data flow tasks in SIGNAL. In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida (USA), Juin 1994.
24. E. Rutten, E. Marchand, F. Chaumette. The sequencing of data flow tasks in Signal: application to active vision in robotics. In Proceedings of the 6th Euromicro Workshop on Real Time Systems, Pages 80-84, University of Maelardalen, Vasteraa s (Sweden), Juin 1994.
25. F. Jiménez, E. Rutten. Pages 171-176, 0.
26. S. Donikian, E. Rutten. Reactivity, concurrency, data flow and hierarchical preemption for behavioral animationn. In Proceedings of the 5th Eurographics Workshop on Programming Paradigms in Graphics. R.C. Veltkamp, E.H. Blake (eds.), Programming Paradigms in Graphics, Springer, Computer Science, 169 Maastricht, the Netherlands, Septembre 0.

Rapports de recherche

1. Eric Rutten, Hervé Marchand. Using discrete control synthesis for safe robot programming. Rapport de recherche INRIA, 2002.
2. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier. A translation of Statecharts and Activitycharts into Signal equations. Rapport de recherche Irisa / Inria-Rennes, No 3397, Avril 1998.
3. T. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. The Signal data flow methodology applied to a production cell. Rapport de recherche Irisa, No 917, Mars 1995.
4. H. Marchand, E. Rutten, M. Samaan. Specifying and verifying a transformer station in Signal and Signalgti. Rapport de recherche Irisa, No 916, Mars 1995.
5. E. Marchand, E. Rutten, F. Chaumette. Applying the Synchronous Approach to Real Time Active Visual Reconstruction. Rapport de recherche Inria, No 2383, Novembre 1994.
6. E. Marchand, F. Chaumette, E. Rutten. Stratégie perceptive d'un environnement statique dans un contexte de vision active. Rapport de recherche Irisa, No 775, Novembre 1993.
7. E. Rutten, P. Le Guernic. Sequencing data flow tasks in SIGNAL. Rapport de recherche Irisa / Inria-Rennes, No 2120, Novembre 1993.

Divers

1. A. Benveniste, H. Brix, W. Damm, F. Dupont, A. Grazebrook, H. Holberg, P. Le Guernic, J. Rowlands, E. Rutten, E. Sefton, K. Winkelmann. The Sacres design methodology for safety critical systems. Esprit project EP 20897: Sacres, Novembre 1998.
2. A. Benveniste, T. Gautier, F. Jiménez, P. Le Guernic, S. Machard, E. Rutten. Méthodes de distribution de code Signal et Dc+. Convention INRIA - EdF P33/6A4575/EP871, Juin 1998.
3. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier. Task I1.1A: StateMate integration - A translation of Statecharts and Activitycharts into Signal equations. Esprit project EP 20897: Sacres, Avril 1998.
4. H. Marchand, E. Rutten, M. Samaan. Description, spécification et validation d'un automatisme de poste de transformation électrique. Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1994.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Dernières modifications Thu Mar 1 13:57:55 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.