Références

Articles et chapitres de livre

1

E. Anceaume, ``Etude de protocoles de diffusion atomique'', Parallélisme, Réseaux, Répartition 4, mai 1995, Ed. Hermès, p. 9-67.

Communications à des congrès, colloques, etc.

2

B. Bourin, P. Jacquet, P. Minet, P. Mühlethaler, N. Rivierre, ``LAURA : a wireless LAN application, standardization and principles'', in: RTS95, Paris, janvier 1995.

3

L. George, P. Minet, ``Condition de faisabilité et temps de réponse maximum pour un système transactionnel réparti temps réel'', in: RTS95, Paris, janvier 1995.

4

L. George, P. Minet, ``Condition de faisabilité et temps de réponse maximum pour un système transactionnel réparti temps réel'', in: Proceedings of a real-time database worskhop, P. D.V. van der Stok, J. van der Wal, ed., Report 95-27, Department of Computing Science, Eindhoven University of Technology, Netherlands, 1995.

5

J.-F. Hermant, G. Le_Lann, N. Rivierre, ``A general approach to real-time message scheduling over distributed broadcast channels'', in: ETFA'95, INRIA/IEEE Symposium on Engineering Technologies and Factory Automation, p. 191-204, Paris, octobre 1995.

6

G. Le_Lann, ``A methodology for designing and dimensioning critical complex computing systems'', in: colloque DGA-DRA ``Formal methods, modelling and simulation for systems engineering'', Saint Quentin en Yvelines, février 1995.

7

G. Le_Lann, ``On real-time and non real-time distributed computing'', in: 9th Workshop on Distributed Algorithms, p. 51--70, Mont Saint Michel, in Springer-Verlag LCNS n 972, septembre 1995.

8

G. Le_Lann, ``Scheduling issues and timeliness proofs for hard real-time communications over distributed broadcast channels'', in: séminaire invité, 13ème Symposium national brésilien Réseaux Informatiques, Belo Horizonte, mai 1995.

Rapports de recherche et publications internes

9

E. Anceaume, B. Charron-Bost, P. Minet, S. Toueg, ``On the formal specification of group membership services'', rapport de recherche n°2695, INRIA, novembre 1995, également research report TR95-1534, Dept. of Computer Science, Cornell University, août, 1995.

10

L. George, P. Mühlethaler, N. Rivierre, ``Non preemptive scheduling revisited'', rapport de recherche n°2516, INRIA, avril 1995.

11

P. Jacquet, P. Minet, P. Mühlethaler, N. Rivierre, ``Priority and collision detection with active signaling. The channel access mechanism of HIPERLAN'', rapport de recherche n°2674, INRIA, octobre 1995.

Divers

12

E. Anceaume, L. George, J.-F. Hermant, G. LeLann, P. Minet, N. Rivierre, ``Algorithmique TR/TD/TF ORECA : bornes temporelles et conditions de faisabilité'''', septembre 1995, Lot 2 du contrat DRET 94-395, 70 p., diffusion restreinte.

13

E. Anceaume, L. George, J.-F. Hermant, G. LeLann, P. Minet, N. Rivierre, ``Algorithmique TR/TD/TF ORECA : spécifications des algorithmes et des oracles de faisabilité'', décembre 1995, Lot 3 du contrat DRET 94-395, diffusion restreinte.