Revues internationales avec comité de lecture

Conférences internationales avec comité de lecture

Thèse

  • Le manuscript est ici.
  • Les transparents de la soutenance sont ici.
  • Les rapport de soutenance et de pré-soutenance sont ici.

Rapports de stage

Article en cours de soumission

B. Barbot, N. Basset, M. Beunardeau et M. Kwiatkowska, Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. Version soumise disponible ici.