|
|
Grégoire SUTRE
|
|
CNRS Research Fellow
|
|
|
About
Since October 2001, I hold a CNRS research fellow position at LaBRI, in the Modeling and Verification Group of the Formal Methods Team. My research concerns the formal modelling and algorithmic verification of complex systems. Applications that I've been involved with range from low-level systems code to high-level biological models. I am interested in both theoretical and practical aspects of verification.
Contact
Research
Main topics
- Model-checking of safety properties.
- Infinite-state systems, distributed systems.
- Abstraction refinement.
Publications & talks
Software
Projects
-
ReacHard (ANR/BLANC):
Taming Hard Reachability Problems for Counter Systems.
-
VACSIM (ANR/INS):
Validation de la commande des systèmes critiques par couplage simulation et méthodes d'analyse formelle.
-
FORWAL (GDR GPL):
Formalismes et Outils pour la Vérification et la Validation.
- [see all]
-
SPaCIFY (ANR/RNTL, 2007–2010):
Model-Driven Engineering and Formal Methods for Critical Embedded Software.
-
AVeriSS (ANR/ARA, 2007–2010):
Automated Verification of Software Systems.
-
Persée (ACI, 2003–2006):
Symbolic techniques for the automatic verification of heterogeneous critical systems.
-
MORSE (RNTL, 2003–2006):
Méthodes et Outils pour la Vérification Formelle de Systèmes Intéropérables Embarqués critiques.
Teaching
Current courses
Former courses
Events
Students
Master thesis proposals
-
Efficient Petri Net Coverability Trees.
[html]
-
Accelerated Abstract Lattices.
[html]
-
Verification of Communicating Systems by Learning and Abstraction Refinement.
[html]
Ph.D. thesis proposals
-
Mathematical Structures for Reachability Sets and Relations.
[pdf]
-
Semilinearity of Vector Addition Systems with States.
[pdf]
Former Ph.D. students
-
Farès Chucri
(Ph.D. Bordeaux 1, 2012):
Exploiting Model Structure in CEGAR Verification Method.
-
Alexander Heußner
(Ph.D. Bordeaux 1, 2011):
Towards the verfication of safety properties for communicating infinite systems: decidability and abstraction refinement.
-
Hayssam Soueidan
(Ph.D. Bordeaux 1, 2009):
Discrete event modeling and analysis for Systems Biology models.
-
The Quang Tran
(Ph.D. Bordeaux 1, 2009):
Unfolding Based Verification of Concurrent Infinite-State Systems.
Extra