accueil

 carte
 

Publications 1992


haut

 

PhD Theses

  1. L. Besnard.
    Compilation de Signal: horloges, dépendances, environnements.  Phd thesis, Université de Rennes I, IFSIC, September 1992. (abstract)
  2. B. Dutertre.
    Spécification et preuve de systèmes dynamiques.  Phd thesis, Université de Rennes I, IFSIC, December 1992. (abstract)

haut

 

Journals

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

haut

 

International Conferences

  1. A. Benveniste, M. Le Borgne, P. Le Guernic.
    SIGNAL as a model for real-time and hybrid systems.  Proceedings of European Symposium on Programming (ESOP '92), B. Krieg-Brueckner (ed.), LNCS 582. Springer, pages 20-38, February 1992.
  2. A. Benveniste.
    Constructive Probability and the Signalea language : building and handling random process via programming.  Workshop on theory of Hybrid Systems, October 1992.
  3. B. Dutertre, M. Le Borgne, P. Le Guernic.
    The Cat and Mouse in the synchronous paradigm.  Joint Worshop on Discrete Event Systems (WODES'92), pages 117-120, August 1992.
  4. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic.
    Dynamical systems over Galois fields and DEDS Control Problems.  Proc. of the 30th IEEE conference on Decision and Control, pages 1505-1510, 1992.
  5. P. Le Guernic.
    The Signal Environment.  Algorithms and Parallel VLSI Architectures II, Elsevier Science Publisher B.V., pages 347-358, 1992.
  6. O. Maler, Z. Manna, A. Pnueli.
    From Timed to Hybrid Systems.  Real-Time: Theory in Practice, J.W. deBakker, C. Huizing, W.P. deRoever, G. Rozenberg (eds.), LNCS 600, Springer-Verlag, pages 47--484, 1992.

haut

 

National Conferences

  1. O Maffeïs, P. Le Guernic.
    Graphes dynamiques : Ordonnancement statique maximal qualitatif.  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.

haut

 

Research reports

  1. A. Benveniste, M. Le Borgne, P. Le Guernic.
    Signal as a model for Real-Time and Hybrid Systems.  Research report irisa, No624, January 1992.
  2. T. Gautier, P. Le Guernic.
    Signal V4: Manuel de Référence.  Research report Irisa, 1992.
  3. O. Maffeis, B. Cheron, P. Le Guernic.
    Transformations du graphe des programmes Signal.  Research report Irisa, No619, November 1992.
  4. O. Maler, Z. Manna, A. Pnueli.
    From Timed to Hybrid Systems.  Research report Stanford University, NoSTAN-CS-92-1407, January 1992.
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