accueil

 carte
 

Publications of Eric Rutten


haut

 

PhD Theses

  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. (postscript)

haut

 

Journals

  1. F. Jimenez-Fraustro, E. Rutten.
    Modélisation synchrone de standards de programmation de systèmes de contrôle : le langage ST.  Revue de l'électricité et de l'électronique (SEE), (3):60--68, March 2000. (abstract)
  2. 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. (abstract)
  3. 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. (postscript)
  4. 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. (postscript) (abstract)
  5. 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. (postscript) (abstract)

haut

 

Book Chapter

  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.), Chapter 7, pages 115-129, Springer Verlag, Lecture Notes in Computer Science, January 1995.

haut

 

International Conferences

  1. F. Jimenez-Fraustro, E. Rutten.
    Hybrid simulation of IEC-61131 PLC programs using Signal and Simulink.  Proceedings of the 4th International Conference on Automation of Mixed Processes, ADPM'00, 18-19 September 2000, Dortmund, Germany, pages 171--176, 2000.
  2. F. Jiménez, E. Rutten.
    A synchronous model of the PLC programming language ST.  Proceedings of the Work In Progress session, 11th Euromicro Conference on Real Time Systems, ERTS'99, pages 21--24, York, England, June 1999. (postscript) (abstract)
  3. S. Pinchinat, E. Rutten, R.K. Shyamasundar.
    Taxonomy and expressiveness of preemption : a syntactic approach.  Proceedings of the Asian Computing Science Conference, ASIAN'98, LNCS, Manila, The Philippines, December 1998. (postscript) (abstract)
  4. A. Benveniste, (AVECM. Siegel, L. Holenderski, K. Winkelmann, E. Sefton, E. Rutten, P. Le Guernic, T. Gautier).
    Safety Critical Embedded Systems Design: the SACRES approach.  Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, September 1998. (postscript) (abstract)
  5. A. Benveniste, T. Gautier, P. Le Guernic, E. Rutten.
    Distributed code generation of dataflow synchronous programs: the SACRES approach.  Proceedings of The Eleventh International Symposium on Languages for Intensional Programming, ISLIP'98, Sun Microsystems, Palo Alto, California (USA), May 1998. (postscript) (abstract)
  6. J.R. Beauvais, T. Gautier, P. Le Guernic, R. Houdebine, E. Rutten.
    A translation of Statecharts into Signal.  Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), IEEE Publ., pages 52-62, Aizu-Wakamatsu, Japan, March 1998. (postscript) (abstract)
  7. PH. Baufreton, X. Méhaut, E. Rutten.
    Embedded Systems in Avionics and the Sacres Approach.  Proceedings of The 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP'97, York, United Kingdom, Springer, September 1997. (postscript) (abstract)
  8. PH. Baufreton, H. Granier, X. Méhaut, E. Rutten.
    The Sacres Approach to Emdedded Systems Applied to Aircraft Engine Controllers.  Proceedings of the 22st IFAC/IFIP Workshop on Real Time Programming, WRTP'97, Lyon, France, Elsevier, September 1997. (postscript) (abstract)
  9. P. Le Guernic, E. Rutten.
    Experiments with the synchronous methodology illustrating its support of predictability.  Proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming, WRTP'96, pages 81-86, Canela/Gramado, RS, Brazil, November 1996. (postscript) (abstract)
  10. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan.
    Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller.  Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Springer-Verlag, LNCS 1101, pages 271-285, Munich, Germany, July 1996. (postscript) (abstract)
  11. S. Pinchinat, E. Rutten, R.K. Shyamasundar.
    Preemption primitives in reactive languages (a preliminary report).  Proceedings of the Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, LNCS, Springer-Verlag, December 1995. (postscript) (abstract)
  12. E. Rutten, P. Le Guernic.
    Sequencing and preempting data flow tasks.  Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, November 1995.
  13. S. Donikian, E. Rutten.
    Reactivity, concurrency, data flow and hierarchical preemption for behavioral animationn.  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 1995. (postscript) (abstract)
  14. H. Marchand, E. Rutten, M. Samaan.
    Synchronous design of a transformer station controller in Signal.  Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, pages 754-759, September 1995. (postscript) (abstract)
  15. E. Marchand, F. Chaumette, E. Rutten.
    Real time active visual reconstruction using the synchronous paradigm.  Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS '95, Pittsburgh, Pennsylvania, August 1995. (postscript)
  16. E. Rutten, F. Martinez.
    Signalgti: implementing task preemption and time intervals in the synchronous data flow language Signal.  Proceedings of the 7th Euromicro Workshop on Real-Time Systems, Odense, Denmark, IEEE Publ., June 1995. (postscript) (abstract)
  17. E. Rutten, P. Le Guernic.
    Sequencing data flow tasks in SIGNAL.  Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida (USA), June 1994. (postscript) (abstract)
  18. E. Rutten, E. Marchand, F. Chaumette.
    The sequencing of data flow tasks in Signal: application to active vision in robotics.  Proceedings of the 6th Euromicro Workshop on Real Time Systems, IEEE Publ., pages 80-84, University of Maelardalen, Vasteraa s (Sweden), June 1994. (postscript) (abstract)

