| 2011/10/25 | ATL with strategy contexts | Workshop GIPSy (Rennes, France) |
| 2011/09/17 | ATL and extensions | LogICCC final conference (Berlin, Germany) |
| 2011/09/10 | Quantified CTL model checking | GASICS'11 (Aachen, Germany) |
| 2011/06/15 | Robustness in Real-Time Systems | SIES'11 (Västerås, Sweden) |
| 2011/04/08 | Verification of Embedded Systems — Algorithms and Complexity | Habilitation defense (Cachan, France) |
| 2011/02/15 | ATL with strategy contexts | Seminar (Aachen, Germany) |
| 2010/12/17 | Computing Rational Radical Sums in Uniform TC0 | FSTTCS'10 (Chennai, India) |
| 2010/12/15 | ATL with strategy contexts | FSTTCS'10 (Chennai, India) |
| 2010/12/09 | ATL with strategy contexts | Seminar (Rennes, France) |
| 2010/03/03 | Timed temporal logics | QMC school (Copenhagen, Denmark) |
| 2010/03/03 | Weighted timed automata | QMC school (Copenhagen, Denmark) |
| 2010/02/02 | Nash equilibria in concurrent and timed games | Seminar (Aachen, Germany) |
| 2009/02/25 | Infinite Runs in Weighted Timed Automata with Energy Constraints | Seminar (Konstanz, Germany) |
| 2008/09/15 | Infinite Runs in Weighted Timed Automata with Energy Constraints | FORMATS'08 (St Malo, France) |
| 2008/06/23 | Timed Systems -- Model Checking and Games | MOVEP'08 (Nouan le Fuzelier, France) |
| 2008/06/16 | Good Friends are Hard to Find! | TIME'08 (Montréal, QC, Canada) |
| 2008/02/07 | Robust Model Checking via Channel Automata | Tresor Seminar (EPFL, Lausanne, Switzerland) |
| 2007/10/26 | Robust Analysis of Timed Automata | CFV seminar (ULB, Brussels, Belgium) |
| 2007/10/04 | Costs are Expensive! | FORMATS'07 (Salzburg, Austria) |
| 2007/09/05 | Implementability of Timed Controllers | ETR'07 (Nantes, France) |
| 2007/02/05 | Verifying (1-clock) priced timed automata | Groupe de travail 'Vérification' (LIAFA, Paris, France) |
| 2007/02/01 | Verifying (1-clock) priced timed automata | Groupe de travail MVTsi (LaBRI, Bordeaux, France) |
| 2006/12/15 | Almost optimal strategies in 1-clock priced timed automata | FSTTCS'06 (Kolkata, India) |
| 2006/12/01 | Verifying (1-clock) priced timed automata | Concurrency Seminar (OUCL, Oxford, UK) |
| 2006/10/18 | Verification of Multi-Agent Systems with ATL | FNRS day "Synthesis and Verification" (ULB, Brussels, Belgium) |
| 2006/07/31 | Expressiveness of Temporal Logics | ESSLLI'06 (Malaga, Spain) |
| 2006/03/14 | On the expressiveness and complexity of ATL | "Recherches en vérification automatique" days (LSV, Cachan, France) |
| 2006/02/16 | On the expressiveness of TPTL and MTL | Seminar of the Computer Science Dept. (ULB, Brussels, Belgium) |
| 2005/12/17 | On the expressiveness of TPTL and MTL | FST&TCS'05 (Hyderabad, India) |
| 2005/12/12 | On the expressiveness of TPTL and MTL | Groupe de travail 'Vérification' (LIAFA, Paris, France) |
| 2004/09/23 | Symbolic Model Checking for Simply Timed Systems | FORMATS+FTRTFT'04 (Grenoble, France) |
| 2004/09/01 | Model Checking Restricted Sets of Timed Paths | CONCUR'04 (London, UK) |
| 2004/05/03 | Path model checking | Groupe de travail 'Vérification' (LIAFA, Paris, France) |
| 2004/04/22 | Path model checking | VERIMAG seminar (VERIMAG, Grenoble, France) |
| 2004/03/19 | Model Checking Restricted Sets of Timed Paths | CFV seminar (ULB, Brussels, Belgium) |
| 2004/01/29 | Model Checking a Path | Seminar 68NQRT (IRISA, Rennes, France) |
| 2003/09/04 | Model checking a path | CONCUR'03 (Marseille, France) |
| 2003/04/03 | Logiques temporelles pour la vérification : expressivité, complexité, algorithmes | PhD defence (LIFO, Orléans, France) |
| 2003/02/11 | Temporal Logics with Forgettable Past | ANU Seminar (ANU, Canberra, Australia) |
| 2002/11/08 | Temporal Logics with Forgettable Past | Seminar 68NQRT (IRISA, Rennes, France) |
| 2002/08/19 | Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past | EXPRESS'02 (Brno, Czech Republic) |
| 2002/04/12 | On Model-Checking Durational Kripke Structures | FoSSaCS'02 (Grenoble, France) |
| 2002/03/18 | Temporal Logics with Forgettable Past | Groupe de travail 'Vérification' (LIAFA, Paris, France) |
| 2001/04/04 | Model-checking CTL+ and FCTL is hard | FoSSaCS'01 (Genoa, Italy) |