Datesort icon Speaker Title
13/02/2009 Jerome Leroux The General Vector Addition System Reachability Problem by Presburger Inductive Invariants" and "TaPAS : The Talence Presburger Arithmetic Suite
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
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
27/11/2009 Raffaella Gentilini Faster Pseudo-Polynomial Algorithms for Mean-Payoff Games
27/11/2009 Christof Löding Boundedness problems for finite automata
04/12/2009 Alain Finkel Well Structured Transition Systems
04/12/2009 Véronique Bruyère Turn-Based Quantitative Multiplayer Non Zero-sum Games on Finite Graphs
12/03/2010 Joel Ouaknine A Survey of Classical, Real-Time, and Time-Bounded Verification
12/03/2010 Jean-François Degbomont Implicit Real Vector Automata
07/05/2010 Dietmar Berwanger Coordinating strategies with imperfect information
07/05/2010 Frédéric Servais Properties of Visibly Pushdown Transducers
28/05/2010 Laurent Doyen Quantitative languages: weighted automata and beyond
28/05/2010 Nicolas Maquet Lattice-Valued Binary Decision Diagrams
17/12/2010 Michael Ummels The Complexity of Nash Equilibria in Stochastic Games
17/12/2010 Alexander Linden An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
11/02/2011 Giorgio Delzanno Monotonic Approximations in Parameterized Verification
11/02/2011 Marc Ducobu Antichain-based QBF Solving
18/02/2011 Krishnendu Chatterjee The Theory of Graph Games: Mixing Chess, Soccer and Poker
18/02/2011 Emmanuel Filiot Antichains and Compositional Algorithms for LTL synthesis
25/03/2011 Catalin Dima Model-checking ATL with imperfect information
25/03/2011 Thomas Brihaye On Reachability for Hybrid Automata over Bounded Time
13/05/2011 Sophie Tison Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's new?
13/05/2011 Emmanuel Filiot Height Bounded Memory Visibly Pushdown Transductions
20/05/2011 Nathalie Bertrand Determinizing timed automata.
20/05/2011 Sébastien Combéfis Learning System Abstractions for Human-Machine Interactions
10/06/2011 Pierre Ganty Pattern-based Verification for Multithreaded Programs
10/06/2011 James Jerson Ortiz Vega Distributed Event Clock Automata
26/09/2011 Sebastian Maneth Analyzability of Tree Transducers
26/09/2011 Frédéric Servais PhD Defense on Visibly Pushdown Transducers
04/11/2011 Arnaud Sangnier Model-checking linear temporal properties over counter systems.
04/11/2011 Thomas Brihaye Subgame Perfection for Equilibria in Quantitative Reachability Games
16/12/2011 Benedikt Bollig Data Words: Logic, Automata, and Model Checking
16/12/2011 Barbara Jobstmann Synthesizing Efficient Controllers in Probabilistic Environments
20/01/2012 Marco Faella Selected Topics in Controller Synthesis
20/01/2012 Alexander Linden A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems
27/04/2012 Rupak Majumdar End-to-end arguments in embedded control systems
27/04/2012 Thomas Brihaye Almost-Sure Model-Checking of Reactive Timed Automata.
24/05/2012 Luc Segoufin Logics with unary and guarded negations.
24/05/2012 Mahsa Shirmohammadi Synchronization in Markov Decision Processes
24/09/2012 Rajeev Alur Streaming Transducers
24/09/2012 Marc Ducobu Visibly pushdown automata on trees: universality and u-universality
26/10/2012 Nir Piterman p-Automata and Obligation Games
26/10/2012 Youssouf Oualhadj Deciding the Value 1 Problem for Probabilistic Leaktight Automata
30/11/2012 Roland Meyer Verification of Concurrent Programs under Relaxed Memory Models
30/11/2012 Thomas Brihaye Multiplayer cost games with simple Nash equilibria
14/12/2012 Erich Grädel Banach-Mazur Games on Graphs
14/12/2012 Jean-François Raskin Multi-dimension Quantitative Games: Complexity and Strategy Synthesis
25/01/2013 Aniello Murano Pushdown Module Checking with Perfect and Imperfect Information