| 2008 |
|---|
| 17 | EE | Jérôme Leroux,
Grégoire Sutre:
Accelerated Data-Flow Analysis
CoRR abs/0812.2011: (2008) |
| 2007 |
|---|
| 16 | EE | Jérôme Leroux,
Grégoire Sutre:
Acceleration in Convex Data-Flow Analysis.
FSTTCS 2007: 520-531 |
| 15 | EE | Jérôme Leroux,
Grégoire Sutre:
Accelerated Data-Flow Analysis.
SAS 2007: 184-199 |
| 14 | EE | Frédéric Herbreteau,
Grégoire Sutre,
The Quang Tran:
Unfolding Concurrent Well-Structured Transition Systems.
TACAS 2007: 706-720 |
| 2006 |
|---|
| 13 | EE | Jérôme Leroux,
Grégoire Sutre:
Flat counter automata almost everywhere!.
Software Verification: Infinite-State Model Checking and Static Program Analysis 2006 |
| 2005 |
|---|
| 12 | EE | Jérôme Leroux,
Grégoire Sutre:
Flat Counter Automata Almost Everywhere!
ATVA 2005: 489-503 |
| 2004 |
|---|
| 11 | EE | Jérôme Leroux,
Grégoire Sutre:
On Flatness for 2-Dimensional Vector Addition Systems with States.
CONCUR 2004: 402-416 |
| 2003 |
|---|
| 10 | EE | Jean-Michel Couvreur,
Nasser Saheb,
Grégoire Sutre:
An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems.
LPAR 2003: 361-375 |
| 9 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
Grégoire Sutre:
Software Verification with BLAST.
SPIN 2003: 235-239 |
| 8 | EE | Alain Finkel,
S. Purushothaman Iyer,
Grégoire Sutre:
Well-abstracted transition systems: application to FIFO automata.
Inf. Comput. 181(1): 1-31 (2003) |
| 2002 |
|---|
| 7 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
George C. Necula,
Grégoire Sutre,
Westley Weimer:
Temporal-Safety Proofs for Systems Code.
CAV 2002: 526-538 |
| 6 | EE | Frédéric Herbreteau,
Franck Cassez,
Alain Finkel,
Olivier Roux,
Grégoire Sutre:
Verification of Embedded Reactive Fiffo Systems.
LATIN 2002: 400-414 |
| 5 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
Grégoire Sutre:
Lazy abstraction.
POPL 2002: 58-70 |
| 2000 |
|---|
| 4 | EE | Alain Finkel,
S. Purushothaman Iyer,
Grégoire Sutre:
Well-Abstracted Transition Systems.
CONCUR 2000: 566-580 |
| 3 | EE | Alain Finkel,
Grégoire Sutre:
An Algorithm Constructing the Semilinear Post* for 2-Dim Reset/Transfer VASS.
MFCS 2000: 353-362 |
| 2 | EE | Alain Finkel,
Grégoire Sutre:
Decidability of Reachability Problems for Classes of Two Counters Automata.
STACS 2000: 346-357 |
| 1998 |
|---|
| 1 | EE | Grégoire Sutre,
Alain Finkel,
Olivier Roux,
Franck Cassez:
Effective Recognizability and Model Checking of Reactive Fiffo Automata.
AMAST 1998: 106-123 |
