accueil

 carte
 

Publications 1995


haut

 

PhD Theses

  1. T. Amagbegnon.
    Forme canonique arborescente deshorloges de Signal.  Phd thesis, université de Rennes 1, November 1995. (postscript) (abstract)
  2. G. Paller.
    RAFAEL: An Intelligent, Multi-Target Signal-Flow compiler.  Phd thesis, Université Technique de Budapest, September 1995.

haut

 

Journals

  1. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic.
    A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems.  Theoretical Computer Science, 2(152):171-217, December 1995. (postscript)
  2. F. Laroussinie, S. Pinchinat, P. Schnoebelen.
    Translation Results for Modal Logics of Reactive Systems.  Theoretical Computer Science, 40(1), March 1995.

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. T. Amagbegnon, L. Besnard, P. Le Guernic.
    Implementation of the Data-flow Synchronous Language Signal.  Programming Languages Design and Implementation, ACM, pages 163-173, 1995. (postscript)
  2. P. Aubry, T. Gautier.
    GC: the Data-Flow Graph Format of Synchronous Programming.  Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), ACM Sigplan Notices, Volume 30, pages 83-93, March 1995. (postscript)
  3. 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)
  4. J.V. Echagüe, Z. Habbas, S. Pinchinat.
    Structural Operational Semantics for True Concurrency.  Proc. of the 15th International Conference of the Chilean Computer Science Society, SCCC'95, Arica, Chili, November 1995. (postscript) (abstract)
  5. 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)
  6. 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)
  7. G. Paller, C. Wolinski.
    SPRINGPLAY A New Class of Compile-Time Scheduling Algorithm for Heterogeneous Target Architectures.  Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, November 1995.
  8. 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)
  9. EP-ATR Project.
    Signal: a formal design environment for real time systems.  Proceedings of the 6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT '95, AA arhus, Denmark, Springer-Verlag, May 1995.
  10. 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)
  11. 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.

haut

 

National Conferences

  1. P. Aubry, P. Le Guernic, S. Machard.
    Distribution synchrone de programmes Signal.  Actes des 2ème Journées des Jeunes Chercheurs en Systèmes répartis, October 1995. (postscript)
  2. D. Chauveau, A. Benveniste, B.C. Levy, P. Le Guernic.
    Simulation et estimation de systèmes stochastiques.  Cinquième atelier d'évaluation de performances, February 1995.

haut

 

Research reports

  1. 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)
  2. D. Chauveau, M. Bons.
    Simulation d'un circuit électro-domestique en Signal.  Research report Irisa, No971, November 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)

haut

 

Misc

  1. M. Le Borgne, H. Marchand.
    Méthodologie de conception d'automatismes séquentiels.  Convention Inria - EdF No M64/7C8321/E5/11, November 1995.
  2. H. Marchand, M. Le Borgne, M. Samaan.
    Méthodes de vérification et de synthèse sur des systèmes dynamiques polynômiaux, appliquées au modèle physique d'un poste de transformation électrique.  Convention Inria - EdF No M64/7C8321/E5/11, July 1995.
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