Suivre
Grégoire Sutre
Grégoire Sutre
Research Fellow, CNRS, University of Bordeaux
Adresse e-mail validée de labri.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Lazy abstraction
TA Henzinger, R Jhala, R Majumdar, G Sutre
Principles of Programming Languages (POPL'02), 58-70, 2002
15632002
Software verification with BLAST
TA Henzinger, R Jhala, R Majumdar, G Sutre
Model Checking Software (SPIN'03), 235-239, 2003
7242003
Temporal-safety proofs for systems code
T Henzinger, G Necula, R Jhala, G Sutre, R Majumdar, W Weimer
Computer Aided Verification (CAV'02), 382-399, 2002
2402002
Flat counter automata almost everywhere!
J Leroux, G Sutre
Automated Technology for Verification and Analysis (ATVA'05), 489-503, 2005
1352005
Reachability analysis of communicating pushdown systems
A Heußner, J Leroux, A Muscholl, G Sutre
Logical Methods in Computer Science 8 (3:23), 1-20, 2012
822012
An optimal automata approach to LTL model checking of probabilistic systems
JM Couvreur, N Saheb, G Sutre
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'03), 361-375, 2003
722003
On flatness for 2-dimensional vector addition systems with states
J Leroux, G Sutre
Concurrency Theory (CONCUR'04), 402-416, 2004
702004
Decidability of reachability problems for classes of two counters automata
A Finkel, G Sutre
Theoretical Aspects of Computer Science (STACS'00), 346-357, 2000
622000
Well-abstracted transition systems: Application to FIFO automata
A Finkel, S Purushothaman Iyer, G Sutre
Information and Computation 181 (1), 1-31, 2003
562003
Reachability analysis of communicating pushdown systems
A Heußner, J Leroux, A Muscholl, G Sutre
Foundations of Software Science and Computation Structures (FOSSACS'10), 267-281, 2010
482010
On the coverability problem for pushdown vector addition systems in one dimension
J Leroux, G Sutre, P Totzke
International Colloquium on Automata, Languages, and Programming, 324-336, 2015
462015
Hyper-Ackermannian bounds for pushdown vector addition systems
J Leroux, M Praveen, G Sutre
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
372014
Polynomial precise interval analysis revisited
T Gawlitza, J Leroux, J Reineke, H Seidl, G Sutre, R Wilhelm
Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of …, 2009
362009
Accelerated data-flow analysis
J Leroux, G Sutre
Static Analysis (SAS'07), 184-199, 2007
332007
Decidable topologies for communicating automata with FIFO and bag channels
L Clemente, F Herbreteau, G Sutre
International Conference on Concurrency Theory, 281-296, 2014
312014
An algorithm constructing the semilinear post* for 2-dim Reset/Transfer VASS
A Finkel, G Sutre
Mathematical Foundations of Computer Science (MFCS'00), 353-362, 2000
292000
Parametric analysis and abstraction of genetic regulatory networks
M Adélaıde, G Sutre
Concurrent Models in Molecular Biology (BioCONCUR'04), 2004
242004
Reachability of communicating timed processes
L Clemente, F Herbreteau, A Stainer, G Sutre
Foundations of Software Science and Computation Structures (FOSSACS'13), 81-96, 2013
212013
Well-abstracted transition systems
A Finkel, P Iyer, G Sutre
Concurrency Theory (CONCUR'00), 566-580, 2000
182000
Occam's Razor applied to the Petri net coverability problem
T Geffroy, J Leroux, G Sutre
Theoretical Computer Science 750, 38-52, 2018
172018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20