Quelques-uns de mes exposés


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


Exposé invité à 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: Tutoriel et exposé invité Taipei (Taiwan), octobre 2019
TIME'19 Verification and Game Theory Malaga (Espagne), octobre 2019


Seminar au LIS (Marseille) Nash equilibria in games on graphs with a public signal monitoring Marseille (France), mai 2018
FoSSaCS'18 Nash equilibria in games on graphs with a public signal monitoring Thessalonique (Grêce), April 2018


Séminaire à l'IRIF Nash equilibria in games on graphs with a public signal monitoring Paris (France), décembre 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), novembre 2017
JPO LSVLet's play!Cachan, septembre 2017
KiMfestAverage-energy gamesAalborg (Danemark), août 2017
Logic ColloquiumOn the verification of timed systems... and beyondStockholm (Suède), août 2017
OPCT'17Stochastic timed automata and beyondVienne (Autriche), juin 2017
Séminaire DagstuhlAverage-energy games and beyondDagstuhl (Allemagne), mars 2017


MFCS'16On the optimal reachability problem in weighted timed automata and gamesCracovie (Pologne), août 2016
École DigicosmeTimed automata and beyond: On the quantitative analysis of timed systemsPalaiseau (France), mai 2016


TRENDS'15Stochastic timed automataMadrid (Espagne), septembre 2015
NCMA'15On the optimal reachability problem in weighted timed automata and gamesPorto (Portugal), août 2015
AutoMathA'15On the optimal reachability problem in weighted timed gamesLeipzig (Allemagne), mai 2015
Séminaire du CFVOn the optimal reachability problem in weighted timed gamesBruxelles (Belgique), mars 2015
Workshop ERCOn the value problem in weighted timed gamesVienne (Autriche), mars 2015
Séminaire DagstuhlApproximation of the value in a weighted timed gameDagstuhl (Allemagne), février 2015
Séminaire QuantLAOn the optimal reachability problem in weighted timed gamesDresde (Allemagne), janvier 2015


CONCUR'14Averaging in LTLRome (Italie), septembre 2014
École d'été de l'EATCSRobustness in Timed SystemsTelč (République Tchèque), juillet 2014
MOVEP'14An introduction to timed automataNantes (France), juillet 2014
GT Jeux du GDR IMRobustness in Timed Automata: A Game-Based ApproachParis (France), janvier 2014


RP'13Robustness in timed automataUppsala (Suède), septembre 2013
LCCC Workshop on Formal Verification of Embedded Control SystemsRobust control of timed systemsLund (Suède), avril 2013


IFIP WG 2.2 meetingQuantitative models for verification -- A timed-automata-based perspectiveParis (France), septembre 2011
Prix Presburger à ICALP'11A travelling story with timed automataZürich (Suisse), juillet 2011
GDR IM WorkshopNash equilibria in timed gamesParis (France), janvier 2011


WATA'10Energy management in timed systemsLeipzig (Allemagne), mai 2010
HSCC'10Timed automata with observers under energy constraintsStockholm (Suède), avril 2010
École de printemps AVACSFrom timed automata to complex systems - Stochastic timed gamesOldenbourg (Allemagne), mars 2010
QMC PhD schoolReal-time model-checking: Copenhague (Danemark), mars 2010
Séminaire DagstuhlManaging resources in timed systemsDagstuhl (Allemagne), janvier 2010


MSR'09Modelling, analyzing, and managing resources in timed systemsNantes (France), novembre 2009
École d'automne VTSA'09On the verification and control of timed systemsNancy (France), octobre 2009
QUANTLOG'09On the Model Checking of Timed and Weighted Temporal LogicsRhodes (Grèce), juillet 2009
Réunion QuasimodoWhen are Timed Automata Determinizable?Nijmegen (Pays-Bas), juin 2009
ACTS'09Quantitative Timed GamesChennai (Inde), janvier 2009
Soutenance d'habilitationFrom Qualitative to Quantitative Analysis of Timed SystemsCachan (France), janvier 2009


