Datesort icon Speaker Title
04/11/2011 Arnaud Sangnier Model-checking linear temporal properties over counter systems.
26/09/2011 Frédéric Servais PhD Defense on Visibly Pushdown Transducers
26/09/2011 Sebastian Maneth Analyzability of Tree Transducers
10/06/2011 James Jerson Ortiz Vega Distributed Event Clock Automata
10/06/2011 Pierre Ganty Pattern-based Verification for Multithreaded Programs
20/05/2011 Sébastien Combéfis Learning System Abstractions for Human-Machine Interactions
20/05/2011 Nathalie Bertrand Determinizing timed automata.
13/05/2011 Emmanuel Filiot Height Bounded Memory Visibly Pushdown Transductions
13/05/2011 Sophie Tison Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's new?
25/03/2011 Thomas Brihaye On Reachability for Hybrid Automata over Bounded Time
25/03/2011 Catalin Dima Model-checking ATL with imperfect information
18/02/2011 Emmanuel Filiot Antichains and Compositional Algorithms for LTL synthesis
18/02/2011 Krishnendu Chatterjee The Theory of Graph Games: Mixing Chess, Soccer and Poker
11/02/2011 Marc Ducobu Antichain-based QBF Solving
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