Tristan Le Gall
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2007–2025
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAS | Verifying Neural Networks with PyRAT. | Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani |
| 2017 | VMCAI | Static Analysis of Communicating Processes Using Symbolic Transducers. | Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall |
| 2012 | TACAS | McScM: A General Framework for the Verification of Communicating Machines. | Alexander Heuner, Tristan Le Gall, Grgoire Sutre |
| 2011 | FORTE | Global State Estimates for Distributed Systems. | Gabriel Kalyon, Tristan Le Gall, Herv Marchand, Thierry Massart |
| 2010 | ATVA | Lattice-Valued Binary Decision Diagrams. | Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-Franois Raskin |
| 2010 | MFCS | Iterated Regret Minimization in Game Graphs. | Emmanuel Filiot, Tristan Le Gall, Jean-Franois Raskin |
| 2007 | SAS | Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. | Tristan Le Gall, Bertrand Jeannet |