Grégoire Sutre

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 16

Top Topics

Automata Theoretic

Top Venues

Publications

Romain Delpy, Anca Muscholl, Grégoire Sutre
An Automata-Based Approach for Synchronizable Mailbox Communication. CONCUR (2024)
Romain Delpy, Anca Muscholl, Grégoire Sutre
An automata-based approach for synchronizable mailbox communication. CoRR (2024)
Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor
Guiding Symbolic Execution with A-Star. SEFM (2023)
Jérôme Leroux, Grégoire Sutre
Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free. CONCUR (2020)
Jérôme Leroux, Grégoire Sutre
Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free. CoRR (2020)
Jérôme Leroux, M. Praveen, Philippe Schnoebelen, Grégoire Sutre
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems. Log. Methods Comput. Sci. 15 (4) (2019)
Petr Jancar, Jérôme Leroux, Grégoire Sutre
Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States. Fundam. Informaticae 169 (1-2) (2019)
Jérôme Leroux, M. Praveen, Philippe Schnoebelen, Grégoire Sutre
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems. CoRR (2019)
Alain Finkel, Jérôme Leroux, Grégoire Sutre
Reachability for Two-Counter Machines with One Test and One Reset. FSTTCS (2018)
Vincent Penelle, Sylvain Salvati, Grégoire Sutre
On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems. FSTTCS (2018)
Petr Jancar, Jérôme Leroux, Grégoire Sutre
Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States. Petri Nets (2018)
Thomas Geffroy, Jérôme Leroux, Grégoire Sutre
Occam's Razor applied to the Petri net coverability problem. Theor. Comput. Sci. 750 (2018)
Diego Figueira, Ranko Lazic, Jérôme Leroux, Filip Mazowiecki, Grégoire Sutre
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One. ICALP (2017)
Thomas Geffroy, Jérôme Leroux, Grégoire Sutre
Backward coverability with pruning for lossy channel systems. SPIN (2017)
Thomas Geffroy, Jérôme Leroux, Grégoire Sutre
Occam's Razor Applied to the Petri Net Coverability Problem. RP (2016)
Thomas Geffroy, Jérôme Leroux, Grégoire Sutre
Occam's Razor Applied to the Petri Net Coverability Problem. CoRR (2016)
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
On Boundedness Problems for Pushdown Vector Addition Systems. CoRR (2015)
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
On Boundedness Problems for Pushdown Vector Addition Systems. RP (2015)
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension. ICALP (2) (2015)
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension. CoRR (2015)
Jérôme Leroux, Vincent Penelle, Grégoire Sutre
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems. ATVA (2014)
Lorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre
Decidable Topologies for Communicating Automata with FIFO and Bag Channels. CONCUR (2014)
Jérôme Leroux, M. Praveen, Grégoire Sutre
Hyper-Ackermannian bounds for pushdown vector addition systems. CSL-LICS (2014)
Jérôme Leroux, M. Praveen, Grégoire Sutre
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness. CONCUR (2013)
Jérôme Leroux, Vincent Penelle, Grégoire Sutre
On the Context-Freeness Problem for Vector Addition Systems. LICS (2013)
Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre
Reachability of Communicating Timed Processes. FoSSaCS (2013)
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
McScM: A General Framework for the Verification of Communicating Machines. TACAS (2012)
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
Safety Verification of Communicating One-Counter Machines. FSTTCS (2012)
Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre
Reachability of Communicating Timed Processes CoRR (2012)
Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre
Reachability Analysis of Communicating Pushdown Systems Log. Methods Comput. Sci. 8 (3) (2012)
Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre
Reachability Analysis of Communicating Pushdown Systems. FoSSaCS (2010)
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. SPIN (2009)
Hayssam Soueidan, Grégoire Sutre, Macha Nikolski
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. CMSB (2009)
Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm
Polynomial Precise Interval Analysis Revisited. Efficient Algorithms (2009)
Jérôme Leroux, Grégoire Sutre
Accelerated Data-Flow Analysis CoRR (2008)
Frédéric Herbreteau, Grégoire Sutre, The Quang Tran
Unfolding Concurrent Well-Structured Transition Systems. TACAS (2007)
Jérôme Leroux, Grégoire Sutre
Accelerated Data-Flow Analysis. SAS (2007)
Jérôme Leroux, Grégoire Sutre
Acceleration in Convex Data-Flow Analysis. FSTTCS (2007)
Jérôme Leroux, Grégoire Sutre
Flat counter automata almost everywhere!. Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
Jérôme Leroux, Grégoire Sutre
Flat Counter Automata Almost Everywhere! ATVA (2005)
Jérôme Leroux, Grégoire Sutre
On Flatness for 2-Dimensional Vector Addition Systems with States. CONCUR (2004)
Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre
An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. LPAR (2003)
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
Software Verification with BLAST. SPIN (2003)
Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre
Well-abstracted transition systems: application to FIFO automata. Inf. Comput. 181 (1) (2003)
Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre
Verification of Embedded Reactive Fiffo Systems. LATIN (2002)
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
Lazy abstraction. POPL (2002)
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
Temporal-Safety Proofs for Systems Code. CAV (2002)
Alain Finkel, Grégoire Sutre
for 2-Dim Reset/Transfer VASS. MFCS (2000)
Alain Finkel, Grégoire Sutre
Decidability of Reachability Problems for Classes of Two Counters Automata. STACS (2000)
Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre
Well-Abstracted Transition Systems. CONCUR (2000)
Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez
Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST (1998)