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”