Tristan Le Gall

27 papers A 1B 5C 1Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Passive Learning of Lattice Automata from Recurrent Neural Networks.
OVERLAY
Jaouhar Slimi, Tristan Le Gall, Augustin Lemesle
2025 J jnl
Passive Learning of Lattice Automata from Recurrent Neural Networks.
CoRR
Jaouhar Slimi, Tristan Le Gall, Augustin Lemesle
2025 — conf
PyRAT: Verifying Neural Networks with Abstract Interpretation (Competition Contribution).
SAIV
Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani
2025 B conf
Verifying Neural Networks with PyRAT.
SAS
Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani
2024 J jnl
Neural Network Verification with PyRAT.
CoRR
Augustin Lemesle, Julien Lehmann, Tristan Le Gall
2017 B conf
Static Analysis of Communicating Processes Using Symbolic Transducers.
VMCAI
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
2016 J jnl
Static Analysis of Communicating Processes using Symbolic Transducers.
CoRR
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
2014 J jnl
Symbolic Supervisory Control of Distributed Systems With Communications.
IEEE Trans. Autom. Control.
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2013 C conf
A Completion Algorithm for Lattice Tree Automata.
CIAA
Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
2012 — conf
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations.
NSAD@SAS
Eric Goubault, Tristan Le Gall, Sylvie Putot
2012 A conf
McScM: A General Framework for the Verification of Communicating Machines.
TACAS
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
2012 — conf
Safety Verification of Communicating One-Counter Machines.
FSTTCS
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
2012 J jnl
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation.
Discret. Event Dyn. Syst.
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2012 J jnl
Tree Regular Model Checking for Lattice-Based Automata
CoRR
Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
2011 J jnl
Decentralized Control of Infinite Systems.
Discret. Event Dyn. Syst.
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2011 — conf
Global State Estimates for Distributed Systems.
FMOODS/FORTE
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2011 — conf
Synthesis of communicating controllers for distributed systems.
CDC/ECC
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2010 J jnl
Iterated Regret Minimization in Game Graphs
CoRR
Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin
2010 B conf
Iterated Regret Minimization in Game Graphs.
MFCS
Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin
2010 B conf
Lattice-Valued Binary Decision Diagrams.
ATVA
Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin
2009 — conf
Control of infinite Symbolic Transition Systems under partial observation.
ECC
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
2009 — conf
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.
SPIN
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
2008 — —
Abstract lattices for the verification of systèmes with stacks and queues. (Titre non disponible).
Tristan Le Gall
2007 B conf
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification.
SAS
Tristan Le Gall, Bertrand Jeannet
2006 J jnl
Contrôle de systèmes symboliques, discrets ou hybrides.
Tech. Sci. Informatiques
Tristan Le Gall, Bertrand Jeannet, Hervé Marchand
2006 — conf
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.
AMAST
Tristan Le Gall, Bertrand Jeannet, Thierry Jéron
2005 — conf
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation.
CDC/ECC
Tristan Le Gall, Bertrand Jeannet, Hervé Marchand