Précédent : Diffusion de logiciels Remonter :
Projet
EP-ATR Suivant : Abstract
- Thèses
- 1
- D. CHAUVEAU,
Étude d'une extension du langage aux modèles
probabilistes : le langage , thèse de doctorat,
université de Rennes 1, décembre 1996.
- Articles
- 2
- E. MARCHAND,
E. RUTTEN,
F. CHAUMETTE,
``Applying the synchronous approach to real time active visual
reconstruction'', IEEE Transactions on Control Systems
Technology, (à paraître) 1997.
- Communications à
congrès
- 3
- P. ASAR
(NOM COLLECTIF DE : 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, Irisa, p. 51-62,
Rennes, février 1996.
- 4
- P. AUBRY,
P. LE GUERNIC, S. MACHARD, ``Synchronous distribution
of programs'', in: Proc. of the 29th Hawaii International
Conference on System Sciences, 1, IEEE Computer
Society Press, p. 656-665, janvier 1996.
- 5
- P. AUBRY,
P. LE GUERNIC, ``On the Desynchronization
of Synchronous Applications'', in: Proc. of the 11th
International Conference on Systems Engineering,
University of Nevada, Las Vegas, Nevada, juillet 1996.
- 6
- A. BENVENISTE,
``Compositional and uniform modelling of hybrid systems'',
in: Proc. of IEEE-CDC, Kobe, 1996.
- 7
- A. KOUNTOURIS,
P. LE GUERNIC, ``Profiling of Programs and
its Application in the Timing Evaluation of Design
Implementations'', in: Proc. of the IEE Colloq. on HW-SW
Cosynthesis for Reconfigurable Systems, IEE,
p. 6/1-6/9, février 1996.
- 8
- A. KOUNTOURIS,
``Safe and Efficient Elimination of Infeasible Execution Paths
in WCET Estimation'', in: Proc. of the Intl. Workshop in
R/T Computing Systems and Applications (RTCSA'96), IEEE CS
Press, Seoul, Corée du sud, novembre 1996.
- 9
- M. LE
BORGNE,
H. MARCHAND,
E. RUTTEN,
M. SAMAAN, ``Formal
verification of programs: application to a power transformer
station controller'', in: Proceedings of the Fifth
International Conference on Algebraic Methodology and Software
Technology AMAST'96, Munich, Springer Verlag, Lecture
Notes in Computer Science no. 1101, juillet 1996.
- 10
- 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,
Canela/Gramado, RS, Brésil, novembre 1996. à paraître chez
Elsevier.
- 11
- E. MARCHAND,
H. MARCHAND,
E. RUTTEN,
``Spécification et vérification de systèmes réactifs :
expérimentations de la méthodologie synchrone '', in: Actes
du Congrès AFCET sur la Modélisation des Systèmes Réactifs,
MSR'96, Brest, France, mars 1996.
- Rapports de
recherche
- 12
- A. KOUNTOURIS,
C. WOLINSKI, ``A
real-time hw/sw co-design approach based on the language and
its environment'', Publication interne n°1053, Irisa,
octobre 1996.
http://www.irisa.fr/bibli/pi/1053/1053.html
- 13
- G. PALLER,
C. WOLINSKI,
``Springplay : répartition et ordonnancement de tâches
pour leur exécution en « pipeline »'', Publication interne
n°1052, Irisa, octobre 1996.
http://www.irisa.fr/bibli/pi/1052/1052.html
- Divers
- 14
- D. CHAUVEAU,
A. BENVENISTE,
B. LEVY,
E. FABRE, ``A
Calculus of Stochastic Systems and the formalism'', mai 1996,
First European conference on Highly Structured Stochastic
Systems, Alborg, Danemark.
- 15
- T. GAUTIER,
P. LE GUERNIC, P. QUINTON, S. RAJOPADHYE, T. RISSET, I. SMARANDACHE, ``Le projet CAIRN :
vers la conception d'architectures à partir de et '', Juin
1996, Actes des Séminaires de l'Action Scientifique - Codesign,
Cnet, Meylan - France.
- 16
- M. LE
BORGNE,
H. MARCHAND,
``Méthodologie de conception d'automatismes séquentiels'',
novembre 1995, Convention Inria - EdF n°M64 / 7C8321 / E5 /
11.
- 17
- H. MARCHAND,
M. LE BORGNE, ``Extension de la théorie de
synthèse de contrôleurs sur des systèmes dynamiques
polynômiaux'', juin 1996, Convention Inria - EdF n°M64 / 7C8321
/ E5 / 11.
- 18
- SACRES CONSORTIUM, ``The Declarative Code
DC+, version 1.2'', mai 1996, Esprit project EP 20897:
Sacres.
- 19
- SACRES CONSORTIUM, ``Deliverable Report
B1.A: Requirements Baseline'', février 1996, Esprit project EP
20897: Sacres.
- 20
- SACRES CONSORTIUM, ``Deliverable Report
B2.A: Architecture Baseline'', mai 1996, Esprit project EP
20897: Sacres.
- 21
- SACRES CONSORTIUM, ``Deliverable Report
B3.A: New Technologies Baseline'', mai 1996, Esprit project EP
20897: Sacres.