accueil

 carte
 

Publications 1995


haut

 

Thèses et HDR

  1. T. Amagbegnon.
    Forme canonique arborescente deshorloges de Signal.  Thèse de l'université de Rennes 1, Novembre 1995. (postscript) (abstract)
  2. G. Paller.
    RAFAEL: An Intelligent, Multi-Target Signal-Flow compiler.  Thèse de l'Université Technique de Budapest, Septembre 1995.

haut

 

Articles de journaux

  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, Décembre 1995. (postscript)
  2. F. Laroussinie, S. Pinchinat, P. Schnoebelen.
    Translation Results for Modal Logics of Reactive Systems.  Theoretical Computer Science, 40(1), Mars 1995.

haut

 

Chapitres de livre

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

haut

 

Conférences Internationales

  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, Mars 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, Septembre 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, Novembre 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, Août 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, Septembre 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, Novembre 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, Décembre 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, Mai 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., Juin 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, Novembre 1995.

haut

 

Conférences Nationales

  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, Octobre 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, Février 1995.

haut

 

Rapports de recherche

  1. P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten.
    The Signal data flow methodology applied to a production cell.  Rapport de Recherche Irisa, No917, Mars 1995. (postscript) (abstract)
  2. D. Chauveau, M. Bons.
    Simulation d'un circuit électro-domestique en Signal.  Rapport de Recherche Irisa, No971, Novembre 1995. (postscript) (abstract)
  3. H. Marchand, E. Rutten, M. Samaan.
    Specifying and verifying a transformer station in Signal and Signalgti.  Rapport de Recherche Irisa, No916, Mars 1995. (postscript) (abstract)

haut

 

Divers

  1. M. Le Borgne, H. Marchand.
    Méthodologie de conception d'automatismes séquentiels.  Convention Inria - EdF No M64/7C8321/E5/11, Novembre 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, Juillet 1995.
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.

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