Publications 1997

Thèses de doctorat

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.

Articles de journaux

1. O. Kouchnarenko, P. Schnoebelen. A Model for Recursive-Parallel Programs. Electronic Notes in Theoretical Computer Science, 5, 1997.
2. M. Tofte, J.P. Talpin. Region-based memory management. Information and Computation, 132(2):109-176, 1997.
3. E. Rutten, E. Marchand, F. Chaumette. An experiment with reactive data-flow tasking in active robot vision. Software - Practice & Experience, 27(5):599-621, Mai 1997.
4. E. Marchand, E. Rutten, F. Chaumette. From data-flow task to multi-tasking: Applying the synchronous approach to active vision in robotics. IEEE Trans. on Control Systems Technology, 5(2):200-216, Mars 1997.

Conférences internationales

1. A. Benveniste, P. Le Guernic, P. Aubry. Compositionality in dataflow synchronous languages: specification and code generation. In Proceedings of the 1997 Workshop on Compositionality, W.P. de Roever and A. Pnueli Eds, Malente, Germany, 1997.
2. T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I. Smarandache. Le projet Cairn : vers la conception d'architectures à partir de Signal et Alpha. In Actes des Séminaires Action Scientifique - Codesign, 1997.
3. S. Pinchinat, J.V. Echague. SOS specifications and Compositional ST-semantics. In XXIII Conferencia Latinoamericana de Informatica, Valparaiso, Chili, Novembre 1997.
4. Ph. Baufreton, X. Méhaut, E. Rutten. Embedded Systems in Avionics and the Sacres Approach. In Proceedings of The 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP'97, York, United Kingdom, Septembre 1997.
5. Ph. Baufreton, H. Granier, X. Méhaut, E. Rutten. The Sacres Approach to Emdedded Systems Applied to Aircraft Engine Controllers. In Proceedings of the 22st IFAC/IFIP Workshop on Real Time Programming, WRTP'97, Lyon, France, Présentation invitée, Septembre 1997.
6. O. Kouchnarenko, P. Schnoebelen. A Formal Framework for the Analysis of Recursive-Parallel Programs. In Parallel Computing Technologies, 4th International Conference, PaCT-97 Yaroslavl, Russia, Pages 45-59, Septembre 1997.
7. A. Kountouris, C. Wolinski. A Method for the Generation of HDL Code at the RTL level form a High-Level Formal Specification Language. In Proceedings of MWSCAS'97, Sacramento, Août 1997.
8. D. Nowak, J.P. Talpin, T. Gautier, P. Le Guernic. An ML-like module system for the synchronous language Signal. In European Conference on Parallel Processing (Euro-Par'97), Pages 1244-1253, Août 1997.
9. I. Smarandache, P. Le Guernic. Affine Transformations in Signal and Their Applications in the Specification and Validation of Real-Time Systems. In Transformation-Based Reactive Systems Development, Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Mai 1997.
10. J.P. Talpin. Reactive types. In International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'97), Avril 1997.
11. Ph. Baufreton, X. Méhaut, E. Rutten. L'approche Sacres pour les systèmes embarqués à sécurité critique. In Actes du Salon Real-Time Systems RTS'97, Paris, Pages 101-118, Janvier 1997.

Rapports de recherche

1. M. Allemand, F. Bodin, A. Kountouris, P. Le Guernic, J.C. Le Lann, A. Seznec, C. Wolinski. A Synchronous Approach for Hardware Design. Rapport de recherche Irisa, No 1131, 1997.
2. A. Benveniste, P. Le Guernic, P. Aubry. Compositionality in dataflow synchronous languages: specification & code generation. Rapport de recherche Irisa / Inria-Rennes, No 3310, Novembre 1997.
3. H. Marchand, M. Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields. Rapport de recherche Irisa, No 1125, Octobre 1997.
4. P. Bournai, M. Le Borgne, H. Marchand. Environnement de conception d'automatismes discrets basé sur le langage Signal. Rapport de recherche Irisa, No 1124, Septembre 1997.
5. D. Nowak, J.P. Talpin, T. Gautier. Un système de modules avancé pour Signal. Rapport de recherche Irisa / Inria-Rennes, No 3176, Juin 1997.
6. I. Smarandache, P. Le Guernic. A Canonical Form for Affine Relations in Signal. Rapport de recherche Irisa / Inria-Rennes, No 3097, Février 1997.

Divers

1. Sacres Consortium. The Declarative Code DC+, Version 1.4. Esprit project EP 20897: Sacres, Novembre 1997.
2. H. Marchand, M. Le Borgne. Systèmes dynamiques polynomiaux sous observations partielles. Rapport de fin de contrat, Convention Inria - EdF No P33L99/6A1821/EP819, Octobre 1997.
3. Sacres Consortium. Deliverable Report C2.A: Mapping Code To Architecture. Esprit project EP 20897: Sacres, Septembre 1997.
4. Sacres Consortium. Deliverable Report I3.B: SacresSystem Architecture Definition. Esprit project EP 20897: Sacres, Septembre 1997.
5. P. Bournai, M. Le Borgne, H. Marchand, P. Le Guernic. Démonstrateur de synthèse de systèmes d'automatismes décrits en Signal. Rapport de fin de contrat, Convention Inria - EdF No 196C5030031307 01 1, Juillet 1997.
6. Sacres Consortium. DC+ syntactic level: specification. Esprit project EP 20897: Sacres, Avril 1997.
7. Sacres Consortium. DC+ graph level: specification. Esprit project EP 20897: Sacres, Avril 1997.
8. Sacres Consortium. Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems. Esprit project EP 20897: Sacres, Avril 1997.
9. Sacres Consortium. The Semantics Foundations of Sacres. Esprit project EP 20897: Sacres, Avril 1997.
10. Sacres Consortium. Deliverable Report C1.A: Code Generation. Esprit project EP 20897: Sacres, Février 1997.

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.