accueil

 carte
 

Thesis


haut

 

1999

  1. J.R. Beauvais.
    Modélisation de StateCharts en Signal pour la conception de systèmes critiques temps-réel.  Phd thesis, Université de Rennes 1, IFSIC, January 1999. (postscript) (abstract)
  2. D. Nowak.
    Spécification et preuve de systèmes réactifs.  Phd thesis, Université de Rennes 1, IFSIC, October 1999. (postscript) (abstract)
  3. 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, December 1999. (postscript)

haut

 

1998

  1. A. Kountouris.
    Outils pour la validation temporelle et l'optimisation de programmes synchrones.  Phd thesis, Université de Rennes 1, IFSIC, October 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.  Phd thesis, Université de Rennes 1, IFSIC, October 1998. (postscript) (abstract)

haut

 

1997

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

haut

 

1996

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

haut

 

1995

  1. T. Amagbegnon.
    Forme canonique arborescente deshorloges de Signal.  Phd thesis, université de Rennes 1, November 1995. (postscript) (abstract)
  2. G. Paller.
    RAFAEL: An Intelligent, Multi-Target Signal-Flow compiler.  Phd thesis, Université Technique de Budapest, September 1995.

haut

 

1994

  1. M. Belhadj.
    Conception d'architectures en utilisant Signal et VHDL.  Phd thesis, Université de Rennes I, IFSIC, December 1994. (postscript) (abstract)

haut

 

1993

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

haut

 

1992

  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

 

1991

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

haut

 

1990

  1. C. Le Maire.
    Environnement de Programmation Synchrone en Reconnaissance de la Parole.  Phd thesis, université de Rennes1, December 1990.

haut

 

1989

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