Some slides of recent talks

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.