haut

 

National Conferences

  1. F. Jiménez, E. Rutten.
    Modélisation synchrone de standards de programmation de systèmes de contrôle.  Actes de la Journée d'études sur les Nouvelles Percées dans les Langages pour l'Automatique, Amiens, November 1999. (postscript) (abstract)
  2. J.R. Beauvais, R. Houdebine, Y.M. Tang, P. Le Guernic, E. Rutten, T. Gautier.
    Une modélisation de StateCharts et ActivityCharts en Signal.  Actes du 2ème Congrès sur la Modélisation des Systèmes Réactifs, MSR'99, Cachan, March 1999. (postscript) (abstract)
  3. P. Le Guernic, S. Machard, E. Rutten.
    Répartition de programmes Signal.  Actes des Rencontres Francophones du Parallélisme des Architectures et des Systèmes, RenPar'10, Strasbourg, June 1998. (postscript) (abstract)
  4. PH. Baufreton, X. Méhaut, E. Rutten.
    L'approche Sacres pour les systèmes embarqués à sécurité critique.  Actes du Salon Real-Time Systems RTS'97, Paris, Teknea, pages 101-118, January 1997. (postscript) (abstract)
  5. H. Marchand, E. Marchand, E. Rutten.
    Spécification et vérification de systèmes réactifs : expérimentation de la méthodologie synchrone SIGNAL.  Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, MSR'96, Brest, March 1996. (postscript) (abstract)

haut

 

Research reports

  1. 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, No3397, April 1998. (postscript) (abstract)
  2. P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten.
    The Signal data flow methodology applied to a production cell.  Research report Irisa, No917, March 1995. (postscript) (abstract)
  3. H. Marchand, E. Rutten, M. Samaan.
    Specifying and verifying a transformer station in Signal and Signalgti.  Research report Irisa, No916, March 1995. (postscript) (abstract)
  4. E. Marchand, E. Rutten, F. Chaumette.
    Applying the Synchronous Approach to Real Time Active Visual Reconstruction.  Research report Inria, No2383, November 1994. (postscript) (abstract)
  5. E. Marchand, F. Chaumette, E. Rutten.
    Stratégie perceptive d'un environnement statique dans un contexte de vision active.  Research report Irisa, No775, November 1993. (postscript) (abstract)
  6. E. Rutten, P. Le Guernic.
    Sequencing data flow tasks in SIGNAL.  Research report Irisa / Inria-Rennes, No2120, November 1993. (postscript) (abstract)

haut

 

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.
  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.
  3. J.R. Beauvais, R. Houdebine, P. LeGuernic, 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.
  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.
The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors and by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will 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.

Webmaster : epatr_webmaster@irisa.fr
Ces pages sont créées automatiquement par le
programme bib2html du projet Vista de l'IRISA-INRIA Rennes 		vista