PhD Thesis

2010

1. Y. Ma. Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of compotation. PhD Thesis, 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. PhD Thesis, 2009. download

2008

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

2004

1. A. Gamatié. Modélisation polychrone et évaluation de systèmes temps réel. PhD Thesis, May 2004.

2002

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

2001

1. Y. Wang. UML et technologie synchrone pour les systèmes réactifs distribués. PhD Thesis Ifsic, Université de Rennes 1, December 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. PhD Thesis Université de Rennes 1, IFSIC, March 2001.

2000

1. C. Wolinski. Conception conjointe matériels/logiciels. Habilitation à diriger des recherches Ifsic, Université de Rennes 1, September 2000.
2. C. Wolinski. Conception conjointe matériels/logiciels. Habilitation à diriger des recherches Ifsic, Université de Rennes 1, September 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 Ifsic, Université de Rennes1, December 1999.
2. D. Nowak. Spécification et preuve de systèmes réactifs. PhD Thesis Université de Rennes 1, IFSIC, October 1999.
3. 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.

1998

1. A. Kountouris. Outils pour la validation temporelle et l'optimisation de programmes synchrones. PhD Thesis Université de Rennes 1, IFSIC, October 1998.
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.

1997

1. P. Aubry. Mises en oeuvre distribuées de programmes synchrones. PhD Thesis Université de Rennes 1, IFSIC, October 1997.
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.

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.

1995

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

1994

1. M. Belhadj. Conception d'architectures en utilisant Signal et VHDL. PhD Thesis Université de Rennes I, IFSIC, December 1994.

1993

1. M. Le Borgne. Systèmes dynamiques sur des corps finis. PhD Thesis Université de Rennes I, IFSIC, September 1993.
2. O. Maffeis. Ordonnancements de graphes de flots synchrones ; application à la mise en oeuvre de SIGNAL. PhD Thesis Université de Rennes I, IFSIC, January 1993.

1992

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

1991

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

1990

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

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.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to 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.

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