# Tristan Le Gall

According to our database

Collaborative distances:

^{1}, Tristan Le Gall authored at least 19 papers between 2006 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

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

2014

IEEE Trans. Autom. Control., 2014

2013

Proceedings of the Implementation and Application of Automata, 2013

2012

Electron. Notes Theor. Comput. Sci., 2012

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation.

Discret. Event Dyn. Syst., 2012

CoRR, 2012

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

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

2011

Discret. Event Dyn. Syst., 2011

Proceedings of the Formal Techniques for Distributed Systems, 2011

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

2010

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Proceedings of the Model Checking Software, 2009

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

Tech. Sci. Informatiques, 2006

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.

Proceedings of the Algebraic Methodology and Software Technology, 2006