Publications de Tristan LeGall

Thèses

1. T. Le Gall, Abstract Lattices for the Verification of Systems with Queues and Stacks, Thèse de l'Ecole doctorale Matisse, Université de Rennes 1, Juillet 2008. (détails)

Articles de journaux

1. T. Le Gall, B. Jeannet, H. Marchand, Contrôle de systèmes symboliques, discrets ou hybrides, Technique et Science Informatiques (TSI), 25:293-319, 2006. (détails)

Conferences internationales

1. G. Kalyon, T. Le Gall, H. Marchand, T. Massart, Computational Complexity for State-Feedback Controllers with Partial Observation, in 7th International Conference on Control and Automation, ICCA'09, Christchurch, New Zealand, Décembre 2009. (détails)
2. T. Le Gall, B. Jeannet, Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification, in The 14th International Static Analysis Symposium, SAS 2007, Pages 52-68, Kongens Lyngby, Denmark, Août 2007. (détails)
3. T. Le Gall, B. Jeannet, T. Jéron, Verification of Communication Protocols using Abstract Interpretation of FIFO queues, in 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, Kuressaare, Estonia, Michael Johnson, Varmo Vene (eds.), Volume 4019, Pages 204-219, Juillet 2006. (détails)
4. T. Le Gall, B. Jeannet, H. Marchand, Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation, in 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 31-35, Seville (Spain), Décembre 2005. (détails)

Conferences nationales

1. G. Kalyon, T. Le Gall, H. Marchand, T. Massart, Contrôle décentralisé de systèmes symboliques infinis sous observation partielle, in 7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, 2009. (détails)

Rapport de recherche

1. G. Kalyon, T. Le gall, H. Marchand, T. Massart, Control of Infinite Symbolic Transitions Systems under Partial Observation, Technical report of the verification group Univeristé Libre de Bruxelles, No 103, Octobre 2008. (détails)
2. T. Le gall, B. Jeannet, Analysis of Communicating Infinite State Machines using Lattice Automata, Rapport de recherche IRISA, No 1839, Mars 2007. (détails)
3. Bertrand Jeannet, Thierry Jéron, Tristan Le Gall, Abstract lattices for the analysis of systems with unbounded FIFO channels, Rapport de recherche IRISA, No 1767, Décembre 2005. (détails) download
4. T. Le Gall, B. Jeannet, H. Marchand, Contrôle de systèmes symboliques, discrets ou hybrides, Rapport de recherche IRISA, No 1683, Janvier 2005. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.