Publications 2002

Academic Journals

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.

International Conferences

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, October 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, June 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, June 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, April 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, January 2002.

Research Reports

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

Misc

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

PhD Thesis

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.

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

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