Recent talks

Here are the slides of talks I gave recently.

Dagstuhl Seminar - January 21st 2010 - Probabilistic Semantics for Timed Automata

LaBRI Seminar - May 29th 2009 - When are timed automata determinizable?

LATA'09 Conference - April 2nd 2009 - Refinement and consistency of timed modal specifications

COMBEST Meeting - March 3rd 2009 - About timed modal specifications

DistribCom Meeting - February 27th 2009 - When are timed automata determinizable?

ENS Ker Lann Seminar - September 30th 2008 - Verification of probabilistic systems

QEST'08 Conference - September 15th 2008 - Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics

68NQRT Seminar - January 31st 2008 - Probabilistic and Topological Semantics for Timed Automata

LSV Seminar - February 5th 2008 - On decision Problems for Probabilistic Büchi Automata