×
Edit Profile (opens in new tab)

Sutre, Grégoire

Co-Author Distance
Author ID: sutre.gregoire Recent zbMATH articles by "Sutre, Grégoire"
Published as: Sutre, Grégoire; Sutre, Gregoire; Sutre, G.
Documents Indexed: 35 Publications since 2000
Co-Authors: 34 Co-Authors with 35 Joint Publications
774 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
21 Leroux, Jérôme
6 Finkel, Alain
4 Herbreteau, Frédéric
3 Henzinger, Thomas A.
3 Heußner, Alexander
3 Jhala, Ranjit
3 Majumdar, Rupak
3 Penelle, Vincent
3 Praveen, M.
2 Clemente, Lorenzo
2 Geffroy, Thomas
2 Jančar, Petr
2 Muscholl, Anca
2 Totzke, Patrick
1 Cassez, Franck
1 Couvreur, Jean-Michel
1 Figueira, Diego
1 Gawlitza, Thomas Martin
1 Iyer, Purushothaman
1 Iyer, S. Purushothaman
1 Lazić, Ranko
1 Le Gall, Tristan
1 Mazowiecki, Filip
1 Necula, George C.
1 Reineke, Jan
1 Roux, Olivier F.
1 Saheb, Nasser
1 Salvati, Sylvain
1 Schnoebelen, Philippe
1 Seidl, Helmut
1 Stainer, Amélie
1 Tran, The Quang
1 Weimer, Westley
1 Wilhelm, Reinhard

Serials

2 Logical Methods in Computer Science
1 Theoretical Computer Science
1 Information and Computation
1 Fundamenta Informaticae

Fields

