Grégoire Sutre

	2009
20		Hayssam Soueidan, Grégoire Sutre, Macha Nikolski: Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. CMSB 2009: 313-327
19		Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm: Polynomial Precise Interval Analysis Revisited. Efficient Algorithms 2009: 422-437
18		Alexander Heußner, Tristan Le Gall, Grégoire Sutre: Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. SPIN 2009: 107-124
	2008
17		Jérôme Leroux, Grégoire Sutre: Accelerated Data-Flow Analysis CoRR abs/0812.2011: (2008)
	2007
16		Jérôme Leroux, Grégoire Sutre: Acceleration in Convex Data-Flow Analysis. FSTTCS 2007: 520-531
15		Jérôme Leroux, Grégoire Sutre: Accelerated Data-Flow Analysis. SAS 2007: 184-199
14		Frédéric Herbreteau, Grégoire Sutre, The Quang Tran: Unfolding Concurrent Well-Structured Transition Systems. TACAS 2007: 706-720
	2006
13		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		Jérôme Leroux, Grégoire Sutre: Flat Counter Automata Almost Everywhere! ATVA 2005: 489-503
	2004
11		Jérôme Leroux, Grégoire Sutre: On Flatness for 2-Dimensional Vector Addition Systems with States. CONCUR 2004: 402-416
	2003
10		Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre: An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. LPAR 2003: 361-375
9		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Software Verification with BLAST. SPIN 2003: 235-239
8		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		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		Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre: Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414
5		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Lazy abstraction. POPL 2002: 58-70
	2000
4		Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre: Well-Abstracted Transition Systems. CONCUR 2000: 566-580
3		Alain Finkel, Grégoire Sutre: An Algorithm Constructing the Semilinear Post* for 2-Dim Reset/Transfer VASS. MFCS 2000: 353-362
2		Alain Finkel, Grégoire Sutre: Decidability of Reachability Problems for Classes of Two Counters Automata. STACS 2000: 346-357
	1998
1		Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez: Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123

Coauthor Index

1	Franck Cassez	[1] [6]
2	Jean-Michel Couvreur	[10]
3	Alain Finkel	[1] [2] [3] [4] [6] [8]
4	Tristan Le Gall	[18]
5	Thomas Gawlitza	[19]
6	Thomas A. Henzinger	[5] [7] [9]
7	Frédéric Herbreteau	[6] [14]
8	Alexander Heußner	[18]
9	S. Purushothaman Iyer (S. Purushothaman)	[4] [8]
10	Ranjit Jhala	[5] [7] [9]
11	Jérôme Leroux	[11] [12] [13] [15] [16] [17] [19]
12	Rupak Majumdar	[5] [7] [9]
13	George C. Necula	[7]
14	Macha Nikolski	[20]
15	Jan Reineke	[19]
16	Olivier H. Roux (Olivier Roux)	[1] [6]
17	Nasser Saheb	[10]
18	Helmut Seidl	[19]
19	Hayssam Soueidan	[20]
20	The Quang Tran	[14]
21	Westley Weimer	[7]
22	Reinhard Wilhelm	[19]

Colors in the list of coauthors