Présents :

• IRISA (Pascal Fradet, Stéphane Hong Tuan-Ha, Thomas Jensen,Frédéric Besson)
  
• 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

• Nora Cuppens, Frédéric Cuppens et Ahmed Bouabdallah : Contributions de l’ENST Bretagne à l’ACI Dispo (ppt).
  
• Julien Brunel : Etude des logiques déontiques et temporelles pour la disponibilité (pdf).
  
• Thomas Jensen : (prochainement)
  
• Pascal Fradet : Tissage de propriétés (contrôle d'accès, ordonnancement, disponibilité) (pdf).
  
• Jacques Noyé : Bilan EMN (pdf).
  
• Jean-Claude Royer : Composant, spécification et vérification (pdf).