• Home
• Publications
• Talks
• Teaching
• Misc

Below are the slides of most of the talks I gave.

Invited talk at FoSSaCS'22 - 5 April 2022 - Parameterized verification of round-based distributed algorithms.

Invited talk at Journées du GDR-IM 2022 - 29 Mars 2022 - Les algorithmes distribués, un terrain de jeu formidable pour la vérification. Check out the video.

Invited talk at OPODIS'21 - 13 December 2021 - Distributed algorithms: a challenging playground for model checking. Due to the covid pandemics, the conference was hybrid and I gave the talk online.

Invited talk at DisCoTec'20 - 17 June 2020 - Modeling and Verifying Randomized Fault-tolerant Distributed Algorithms. Due to the covid pandemics, the conference was held online, you can watch the video I recorded with OBS.

Talk at CFV seminar - 5 June 2020 - Games with arbitrarily many players. Due to the covid pandemics, the seminar was held online (and recorded) on Big Blue button. You can watch the playback.

Invited talk at Formats'19 - 28 August 2019 - Taming real-time stochastic systems.

French only Présentation à la journée Carrières académiques et industrielles : que faire avec un doctorat en informatique - 6 décembre 2018 - Le concours et le métier de chercheur/chercheuse Inria

Talk at TACAS'18 - 18 April 2018 - Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks.

Invited talk at SynCoP & PV'18 - 14 April 2018 - Controlling a population of identical NFA.

Talk at the workshop on Open problems in concurrency theory - 28 June 2017 - Controlling a population.

Talk at the workshop to celebrate 20 years of LSV - 12 May 2017 - Controlling a population of identical NFA.

Presentation at the GDR IM annual meeting - 15 March 2017 - Controlling probabilistic systems under Partial Observation.

Talk at the workshop Uncertainty in Computation workshop - October 2016 - Controlling Probabilistic Systems Under Partial Observation.

Talk at the workshop Infinity'16 - August 26th 2016 - Fault diagnosis in infinite-state probabilistic systems.

Talk at NUS for the workshop on Communicating, Distributed and Parameterized Systems - August 22nd 2016 - Local strategies in parameterized networks.

Lecture at MOVEP summer school in Genova - June 28th 2016 - Control of Probabilistic Systems under Partial Observation.

Invited talk at MFPS'16 - May 25th 2016 - A semantical and algorithmics journey to fault diagnosis of probabilistic systems.

French only Exposé pour des lycén-ne-s suivant l'option ISN - March 3rd 2016 - Résoudre des problèmes pratiques grâce à la théorie des graphes.

Talk at Trends and Challenges in Quantitative Verification - February 2nd 2016 - Controlling a population of identical MDP.

Invited talk at MSR - November 18th 2015 - Fault diagnosis for probabilistic systems.

Habilitation Defense - November 16th 2015 - Contributions to the verification and control of probabilistic and timed systems.

Invited talk at GandALF - September 22nd 2015 - Parameterized verification of probabilistic networks.

EJC IM young researchers school - April 1st 2015 - Control of probabilistic systems under partial observation. In French.

FSTTCS - Decembre 16th 2014 - Foundations of diagnosis and predicatability for probabilistic systems.

QEST - September 9th 2014 - Value 1 problem for decision stochastic timed automata.

FoSSaCS - April 8th 2014 - Active Diagnosis for probabilistic systems.

CFV seminar short talk - January 31st 2014 - Active Diagnosis for probabilistic systems.

GT verif annual meeting - June 17th-18th 2013 - Probabilistic model checking: from finite to parameterized systems.

FORMATS - September 19th 2012 - Playing optimally on timed automata with random delays.

CSL - September 5th 2012 - Bounded satisfiability for PCTL.

Oxford Verification Seminar - June 6th 2012 - Probabilities and partial observation: from probabilistic omega-automata to stochastic games with imperfect information.

FSTTCS - December 14th 2011 - Minimal disclosure in Partially Observable Markov Decision Processes

Verimag Seminar - June 30th 2011 - Determinizing Timed Automata

CFV Seminar - May 20th 2011 - Determinizing Timed Automata

ACTS III Workshop - January 29th 2011 - A Game Approach to Determinize Timed Automata

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