Quelques-uns de mes exposés

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

2016

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

2015

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

2014

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

2013

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

2011

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

2010

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

2009

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

2008

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

2007

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

2006

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

2005

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

2004

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

2003

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