Grégoire Sutre

According to our database, Grégoire Sutre authored at least 39 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Guiding Symbolic Execution with A-Star.

Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2020

Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free.

Jérôme Leroux, Grégoire Sutre

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

On Functions Weakly Computable by Pushdown Petri Nets and Related Systems.

Jérôme Leroux, M. Praveen, Philippe Schnoebelen, Grégoire Sutre

Log. Methods Comput. Sci., 2019

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States.

Petr Jancar, Jérôme Leroux, Grégoire Sutre

Fundam. Informaticae, 2019

2018

Occam's Razor applied to the Petri net coverability problem.

Thomas Geffroy, Jérôme Leroux, Grégoire Sutre

Theor. Comput. Sci., 2018

On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems.

Vincent Penelle, Sylvain Salvati, Grégoire Sutre

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

Reachability for Two-Counter Machines with One Test and One Reset.

Alain Finkel, Jérôme Leroux, Grégoire Sutre

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017

Backward coverability with pruning for lossy channel systems.

Thomas Geffroy, Jérôme Leroux, Grégoire Sutre

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One.

Diego Figueira, Ranko Lazic, Jérôme Leroux, Filip Mazowiecki, Grégoire Sutre

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2015

On Boundedness Problems for Pushdown Vector Addition Systems.

Jérôme Leroux, Grégoire Sutre, Patrick Totzke

Proceedings of the Reachability Problems - 9th International Workshop, 2015

On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension.

Jérôme Leroux, Grégoire Sutre, Patrick Totzke

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014

Hyper-Ackermannian bounds for pushdown vector addition systems.

Jérôme Leroux, M. Praveen, Grégoire Sutre

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Decidable Topologies for Communicating Automata with FIFO and Bag Channels.

Lorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems.

Jérôme Leroux, Vincent Penelle, Grégoire Sutre

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

On the Context-Freeness Problem for Vector Addition Systems.

Jérôme Leroux, Vincent Penelle, Grégoire Sutre

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Reachability of Communicating Timed Processes.

Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre

Proceedings of the Foundations of Software Science and Computation Structures, 2013

A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness.

Jérôme Leroux, M. Praveen, Grégoire Sutre

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Reachability Analysis of Communicating Pushdown Systems

Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre

Log. Methods Comput. Sci., 2012

McScM: A General Framework for the Verification of Communicating Machines.

Alexander Heußner, Tristan Le Gall, Grégoire Sutre

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Safety Verification of Communicating One-Counter Machines.

Alexander Heußner, Tristan Le Gall, Grégoire Sutre

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2009

Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.

Alexander Heußner, Tristan Le Gall, Grégoire Sutre

Proceedings of the Model Checking Software, 2009

Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models.

Hayssam Soueidan, Grégoire Sutre, Macha Nikolski

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Polynomial Precise Interval Analysis Revisited.

Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm

Proceedings of the Efficient Algorithms, 2009

2007

Unfolding Concurrent Well-Structured Transition Systems.

Frédéric Herbreteau, Grégoire Sutre, The Quang Tran

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Accelerated Data-Flow Analysis.

Jérôme Leroux, Grégoire Sutre

Proceedings of the Static Analysis, 14th International Symposium, 2007

Acceleration in Convex Data-Flow Analysis.

Jérôme Leroux, Grégoire Sutre

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006

Flat counter automata almost everywhere!.

Jérôme Leroux, Grégoire Sutre

Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

2004

On Flatness for 2-Dimensional Vector Addition Systems with States.

Jérôme Leroux, Grégoire Sutre

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Modeling and verifying behavioral aspects.

François Breant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, Emmanuel Paviot-Adet, Denis Poitrenaud, Dan Marius Regep, Grégoire Sutre

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2003

Well-abstracted transition systems: application to FIFO automata.

Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre

Inf. Comput., 2003

Software Verification with BLAST.

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre

Proceedings of the Model Checking Software, 2003

An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems.

Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre

Proceedings of the Logic for Programming, 2003

2002

Lazy abstraction.

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Verification of Embedded Reactive Fiffo Systems.

Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

Temporal-Safety Proofs for Systems Code.

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2000

Decidability of Reachability Problems for Classes of Two Counters Automata.

Alain Finkel, Grégoire Sutre

Proceedings of the STACS 2000, 2000

An Algorithm Constructing the Semilinear Post^* for 2-Dim Reset/Transfer VASS.

Alain Finkel, Grégoire Sutre

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Well-Abstracted Transition Systems.

Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre

Proceedings of the CONCUR 2000, 2000

1998

Effective Recognizability and Model Checking of Reactive Fiffo Automata.

Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez

Proceedings of the Algebraic Methodology and Software Technology, 1998