Paulin Fournier

Postdoctoral fellow

Paulin Fournier

Talks

  • Cassting - 2016 - Approximation of extremal probabilities in infinite MDP, Eindhoven, Netherlands
  • Cassting - 2015 - Playing with probabilities in parameterized networks, Paris, France
  • YR-CONCUR - 2013 - Parameterized verification of networks with many identical probabilistic timed processes, Buenos Aires, Argentine
  • GT-Verif - 2013 - Parameterized Verification of Probabilistic Networks, Groupe de travail sur la vérification, Paris, France
  • MOVEP PHD School - 2012 - Parameterized verification of networks with many identical probabilistic processes, Marseille, France
  • MASTER Defense - 2012 - Parameterized verification of probabilistic wireless network