Tristan Le Gall

	2012
13		Alexander Heußner, Tristan Le Gall, Grégoire Sutre: McScM: A General Framework for the Verification of Communicating Machines. TACAS 2012: 478-484
12		Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat: Tree Regular Model Checking for Lattice-Based Automata CoRR abs/1203.1495: (2012)
11		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. Discrete Event Dynamic Systems 22(2): 121-161 (2012)
	2011
10		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Synthesis of communicating controllers for distributed systems. CDC-ECE 2011: 1803-1810
9		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Global State Estimates for Distributed Systems. FMOODS/FORTE 2011: 198-212
8		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Decentralized Control of Infinite Systems. Discrete Event Dynamic Systems 21(3): 359-393 (2011)
	2010
7		Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin: Lattice-Valued Binary Decision Diagrams. ATVA 2010: 158-172
6		Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin: Iterated Regret Minimization in Game Graphs. MFCS 2010: 342-354
5		Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin: Iterated Regret Minimization in Game Graphs CoRR abs/1002.1456: (2010)
	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	Emmanuel Filiot	[5] [6]
2	Gilles Geeraerts	[7]
3	Thomas Genet	[12]
4	Alexander Heußner	[4] [13]
5	Bertrand Jeannet	[1] [2] [3]
6	Thierry Jéron	[2]
7	Gabriel Kalyon	[7] [8] [9] [10] [11]
8	Axel Legay	[12]
9	Nicolas Maquet	[7]
10	Hervé Marchand	[1] [8] [9] [10] [11]
11	Thierry Massart	[8] [9] [10] [11]
12	Valérie Murat	[12]
13	Jean-François Raskin	[5] [6] [7]
14	Grégoire Sutre	[4] [13]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page