Selected talks by Grégoire Sutre

• On flatness for 2-dimensional vector addition systems with states.
  This talk was given at:
  • Conference on Concurrency Theory (CONCUR'04), London, UK, August 2004.
• Parametric analysis and abstraction of genetic regulatory networks.
  This talk was given at:
  • Workshop on Concurrent Models in Molecular Biology (BioCONCUR'04), London, UK, August 2004.
• An optimal automata approach to LTL model checking of probabilistic systems.
  This talk was given at:
  • Groupe de travail MVTsi du LaBRI, Bordeaux, France, October 2003.
  • Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'03), Almaty, Kazakhstan, September 2003.
• Temporal-safety proofs for systems code.
  This talk (or variants) was given at:
  • Groupe de travail MVTsi du LaBRI, Bordeaux, France, February 2003.
  • Groupe de travail 'Vérification' du LIAFA, Paris, France, December 2002.
• Lazy abstraction.
  This (handwritten) talk was given at:
  • Journées Systèmes Infinis (JSI 2002 -- Logic & Interaction Week 5), Luminy, France, February 2002.
  • Groupe de travail MVTsi du LaBRI, Bordeaux, France, October 2001.
• Abstraction et accélération de systèmes infinis. Ph.D. Defense, Cachan, France, October 2000.
• An algorithm constructing the semilinear post* for 2-dim Reset/Transfer VASS.
  This (handwritten) talk was given at:
  • Symposium on Mathematical Foundations of Computer Science (MFCS'2000), Bratislava, Slovak Republic, August 2000.
• Decidability of reachability problems for classes of two counters automata.
  This talk (or variants) was given at:
  • Summer School on Modelling and Verification of Parallel Processes (MOVEP'2000), Nantes, France, June 2000.
  • Dagstuhl Seminar 00141 on the Verification of Infinite-state Systems, Schloss Dagstuhl, Wadern, Germany, April 2000.
  • Symposium on Theoretical Aspects of Computer Science (STACS'2000), Lille, France, February 2000.
• Effective recognizability and model checking of reactive fiffo automata.
  This (handwritten) talk was given at:
  • Congrès sur la Modélisation des Systèmes Réactifs (MSR'99), Cachan, France, March 1999.
  • International Conference on Algebraic Methodology and Software Technology (AMAST'98), Manaus, Brazil, January 1999.
  • Journées Modélisation et Vérification, Luminy, France, December 1998.