Publications 2002

Thèses de doctorat

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.

Articles de journaux

1. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE, special issue on Embedded Systems, 2002.
2. Paul Le Guernic, Jean-Pierre Talpin, J.-C. Le Lann. Polychrony for system design. Journal of Circuits, Systems and Computers. Special Issue on Application Specific Hardware Design, 2002.

Conférences internationales

1. A. Benveniste, P. Caspi, Le Guernic Guernic P, H. Marchand, Jean-Pierre Talpin, S. Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Proc. of 2002 Conference on Embedded Software (EMSOFT'02), J. Sifakis, A. Sangiovanni-Vincentelli (eds.), LNCS, Volume 2491, Octobre 2002.
2. Abdoulaye Gamatié, Thierry Gautier. Modeling of Modular Avionics Architectures Using the Synchronous Language SIGNAL. In Proceedings of the Work In Progress session, 14th Euromicro Conference on Real Time Systems, ECRTS'02, Pages 25-28, Juin 2002.
3. Mirabelle Nebut. A Clock Language to Specify and Analyze Synchronous Data-Flow Specifications. In Actes de l'école d'été Movep'02, MOdélisation et Vérification des systèmes PArallèles, Nantes, France, Juin 2002.
4. Mirabelle Nebut, Sophie Pinchinat. A Decidable Clock Language for Synchronous Specifications. In Synchronous Languages, Applications, and Programming (SLAP'02), Volume 65, Grenoble, France, Avril 2002.
5. H. Marchand, L. Rozé. Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques. In 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Janvier 2002.

Rapports de recherche

1. Eric Rutten, Hervé Marchand. Using discrete control synthesis for safe robot programming. Rapport de recherche INRIA, 2002.
2. Abdoulaye Gamatié, Thierry Gautier. Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language. Rapport de recherche Irisa, No 0, Décembre 2002.

Divers

1. SafeAir team team. Final report. 2002.
2. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual. Décembre 2002.
3. L. Besnard, T. Gautier, Q. Pan, C. Macabiau, Y. Sorel. SIGNAL-SynDEx translation, V1.0. Juin 2002.
4. B. Houssais. The Synchronous Programming Language SIGNAL, A Tutorial. Avril 2002.

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

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