Tristan Le Gall

	2009
4		Alexander Heußner, Tristan Le Gall, Grégoire Sutre: Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. SPIN 2009: 107-124
	2007
3		Tristan Le Gall, Bertrand Jeannet: Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. SAS 2007: 52-68
	2006
2		Tristan Le Gall, Bertrand Jeannet, Thierry Jéron: Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST 2006: 204-219
1		Tristan Le Gall, Bertrand Jeannet, Hervé Marchand: Contrôle de systèmes symboliques, discrets ou hybrides. Technique et Science Informatiques 25(3): 289-315 (2006)

Coauthor Index

1	Alexander Heußner	[4]
2	Bertrand Jeannet	[1] [2] [3]
3	Thierry Jéron	[2]
4	Hervé Marchand	[1]
5	Grégoire Sutre	[4]

Colors in the list of coauthors