Datesort icon Speaker Title
04/12/2009 Alain Finkel Well Structured Transition Systems
27/11/2009 Raffaella Gentilini Faster Pseudo-Polynomial Algorithms for Mean-Payoff Games
27/11/2009 Christof Löding Boundedness problems for finite automata
08/05/2009 Ranko Lazic Automata and logics on structures with data
08/05/2009 Julien Brusten A Generalization of Semenov's Theorem to Automata over Real Numbers
03/04/2009 José Vander Meulen Efficient Symbolic Model Checking for Process Algebras
03/04/2009 Thomas Wilke Complementation and Determinization of Büchi Automata
13/02/2009 Jerome Leroux The General Vector Addition System Reachability Problem by Presburger Inductive Invariants" and "TaPAS : The Talence Presburger Arithmetic Suite
18/12/2008 Hugo Gimbert Détermination et décidabilité des jeux stochastiques à observation partielle
12/12/2008 Arnaud Da Costa Lopes ATL with strategy contexts
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
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
30/05/2008 Christel Baier Probabilistic Buechi automata
30/05/2008 Jean-François Raskin Equivalence of Labelled Markov Chains
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
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
15/02/2008 Steve Kremer Computational Soundness of Formal Security Protocol Analysis
15/02/2008 Jean-François Raskin Visibly Pushdown Transducers
07/12/2007 Frank Neven Automata and XML
07/12/2007 Thomas Brihaye Timed Concurrent Game Structures
26/10/2007 Nicolas Markey Robust Analysis of Timed Automata
08/06/2007 Ben Moszkowski Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
11/05/2007 Manuel Hermenegildo Development of Safe and Efficient Programs using Abstract Interpretation and the CiaoPP System
08/03/2007 Holger Hermanns A modest approach to practical formal methods
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/12/2006 Kim G. Larsen UPPAAL Tiga -- Controller Synthesis for Real-Time Systems
24/11/2006 Franck Cassez Monitoring and Fault Diagnosis for Real-Time Systems
14/04/2006 Kousha Etessami Analysis of Recursive Markov Chains, Recursive Markov Decision Processes, and Recursive Stochastic Games
17/02/2006 Francesco Ranzato Abstract interpretation-based strong preservation of abstract model checking
16/12/2005 Petr Jancar Some techniques and results in deciding bisimilarity
16/12/2005 Thierry Jéron Test Generation using Verification
25/11/2005 Theo Ruys SPIN: A Swiss Army Knife
20/05/2005 Stavros Tripakis Decidable and undecidable problems in decentralized observation and control
15/04/2005 Paul Gastin Contrôle de systèmes distribués.
04/03/2005 Denis Lugiez Quelques problèmes dans l'arithmétique de Presburger et l'arithmétique de Skolem.
12/11/2004 Frits Vaandrager Model Checker Aided Design of a Controller for a Wafer Scanner
18/06/2004 Stéphane Demri Parameterized model checking problems
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
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
19/03/2004 Salvatore la Torre Deciding Games in LTL Fragments
24/02/2004 Parosh Aziz Abdulla In and Out of WQOs - Model Checking of Parameterized Time Systems