Publications of Eric Rutten

Load the BibTeX file

Academic Journals

  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. details
  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. details
  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. details
  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, August 2001. details
  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. details
  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, March 2000. details
  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, March 2000. details
  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, April 1998. details ps
  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, May 1997. details ps
  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, March 1997. details ps

Book Chapters

  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, January 1995. details

International Conferences

  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, July 2006. details
  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. details
  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. details
  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, November 1999. details ps
  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, June 1999. details ps
  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, March 1999. details ps
  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, December 1998. details ps
  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, September 1998. details ps
  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, June 1998. details ps
  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), May 1998. details ps
  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, March 1998. details ps
  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, September 1997. details ps
  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, September 1997. details ps
  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, January 1997. details ps
  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, November 1996. details ps
  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, July 1996. details ps
  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, March 1996. details ps
  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, December 1995. details ps
  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, November 1995. details
  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, September 1995. details ps
  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, August 1995. details ps
  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, June 1995. details ps
  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), June 1994. details ps
  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), June 1994. details ps
  25. F. Jiménez, E. Rutten. Pages 171-176, 0. details
  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, September 0. details ps

Research Reports

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

Misc

  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, November 1998. details
  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, June 1998. details
  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, April 1998. details
  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, December 1994. details

PhD Thesis

  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 Ifsic, Université de Rennes1, December 1999. details ps

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Last update Thu Mar 1 13:57:52 2012

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