Invited tutorial at CIRM research school | The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs | Marseille (France), January 2023 |
Regular talk at FSTTCS'22 | Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games | Chennai (India), December 2022 |
Invited talk at FSTTCS'22 | The true colors of memory: A tour of chromatic-memory strategies in zero-sum games on graphs | Chennai (India), December 2022 |
Invited talk at the 20th anniversary of FORMATS | Zone-based verification of timed automata: Extrapolations, simulations and what next? | Warsaw (Poland), September 2022 |
Invited talk at FoIKS'22 | Memory complexity for winning games on graphs | Helsinki (Finland), June 2022 |
Invited talk at RV'21 | On the (Approximate) Analysis of Stochastic Real-Time Systems | Online, October 2021 |
Invited talk at CONCUR'21 | Parameterized concurrent games | Online, August 2021 |
Invited talk at GDR GPL (blog post) | De l'analyse automatique de systèmes temporisés au contrôle de systèmes dynamiques | Online, June 2021 |
Invited talk at Spotlight on Games | On finite-memory determinacy of games on graphs | Online, October 2020 |
Invited talk at RP'20 | When are Finite Games Finite-Memory Determined? | Online, October 2020 |
ATVA'19 | Game Theory and Verification: Tutorial and Talk | Taipei (Taiwan), October 2019 |
TIME'19 | Verification and Game Theory | Malaga (Spain), October 2019 |
Seminar at LIS (Marseille) | Nash equilibria in games on graphs with a public signal monitoring | Marseille (France), May 2018 |
FoSSaCS'18 | Nash equilibria in games on graphs with a public signal monitoring | Thessaloniki (Greece), April 2018 |
Seminar at IRIF | Nash equilibria in games on graphs with a public signal monitoring | Paris (France), December 2017 |
Workshop "Resource-aware Strategic Reasoning in Multi-agent Systems: Logic & Games" | Nash equilibria in games on graphs with a public signal monitoring | Evry (France), November 2017 |
JPO LSV | Let's play! | Cachan, September 2017 |
KiMfest | Average-energy games | Aalborg (Denmark), August 2017 |
Logic Colloquium 2017 | On the verification of timed systems... and beyond | Stockholm (Sweden), August 2017 |
OPCT'17 | Stochastic timed automata and beyond | Vienna (Austria), June 2017 |
Dagstuhl seminar | Average-energy games and beyond | Dagstuhl Schloß (Germany), March 2017 |
MFCS'16 | On the optimal reachability problem in weighted timed automata and games | Krakow (Poland), August 2016 |
Digicosme school | Timed automata and beyond: On the quantitative analysis of timed systems | Palaiseau (France), May 2016 |
TRENDS'15 | Stochastic timed automata | Madrid (Spain), September 2015 |
NCMA'15 | On the optimal reachability problem in weighted timed automata and games | Porto (Portugal), August 2015 |
AutoMathA'15 | On the optimal reachability problem in weighted timed games | Leipzig (Germany), May 2015 |
CFV Seminar | On the optimal reachability problem in weighted timed games | Brussels (Belgium), March 2015 |
Workshop ERC | On the value problem in weighted timed games | Vienna (Austria), March 2015 |
Dagstuhl seminar | Approximation of the value in a weighted timed game | Dagstuhl Schloß (Germany), February 2015 |
QuantLA Seminar | On the optimal reachability problem in weighted timed games | Dresden (Germany), January 2015 |
CONCUR'14 | Averaging in LTL | Roma (Italy), September 2014 |
EATCS Summer School | Robustness in Timed Systems | Telč (Czech Republic), July 2014 |
MOVEP'14 | An introduction to timed automata | Nantes (France), July 2014 |
GT Games of GDR IM | Robustness in Timed Automata: A Game-Based Approach | Paris (France), January 2014 |
RP'13 | Robustness in timed automata | Uppsala (Sweden), September 2013 |
LCCC Workshop on Formal Verification of Embedded Control Systems | Robust control of timed systems | Lund (Sweden), April 2013 |
IFIP WG 2.2 meeting | Quantitative models for verification -- A timed-automata-based perspective | Paris (France), September 2011 |
Presburger Award at ICALP'11 | A travelling story with timed automata | Zürich (Switzerland), July 2011 |
Journées du GDR IM | Nash equilibria in timed games | Paris (France), January 2011 |
WATA'10 | Energy management in timed systems | Leipzig (Germany), May 2010 |
HSCC'10 | Timed automata with observers under energy constraints | Stockholm (Sweden), April 2010 |
AVACS Spring School | From timed automata to complex systems - Stochastic timed games | Oldenburg (Germany), March 2010 |
QMC PhD school | Real-time model-checking:
| Copenhagen (Denmark), March 2010 |
Dahstuhl seminar | Managing resources in timed systems | Dagstuhl Schloß (Germany), January 2010 |
MSR'09 | Modelling, analyzing, and managing resources in timed systems | Nantes (France), November 2009 |
Autumn School VTSA'09 | On the verification and control of timed systems | Nancy (France), October 2009 |
QUANTLOG'09 | On the Model Checking of Timed and Weighted Temporal Logics | Rhodes (Greece), July 2009 |
Quasimodo meeting | When are Timed Automata Determinizable? | Nijmegen (The Netherlands), June 2009 |
ACTS'09 | Quantitative Timed Games | Chennai (India), January 2009 |
Habilitation defense | From Qualitative to Quantitative Analysis of Timed Systems | Cachan (France), January 2009 |
Farman seminar | Energy consumption in timed systems | Cachan (France), November 2008 |
GAMES'08 | Quantitative timed games | Warsaw (Poland), September 2008 |
Automata and verification workshop | Probabilities in Timed Automata | Mons (Belgium), August 2008 |
ICALP'08 | On Expressiveness and Complexity in Real-time Model Checking | Reykjavík (Iceland), July 2008 |
LICS'08 | Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata | Pittsburgh (PA, USA), June 2008 |
Dagstuhl seminar | An Introduction to Timed Systems | Dagstuhl Schloss (Germany), April 2008 |
Seminar | Weighted Timed Automata: Optimization Problems | Paris Dauphine (France), March 2008 |
Seminar | Probabilities in Timed Automata | Bordeaux (France), March 2008 |
Workshop TFIT'08 | Model Checking Timed Temporal Logics | Taipei (Taiwan), March 2008 |
Quasimodo kick-off meeting | A probabilistic semantics for timed automata | Aalborg (Denmark), January 2008 |
M4M-5 | Model-checking timed temporal logics | Cachan (France), November 2007 |
10 years of LSV | On the reduction of energy consumption | Cachan (France), November 2007 |
FORMATS'07 | Symbolic Reachability Analysis of Lazy Linear Hybrid Automata | Salzburg (Austria), October 2007 |
Seminar | The Cost of Punctuality | Uppsala (Sweden), May 2007 |
FoSSaCS'07 | Model-Checking One-Clock Priced Timed Automata | Braga (Portugal), March 2007 |
Seminar | A Probabilistic Semantics for Timed Automata | Oxford (UK), March 2007 |
Seminar | The Cost of Punctuality | Paris (France), March 2007 |
CORTOS'06 | Weighted Timed Automata: Model-Checking and Games | Bonn (Germany), August 2006 |
MFPS XXII | Weighted Timed Automata: Model-Checking and Games | Genova (Italy), May 2006 |
LATIN'06 | Robust Model-Checking of Linear-Time Properties in Timed Automata | Valdivia (Chile), March 2006 |
PaRISTIC's days | CORTOS Project | Bordeaux (France), November 2005 |
MSR'05 | Observation partielle des systèmes temporisés | Autrans (France), October 2005 |
Summer school ARTIST2 | Foundations of Timed Systems | Nässlingen (Sweden), October 2005 |
Summer school ETR'05 | Vérification de systèmes temporisés et hybrides | Nancy (France), September 2005 |
AVoCS'05 | Optimal Timed Games | Warwick (UK), September 2005 |
INFINITY'05 | Optimal Reachability Timed Games | San Francisco (USA), August 2005 |
GDV'05 | Partial Observation of Timed Systems | Edinburgh (UK), July 2005 |
Spring school GAMES | Synthesis of Timed Systems | Bonn (Germany), March 2005 |
JSI'05 | Automates temporisés et extensions : frontières de la décidabilité | Cachan (France), March 2005 |
FSTTCS'04 | Optimal Strategies in Priced Timed Game Automata | Chennai (India), December 2004 |
Winter school MOVEP'04 | Real-Time and Hybrid Systems | Brussels (Belgium), December 2004 |
Tutorial at QEST'04 | Timed Automata - From Theory to Implementation | Twente (The Netherlands), September 2004 |
Spring school EPIT32 | Timed Models for Concurrent System | Luminy (France), April 2004 |
HSCC'04 | Staying Alive as Cheaply as Possible | Philadelphia (USA), March 2004 |
Intro to verification | Introduction à la modélisation et à la vérification Application aux systèmes temporisés | Cachan (France), September 2004 |
CAV'03 | Timed Control with Partial Observability | Denver (CO, USA), July 2003 |
ACL'03 | Timed Automata - From Theory to Implementation | Chennai (India), January 2003 |