34 Computer science (68-XX)
5 Mathematical logic and foundations (03-XX)
1 Numerical analysis (65-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

30 Publications have been cited 313 times in 267 Documents Cited by ▼ Year ▼
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
104
2002
Flat counter automata almost everywhere! Zbl 1170.68519
Leroux, Jérôme; Sutre, Grégoire
26
2005
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
19
2002
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
19
2003
On flatness for 2-dimensional vector addition systems with states. Zbl 1099.68071
Leroux, Jérôme; Sutre, Grégoire
18
2004
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
15
2012
An optimal automata approach to LTL model checking of probabilistic systems. Zbl 1273.68224
Couvreur, Jean-Michel; Saheb, Nasser; Sutre, Grégoire
11
2003
On the coverability problem for pushdown vector addition systems in one dimension. Zbl 1440.68177
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
10
2015
Decidable topologies for communicating automata with FIFO and bag channels. Zbl 1417.68125
Clemente, Lorenzo; Herbreteau, Frédéric; Sutre, Grégoire
10
2014
Decidability of reachability problems for classes of two counters automata. Zbl 0953.03050
Finkel, Alain; Sutre, Grégoire
10
2000
Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
9
2014
Reachability analysis of communicating pushdown systems. Zbl 1284.68399
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
8
2010
Accelerated data-flow analysis. Zbl 1211.68093
Leroux, Jérôme; Sutre, Grégoire
8
2007
Well-abstracted transition systems: Application to FIFO automata. Zbl 1054.68092
Finkel, Alain; Iyer, S. Purushothaman; Sutre, Grégoire
6
2003
Reachability of communicating timed processes. Zbl 1260.68262
Clemente, Lorenzo; Herbreteau, Frédéric; Stainer, Amelie; Sutre, Grégoire
5
2013
Polynomial precise interval analysis revisited. Zbl 1258.65048
Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard
4
2009
Occam’s razor applied to the Petri net coverability problem. Zbl 1402.68134
Geffroy, Thomas; Leroux, Jérôme; Sutre, Grégoire
4
2018
Reachability for two-counter machines with one test and one reset. Zbl 1528.68219
Finkel, Alain; Leroux, Jérôme; Sutre, Grégoire
3
2018
Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136
Figueira, Diego; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire
3
2017
Occam’s razor applied to the Petri net coverability problem. Zbl 1402.68133
Geffroy, Thomas; Leroux, Jérôme; Sutre, Grégoire
3
2016
On boundedness problems for pushdown vector addition systems. Zbl 1471.68170
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
3
2015
A relational trace logic for vector addition systems with application to context-freeness. Zbl 1390.68478
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
2
2013
The context-freeness problem is coNP-complete for flat counter systems. Zbl 1448.68270
Leroux, Jérôme; Penelle, Vincent; Sutre, Grégoire
2
2014
Acceleration in convex data-flow analysis. Zbl 1135.68369
Leroux, Jérôme; Sutre, Grégoire
2
2007
An algorithm constructing the semilinear post* for 2-dim reset/transfer VASS (extended abstract). Zbl 0996.68522
Finkel, A.; Sutre, G.
2
2000
Unfolding concurrent well-structured transition systems. Zbl 1186.68321
Herbreteau, Frédéric; Sutre, Grégoire; Tran, The Quang
2
2007
Co-finiteness and co-emptiness of reachability sets in vector addition systems with states. Zbl 1427.68200
Jančar, Petr; Leroux, Jérôme; Sutre, Grégoire
2
2018
On the context-freeness problem for vector addition systems. Zbl 1366.68210
Leroux, Jérôme; Penelle, Vincent; Sutre, Gregoire
1
2013
Reachability in two-dimensional vector addition systems with states: one test is for free. Zbl 07559493
Leroux, Jérôme; Sutre, Grégoire
1
2020
On functions weakly computable by pushdown Petri nets and related systems. Zbl 1427.68203
Leroux, Jérôme; Praveen, M.; Schnoebelen, Philippe; Sutre, Grégoire
1
2019
Reachability in two-dimensional vector addition systems with states: one test is for free. Zbl 07559493
Leroux, Jérôme; Sutre, Grégoire
1
2020
On functions weakly computable by pushdown Petri nets and related systems. Zbl 1427.68203
Leroux, Jérôme; Praveen, M.; Schnoebelen, Philippe; Sutre, Grégoire
1
2019
Occam’s razor applied to the Petri net coverability problem. Zbl 1402.68134
Geffroy, Thomas; Leroux, Jérôme; Sutre, Grégoire
4
2018
Reachability for two-counter machines with one test and one reset. Zbl 1528.68219
Finkel, Alain; Leroux, Jérôme; Sutre, Grégoire
3
2018
Co-finiteness and co-emptiness of reachability sets in vector addition systems with states. Zbl 1427.68200
Jančar, Petr; Leroux, Jérôme; Sutre, Grégoire
2
2018
Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136
Figueira, Diego; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire
3
2017
Occam’s razor applied to the Petri net coverability problem. Zbl 1402.68133
Geffroy, Thomas; Leroux, Jérôme; Sutre, Grégoire
3
2016
On the coverability problem for pushdown vector addition systems in one dimension. Zbl 1440.68177
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
10
2015
On boundedness problems for pushdown vector addition systems. Zbl 1471.68170
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
3
2015
Decidable topologies for communicating automata with FIFO and bag channels. Zbl 1417.68125
Clemente, Lorenzo; Herbreteau, Frédéric; Sutre, Grégoire
10
2014
Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
9
2014
The context-freeness problem is coNP-complete for flat counter systems. Zbl 1448.68270
Leroux, Jérôme; Penelle, Vincent; Sutre, Grégoire
2
2014
Reachability of communicating timed processes. Zbl 1260.68262
Clemente, Lorenzo; Herbreteau, Frédéric; Stainer, Amelie; Sutre, Grégoire
5
2013
A relational trace logic for vector addition systems with application to context-freeness. Zbl 1390.68478
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
2
2013
On the context-freeness problem for vector addition systems. Zbl 1366.68210
Leroux, Jérôme; Penelle, Vincent; Sutre, Gregoire
1
2013
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
15
2012
Reachability analysis of communicating pushdown systems. Zbl 1284.68399
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
8
2010
Polynomial precise interval analysis revisited. Zbl 1258.65048
Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard
4
2009
Accelerated data-flow analysis. Zbl 1211.68093
Leroux, Jérôme; Sutre, Grégoire
8
2007
Acceleration in convex data-flow analysis. Zbl 1135.68369
Leroux, Jérôme; Sutre, Grégoire
2
2007
Unfolding concurrent well-structured transition systems. Zbl 1186.68321
Herbreteau, Frédéric; Sutre, Grégoire; Tran, The Quang
2
2007
Flat counter automata almost everywhere! Zbl 1170.68519
Leroux, Jérôme; Sutre, Grégoire
26
2005
On flatness for 2-dimensional vector addition systems with states. Zbl 1099.68071
Leroux, Jérôme; Sutre, Grégoire
18
2004
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
19
2003
An optimal automata approach to LTL model checking of probabilistic systems. Zbl 1273.68224
Couvreur, Jean-Michel; Saheb, Nasser; Sutre, Grégoire
11
2003
Well-abstracted transition systems: Application to FIFO automata. Zbl 1054.68092
Finkel, Alain; Iyer, S. Purushothaman; Sutre, Grégoire
6
2003
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
104
2002
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
19
2002
Decidability of reachability problems for classes of two counters automata. Zbl 0953.03050
Finkel, Alain; Sutre, Grégoire
10
2000
An algorithm constructing the semilinear post* for 2-dim reset/transfer VASS (extended abstract). Zbl 0996.68522
Finkel, A.; Sutre, G.
2
2000
all cited Publications top 5 cited Publications
all top 5

Cited by 500 Authors

15 Leroux, Jérôme
13 Finkel, Alain
9 Demri, Stéphane P.
8 Hofman, Piotr
8 Podelski, Andreas
8 Sutre, Grégoire
7 Alur, Rajeev
7 Esparza, Javier
7 Majumdar, Rupak
7 Rybalchenko, Andrey
6 Bollig, Benedikt
6 Lasota, Sławomir
6 Sangnier, Arnaud
6 Zetzsche, Georg
5 Abdulla, Parosh Aziz
5 Ibarra, Oscar H.
5 Madhusudan, Parthasarathy
5 Mazowiecki, Filip
4 Atig, Mohamed Faouzi
4 Bultan, Tevfik
4 Czerwiński, Wojciech
4 Henzinger, Thomas A.
4 Iosif, Radu
4 Jhala, Ranjit
4 Konnov, Igor V.
4 Kröning, Daniel
4 Lahiri, Shuvendu Kumar
4 Lazić, Ranko
4 Majumdar, Rupak
4 Majzik, Istvan
4 Nori, Aditya Vithal
4 Qadeer, Shaz
4 Totzke, Patrick
4 Weissenbacher, Georg
4 Worrell, James Benjamin
3 Baier, Christel
3 Beyer, Dirk
3 Cimatti, Alessandro
3 Dang, Zhe
3 Dhar, Amit Kumar
3 Duan, Zhenhua
3 Ganty, Pierre
3 Gawlitza, Thomas Martin
3 Gurfinkel, Arie
3 Haase, Christoph
3 Habermehl, Peter
3 Hoenicke, Jochen
3 Katoen, Joost-Pieter
3 Kiefer, Stefan
3 Klein, Joachim
3 Koskinen, Eric
3 Kuske, Dietrich
3 Lozes, Etienne
3 Müller, David I.
3 Praveen, M.
3 Rajamani, Sriram K.
3 Raskin, Mikhail
3 Sharygina, Natasha
3 Tian, Cong
3 Tonetta, Stefano
3 Tóth, Tamás
3 Veith, Helmut
3 Widder, Josef
3 Wies, Thomas
3 Zhang, Nan
2 Aiswarya, Cyriac
2 Akshay, S.
2 Albarghouthi, Aws
2 Barbanera, Franco
2 Bardin, Sébastien
2 Basu, Samik
2 Blondin, Michael
2 Bouissou, Olivier
2 Bravetti, Mario
2 Bruttomesso, Roberto
2 Carbone, Marco
2 Černý, Pavol
2 Chaki, Sagar
2 Chakraborty, Supratik
2 Chambart, Pierre
2 Chapoutot, Alexandre
2 Charlton, Nathaniel
2 Chatain, Thomas
2 Chechik, Marsha
2 Clemente, Lorenzo
2 de’Liguoro, Ugo
2 Di Giusto, Cinzia
2 Dwyer, Matthew B.
2 Flanagan, Cormac
2 Frehse, Goran
2 Godefroid, Patrice
2 Goubault, Eric
2 Griggio, Alberto
2 Gulavani, Bhargav S.
2 Gulwani, Sumit
2 Gupta, Ashutosh
2 Haar, Stefan
2 Hajdu, Ákos
2 Hatcliff, John
2 Heizmann, Matthias
...and 400 more Authors
all top 5

Cited in 24 Serials

23 Theoretical Computer Science
21 Formal Methods in System Design
10 Information and Computation
9 Logical Methods in Computer Science
6 Journal of Logical and Algebraic Methods in Programming
5 Journal of Computer and System Sciences
5 Journal of Automated Reasoning
5 Formal Aspects of Computing
3 Acta Informatica
3 Artificial Intelligence
3 Journal of Symbolic Computation
2 Information Processing Letters
2 Programming and Computer Software
2 Fundamenta Informaticae
1 International Journal of General Systems
1 Journal of Mathematical Analysis and Applications
1 Science of Computer Programming
1 Journal of Computer Science and Technology
1 Real-Time Systems
1 International Journal of Foundations of Computer Science
1 Cybernetics and Systems Analysis
1 Annals of Mathematics and Artificial Intelligence
1 Theory of Computing Systems
1 Mathematics in Computer Science
all top 5

Cited in 11 Fields

263 Computer science (68-XX)
37 Mathematical logic and foundations (03-XX)
7 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
5 Operations research, mathematical programming (90-XX)
4 Numerical analysis (65-XX)
2 Probability theory and stochastic processes (60-XX)
1 Combinatorics (05-XX)
1 Number theory (11-XX)
1 Operator theory (47-XX)
1 Fluid mechanics (76-XX)
1 Systems theory; control (93-XX)

Citations by Year