Concepedia

Grégoire Sutre

GS

Statistics

Publications

7

Citations

1.4K

H-Index

7

Active since

2002

Affiliations

Université de Bordeaux(Current)

Centre National de la Recherche Scientifique

Laboratoire Bordelais de Recherche en Informatique

Institut Polytechnique de Bordeaux

University of California, Berkeley

Grégoire Sutre is an author at Université de Bordeaux specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisAutomated ReasoningSystems EngineeringSoftware DesignSoftware Testing

Publications per year

2002–2018

7

Publications

7

Lazy abstraction

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · 2002 · 1.1K citations

Program Checking, Engineering, Verification +18

Lazy abstraction

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · ACM SIGPLAN Notices · 2002 · 168 citations

Program Checking, Engineering, Verification +18

Well-abstracted transition systems: application to FIFO automata

Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre · Information and Computation · 2003 · 40 citations

Logical Automaton, Fifo Automata, Engineering +6

Reachability Analysis of Communicating Pushdown Systems

Jérôme Leroux, Anca Muscholl, Grégoire Sutre · Logical Methods in Computer Science · 2012 · 35 citations · Full text

Engineering, Reachability Problem, Verification +18

Hyper-Ackermannian bounds for pushdown vector addition systems

Jérôme Leroux, M. Praveen, Grégoire Sutre · 2014 · 21 citations · Full text

Mathematical Programming, Computational Complexity Theory, Engineering +10

1–5 of 7