Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. - Tristan Le Gall; Bertrand Jeannet; Hervé Marchand (CDC/ECC, 2005)

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. - Tristan Le Gall; Bertrand Jeannet; Thierry Jéron (AMAST, 2006)

Contrôle de systèmes symboliques, discrets ou hybrides. - Tristan Le Gall; Bertrand Jeannet; Hervé Marchand (Tech. Sci. Informatiques, 2006)

Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. - Tristan Le Gall; Bertrand Jeannet (SAS, 2007)

Abstract lattices for the verification of systèmes with stacks and queues. (Titre non disponible). - Tristan Le Gall (2008)

Control of infinite Symbolic Transition Systems under partial observation. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (ECC, 2009)

Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. - Alexander Heußner; Tristan Le Gall; Grégoire Sutre (SPIN, 2009)

Lattice-Valued Binary Decision Diagrams. - Gilles Geeraerts; Gabriel Kalyon; Tristan Le Gall; Nicolas Maquet; Jean-François Raskin (ATVA, 2010)

Iterated Regret Minimization in Game Graphs. - Emmanuel Filiot; Tristan Le Gall; Jean-François Raskin (MFCS, 2010)

Synthesis of communicating controllers for distributed systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (CDC/ECC, 2011)

Global State Estimates for Distributed Systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (FMOODS/FORTE, 2011)

Decentralized Control of Infinite Systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (Discret. Event Dyn. Syst., 2011)

Safety Verification of Communicating One-Counter Machines. - Alexander Heußner; Tristan Le Gall; Grégoire Sutre (FSTTCS, 2012)

McScM: A General Framework for the Verification of Communicating Machines. - Alexander Heußner; Tristan Le Gall; Grégoire Sutre (TACAS, 2012)

Tree Regular Model Checking for Lattice-Based Automata - Thomas Genet; Tristan Le Gall; Axel Legay; Valérie Murat (CoRR, 2012)

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (Discret. Event Dyn. Syst., 2012)

An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. - Eric Goubault; Tristan Le Gall; Sylvie Putot (NSAD@SAS, 2012)

A Completion Algorithm for Lattice Tree Automata. - Thomas Genet; Tristan Le Gall; Axel Legay; Valérie Murat (CIAA, 2013)

Symbolic Supervisory Control of Distributed Systems With Communications. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (IEEE Trans. Autom. Control., 2014)

Static Analysis of Communicating Processes Using Symbolic Transducers. - Vincent Botbol; Emmanuel Chailloux; Tristan Le Gall (VMCAI, 2017)

Neural Network Verification with PyRAT. - Augustin Lemesle; Julien Lehmann; Tristan Le Gall (CoRR, 2024)

PyRAT: Verifying Neural Networks with Abstract Interpretation (Competition Contribution). - Augustin Lemesle; Julien Lehmann; Tristan Le Gall; Zakaria Chihani (SAIV, 2025)

Verifying Neural Networks with PyRAT. - Augustin Lemesle; Julien Lehmann; Tristan Le Gall; Zakaria Chihani (SAS, 2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks. - Jaouhar Slimi; Tristan Le Gall; Augustin Lemesle (CoRR, 2025)