accueil

 carte
 

Publications 1996


haut

 

PhD Theses

  1. D. Chauveau.
    Étude d'une extension du langage synchrone SIGNAL aux modèles probabilistes : le langage SIGNalea.  Phd thesis, Université de Rennes 1, December 1996. (postscript) (abstract)

haut

 

International Conferences

  1. P. Aubry, P. Le Guernic, S. Machard.
    Synchronous distribution of SIGNAL programs.  Proc. of the 29th Hawaii International Conference on System Sciences, IEEE Computer Society Press, Volume 1, pages 656-665, January 1996. (postscript)
  2. P. Aubry, P. Le Guernic.
    On the desynchronization of synchronous applications.  Proceedings of the 11th International Conference on Systems Engineering, ICSE'96, University of Nevada, Las Vegas, Nevada (USA), July 1996. (postscript)
  3. A. Benveniste.
    Compositional and uniform modelling of hybrid systems.  Proc. of IEEE-CDC, Kobe, 1996.
  4. A. Kountouris, P. Le Guernic.
    Profiling of SIGNAL Programs and its application in the timing evaluation of design implementations.  Proceedings of the IEE Colloq. on HW-SW Cosynthesis for Reconfigurable Systems, IEE, pages 6-6, HP Labs, Bristol, UK, February 1996. (postscript)
  5. A. Kountouris.
    Safe and Efficient Elimination of Infeasible Execution Paths in WCET Estimation.  Proceedings of the International Workshop in R/T Computing Systems and Applications (RTCSA'96), IEEE Computer Society Press, Seoul, South Korea, November 1996. (postscript)
  6. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan.
    Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller.  Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Springer-Verlag, LNCS 1101, pages 271-285, Munich, Germany, July 1996. (postscript) (abstract)
  7. P. Le Guernic, E. Rutten.
    Experiments with the synchronous methodology illustrating its support of predictability.  Proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming, WRTP'96, pages 81-86, Canela/Gramado, RS, Brazil, November 1996. (postscript) (abstract)

haut

 

National Conferences

  1. PROJ. ASAR, (P. Aubry, M. Belhadj, TH. Gautier, P. Le Guernic, P. Quinton, C. Dezan, M. Israël, J. M.Benzakki, T. Bouguerba, F. Rousseau, M. Auguin, C. Carrière, Cogniat, G. G.Durrieu, M. Lemaître, E. Martin, O. Sentieys, J.L. Philippe, L. Rideau).
    Vers un Atelier d'accueil générique pour la Synthèse ARchitecturale bâti autour de Centaur : ASAR.  Quatrième Symposium Architectures Nouvelles de Machines, pages 51-62, Irisa, Rennes, February 1996.
  2. H. Marchand, E. Marchand, E. Rutten.
    Spécification et vérification de systèmes réactifs : expérimentation de la méthodologie synchrone SIGNAL.  Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, MSR'96, Brest, March 1996. (postscript) (abstract)

haut

 

Research reports

  1. A. Kountouris, C. Wolinski.
    A real-time hw/sw co-design approach based on the language and its environment.  Research report Irisa, No1053, October 1996. (postscript) (abstract)
  2. C. Paller, C. Wolinski.
    Springplay : répartition et ordonnancement de tâches pour leur exécution en « pipeline ».  Research report Irisa, No1052, October 1996. (postscript) (abstract)

haut

 

Misc

  1. D. Chauveau, A. Benveniste, B.C. Levy, E. Fabre.
    A Calculus of Stochastic Systems and the Signalea formalism.  May 1996.
  2. SACRES Consortium.
    Deliverable Report B1.A.  February 1996.
  3. SACRES Consortium.
    Deliverable Report B2.A: Architecture Baseline.  May 1996.
  4. SACRES Consortium.
    The Declarative Code DC+, version 1.2.  May 1996.
  5. SACRES Consortium.
    Deliverable Report B3.A: New Technologies Baseline.  May 1996.
  6. 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.  June 1996.
  7. H. Marchand.
    Intégration de Sigali dans l'environnement Signal.  Rapport de fin de contrat, Convention Inria - EdF No M64/7C8321/E5/11, December 1996.
  8. H. Marchand, M. Le Borgne.
    Extension de la théorie de synthèse de contrôleurs sur des systèmes dynamiques polynômiaux.  Convention Inria - EdF No M64/7C8321/E5/11, June 1996.
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