Tristan Le Gall

According to our database, Tristan Le Gall authored at least 21 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Neural Network Verification with PyRAT.

Augustin Lemesle, Julien Lehmann, Tristan Le Gall

CoRR, 2024

2017

Static Analysis of Communicating Processes Using Symbolic Transducers.

Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2014

Symbolic Supervisory Control of Distributed Systems With Communications.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

IEEE Trans. Autom. Control., 2014

2013

A Completion Algorithm for Lattice Tree Automata.

Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat

Proceedings of the Implementation and Application of Automata, 2013

2012

An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations.

Eric Goubault, Tristan Le Gall, Sylvie Putot

Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 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

Tree Regular Model Checking for Lattice-Based Automata

Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat

CoRR, 2012

McScM: A General Framework for the Verification of Communicating Machines.

Alexander Heußner, Tristan Le Gall, Grégoire Sutre

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Safety Verification of Communicating One-Counter Machines.

Alexander Heußner, Tristan Le Gall, Grégoire Sutre

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011

Decentralized Control of Infinite Systems.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Discret. Event Dyn. Syst., 2011

Global State Estimates for Distributed Systems.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Proceedings of the Formal Techniques for Distributed Systems, 2011

Synthesis of communicating controllers for distributed systems.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Iterated Regret Minimization in Game Graphs.

Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

Lattice-Valued Binary Decision Diagrams.

Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.

Alexander Heußner, Tristan Le Gall, Grégoire Sutre

Proceedings of the Model Checking Software, 2009

Control of infinite Symbolic Transition Systems under partial observation.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Proceedings of the 10th European Control Conference, 2009

2008

Abstract lattices for the verification of systèmes with stacks and queues. (Titre non disponible).

Tristan Le Gall

PhD thesis, 2008

2007

Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification.

Tristan Le Gall, Bertrand Jeannet

Proceedings of the Static Analysis, 14th International Symposium, 2007

2006

Contrôle de systèmes symboliques, discrets ou hybrides.

Tristan Le Gall, Bertrand Jeannet, Hervé Marchand

Tech. Sci. Informatiques, 2006

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.

Tristan Le Gall, Bertrand Jeannet, Thierry Jéron

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation.

Tristan Le Gall, Bertrand Jeannet, Hervé Marchand

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005