Publications 1991

Thèses de doctorat

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

Livres

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

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 mixed stochastic/nonstochastic systems. Theoretical Computer Science, 152(2):171-217, Décembre 1991. details
  2. 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. details
  3. A. Benveniste, G. Berry. Real-time systems designs and programming. Proc. of the IEEE, 79(9):1270-1282, Septembre 1991. details
  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. details ps
  5. P. Le Guernic, B. Chéron, T. Gautier, C. Le Maire. Développer en langage Signal. Annales des Télécommunications, 46(1):13-24, Janvier 1991. details ps

Chapitres de livres

  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.), pp. 413-438, 1991. details ps

Conférences internationales

  1. B. Delyon, O. Maler. On Fault-Tolerant Symbolic Computations. In Formal Techniques in Real-Time and Fault-Tolerant Systems, 1991. details
  2. P. Le Guernic. Specification and verification of parallel systems. In Proceedings of the French-Israel Workshop on formal verification for hardware and software, 1991. details
  3. P. Le Guernic, T. Gautier. Programming real time applications with SIGNAL. In Proceedings of the first European Control Conference, C. Commault (ed.), Pages 1666-1671, 1991. details
  4. . On the Learnability of Infinitary Regular Sets. In 4th Annual Workshop on Computational Learning Theory, L.G. Valiant, M.K. Warmuth (eds.), Pages 128-136, 1991. details
  5. . Simulation Experiments with an Artificial Worm. In Proc. 2nd Eurographics Workshop on Animation and Simulation, Pages 215-221, 1991. details
  6. T. Gautier, P. Le Guernic. L'environnement de programmation SIGNAL. In Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop, Pages 168-175, Avril 1991. details
  7. M. Le Borgne, A. Benveniste, P. Le Guernic. Polynomial dynamical systems over finite fields. In Algebraic Computing in control, Volume 165, Pages 212-222, Mars 1991. details

Rapports de recherche

  1. B. Delyon, O. Maler. On Fault-Tolerant Symbolic Computations. Rapport de recherche Irisa, No 615, Novembre 1991. details
  2. A. Benveniste. Constructive Probability and the Signalea : language: building and handling random processes via programming. Rapport de recherche Inria, No 1532, Octobre 1991. details
  3. B. Dutertre, P. Le Guernic. Description et simulation d'un système de passage niveau en SIGNAL. Rapport de recherche Inria, No 1437, Mai 1991. details
  4. A. Benveniste, G. Berry. The Synchronous Approach to Reactive and Real-Time Systems. Rapport de recherche Irisa, No 581, Avril 1991. details
  5. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with Signal. Rapport de recherche Irisa, No 582, Avril 1991. details
  6. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic. Manuel SIGNAL. Rapport de recherche Irisa, No 575, Février 1991. details

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.

Dernières modifications Thu Mar 1 13:58:00 2012

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