Date Speaker Titlesort icon
10/06/2011 Pierre Ganty Pattern-based Verification for Multithreaded Programs
23/01/2015 Mickael Randour Percentile Queries in Multi-Dimensional Markov Decision Processes
13/06/2003 Joost-Pieter Katoen Performance Evaluation and Model Checking: a Perfect Match
26/09/2011 Frédéric Servais PhD Defense on Visibly Pushdown Transducers
14/03/2008 Cedric Meuter PhD Defense: Development and Validation of Distributed Reactive Control Systems
27/04/2018 Pierre Ganty Population Protocols and Predicates
19/12/2003 Michael Leuschel ProB: A Model Checker for B
30/05/2008 Christel Baier Probabilistic Buechi automata
30/03/2018 Luc de Raedt Probabilistic logic programming and its applications
23/04/2004 Markus Müller-Olm Program Analysis with Exact Approximations
07/05/2010 Frédéric Servais Properties of Visibly Pushdown Transducers
25/01/2013 Aniello Murano Pushdown Module Checking with Perfect and Imperfect Information
28/05/2010 Laurent Doyen Quantitative languages: weighted automata and beyond
04/03/2005 Denis Lugiez Quelques problèmes dans l'arithmétique de Presburger et l'arithmétique de Skolem.
27/02/2015 Guillermo A. Pérez Reactive Synthesis Without Regret
29/11/2013 Simon Busard Reasoning about strategies under partial observability and fairness constraints
19/05/2017 John Fearnley Recent Advances in Solving Parity Games
17/10/2008 Christophe Morvan Regular graphs : a perfect model for infinite state systems?
05/05/2017 Marc Zeitoun Revisiting concatenation hierarchies of regular languages
10/03/2017 Marielle Stoelinga Risk happens, and how stochastic model checking can help.
26/10/2007 Nicolas Markey Robust Analysis of Timed Automata
23/01/2015 Joost-Pieter Katoen Safety and Liveness -- New Results and Perspectives
22/02/2013 Pavithra Prabhakar Scalable Verification of Hybrid Systems
14/03/2008 Blaise Genest Searchs in graphs for Verification and Partial Order Reductions
20/01/2012 Marco Faella Selected Topics in Controller Synthesis
31/01/2014 Daniel Le Berre Solvers and tools to tackle problems in propositional logic
16/12/2005 Petr Jancar Some techniques and results in deciding bisimilarity
25/11/2005 Theo Ruys SPIN: A Swiss Army Knife
24/09/2012 Rajeev Alur Streaming Transducers
15/12/2006 Marcin Jurdziński Subexponential algorithms for solving parity games
04/11/2011 Thomas Brihaye Subgame Perfection for Equilibria in Quantitative Reachability Games
20/05/2016 Pierre-Alain Reynier Survey on transducers of (nested) words: decidability, logic and algebra
24/05/2012 Mahsa Shirmohammadi Synchronization in Markov Decision Processes
11/05/2018 Diego Figueira Synchronized word relations
27/02/2015 Christof Löding Synthesis of Transducers from Automatic Specifications
16/12/2011 Barbara Jobstmann Synthesizing Efficient Controllers in Probabilistic Environments
24/02/2017 Dejan Nickovic Temporal Logic as Filtering
29/01/2016 Nicolas Markey Temporal logics for multi-player games
16/12/2005 Thierry Jéron Test Generation using Verification
17/12/2010 Michael Ummels The Complexity of Nash Equilibria in Stochastic Games
13/02/2009 Jerome Leroux The General Vector Addition System Reachability Problem by Presburger Inductive Invariants" and "TaPAS : The Talence Presburger Arithmetic Suite
28/05/2004 Thomas Henzinger The Holy Grail of Computer Science: Automatic Program Verification
18/02/2011 Krishnendu Chatterjee The Theory of Graph Games: Mixing Chess, Soccer and Poker
21/03/2003 Philippe Schnoebelen The Verification of Probabilistic Lossy Channel Systems
10/03/2017 Raphaël Berthon Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
07/12/2007 Thomas Brihaye Timed Concurrent Game Structures
11/05/2018 Shibashis Guha Timed Vacuity (Joint work with Hana Chockler, Orna Kupferman)
16/05/2014 Florent Jacquemard Timed Verification and Testing of an Interactive Music System
23/04/2004 Isabelle Pollet Towards a generic framework for the abstract interpretation of Java
26/02/2016 Nathan Lhote Towards an algebraic theory of rational word functions