Publications 1992

Thèses de doctorat

1. B. Dutertre. Spécification et preuve de systèmes dynamiques. Thèse de l'Université de Rennes I, IFSIC, Décembre 1992.
2. L. Besnard. Compilation de Signal: horloges, dépendances, environnements. Thèse de l'Université de Rennes I, IFSIC, Septembre 1992.

Articles de journaux

1. A. Benveniste, P. Le Guernic, Y. Sorel, M. Sorine. A Denotational Theory of Synchronous Reactive Systems. Information and Computation, 99(2):192-230, Août 1992.

Conférences internationales

1. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic. Dynamical systems over Galois fields and DEDS Control Problems. In Proc. of the 30th IEEE conference on Decision and Control, Pages 1505-1510, 1992.
2. P. Le Guernic. The Signal Environment. In Algorithms and Parallel VLSI Architectures II, Pages 347-358, 1992.
3. O. Maffeis, P. Le Guernic. Graphes dynamiques : Ordonnancement statique maximal qualitatif. In Outils d'aide à la conception et à la programmation d'architectures dédiées au traitemnt du signal et de l'image, actes de conférences Adéquation Algortihmes Architectures, Pages 97-111, 1992.
4. . From Timed to Hybrid Systems. In Real-Time: Theory in Practice, J.W. de Bakker, C. Huizing, W.P. de Roever, G. Rozenberg (eds.), Pages 47-484, 1992.
5. A. Benveniste. Constructive Probability and the Signalea language : building and handling random process via programming. In Workshop on theory of Hybrid Systems, Octobre 1992.
6. B. Dutertre, M. Le Borgne, P. Le Guernic. The Cat and Mouse in the synchronous paradigm. In Joint Worshop on Discrete Event Systems (WODES'92), Pages 117-120, Août 1992.
7. A. Benveniste, M. Le Borgne, P. Le Guernic. SIGNAL as a model for real-time and hybrid systems. In Proceedings of European Symposium on Programming (ESOP '92), B. Krieg-Brueckner (ed.), Pages 20-38, Février 1992.

Rapports de recherche

1. T. Gautier, P. Le Guernic. Signal V4: Manuel de Référence. Rapport de recherche Irisa, 1992.
2. O. Maffeis, B. Cheron, P. Le Guernic. Transformations du graphe des programmes Signal. Rapport de recherche Irisa, No 619, Novembre 1992.
3. A. Benveniste, M. Le Borgne, P. Le Guernic. Signal as a model for Real-Time and Hybrid Systems. Rapport de recherche irisa, No 624, Janvier 1992.
4. O. Maler, Z. Manna, A. Pnueli. From Timed to Hybrid Systems. Rapport de recherche Stanford University, No 0, Janvier 1992.

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.