Publications 1997

Academic Journals

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

International Conferences

  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. details
  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. details
  3. S. Pinchinat, J.V. Echague. SOS specifications and Compositional ST-semantics. In XXIII Conferencia Latinoamericana de Informatica, Valparaiso, Chili, November 1997. details ps
  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, September 1997. details ps
  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, September 1997. details ps
  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, September 1997. details
  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, August 1997. details ps
  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, August 1997. details ps
  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, May 1997. details ps
  10. J.P. Talpin. Reactive types. In International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'97), April 1997. details ps
  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, January 1997. details ps

Research Reports

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

Misc

  1. Sacres Consortium. The Declarative Code DC+, Version 1.4. Esprit project EP 20897: Sacres, November 1997. details ps
  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, October 1997. details
  3. Sacres Consortium. Deliverable Report C2.A: Mapping Code To Architecture. Esprit project EP 20897: Sacres, September 1997. details
  4. Sacres Consortium. Deliverable Report I3.B: SacresSystem Architecture Definition. Esprit project EP 20897: Sacres, September 1997. details
  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, July 1997. details
  6. Sacres Consortium. DC+ syntactic level: specification. Esprit project EP 20897: Sacres, April 1997. details
  7. Sacres Consortium. DC+ graph level: specification. Esprit project EP 20897: Sacres, April 1997. details
  8. Sacres Consortium. Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems. Esprit project EP 20897: Sacres, April 1997. details
  9. Sacres Consortium. The Semantics Foundations of Sacres. Esprit project EP 20897: Sacres, April 1997. details
  10. Sacres Consortium. Deliverable Report C1.A: Code Generation. Esprit project EP 20897: Sacres, February 1997. details

PhD Thesis

  1. P. Aubry. Mises en oeuvre distribuées de programmes synchrones. PhD Thesis Université de Rennes 1, IFSIC, October 1997. details ps
  2. H. Marchand. Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis. PhD Thesis Université de Rennes 1, IFSIC, October 1997. details ps

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.