Slides of my talks

2017
Behavioral Specification Theories, MALTHY project meeting, 27 January.
A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories at SOFSEM 2017, 16 January.
La vérifiation formelle pour assurer la sureté des systèmes cyber-physiques à Jeudi X, 12 janvier. Video
2016
Behavioral Specification Theories, MRIS project meeting, 24 November.
Pomset Languages of Higher-Dimensional Automata at NWPT 2016, 1 November.
Timed Automata and Friends, MRIS project meeting, 13 June.
*-Continuous Kleene ω-Algebras: Theory and Applications at WATA 2016, 28 April.
What is Known about Weighted Games? at WATA 2016, 25 April.
2015
A *-Continuous Kleene ω-Algebra for Real-Time Energy Problems at FSTTCS 2015, 17 December.
Partial Higher-Dimensional Automata, LIX Cosynus seminar, 26 November.
A *-Continuous Kleene ω-Algebra for Real-Time Energy Problems, MALTHY project meeting, 2 November.
*-Continuous Kleene ω-Algebras at FICS 2015, 12 September.
Partial Higher-Dimensional Automata, CALCO 2015, 25 June.
Measuring Behaviour Interactions between Product-Line Features at FormaliSE 2015, 18 May.
2014
Measuring Global Similarity between Texts at SLSP 2014, 14 October.
Configurable Formal Methods for Extreme Modeling at XM 2014, 29 September.
Structural Refinement for the Modal nu-Calculus at ICTAC 2014, 19 September.
A Compositional Algebra of Specifications at QuantLA research seminar, 17 June.
From Linear to Branching Distances: The Role of Recursion at Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl seminar), 24 January.
Kleene Algebras and Semimodules for Energy Problems at Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl seminar), 20 January.
2013
Generalized Quantitative Analysis of Metric Transition Systems at APLAS 2013, 10 December.
Kleene Algebras and Semimodules for Energy Problems at ATVA 2013, 16 October.
Generalized Quantitative Analysis of Metric Transition Systems at MEALS 2013, 31 August.
Refinement and Difference for Probabilistic Automata at QEST 2013, 27 August.
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. LICS 2013 short presentation, 27 June.
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps at MFPS XXIX, 24 June.
2012
General Quantitative Specification Theories (with Modalities) at CSR 2012, 3 July.
Büchi Conditions for Generalized Energy Automata at WATA 2012, 30 May.
The Quantitative Linear-Time--Branching-Time Spectrum. CEA LIST MeASI seminar, Saclay, 5 April.
The Quantitative Linear-Time--Branching-Time Spectrum. LaBRI seminar, Bordeaux, 29 March.
The Quantitative Linear-Time--Branching-Time Spectrum. CISS breakfast talk, Aalborg University, 31 January.
The Quantitative Linear-Time--Branching-Time Spectrum. Séminaire 68NQRT, IRISA Rennes, 12 January.
2011
The Quantitative Linear-Time--Branching-Time Spectrum at FSTTCS 2011, 12 December.
Quantitative Refinement for Weighted Modal Transition Systems at MFCS 2011, 22 August.
Playing Games with Metrics: Distances for Weighted Transition Systems at QAPL 2011, 3 April.
Playing Games with Metrics: Distances for Weighted Transition Systems. Séminaire 68NQRT, IRISA Rennes, 6 January.
2010
Playing Games with Metrics. Topology seminar, Aalborg University, 26 November.
From linear to branching distances and back (via games). MT-Lab seminar, 18 June.
Quantitative analysis: Examples, applications, generalities. IST Austria seminar, 19 May.
Linear and branching distances for weighted automata at WATA 2010, 4 May.
2009
To use model checking for control design at MLQA 2009, 28 March.
Discounting in time at QAPL 2009, 28 March.
Multi-product batch plant at a DaNES meeting, 13 March.
Infinite runs in priced timed automata: Discounting. CISS breakfast talk, Aalborg University, 25 February.
Infinite runs in priced timed automata: Discounting at QUASIMODO-3, 17 February.
2008
Discount-optimal infinite runs in priced timed automata at INFINITY 2008, 23 August.
EXPTIME-complete decision problems for modal and mixed specifications at EXPRESS 2008, 23 August.
Simulation hemi-metrics for timed systems, with relations to ditopology at ATMCS 2008, 7 July.
Quantitative aspects of behavioural equivalence for real-time systems. CISS breakfast talk, Aalborg University, 29 May.
How to pull back open maps along semantics functors at ACCAT 2008, 30 March.
2007
"Inverse semantics" for timed automata. CISS talk, Aalborg University, 27 November.
2005
A Category of Higher-Dimensional Automata at FoSSaCS 2005, 6 April.
Bisimulation for Higher-Dimensional Automata: a Geometric Interpretation at the Fields-Ottawa Workshop on the Geometry of Very Large Data Sets, 25 February.