AFSEC

Approches Formelles des Systèmes Embarqués Communicants

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 »