Séminaire FarmanEnergy consumption in timed systemsCachan (France), novembre 2008
GAMES'08Quantitative timed gamesVarsovie (Pologne), septembre 2008
Automata and verification workshopProbabilities in Timed AutomataMons (Belgique), août 2008
ICALP'08On Expressiveness and Complexity in Real-time Model CheckingReykjavík (Islande), juillet 2008
LICS'08Almost-Sure Model Checking of Infinite Paths in One-Clock Timed AutomataPittsburgh (PA, USA), juin 2008
Séminaire DagstuhlAn Introduction to Timed SystemsDagstuhl Schloss (Allemagne), avril 2008
SéminaireWeighted Timed Automata: Optimization ProblemsParis Dauphine (France), mars 2008
SéminaireProbabilities in Timed AutomataBordeaux (France), mars 2008
Workshop TFIT'08Model Checking Timed Temporal LogicsTaipei (Taiwan), mars 2008
Projet Quasimodo A probabilistic semantics for timed automataAalborg (Danemark), janvier 2008


M4M-5Model-checking timed temporal logicsCachan (France), novembre 2007
Les 10 ans du LSVOn the reduction of energy consumptionCachan (France), novembre 2007
FORMATS'07Symbolic Reachability Analysis of Lazy Linear Hybrid AutomataSalzburg (Autriche), octobre 2007
SéminaireThe Cost of PunctualityUppsala (Suède), mai 2007
FoSSaCS'07Model-Checking One-Clock Priced Timed AutomataBraga (Portugal), mars 2007
SéminaireA Probabilistic Semantics for Timed AutomataOxford (UK), mars 2007
SéminaireThe Cost of PunctualityParis (France), mars 2007


CORTOS'06Weighted Timed Automata: Model-Checking and GamesBonn (Allemagne), août 2006
MFPS XXIIWeighted Timed Automata: Model-Checking and GamesGênes (Italie), mai 2006
LATIN'06Robust Model-Checking of Linear-Time Properties in Timed AutomataValdivia (Chili), mars 2006


Journées PaRISTICACI Sécurité Informatique CORTOSBordeaux (France), novembre 2005
MSR'05Observation partielle des systèmes temporisésAutrans (France), octobre 2005
École d'été ARTIST2Foundations of Timed SystemsNässlingen (Suède), octobre 2005
École d'été ETR'05Vérification de systèmes temporisés et hybridesNancy (France), septembre 2005
AVoCS'05Optimal Timed GamesWarwick (Grande-Bretagne), septembre 2005
INFINITY'05Optimal Reachability Timed GamesSan Francisco (CA, USA), août 2005
GDV'05Partial Observation of Timed SystemsÉdimbourg (Grande-Bretagne), juillet 2005
École de printemps GAMESSynthesis of Timed SystemsBonn (Allemagne), mars 2005
JSI'05Automates temporisés et extensions : frontières de la décidabilitéCachan (France), mars 2005


FSTTCS'04Optimal Strategies in Priced Timed Game AutomataChennai (Inde), décembre 2004
École d'hiver MOVEP'04Real-Time and Hybrid SystemsBruxelles (Belgique), décembre 2004
Tutoriel à QEST'04Timed Automata - From Theory to ImplementationTwente (Pays-Bas), septembre 2004
École de printemps EPIT32Timed Models for Concurrent SystemLuminy (France), avril 2004
HSCC'04Staying Alive as Cheaply as PossiblePhiladelphie (PA, USA), mars 2004
Intro à la vérificationIntroduction à la modélisation et à la vérification
Application aux systèmes temporisés
Cachan (France), septembre 2004


CAV'03Timed Control with Partial ObservabilityDenver (CO, USA), juillet 2003
ACL'03Timed Automata - From Theory to ImplementationChennai (Inde), janvier 2003

Retour à ma page principale

À propos du LSV