Talks

IRCYNN Seminar - June 2013 - Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata.

ULB Seminar - March 2013 - A Game Approach to Determinize Timed Automata / Frequencies in Forgetful Timed Automata..

68NQRT Seminar - October 2012 - Reachability of Communicating Timed Processes.

FORMATS'12 Conference - September 2012 - Frequencies in Forgetful Timed Automata.

VACSIM Meeting - September 2012 - Reachability of Communicating Timed Processes.

LIF Seminar - June 2012 - Emptiness and Universality Problems in Timed Automata with Positive Frequency.

LABRI Seminar - March 2012 - A Game Approach to Determinize Timed Automata.

MVV GDR Meeting - October 2011 - Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata.

ICALP'11 Conference - July 2011 - Emptiness and Universality Problems in Timed Automata with Positive Frequency.

FOSSACS'11 Conference - March 2011 - A Game Approach to Determinize Timed Automata.

68NQRT Seminar - January 2011 - A Game Approach to Determinize Timed Automata.

MOVEP PHD School - July 2010 - A Game Approach to Determinize Timed Automata.

MASTER Defense - July 2010 - Test d'automates temporisés.