AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Journée “Implementability and Robustness of Timed Systems” le 29 mars 2012

2nd April 2012

Journée “Implementability and Robustness of Timed Systems” de l’ANR Impro

Programme:

  • 10h30 — 11h15 Ocan Sankur, “Shrinking Timed Automata”
  • 11h15 — 12h15 Mathieu Sassolas, “Opacité probabiliste”
  • 13h45 — 14h30 Sandie Balaguer “Transformation de TPN en NTA qui préserve la distribution”
  • 14h30 — 15h00 Arnaud Sangier, “Verification of Probabilistic Timed Automata”
  • 15h00 — 15h30 Loïc Helouët ‘Robustesse dans les Timed-constrained MSCs”
  • 15h30 — 16h15 Rémi Jaubert “Robsutesse dans les TA”

Leave a Reply

You must be logged in to post a comment.