accueil

 carte
 

Publications 1991


haut

 

PhD Theses

  1. B. Chéron.
    Transformations syntaxiques de Programmes Signal.  Phd thesis, Université de Rennes I, IFSIC, September 1991.

haut

 

Books

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

haut

 

Journals

  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, September 1991.
  2. A. Benveniste, G. Berry.
    Real-time systems designs and programming.  Proc. of the IEEE, 79(9):1270-1282, September 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, December 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, September 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, January 1991. (postscript) (abstract)

haut

 

Book Chapter

  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

 

International Conferences

  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, March 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

 

National Conferences

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

haut

 

Research reports

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