Présents :

• IRISA (Pascal Fradet, Stéphane Hong Tuan-Ha, Thomas Jensen)
  
• Ecole de Mines de Nantes (Jean-Claude Royer, Sébastien Pavel, Jacques Noyé)
  
• Ecole Nationale Supérieure de Télécommunications, Bretagne (Ahmed Bouabdallah, Nora Cuppens, Frédéric Cuppens)
  
• IRIT (Mamoun Filali, Jean-Paul Bodeveix, Julien Brunel)
  

Présentations

• N. Cuppens : Paramètres significatifs dans le processus de modélisation de la disponibilité (ppt,pdf).
  
• S. Hong Tuan-Ha : Vers le tissage de propriétés de disponibilité (pdf).
  
• Jacques Noyé :
  
• S. Pavel : Ticket Reservation System : Implementation in ArchJava,  Resource Allocation : Case Study (pdf)
  

Études de cas :

• Systèmes de réservation de billets (transparents, article), modélisé par EMN.
  
• Systèmes d'allocation de ressources de Yu et Gligor.