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