accueil

 carte
 

Publications 1992


haut

 

Thèses et HDR

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

haut

 

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. (postscript)

haut

 

Conférences Internationales

  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, Février 1992.
  2. A. Benveniste.
    Constructive Probability and the Signalea language : building and handling random process via programming.  Workshop on theory of Hybrid Systems, Octobre 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, Août 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

 

Conférences Nationales

  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

 

Rapports de recherche

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

Webmaster : epatr_webmaster@irisa.fr
Ces pages sont créées automatiquement par le
programme bib2html du projet Vista de l'IRISA-INRIA Rennes 		vista