AFSEC

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.