Tristan Le Gall

According to our database1, Tristan Le Gall authored at least 19 papers between 2006 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Static Analysis of Communicating Processes Using Symbolic Transducers.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2014
Symbolic Supervisory Control of Distributed Systems With Communications.
IEEE Trans. Autom. Control., 2014

2013
A Completion Algorithm for Lattice Tree Automata.
Proceedings of the Implementation and Application of Automata, 2013

2012
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations.
Electron. Notes Theor. Comput. Sci., 2012

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation.
Discret. Event Dyn. Syst., 2012

Tree Regular Model Checking for Lattice-Based Automata
CoRR, 2012

McScM: A General Framework for the Verification of Communicating Machines.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Safety Verification of Communicating One-Counter Machines.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011
Decentralized Control of Infinite Systems.
Discret. Event Dyn. Syst., 2011

Global State Estimates for Distributed Systems.
Proceedings of the Formal Techniques for Distributed Systems, 2011

Synthesis of communicating controllers for distributed systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Iterated Regret Minimization in Game Graphs.
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

Lattice-Valued Binary Decision Diagrams.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.
Proceedings of the Model Checking Software, 2009

Control of infinite Symbolic Transition Systems under partial observation.
Proceedings of the 10th European Control Conference, 2009

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

2007
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification.
Proceedings of the Static Analysis, 14th International Symposium, 2007

2006
Contrôle de systèmes symboliques, discrets ou hybrides.
Tech. Sci. Informatiques, 2006

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.
Proceedings of the Algebraic Methodology and Software Technology, 2006


  Loading...