Datesort icon Speaker Title
11/02/2011 Giorgio Delzanno Monotonic Approximations in Parameterized Verification
17/12/2010 Alexander Linden An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
17/12/2010 Michael Ummels The Complexity of Nash Equilibria in Stochastic Games
28/05/2010 Nicolas Maquet Lattice-Valued Binary Decision Diagrams
28/05/2010 Laurent Doyen Quantitative languages: weighted automata and beyond
07/05/2010 Frédéric Servais Properties of Visibly Pushdown Transducers
07/05/2010 Dietmar Berwanger Coordinating strategies with imperfect information
12/03/2010 Jean-François Degbomont Implicit Real Vector Automata
12/03/2010 Joel Ouaknine A Survey of Classical, Real-Time, and Time-Bounded Verification
04/12/2009 Véronique Bruyère Turn-Based Quantitative Multiplayer Non Zero-sum Games on Finite Graphs
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.