Selected talks by Grégoire Sutre
Software Verification
.
This lecture was given at:
Summer School 2008: Verification Technology, Systems & Applications (VTSA'08)
, Saarbrücken, Germany, September 2008.
Accelerated Data-flow Analysis
.
This talk (or variants) was given at:
Seminar
of
LSV
, Cachan, France, May 2008.
Groupe de travail Modélisation et Vérification
du
LaBRI
, Bordeaux, France, March 2008.
Computer Science Seminar
of
Université Libre de Bruxelles
, Bruxelles, Belgium, February 2008.
Acceleration in Convex Data-Flow Analysis
.
This talk was given at:
Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'07)
, New Delhi, India, December 2007.
Méthodes Symboliques pour l'Exploration des Systèmes Infinis
.
This talk was given at:
Ecole Jeunes Chercheurs en Algorithmique et Calcul Formel 2006
, Bordeaux, France, May 2006.
Flat counter automata almost everywhere!
.
This talk was given at:
Symposium on Automated Technology for Verification and Analysis (ATVA'05)
, Taipei, Taiwan, October 2005.
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.
Grégoire Sutre
Last modified: Mon Sep 22 20:06:25 CEST 2008