accueil

 carte
 

Publications 1991


haut

 

Thèses et HDR

  1. B. Chéron.
    Transformations syntaxiques de Programmes Signal.  Thèse de l'Université de Rennes I, IFSIC, Septembre 1991.

haut

 

Livres

  1. C. Samson, M. Le Borgne, B. Espiau.
    Robot Control. The Task Function Approach.  Oxford engineering science series, 22, Clarendon Press, Oxford, 1991.

haut

 

Articles de journaux

  1. A. Benveniste, P. Le Guernic, C. Jacquemot.
    Synchronous programming with events and relations: the SIGNAL language and its semantics.  Science of Computer Programming, 16(2):103-149, Septembre 1991.
  2. A. Benveniste, G. Berry.
    Real-time systems designs and programming.  Proc. of the IEEE, 79(9):1270-1282, Septembre 1991.
  3. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic.
    A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems.  Theoretical Computer Science, 152(2):171-217, Décembre 1991.
  4. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire.
    Programming Real-Time Applications with Signal.  Proceedings of the IEEE, 79(9):1321-1336, Septembre 1991. (postscript)
  5. P. Le Guernic, B. Chéron, T. Gautier, C. Le Maire.
    Développer en langage Signal.  Annales des Télécommunications, 46(1-2):13-24, Janvier 1991. (postscript) (abstract)

haut

 

Chapitres de livre

  1. P. Le Guernic, T. Gautier.
    Data-Flow to von Neumann: the Signal approach.  in Advanced Topics in Data-Flow Computing, J.L. Gaudiot, L. Bic (eds.), pages 413-438, 1991. (postscript)

haut

 

Conférences Internationales

  1. B. Delyon, O. Maler.
    On Fault-Tolerant Symbolic Computations.  Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, Springer, 1991.
  2. M. Le Borgne, A. Benveniste, P. Le Guernic.
    Polynomial dynamical systems over finite fields.  Algebraic Computing in control, G. Jacob et F. Lamnabhi-lagarrigue, Volume 165, pages 212-222, Mars 1991.
  3. P. Le Guernic.
    Specification and verification of parallel systems.  Proceedings of the French-Israel Workshop on formal verification for hardware and software, 1991.
  4. P. Le Guernic, T. Gautier.
    Programming real time applications with SIGNAL.  Proceedings of the first European Control Conference, C. Commault (ed.), pages 1666-1671, 1991.
  5. O. Maler, A. Pnueli.
    On the Learnability of Infinitary Regular Sets.  4th Annual Workshop on Computational Learning Theory, L.G. Valiant, M.K. Warmuth (eds.), Morgan Kaufmann Publishers, pages 128-136, 1991.
  6. O. Maler, B. Arnaldi, G. Dumont.
    Simulation Experiments with an Artificial Worm.  Proc. 2nd Eurographics Workshop on Animation and Simulation, pages 215-221, 1991.

haut

 

Conférences Nationales

  1. T. Gautier, P. Le Guernic.
    L'environnement de programmation SIGNAL.  Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop, pages 168-175, Avril 1991.

haut

 

Rapports de recherche

  1. A. Benveniste, G. Berry.
    The Synchronous Approach to Reactive and Real-Time Systems.  Rapport de Recherche Irisa, No581, Avril 1991.
  2. A. Benveniste.
    Constructive Probability and the Signalea : language: building and handling random processes via programming.  Rapport de Recherche Inria, No1532, Octobre 1991.
  3. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic.
    Manuel SIGNAL.  Rapport de Recherche Irisa, No575, Février 1991.
  4. B. Delyon, O. Maler.
    On Fault-Tolerant Symbolic Computations.  Rapport de Recherche Irisa, No615, Novembre 1991.
  5. B. Dutertre, P. Le Guernic.
    Description et simulation d'un système de passage niveau en SIGNAL.  Rapport de Recherche Inria, No1437, Mai 1991.
  6. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire.
    Programming Real-Time Applications with Signal.  Rapport de Recherche Irisa, No582, Avril 1991.
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