Thèses de doctorat

2010

1. Y. Ma. Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of compotation. Thèse, 2010. download

2009

1. Y. Glouche. Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués. Thèse, 2009. download

2008

1. J. Ouy. Génération de code asynchrone dans un environnement polychrone pour la production de systèmes GALS. Thèse, 2008.

2004

1. A. Gamatié. Modélisation polychrone et évaluation de systèmes temps réel. Thèse, Mai 2004.

2002

1. Mickaël Kerboeuf. Orientation objet d'un calcul de processus synchrones. Thèse de l'Université de Rennes 1, IFSIC, Décembre 2002.
2. Mirabelle Nebut. Réactions synchrones : spécification et analyse. Thèse de l'Université de Rennes 1, IFSIC, Novembre 2002.
3. Jean-Christophe Le Lann. Simulation et synthèse de circuits s'appuyant sur le Modèle Synchrone. Thèse de l'Université de Rennes 1, IFSIC, Mars 2002.

2001

1. Y. Wang. UML et technologie synchrone pour les systèmes réactifs distribués. Thèse de l'Ifsic, Université de Rennes 1, Décembre 2001.
2. F. Jiménez. Conception sûre des automatismes industriels : modélisation synchrone de langages d'automates programmables de la norme CEI-61131-3. Thèse de l'Université de Rennes 1, IFSIC, Mars 2001.

2000

1. C. Wolinski. Conception conjointe matériels/logiciels. Habilitation à diriger des recherches de l'Ifsic, Université de Rennes 1, Septembre 2000.
2. C. Wolinski. Conception conjointe matériels/logiciels. Habilitation à diriger des recherches de l'Ifsic, Université de Rennes 1, Septembre 2000.

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 de l'Ifsic, Université de Rennes1, Décembre 1999.
2. D. Nowak. Spécification et preuve de systèmes réactifs. Thèse de l'Université de Rennes 1, IFSIC, Octobre 1999.
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.

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.
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.

1997

1. P. Aubry. Mises en oeuvre distribuées de programmes synchrones. Thèse de l'Université de Rennes 1, IFSIC, Octobre 1997.
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.

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.

1995

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

1994

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

1993

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

1992

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.

1991

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

1990

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

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.

Dernières modifications Thu Mar 1 13:58:05 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.