Datesort icon Speaker Title
17/01/2003 Wolfgang Thomas Infinite Games: Fundamental Results and Some Perspectives
21/02/2003 Yassine Lakhnech Automatic verification of unbounded security protocols
21/03/2003 Philippe Schnoebelen The Verification of Probabilistic Lossy Channel Systems
09/05/2003 Ahmed Bouajjani Automata-theoretic techniques for the analysis of multithreaded programs
13/06/2003 Joost-Pieter Katoen Performance Evaluation and Model Checking: a Perfect Match
17/10/2003 Anca Muscholl Validating Message Sequence Charts
14/11/2003 Javier Esparza, Model checking pushdown processes
19/12/2003 Michael Leuschel ProB: A Model Checker for B
24/02/2004 Parosh Aziz Abdulla In and Out of WQOs - Model Checking of Parameterized Time Systems
19/03/2004 Salvatore la Torre Deciding Games in LTL Fragments
23/04/2004 Pascal Van Hentenryck Constraint-based Local Search
23/04/2004 Isabelle Pollet Towards a generic framework for the abstract interpretation of Java
23/04/2004 Markus Müller-Olm Program Analysis with Exact Approximations
28/05/2004 Franck Cassez Optimal Strategies in Priced Timed Game Automata
28/05/2004 Thomas Henzinger The Holy Grail of Computer Science: Automatic Program Verification
28/05/2004 Laurent Van Begin Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
18/06/2004 Stéphane Demri Parameterized model checking problems
12/11/2004 Frits Vaandrager Model Checker Aided Design of a Controller for a Wafer Scanner
04/03/2005 Denis Lugiez Quelques problèmes dans l'arithmétique de Presburger et l'arithmétique de Skolem.
15/04/2005 Paul Gastin Contrôle de systèmes distribués.
20/05/2005 Stavros Tripakis Decidable and undecidable problems in decentralized observation and control
25/11/2005 Theo Ruys SPIN: A Swiss Army Knife
16/12/2005 Petr Jancar Some techniques and results in deciding bisimilarity
16/12/2005 Thierry Jéron Test Generation using Verification
17/02/2006 Francesco Ranzato Abstract interpretation-based strong preservation of abstract model checking
14/04/2006 Kousha Etessami Analysis of Recursive Markov Chains, Recursive Markov Decision Processes, and Recursive Stochastic Games
24/11/2006 Franck Cassez Monitoring and Fault Diagnosis for Real-Time Systems
08/12/2006 Kim G. Larsen UPPAAL Tiga -- Controller Synthesis for Real-Time Systems
15/12/2006 Marcin Jurdziński Subexponential algorithms for solving parity games
15/12/2006 Franck Cassez Monitoring and Fault-Diagnosis with Digital Clocks
08/03/2007 Holger Hermanns A modest approach to practical formal methods
11/05/2007 Manuel Hermenegildo Development of Safe and Efficient Programs using Abstract Interpretation and the CiaoPP System
08/06/2007 Ben Moszkowski Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
26/10/2007 Nicolas Markey Robust Analysis of Timed Automata
07/12/2007 Frank Neven Automata and XML
07/12/2007 Thomas Brihaye Timed Concurrent Game Structures
15/02/2008 Steve Kremer Computational Soundness of Formal Security Protocol Analysis
15/02/2008 Jean-François Raskin Visibly Pushdown Transducers
14/03/2008 Blaise Genest Searchs in graphs for Verification and Partial Order Reductions
14/03/2008 Cedric Meuter PhD Defense: Development and Validation of Distributed Reactive Control Systems
09/05/2008 Frédéric Herbreteau Unfolding Concurrent Well-Structured Transition Systems
09/05/2008 Julien Brusten On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
30/05/2008 Christel Baier Probabilistic Buechi automata
30/05/2008 Jean-François Raskin Equivalence of Labelled Markov Chains
17/10/2008 Christophe Morvan Regular graphs : a perfect model for infinite state systems?
17/10/2008 Gabriel Kalyon Control of Infinite Symbolic Transitions Systems under Partial Observation
28/11/2008 James Worrell On Termination of Linear Programs and the Skolem Problem
28/11/2008 Jean-François Degbomont Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization
12/12/2008 Arnaud Da Costa Lopes ATL with strategy contexts
18/12/2008 Hugo Gimbert Détermination et décidabilité des jeux stochastiques à observation partielle