Grégoire Sutre

Available identifiers

zbMath Open sutre.gregoireMaRDI QIDQ1401923

List of research outcomes

Publication	Date of Publication	Type
On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5090970	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089304	2022-07-18	Paper
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One	2020-05-27	Paper
Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States	2020-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q5207052	2020-01-03	Paper
Co-finiteness and co-emptiness of reachability sets in vector addition systems with states	2019-12-18	Paper
Occam's razor applied to the Petri net coverability problem	2018-11-23	Paper
Hyper-Ackermannian bounds for pushdown vector addition systems	2018-04-23	Paper
Occam's razor applied to the Petri net coverability problem	2018-03-26	Paper
On boundedness problems for pushdown vector addition systems	2017-10-27	Paper
On the Context-Freeness Problem for Vector Addition Systems	2017-07-03	Paper
Safety Verification of Communicating One-Counter Machines	2017-01-26	Paper
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems	2015-12-17	Paper
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension	2015-11-04	Paper
Lazy abstraction	2015-03-17	Paper
Decidable Topologies for Communicating Automata with FIFO and Bag Channels	2014-09-15	Paper
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness	2013-08-12	Paper
Reachability of Communicating Timed Processes	2013-03-18	Paper
Reachability Analysis of Communicating Pushdown Systems	2012-10-22	Paper
Reachability analysis of communicating pushdown systems	2010-04-27	Paper
An optimal automata approach to LTL model checking of probabilistic systems	2010-02-24	Paper
Polynomial Precise Interval Analysis Revisited	2009-11-12	Paper
Accelerated Data-Flow Analysis	2009-03-03	Paper
Acceleration in Convex Data-Flow Analysis	2008-04-24	Paper
Unfolding Concurrent Well-Structured Transition Systems	2007-09-03	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q3044342	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4426387	2003-09-16	Paper
Well-abstracted transition systems: Application to FIFO automata.	2003-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4804923	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4536629	2002-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4536371	2002-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4501546	2001-01-29	Paper

Research outcomes over time

This page was built for person: Grégoire Sutre