AFSEC

Archive pour May, 2012

Workshop AFSEC – 22 juin à Rennes

Wednesday 2 May 2012

Workshop AFSEC (lors des des journées du GDR GPL ) le 22 juin 2012 à Rennes – INRIA Campus Beaulieu

Plénier 9h-10h :

  • Claude Jard (ENS Cachan, Antenne de Bretagne – Inria / IRISA)
    QoS-Aware Management of Monotonic Service Orchestrations

Session 10h30-12h30 :

  • Loic Helouet (IRISA)
    “Synthèse de protocoles à partir d’exigences – Garanties de correction par controle asynchrone”
  • Marc Pouzet (Ecole Normale Supérieure, Paris.)
    “Une extension de Lustre avec du temps continu”
  • Thomas Chatain, (LSV – ENS Cachan)
    “Avoiding shared clocks in networks of timed automata”
  • Fabrice Kordon (LIP6 – Paris 6)
    “Exploitation de la Hiérarchie et des Symétries dans les systèmes répartis”

Publié dans Actions Afsec, Journées | Pas de commentaire »