Tristan Le Gall

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 2

Top Venues

CoRR

Discret. Event Dyn. Syst.

VMCAI

TACAS

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
Static Analysis of Communicating Processes Using Symbolic Transducers. VMCAI (2017)
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
Static Analysis of Communicating Processes using Symbolic Transducers. CoRR (2016)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Symbolic Supervisory Control of Distributed Systems With Communications. IEEE Trans. Autom. Control. 59 (2) (2014)
Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
A Completion Algorithm for Lattice Tree Automata. CIAA (2013)
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
McScM: A General Framework for the Verification of Communicating Machines. TACAS (2012)
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
Safety Verification of Communicating One-Counter Machines. FSTTCS (2012)
Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
Tree Regular Model Checking for Lattice-Based Automata CoRR (2012)
Eric Goubault, Tristan Le Gall, Sylvie Putot
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. Electron. Notes Theor. Comput. Sci. 287 (2012)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. Discret. Event Dyn. Syst. 22 (2) (2012)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Decentralized Control of Infinite Systems. Discret. Event Dyn. Syst. 21 (3) (2011)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Synthesis of communicating controllers for distributed systems. CDC/ECC (2011)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Global State Estimates for Distributed Systems. FMOODS/FORTE (2011)
Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin
Iterated Regret Minimization in Game Graphs CoRR (2010)
Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin
Lattice-Valued Binary Decision Diagrams. ATVA (2010)
Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin
Iterated Regret Minimization in Game Graphs. MFCS (2010)
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. SPIN (2009)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Control of infinite Symbolic Transition Systems under partial observation. ECC (2009)
Tristan Le Gall, Bertrand Jeannet
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. SAS (2007)
Tristan Le Gall, Bertrand Jeannet, Hervé Marchand
Contrôle de systèmes symboliques, discrets ou hybrides. Tech. Sci. Informatiques 25 (3) (2006)
Tristan Le Gall, Bertrand Jeannet, Thierry Jéron
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST (2006)
Tristan Le Gall, Bertrand Jeannet, Hervé Marchand
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. CDC/ECC (2005)

Tristan Le Gall.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tristan Le Gall