Edit Profile (opens in new tab) Sutre, Grégoire Compute Distance To: Compute Author ID: sutre.gregoire Published as: Sutre, Grégoire; Sutre, Gregoire; Sutre, G. more...less Documents Indexed: 35 Publications since 2000 Co-Authors: 34 Co-Authors with 35 Joint Publications 747 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) 4 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 25 Publications have been cited 197 times in 172 Documents Cited by ▼ Year ▼ Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 65 2002 Flat counter automata almost everywhere! Zbl 1170.68519Leroux, Jérôme; Sutre, Grégoire 18 2005 Software verification with BLAST. Zbl 1023.68532Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 13 2003 Reachability analysis of communicating pushdown systems. Zbl 1248.68330Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 10 2012 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, 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.03050Finkel, Alain; Sutre, Grégoire 9 2000 Decidable topologies for communicating automata with FIFO and bag channels. Zbl 1417.68125Clemente, Lorenzo; Herbreteau, Frédéric; Sutre, Grégoire 9 2014 Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307Leroux, Jérôme; Praveen, M.; Sutre, Grégoire 7 2014 On flatness for 2-dimensional vector addition systems with states. Zbl 1099.68071Leroux, Jérôme; Sutre, Grégoire 7 2004 An optimal automata approach to LTL model checking of probabilistic systems. Zbl 1273.68224Couvreur, Jean-Michel; Saheb, Nasser; Sutre, Grégoire 6 2003 Accelerated data-flow analysis. Zbl 1211.68093Leroux, Jérôme; Sutre, Grégoire 6 2007 Reachability analysis of communicating pushdown systems. Zbl 1284.68399Heuß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.68177Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick 5 2015 On boundedness problems for pushdown vector addition systems. Zbl 1471.68170Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick 4 2015 Reachability of communicating timed processes. Zbl 1260.68262Clemente, 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.68136Figueira, Diego; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire 3 2017 Well-abstracted transition systems: Application to FIFO automata. Zbl 1054.68092Finkel, Alain; Iyer, S. Purushothaman; Sutre, Grégoire 3 2003 Occam’s razor applied to the Petri net coverability problem. Zbl 1402.68134Geffroy, 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.68522Finkel, A.; Sutre, G. 2 2000 Polynomial precise interval analysis revisited. Zbl 1258.65048Gawlitza, 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.68270Leroux, Jérôme; Penelle, Vincent; Sutre, Grégoire 2 2014 On the context-freeness problem for vector addition systems. Zbl 1366.68210Leroux, Jérôme; Penelle, Vincent; Sutre, Gregoire 1 2013 A relational trace logic for vector addition systems with application to context-freeness. Zbl 1390.68478Leroux, Jérôme; Praveen, M.; Sutre, Grégoire 1 2013 Occam’s razor applied to the Petri net coverability problem. Zbl 1402.68133Geffroy, Thomas; Leroux, Jérôme; Sutre, Grégoire 1 2016 Acceleration in convex data-flow analysis. Zbl 1135.68369Leroux, Jérôme; Sutre, Grégoire 1 2007 Occam’s razor applied to the Petri net coverability problem. Zbl 1402.68134Geffroy, Thomas; Leroux, Jérôme; Sutre, Grégoire 3 2018 Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136Figueira, 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.68133Geffroy, Thomas; Leroux, Jérôme; Sutre, Grégoire 1 2016 On the coverability problem for pushdown vector addition systems in one dimension. Zbl 1440.68177Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick 5 2015 On boundedness problems for pushdown vector addition systems. Zbl 1471.68170Leroux, Jérôme; Sutre, Grégoire; Totzke, Patrick 4 2015 Decidable topologies for communicating automata with FIFO and bag channels. Zbl 1417.68125Clemente, Lorenzo; Herbreteau, Frédéric; Sutre, Grégoire 9 2014 Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307Leroux, Jérôme; Praveen, M.; Sutre, Grégoire 7 2014 The context-freeness problem is coNP-complete for flat counter systems. Zbl 1448.68270Leroux, Jérôme; Penelle, Vincent; Sutre, Grégoire 2 2014 Reachability of communicating timed processes. Zbl 1260.68262Clemente, Lorenzo; Herbreteau, Frédéric; Stainer, Amelie; Sutre, Grégoire 4 2013 On the context-freeness problem for vector addition systems. Zbl 1366.68210Leroux, Jérôme; Penelle, Vincent; Sutre, Gregoire 1 2013 A relational trace logic for vector addition systems with application to context-freeness. Zbl 1390.68478Leroux, Jérôme; Praveen, M.; Sutre, Grégoire 1 2013 Reachability analysis of communicating pushdown systems. Zbl 1248.68330Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 10 2012 Reachability analysis of communicating pushdown systems. Zbl 1284.68399Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 5 2010 Polynomial precise interval analysis revisited. Zbl 1258.65048Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard 2 2009 Accelerated data-flow analysis. Zbl 1211.68093Leroux, Jérôme; Sutre, Grégoire 6 2007 Acceleration in convex data-flow analysis. Zbl 1135.68369Leroux, Jérôme; Sutre, Grégoire 1 2007 Flat counter automata almost everywhere! Zbl 1170.68519Leroux, Jérôme; Sutre, Grégoire 18 2005 On flatness for 2-dimensional vector addition systems with states. Zbl 1099.68071Leroux, Jérôme; Sutre, Grégoire 7 2004 Software verification with BLAST. Zbl 1023.68532Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 13 2003 An optimal automata approach to LTL model checking of probabilistic systems. Zbl 1273.68224Couvreur, Jean-Michel; Saheb, Nasser; Sutre, Grégoire 6 2003 Well-abstracted transition systems: Application to FIFO automata. Zbl 1054.68092Finkel, Alain; Iyer, S. Purushothaman; Sutre, Grégoire 3 2003 Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 65 2002 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, 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.03050Finkel, Alain; Sutre, Grégoire 9 2000 An algorithm constructing the semilinear post* for 2-dim reset/transfer VASS (extended abstract). Zbl 0996.68522Finkel, A.; Sutre, G. 2 2000 all cited Publications top 5 cited Publications 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 all top 5 Cited in 24 Serials 23 Theoretical Computer Science 19 Formal Methods in System Design 10 Information and Computation 6 Logical Methods in Computer Science 6 Journal of Logical and Algebraic Methods in Programming 5 Journal of Automated Reasoning 5 Formal Aspects of Computing 4 Journal of Computer and System Sciences 3 Acta Informatica 3 Artificial Intelligence 3 Journal of Symbolic Computation 2 Information Processing Letters 2 Programming and Computer Software 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 Fundamenta Informaticae 1 Mathematics in Computer Science all top 5 Cited in 9 Fields 169 Computer science (68-XX) 24 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Numerical analysis (65-XX) 3 Operations research, mathematical programming (90-XX) 1 Operator theory (47-XX) 1 Probability theory and stochastic processes (60-XX) 1 Fluid mechanics (76-XX) 1 Systems theory; control (93-XX) Citations by Year