accueil

 carte
 

Thèses et HDR


haut

 

1999

  1. E. Rutten.
    Programmation sûre des systèmes de contrôle/commande: le séquencement de tâches flot de données dans les langages réactifs.  Habilitation à diriger des recherches, Ifsic, Université de Rennes1, Décembre 1999. (postscript)
  2. D. Nowak.
    Spécification et preuve de systèmes réactifs.  Thèse de l'Université de Rennes 1, IFSIC, Octobre 1999. (postscript) (abstract)
  3. J.R. Beauvais.
    Modélisation de StateCharts en Signal pour la conception de systèmes critiques temps-réel.  Thèse de l'Université de Rennes 1, IFSIC, Janvier 1999. (postscript) (abstract)

haut

 

1998

  1. A. Kountouris.
    Outils pour la validation temporelle et l'optimisation de programmes synchrones.  Thèse de l'Université de Rennes 1, IFSIC, Octobre 1998. (postscript) (abstract)
  2. I. Smarandache.
    Transformations affines d'horloges: application au codesign de systèmes temps-réel en utilisant les langages Signal et Alpha.  Thèse de l'Université de Rennes 1, IFSIC, Octobre 1998. (postscript) (abstract)

haut

 

1997

  1. P. Aubry.
    Mises en oeuvre distribuées de programmes synchrones.  Thèse de l'Université de Rennes 1, IFSIC, Octobre 1997. (postscript) (abstract)
  2. H. Marchand.
    Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis.  Thèse de l'Université de Rennes 1, IFSIC, Octobre 1997. (postscript) (abstract)

haut

 

1996

  1. D. Chauveau.
    Étude d'une extension du langage synchrone SIGNAL aux modèles probabilistes : le langage SIGNalea.  Thèse de l'Université de Rennes 1, Décembre 1996. (postscript) (abstract)

haut

 

1995

  1. T. Amagbegnon.
    Forme canonique arborescente deshorloges de Signal.  Thèse de l'université de Rennes 1, Novembre 1995. (postscript) (abstract)
  2. G. Paller.
    RAFAEL: An Intelligent, Multi-Target Signal-Flow compiler.  Thèse de l'Université Technique de Budapest, Septembre 1995.

haut

 

1994

  1. M. Belhadj.
    Conception d'architectures en utilisant Signal et VHDL.  Thèse de l'Université de Rennes I, IFSIC, Décembre 1994. (postscript) (abstract)

haut

 

1993

  1. M. Le Borgne.
    Systèmes dynamiques sur des corps finis.  Thèse de l'Université de Rennes I, IFSIC, Septembre 1993. (abstract)
  2. O. Maffeïs.
    Ordonnancements de graphes de flots synchrones ; application à la mise en oeuvre de SIGNAL.  Thèse de l'Université de Rennes I, IFSIC, Janvier 1993. (abstract)

haut

 

1992

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

haut

 

1991

  1. B. Chéron.
    Transformations syntaxiques de Programmes Signal.  Thèse de l'Université de Rennes I, IFSIC, Septembre 1991.

haut

 

1990

  1. C. Le Maire.
    Environnement de Programmation Synchrone en Reconnaissance de la Parole.  Thèse de l'université de Rennes1, Décembre 1990.

haut

 

1989

  1. B. Le Goff.
    Inférence de contrôle hiérarchique : application au temps réel.  Thèse de l'Université de Rennes I, IFSIC, 1989.
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