Publications 1994

Thèses et HDR

1. M. Belhadj.
   Conception d'architectures en utilisant Signal et VHDL.  Thèse de l'Université de Rennes I, IFSIC, Décembre 1994. (postscript) (abstract)

Articles de journaux

1. A. Benveniste.
   Synchronous Languages Provide Safety in Reactive Systems Design.  Control Engineering, pages 87--89, Septembre 1994.

Conférences Internationales

1. PROJ. Asar, (P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, Bouguerba, C. T.Carrière, G. Durrieu, T. Gautier, M. Israël, P. LeGuernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O.) Sentieys).
   Towards a Multi-Formalism Framework for Architectural Synthesis: the ASAR Project.  Proceedings of the Third International Workshop on Hardware/Software Codesign, IEEE Computer Society Press, pages 25-32, Grenoble, Septembre 1994. (postscript)
2. PROJ. Asar, (P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, Bouguerba, C. T.Carrière, G. Durrieu, T. Gautier, M. Israël, P. LeGuernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O.) Sentieys).
   Framework and Multi-Formalism: the ASAR Project.  Proceedings of the 4th International IFIP 10.5 Working Conference on Electronic Design Automation Frameworks, Gramado (Brésil), Novembre 1994.
3. M. Belhadj.
   VHDL & SIGNAL: A Cooperative Approach.  International Conference on Simulation and Hardware Description Languages, Western Simulation Multi-Conference, Society for Computer Simulation, pages 76-81, Tempe, Arizona (USA), 1994.
4. M. Belhadj.
   Using VHDL for Link to Synthesis Tools.  North Atlantic Test Workshop NATW'94, Nimes, 1994. (postscript)
5. A. Benveniste, T. Gautier, P. Le Guernic, G. Berry, F. Mignard, P. Caspi, N. Halbwachs, P. Couronné, F. Dupont, C. LeMaire, J.P. Paris, Y. Sorel.
   Synchronous technology for real-time systems.  RTS'94, Teknea, pages 105-122, 1994. (postscript)
6. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic.
   A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems.  3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer-Verlag, pages 149-169, Septembre 1994.
7. O. Maffeis, P. Le Guernic.
   From Signal to fine-grain parallel implementations.  Int. Conference on Parallel Architectures and Compilation Techniques, IFIP A-50, North-Holland, pages 237-246, Août 1994.
8. O. Maffeis, P. Le Guernic.
   Distributed Implementation of Signal: Scheduling & Graph Clustering.  3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer-Verlag, pages 547-566, Septembre 1994. (postscript)
9. E. Rutten, P. Le Guernic.
   Sequencing data flow tasks in SIGNAL.  Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida (USA), Juin 1994. (postscript) (abstract)
10. E. Rutten, E. Marchand, F. Chaumette.
    The sequencing of data flow tasks in Signal: application to active vision in robotics.  Proceedings of the 6th Euromicro Workshop on Real Time Systems, IEEE Publ., pages 80-84, University of Maelardalen, Vasteraa s (Sweden), Juin 1994. (postscript) (abstract)
11. C. Wolinski, M. Belhadj.
    High Level Synthesis of Globally Asynchronous Locally Synchronous Circuits.  North Atlantic Test Workshop NATW'94, Nimes, 1994. (postscript)

Conférences Nationales

1. T. Gautier, P. Le Guernic.
   L'environnement de programmation SIGNAL.  Proceedings of RENNES, IRISA, pages 168-175, Avril 1994. (postscript)

Rapports de recherche

1. T. Amagbegnon, L. Besnard, P. Le Guernic.
   Arborescent Canonical Form of Boolean Expressions.  Rapport de Recherche Inria, No2290, Juin 1994. (postscript) (abstract)
2. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic.
   A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems.  Rapport de Recherche Irisa, No837, Juillet 1994. (postscript) (abstract)
3. P. Bournai, C. Lavarenne, P. Le Guernic, O. Maffeis, Y. Sorel.
   Interface SIGNAL-SynDEx.  Rapport de Recherche Inria, No2206, Mars 1994. (postscript)
4. B. Dutertre, M. Le Borgne.
   Control of Polynomial Dynamic Systems: an Example.  Rapport de Recherche Inria, No2193, Janvier 1994. (postscript) (abstract)
5. T. Gautier, P. Le Guernic, F. Dupont.
   SIGNAL V4 : manuel de référence.  Rapport de Recherche Irisa, No832, Juin 1994. (postscript)
6. T. Gautier, P. LeGuernic, O. Maffeis.
   For a New Real-Time Methodology.  Rapport de Recherche Inria, No2364, Octobre 1994. (postscript) (abstract)
7. B. Houssais, M. Le Borgne, P. Le Guernic.
   Cours de programmation en langage temps-réel SIGNAL.  Rapport de Recherche Irisa, Juin 1994.
8. O. Maffeis, P. Le Guernic.
   From Synchronous-Flow Dependence Graphs to Reliable and Efficient Implementations.  Rapport de Recherche Ercim, No02/94-R029, Février 1994.
9. E. Marchand, E. Rutten, F. Chaumette.
   Applying the Synchronous Approach to Real Time Active Visual Reconstruction.  Rapport de Recherche Inria, No2383, Novembre 1994. (postscript) (abstract)
10. H. Marchand, M. Le Borgne.
    Typage des graphes de décisions ternaires.  Rapport de Recherche Irisa, No797, Mars 1994. (postscript) (abstract)

Divers

1. H. Marchand, E. Rutten, M. Samaan.
   Description, spécification et validation d'un automatisme de poste de transformation électrique.  Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1994.

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