Publications 1997

Thèses et HDR

1. P. Aubry.
   Mises en oeuvre distribuées de programmes synchrones.  Thèse de l'Université de Rennes 1, IFSIC, Octobre 1997. (postscript) (abstract)
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. (postscript) (abstract)

Articles de journaux

1. O. Kushnarenko, P. Schnoebelen.
   A Model for Recursive-Parallel Programs.  Electronic Notes in Theoretical Computer Science, 5, 1997.
2. 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. (postscript) (abstract)
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. (postscript) (abstract)
4. M. Tofte, J.P. Talpin.
   Region-based memory management.  Information and Computation, 132(2):109-176, 1997.

Conférences Internationales

1. PH. Baufreton, X. Méhaut, E. Rutten.
   Embedded Systems in Avionics and the Sacres Approach.  Proceedings of The 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP'97, York, United Kingdom, Springer, Septembre 1997. (postscript) (abstract)
2. PH. Baufreton, H. Granier, X. Méhaut, E. Rutten.
   The Sacres Approach to Emdedded Systems Applied to Aircraft Engine Controllers.  Proceedings of the 22st IFAC/IFIP Workshop on Real Time Programming, WRTP'97, Lyon, France, Elsevier, Septembre 1997. (postscript) (abstract)
3. A. Benveniste, P. Le Guernic, P. Aubry.
   Compositionality in dataflow synchronous languages: specification and code generation.  Proceedings of the 1997 Workshop on Compositionality, W.P. de Roever and A. Pnueli Eds., Malente, Germany, 1997.
4. A. Kountouris, C. Wolinski.
   A Method for the Generation of HDL Code at the RTL level form a High-Level Formal Specification Language.  Proceedings of MWSCAS'97, IEEE Computer Society Press, Sacramento, Août 1997. (postscript)
5. O. Kushnarenko, P. Schnoebelen.
   A Formal Framework for the Analysis of Recursive-Parallel Programs.  Parallel Computing Technologies, 4th International Conference, PaCT-97 Yaroslavl, Russia, Springer-Verlag, LNCS, pages 45-59, Septembre 1997.
6. D. Nowak, J.P. Talpin, T. Gautier, P. Le Guernic.
   An ML-like module system for the synchronous language Signal.  European Conference on Parallel Processing (Euro-Par'97), Springer-Verlag, LNCS 1300, pages 1244-1253, Août 1997. (postscript) (abstract)
7. S. Pinchinat, J.V. Echague.
   SOS specifications and Compositional ST-semantics.  XXIII Conferencia Latinoamericana de Informatica, Valparaiso, Chili, Novembre 1997. (postscript) (abstract)
8. I. Smarandache, P. Le Guernic.
   Affine Transformations in Signal and Their Applications in the Specification and Validation of Real-Time Systems.  Transformation-Based Reactive Systems Development, Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Springer-Verlag, LNCS 1231, Mai 1997. (postscript)
9. J.P. Talpin.
   Reactive types.  International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'97), Springer-Verlag, LNCS, Avril 1997. (postscript)

Conférences Nationales

1. PH. Baufreton, X. Méhaut, E. Rutten.
   L'approche Sacres pour les systèmes embarqués à sécurité critique.  Actes du Salon Real-Time Systems RTS'97, Paris, Teknea, pages 101-118, Janvier 1997. (postscript) (abstract)
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.  Actes des Séminaires Action Scientifique - Codesign, 1997.

Rapports de recherche

1. M. Allemand, F. Bodin, A. Kountouris, P. Le Guernic, J.C. LeLann, A. Seznec, C. Wolinski.
   A Synchronous Approach for Hardware Design.  Rapport de Recherche Irisa, No1131, 1997. (postscript) (abstract)
2. A. Benveniste, P. Le Guernic, P. Aubry.
   Compositionality in dataflow synchronous languages: specification & code generation.  Rapport de Recherche Irisa / Inria-Rennes, No3310, Novembre 1997. (postscript) (abstract)
3. P. Bournai, M. Le Borgne, H. Marchand.
   Environnement de conception d'automatismes discrets basé sur le langage Signal.  Rapport de Recherche Irisa, No1124, Septembre 1997. (postscript) (abstract)
4. 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, No1125, Octobre 1997. (postscript) (abstract)
5. D. Nowak, J.P. Talpin, T. Gautier.
   Un système de modules avancé pour Signal.  Rapport de Recherche Irisa / Inria-Rennes, No3176, Juin 1997. (postscript) (abstract)
6. I. Smarandache, P. Le Guernic.
   A Canonical Form for Affine Relations in Signal.  Rapport de Recherche Irisa / Inria-Rennes, No3097, Février 1997. (postscript) (abstract)

Divers

1. 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.
2. SACRES Consortium.
   DC+ syntactic level: specification.  Esprit project EP 20897: Sacres, Avril 1997.
3. SACRES Consortium.
   DC+ graph level: specification.  Esprit project EP 20897: Sacres, Avril 1997.
4. SACRES Consortium.
   Deliverable Report C1.A: Code Generation.  Esprit project EP 20897: Sacres, Février 1997.
5. SACRES Consortium.
   Deliverable Report C2.A: Mapping Code To Architecture.  Esprit project EP 20897: Sacres, Septembre 1997.
6. SACRES Consortium.
   Deliverable Report I3.B: SacresSystem Architecture Definition.  Esprit project EP 20897: Sacres, Septembre 1997.
7. SACRES Consortium.
   Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems.  Esprit project EP 20897: Sacres, Avril 1997.
8. SACRES Consortium.
   The Semantics Foundations of Sacres.  Esprit project EP 20897: Sacres, Avril 1997.
9. SACRES Consortium.
   The Declarative Code DC+, Version 1.4.  Esprit project EP 20897: Sacres, Novembre 1997. (postscript)
10. 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.

Webmaster : epatr_webmaster@irisa.fr Ces pages sont créées automatiquement par le programme bib2html du projet Vista de l'IRISA-INRIA Rennes