×
Compute Distance To:
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
747 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 197 times in 172 Documents Cited by Year
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
65
2002
Flat counter automata almost everywhere! Zbl 1170.68519
Leroux, Jérôme; Sutre, Grégoire
18
2005
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
13
2003
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
10
2012
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
10
2002
Decidability of reachability problems for classes of two counters automata. Zbl 0953.03050
Finkel, Alain; Sutre, Grégoire
9
2000
Decidable topologies for communicating automata with FIFO and bag channels. Zbl 1417.68125
Clemente, Lorenzo; Herbreteau, Frédéric; Sutre, Grégoire
9
2014
Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
7
2014
On flatness for 2-dimensional vector addition systems with states. Zbl 1099.68071
Leroux, Jérôme; Sutre, Grégoire
7
2004
An optimal automata approach to LTL model checking of probabilistic systems. Zbl 1273.68224
Couvreur, Jean-Michel; Saheb, Nasser; Sutre, Grégoire
6
2003
Accelerated data-flow analysis. Zbl 1211.68093
Leroux, Jérôme; Sutre, Grégoire
6
2007
Reachability analysis of communicating pushdown systems. Zbl 1284.68399
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
5
2010
On the coverability problem for pushdown vector addition systems in one dimension. Zbl 1440.68177
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
5
2015
On boundedness problems for pushdown vector addition systems. Zbl 1471.68170
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
4
2015
Reachability of communicating timed processes. Zbl 1260.68262
Clemente, Lorenzo; Herbreteau, Frédéric; Stainer, Amelie; Sutre, Grégoire
4
2013
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
Well-abstracted transition systems: Application to FIFO automata. Zbl 1054.68092
Finkel, Alain; Iyer, S. Purushothaman; Sutre, Grégoire
3
2003
Occam’s razor applied to the Petri net coverability problem. Zbl 1402.68134
Geffroy, Thomas; Leroux, Jérôme; Sutre, Grégoire
3
2018
An algorithm constructing the semilinear post* for 2-dim reset/transfer VASS (extended abstract). Zbl 0996.68522
Finkel, A.; Sutre, G.
2
2000
Polynomial precise interval analysis revisited. Zbl 1258.65048
Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard
2
2009
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
On the context-freeness problem for vector addition systems. Zbl 1366.68210
Leroux, Jérôme; Penelle, Vincent; Sutre, Gregoire
1
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
1
2013
Occam’s razor applied to the Petri net coverability problem. Zbl 1402.68133
Geffroy, Thomas; Leroux, Jérôme; Sutre, Grégoire
1
2016
Acceleration in convex data-flow analysis. Zbl 1135.68369
Leroux, Jérôme; Sutre, Grégoire
1
2007
Occam’s razor applied to the Petri net coverability problem. Zbl 1402.68134
Geffroy, Thomas; 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
1
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
5
2015
On boundedness problems for pushdown vector addition systems. Zbl 1471.68170
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
4
2015
Decidable topologies for communicating automata with FIFO and bag channels. Zbl 1417.68125
Clemente, Lorenzo; Herbreteau, Frédéric; Sutre, Grégoire
9
2014
Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
7
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
4
2013
On the context-freeness problem for vector addition systems. Zbl 1366.68210
Leroux, Jérôme; Penelle, Vincent; Sutre, Gregoire
1
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
1
2013
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
10
2012
Reachability analysis of communicating pushdown systems. Zbl 1284.68399
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
5
2010
Polynomial precise interval analysis revisited. Zbl 1258.65048
Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard
2
2009
Accelerated data-flow analysis. Zbl 1211.68093
Leroux, Jérôme; Sutre, Grégoire
6
2007
Acceleration in convex data-flow analysis. Zbl 1135.68369
Leroux, Jérôme; Sutre, Grégoire
1
2007
Flat counter automata almost everywhere! Zbl 1170.68519
Leroux, Jérôme; Sutre, Grégoire
18
2005
On flatness for 2-dimensional vector addition systems with states. Zbl 1099.68071
Leroux, Jérôme; Sutre, Grégoire
7
2004
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
13
2003
An optimal automata approach to LTL model checking of probabilistic systems. Zbl 1273.68224
Couvreur, Jean-Michel; Saheb, Nasser; Sutre, Grégoire
6
2003
Well-abstracted transition systems: Application to FIFO automata. Zbl 1054.68092
Finkel, Alain; Iyer, S. Purushothaman; Sutre, Grégoire
3
2003
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
65
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
10
2002
Decidability of reachability problems for classes of two counters automata. Zbl 0953.03050
Finkel, Alain; Sutre, Grégoire
9
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 top 5

