×

zbMATH — the first resource for mathematics

Sutre, Grégoire

Compute Distance To:
Author ID: sutre.gregoire Recent zbMATH articles by "Sutre, Grégoire"
Published as: Sutre, G.; Sutre, Gregoire; Sutre, Grégoire
Documents Indexed: 32 Publications since 2000

Publications by Year

Citations contained in zbMATH

23 Publications have been cited 164 times in 144 Documents Cited by Year
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
63
2002
Flat counter automata almost everywhere! Zbl 1170.68519
Leroux, Jérôme; Sutre, Grégoire
17
2005
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
12
2003
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
8
2002
Decidability of reachability problems for classes of two counters automata. Zbl 0953.03050
Finkel, Alain; Sutre, Grégoire
8
2000
Reachability analysis of communicating pushdown systems. Zbl 1248.68330
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
7
2012
Decidable topologies for communicating automata with FIFO and bag channels. Zbl 1417.68125
Clemente, Lorenzo; Herbreteau, Frédéric; Sutre, Grégoire
6
2014
Accelerated data-flow analysis. Zbl 1211.68093
Leroux, Jérôme; Sutre, Grégoire
6
2007
Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
5
2014
On flatness for 2-dimensional vector addition systems with states. Zbl 1099.68071
Leroux, Jérôme; Sutre, Grégoire
5
2004
An optimal automata approach to LTL model checking of probabilistic systems. Zbl 1273.68224
Couvreur, Jean-Michel; Saheb, Nasser; Sutre, Grégoire
5
2003
On boundedness problems for pushdown vector addition systems. Zbl 06798770
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
3
2015
On the coverability problem for pushdown vector addition systems in one dimension. Zbl 1440.68177
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
3
2015
Reachability analysis of communicating pushdown systems. Zbl 1284.68399
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
3
2010
Well-abstracted transition systems: Application to FIFO automata. Zbl 1054.68092
Finkel, Alain; Iyer, S. Purushothaman; Sutre, Grégoire
3
2003
Reachability of communicating timed processes. Zbl 1260.68262
Clemente, Lorenzo; Herbreteau, Frédéric; Stainer, Amelie; Sutre, Grégoire
2
2013
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
Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136
Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire
1
2017
The context-freeness problem is coNP-complete for flat counter systems. Zbl 1448.68270
Leroux, Jérôme; Penelle, Vincent; Sutre, Grégoire
1
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
Acceleration in convex data-flow analysis. Zbl 1135.68369
Leroux, Jérôme; Sutre, Grégoire
1
2007
An algorithm constructing the semilinear post* for 2-dim reset/transfer VASS (extended abstract). Zbl 0996.68522
Finkel, A.; Sutre, G.
1
2000
Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136
Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire
1
2017
On boundedness problems for pushdown vector addition systems. Zbl 06798770
Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick
3
2015
On the coverability problem for pushdown vector addition systems in one dimension. Zbl 1440.68177
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
6
2014
Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire
5
2014
The context-freeness problem is coNP-complete for flat counter systems. Zbl 1448.68270
Leroux, Jérôme; Penelle, Vincent; Sutre, Grégoire
1
2014
Reachability of communicating timed processes. Zbl 1260.68262
Clemente, Lorenzo; Herbreteau, Frédéric; Stainer, Amelie; 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
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
7
2012
Reachability analysis of communicating pushdown systems. Zbl 1284.68399
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire
3
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
17
2005
On flatness for 2-dimensional vector addition systems with states. Zbl 1099.68071
Leroux, Jérôme; Sutre, Grégoire
5
2004
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
12
2003
An optimal automata approach to LTL model checking of probabilistic systems. Zbl 1273.68224
Couvreur, Jean-Michel; Saheb, Nasser; Sutre, Grégoire
5
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
63
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
8
2002
Decidability of reachability problems for classes of two counters automata. Zbl 0953.03050
Finkel, Alain; Sutre, Grégoire
8
2000
An algorithm constructing the semilinear post* for 2-dim reset/transfer VASS (extended abstract). Zbl 0996.68522
Finkel, A.; Sutre, G.
1
2000
all top 5

Cited by 324 Authors

7 Finkel, Alain
6 Demri, Stéphane P.
5 Leroux, Jérôme
5 Majumdar, Rupak
4 Alur, Rajeev
4 Bultan, Tevfik
4 Ibarra, Oscar H.
4 Iosif, Radu
4 Podelski, Andreas
4 Sutre, Grégoire
3 Abdulla, Parosh Aziz
3 Atig, Mohamed Faouzi
3 Dang, Zhe
3 Duan, Zhenhua
3 Konnov, Igor V.
3 Kröning, Daniel
3 Sangnier, Arnaud
3 Sharygina, Natasha
3 Tian, Cong
3 Veith, Helmut
3 Weissenbacher, Georg
3 Worrell, James B.
3 Zhang, Nan
2 Akshay, S.
2 Barbanera, Franco
2 Bardin, Sébastien
2 Basu, Samik
2 Beyer, Dirk
2 Bollig, Benedikt
2 Bouissou, Olivier
2 Chaki, Sagar
2 Chambart, Pierre
2 Chapoutot, Alexandre
2 Charlton, Nathaniel
2 de’Liguoro, Ugo
2 Dhar, Amit Kumar
2 Dwyer, Matthew B.
2 Esparza, Javier
2 Frehse, Goran
2 Ganty, Pierre
2 Gawlitza, Thomas Martin
2 Goubault, Eric
2 Gurfinkel, Arie
2 Habermehl, Peter
2 Hajdu, Ákos
2 Hatcliff, John
2 Hélouët, Loïc
2 Hoenicke, Jochen
2 Hofman, Piotr
2 Huth, Michael R. A.
2 Jhala, Ranjit
2 La Torre, Salvatore
2 Lasota, Sławomir
2 Lazić, Ranko
2 Majzik, Istvan
2 Ouaknine, Joel O.
2 Praveen, M.
2 Rybalchenko, Andrey
2 Schmitz, Sylvain
2 Schnoebelen, Philippe
2 Seghir, Mohamed Nassim
2 Seladji, Yassamine
2 Tonetta, Stefano
2 Totzke, Patrick
2 Touili, Tayssir
2 Vojnar, Tomáš
2 Vörös, András
2 Widder, Josef
2 Wies, Thomas
1 Aarts, Fides
1 Abdelwahed, Sherif
1 Ábrahám, Erika
1 Adjé, Assalé
1 Aiswarya, Cyriac
1 Akroun, Lakhdar
1 Albarghouthi, Aws
1 Alberti, Francesco
1 Bartha, Tamás
1 Becker, Bernd
1 Ben Rajeb, Narjes
1 Benedikt, Michael A.
1 Bersani, Marcello M.
1 Bertrand, Nathalie
1 Betin-Can, Aysu
1 Bloem, Roderick
1 Bobot, François
1 Bogomolov, Sergiy
1 Bonacina, Maria Paola
1 Bouajjani, Ahmed
1 Bozga, Marius
1 Bravetti, Mario
1 Bruttomesso, Roberto
1 Cadilhac, Michaël
1 Cai, Xiaojuan
1 Carbone, Marco
1 Carotenuto, Dario
1 Cécé, Gérard
1 Černý, Pavol
1 Chakraborty, Supratik
1 Chechik, Marsha
...and 224 more Authors

Citations by Year