accueil

 carte
 

Publications 1997


haut

 

PhD Theses

  1. P. Aubry.
    Mises en oeuvre distribuées de programmes synchrones.  Phd thesis, Université de Rennes 1, IFSIC, October 1997. (postscript) (abstract)
  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. (postscript) (abstract)

haut

 

Journals

  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, March 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, May 1997. (postscript) (abstract)
  4. M. Tofte, J.P. Talpin.
    Region-based memory management.  Information and Computation, 132(2):109-176, 1997.

haut

 

International Conferences

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

haut

 

National Conferences

  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, January 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.

haut

 

Research reports

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

haut

 

Misc

  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, July 1997.
  2. SACRES Consortium.
    DC+ syntactic level: specification.  Esprit project EP 20897: Sacres, April 1997.
  3. SACRES Consortium.
    DC+ graph level: specification.  Esprit project EP 20897: Sacres, April 1997.
  4. SACRES Consortium.
    Deliverable Report C1.A: Code Generation.  Esprit project EP 20897: Sacres, February 1997.
  5. SACRES Consortium.
    Deliverable Report C2.A: Mapping Code To Architecture.  Esprit project EP 20897: Sacres, September 1997.
  6. SACRES Consortium.
    Deliverable Report I3.B: SacresSystem Architecture Definition.  Esprit project EP 20897: Sacres, September 1997.
  7. SACRES Consortium.
    Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems.  Esprit project EP 20897: Sacres, April 1997.
  8. SACRES Consortium.
    The Semantics Foundations of Sacres.  Esprit project EP 20897: Sacres, April 1997.
  9. SACRES Consortium.
    The Declarative Code DC+, Version 1.4.  Esprit project EP 20897: Sacres, November 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, October 1997.
The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors and by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will 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.

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