Cited by 357 Authors

10 Finkel, Alain
8 Leroux, Jérôme
7 Demri, Stéphane P.
6 Sutre, Grégoire
5 Majumdar, Rupak
4 Alur, Rajeev
4 Bollig, Benedikt
4 Bultan, Tevfik
4 Esparza, Javier
4 Hofman, Piotr
4 Ibarra, Oscar H.
4 Iosif, Radu
4 Lasota, Sławomir
4 Podelski, Andreas
3 Abdulla, Parosh Aziz
3 Atig, Mohamed Faouzi
3 Dang, Zhe
3 Duan, Zhenhua
3 Kröning, Daniel
3 Lazić, Ranko
3 Majzik, Istvan
3 Sangnier, Arnaud
3 Sharygina, Natasha
3 Tian, Cong
3 Totzke, Patrick
3 Veith, Helmut
3 Weissenbacher, Georg
3 Widder, Josef
3 Worrell, James B.
3 Zhang, Nan
2 Akshay, S.
2 Barbanera, Franco
2 Bardin, Sébastien
2 Basu, Samik
2 Beyer, Dirk
2 Bouissou, Olivier
2 Bravetti, Mario
2 Carbone, Marco
2 Chaki, Sagar
2 Chambart, Pierre
2 Chapoutot, Alexandre
2 Charlton, Nathaniel
2 Clemente, Lorenzo
2 de’Liguoro, Ugo
2 Dhar, Amit Kumar
2 Dwyer, Matthew B.
2 Frehse, Goran
2 Ganty, Pierre
2 Gawlitza, Thomas Martin
2 Goubault, Eric
2 Gurfinkel, Arie
2 Haase, Christoph
2 Habermehl, Peter
2 Hajdu, Ákos
2 Hatcliff, John
2 Hélouët, Loïc
2 Hennicker, Rolf
2 Hoenicke, Jochen
2 Huth, Michael R. A.
2 Jhala, Ranjit
2 La Torre, Salvatore
2 Lange, Julien
2 Mazowiecki, Filip
2 Muskalla, Sebastian
2 Ouaknine, Joel O.
2 Praveen, M.
2 Raskin, Mikhail
2 Rybalchenko, Andrey
2 Schmitz, Sylvain
2 Schnoebelen, Philippe
2 Seghir, Mohamed Nassim
2 Seladji, Yassamine
2 Suresh, Amrita
2 Tonetta, Stefano
2 Tóth, Tamás
2 Touili, Tayssir
2 Vojnar, Tomáš
2 Vörös, András
2 Welzel, Christoph
2 Wies, Thomas
2 Yoshida, Nobuko
2 Zavattaro, Gianluigi
2 Zetzsche, Georg
1 Aarts, Fides
1 Abdelwahed, Sherif
1 Ábrahám, Erika
1 Adjé, Assalé
1 Aiswarya, Cyriac
1 Ait-Ameur, Yamine
1 Akroun, Lakhdar
1 Albarghouthi, Aws
1 Alberti, Francesco
1 Athaiya, Snigdha
1 Bansal, Kshitij
1 Bartha, Tamás
1 Bartoletti, Massimo
1 Becker, Bernd
1 Belardinelli, Francesco
1 Ben Rajeb, Narjes
1 Benedikt, Michael A.
...and 257 more Authors

Citations by Year