Publications 1993

Thèses de doctorat

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.

Conférences internationales

1. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs. Data-flow Synchronous Languages. In Proc of the 1993 REX symposium: Ten decades of concurrency, a perspective, 1993.
2. A. Benveniste, M. Le Borgne, P. Le Guernic. Hybrid Systems : the Signal Approach. In Hybrid Systems, 1993.
3. B. Dutertre, M. Le Borgne, A. Benveniste, P. Le Guernic. Discrete Event Systems and Synchronous Languages: an example. In Proc of the IFAC 1993 World Congress, 1993.
4. O. Maffeis, P. Le Guernic. Combining Dependability with Architectural Adaptability by means of the Signal Language. In 3rd Int. Workshop on Static Analysis, Volume 724 of LNCS, Pages 99-110, 1993.
5. C. Wolinski, T. Cholet, D. Derrien, J.P. Guillou, P. Leali, A. Riboult. Architecture for Signal programs execution. In Nordic Transputer Conference, NTUG'93, Pages 99-110, Copenhague, Danemark, 1993.
6. M. Belhadj, A. Kerihuel, R. McConnell. Une comparaison des approches pour la conception des circuits synchrones et asynchrones. In Journées des jeunes chercheurs en architecture de machines, Décembre 1993.
7. M. Belhadj, R. McConnell, P. Le Guernic. A Framework for Macro- and Micro-Time to Model VHDL Attributes. In Proceedings of the European Design and Automation Conference with EURO-VHDL '93, Hamburg, FRG, R. Camposano (ed.), Pages 520-525, Septembre 1993.
8. M. Le Borgne. Dynamical Systems over Galois Fields: Application to DES and to the SIGNAL Language. In Lecture Notes of the Belgian-French-Netherlands Summer School on Discrete Event Systems, Spa, Belgium, Juin 1993.
9. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic. Dynamical Systems over Galois Fields. In Proc. of the Second European Control Conference (ECC93), Juin 1993.

Rapports de recherche

1. E. Marchand, F. Chaumette, E. Rutten. Stratégie perceptive d'un environnement statique dans un contexte de vision active. Rapport de recherche Irisa, No 775, Novembre 1993.
2. E. Rutten, P. Le Guernic. Sequencing data flow tasks in SIGNAL. Rapport de recherche Irisa / Inria-Rennes, No 2120, Novembre 1993.
3. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs. Data-flow Synchronous Languages. Rapport de recherche Irisa / Inria-Rennes, No 2089, Octobre 1993.
4. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic. SIGNAL manual. Rapport de recherche Irisa / Inria-Rennes, No 1969, Septembre 1993.
5. P. Bournai, P. Le Guernic. Un environnement graphique pour le langage SIGNAL. Rapport de recherche Irisa / Inria-Rennes, No 2040, Septembre 1993.
6. C. Wolinski, M. Belhadj. Vers la synthèse automatique de programmes SIGNAL. Rapport de recherche Irisa, No 746, Juillet 1993.
7. C. Wolinski, T. Cholet, D. Derrien, J.P. Guillou, P. Leali, A. Riboult. Une architecture pour l'exécution d'applications SIGNAL. Rapport de recherche Irisa, No 704, Février 1993.

Divers

1. J-P. Paris, G. Berry, F. Mignard, P. Couronné, P. Caspi, N. Halbwachs, Y. Sorel, A. Benveniste, T. Gautier, P. Le Guernic, F. Dupont, C. Le Maire. Projet synchrone : les formats communs des langages synchrones. Rapport technique IRISA No 157, No 157, Juin 1993.

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:00 2012

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