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é, Hervé Graal)
  
• 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 et Ahmed Bouabdallah : Modèle pour la disponibilité (ppt)
  
• S. Hong Tuan-Ha : Aspects de synchronisation et disponibilité (pdf)
  
• Jacques Noyé : Spécification de comportements dynamiques de composants avec STS (pdf)
• S. Pavel : Components in Java (pdf)
• Julien Brunel : Logique déontique pour la disponibilité (pdf)
• Mamoun Filali : Utilisation et approches de vérification dans le projet Dispo (pdf)
• Thomas Jensen : Model checking security properties of java components (pdf)
  
• Hervé Graal : La disponibilité : sûreté ou vivacité ? (pdf)
  

Études de cas :

• Drinking philosophers problem [CM_84]