Publications 1991

Books

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

Academic 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 mixed stochastic/nonstochastic systems. Theoretical Computer Science, 152(2):171-217, December 1991.
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, September 1991.
3. A. Benveniste, G. Berry. Real-time systems designs and programming. Proc. of the IEEE, 79(9):1270-1282, September 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.
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, January 1991.

Book Chapters

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.

International Conferences

1. B. Delyon, O. Maler. On Fault-Tolerant Symbolic Computations. In Formal Techniques in Real-Time and Fault-Tolerant Systems, 1991.
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.
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.
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.
5. . Simulation Experiments with an Artificial Worm. In Proc. 2nd Eurographics Workshop on Animation and Simulation, Pages 215-221, 1991.
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, April 1991.
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, March 1991.

Research Reports

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

PhD Thesis

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

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to 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.

Last update 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.