Publications 1996

Thèses de doctorat

1. D. Chauveau. Étude d'une extension du langage synchrone SIGNAL aux modèles probabilistes : le langage SIGNalea. Thèse de l'Université de Rennes 1, Décembre 1996.

Conférences internationales

1. A. Benveniste. Compositional and uniform modelling of hybrid systems. In Proc. of IEEE-CDC, Kobe, 1996.
2. A. Kountouris. Safe and Efficient Elimination of Infeasible Execution Paths in WCET Estimation. In Proceedings of the International Workshop in R/T Computing Systems and Applications (RTCSA'96), Seoul, South Korea, Novembre 1996.
3. P. Le Guernic, E. Rutten. Experiments with the synchronous methodology illustrating its support of predictability. In Proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming, WRTP'96, Pages 81-86, Canela/Gramado, RS, Brazil, Novembre 1996.
4. P. Aubry, P. Le Guernic. On the desynchronization of synchronous applications. In Proceedings of the 11th International Conference on Systems Engineering, ICSE'96, Las Vegas, Nevada (USA), Juillet 1996.
5. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. In Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Pages 271-285, Munich, Germany, Juillet 1996.
6. H. Marchand, E. Marchand, E. Rutten. Spécification et vérification de systèmes réactifs : expérimentation de la méthodologie synchrone SIGNAL. In Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, MSR'96, Brest, Mars 1996.
7. Proj. ASAR, P. Aubry, M. Belhadj, TH. Gautier, P. Le Guernic, P. Quinton, C. Dezan, M. Israël, J. Benzakki, T. Bouguerba, F. Rousseau, M. Auguin, C. Carrière, G. Cogniat, 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. In Quatrième Symposium Architectures Nouvelles de Machines, Pages 51-62, Irisa, Rennes, Février 1996.
8. A. Kountouris, P. Le Guernic. Profiling of SIGNAL Programs and its application in the timing evaluation of design implementations. In Proceedings of the IEE Colloq. on HW-SW Cosynthesis for Reconfigurable Systems, Pages 6-6, HP Labs, Bristol, UK, Février 1996.
9. P. Aubry, P. Le Guernic, S. Machard. Synchronous distribution of SIGNAL programs. In Proc. of the 29th Hawaii International Conference on System Sciences, Volume 1, Pages 656-665, Janvier 1996.

Rapports de recherche

1. A. Kountouris, C. Wolinski. A real-time hw/sw co-design approach based on the language and its environment. Rapport de recherche Irisa, No 1053, Octobre 1996.
2. G. Paller, C. Wolinski. Springplay : répartition et ordonnancement de tâches pour leur exécution en « pipeline ». Rapport de recherche Irisa, No 1052, Octobre 1996.

Divers

1. H. Marchand. Intégration de Sigali dans l'environnement Signal. Rapport de fin de contrat, Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1996.
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. Juin 1996.
3. 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, Juin 1996.
4. D. Chauveau, A. Benveniste, B.C. Levy, E. Fabre. A Calculus of Stochastic Systems and the Signalea formalism. Mai 1996.
5. Sacres Consortium. Deliverable Report B2.A: Architecture Baseline. Mai 1996.
6. Sacres Consortium. The Declarative Code DC+, version 1.2. Mai 1996.
7. Sacres Consortium. Deliverable Report B3.A: New Technologies Baseline. Mai 1996.
8. Sacres Consortium. Deliverable Report B1.A: Requirements Baseline. Février 1996.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Dernières modifications 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.