Date Speaker Titlesort icon
21/02/2014 Eun-Young Kang Enabling Schedulability Analysis for Automotive Systems
27/04/2012 Rupak Majumdar End-to-end arguments in embedded control systems
30/05/2008 Jean-François Raskin Equivalence of Labelled Markov Chains
06/06/2014 Julie De Pril Existence of Secure Equilibrium in Multi-Player Games with Perfect Information
28/05/2004 Laurent Van Begin Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
27/02/2015 Emmanuel Filiot Finite-Valued Weighted Automata
18/04/2013 Wolfgang Thomas Francqui Chair Inaugural Lecture
03/05/2013 Wolfgang Thomas Francqui Chair: Games
26/04/2013 Wolfgang Thomas Francqui Chair: Monadic Theories
24/02/2017 Serge Haddad From Continuous Petri nets to Petri nets and Back
16/05/2014 Emmanuel Filiot From Two-Way to One-Way Finite State Transducers
13/05/2011 Emmanuel Filiot Height Bounded Memory Visibly Pushdown Transductions
12/03/2010 Jean-François Degbomont Implicit Real Vector Automata
24/02/2004 Parosh Aziz Abdulla In and Out of WQOs - Model Checking of Parameterized Time Systems
17/01/2003 Wolfgang Thomas Infinite Games: Fundamental Results and Some Perspectives
28/05/2010 Nicolas Maquet Lattice-Valued Binary Decision Diagrams
20/05/2011 Sébastien Combéfis Learning System Abstractions for Human-Machine Interactions
28/03/2014 Mahsa Shirmohammadi Limit Synchronization in Markov Decision Processes​
19/05/2017 Martin Zimmermann Logics for Hyperproperties
24/05/2012 Luc Segoufin Logics with unary and guarded negations.
29/03/2013 Mickaël Randour Looking at Mean-Payoff and Total-Payoff through Windows
24/02/2017 Hsi-Ming Ho Metric Interval Temporal Logic Revisited
12/11/2004 Frits Vaandrager Model Checker Aided Design of a Controller for a Wafer Scanner
14/11/2003 Javier Esparza, Model checking pushdown processes
25/03/2011 Catalin Dima Model-checking ATL with imperfect information
04/11/2011 Arnaud Sangnier Model-checking linear temporal properties over counter systems.
24/11/2006 Franck Cassez Monitoring and Fault Diagnosis for Real-Time Systems
15/12/2006 Franck Cassez Monitoring and Fault-Diagnosis with Digital Clocks
11/02/2011 Giorgio Delzanno Monotonic Approximations in Parameterized Verification
14/12/2012 Jean-François Raskin Multi-dimension Quantitative Games: Complexity and Strategy Synthesis
30/11/2012 Thomas Brihaye Multiplayer cost games with simple Nash equilibria
12/12/2014 Ocan Sankur Multiple-Environment Markov Decision Processes
25/01/2013 Romain Brenguier Nash Equilibria in Concurrent and Timed Games
29/01/2016 Stéphane Le Roux Nash equilibrium in multi-player multi-outcome games on finite graphs
28/10/2013 Nicolas Markey, Quentin Menet, Mickael Randour, James Worrell Nord pas de Calais/Belgium Congress of Mathematics: Game Theory
20/05/2016 Ismaël Jecker On Equivalence and Uniformisation Problems for Finite Transducers
25/03/2011 Thomas Brihaye On Reachability for Hybrid Automata over Bounded Time
19/05/2017 Ismael Jecker On Reversible Transducers
28/03/2014 Jérôme Leroux On the Boundedness Problem for Pushdown Vector Addition Systems
20/03/2015 Patricia Bouyer-Decitre On the optimal reachability problem in weighted timed games
09/05/2008 Julien Brusten On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
19/05/2017 Benjamin Monmege Optimal Reachability in Divergent Weighted Timed Games
28/05/2004 Franck Cassez Optimal Strategies in Priced Timed Game Automata
18/06/2004 Stéphane Demri Parameterized model checking problems
12/12/2014 Arnaud Sangnier Parameterized Reachability in Networks with Many Identical Processes
28/11/2008 Jean-François Degbomont Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization
10/06/2011 Pierre Ganty Pattern-based Verification for Multithreaded Programs
23/01/2015 Mickael Randour Percentile Queries in Multi-Dimensional Markov Decision Processes
13/06/2003 Joost-Pieter Katoen Performance Evaluation and Model Checking: a Perfect Match
26/09/2011 Frédéric Servais PhD Defense on Visibly Pushdown Transducers