Welcome to Tristan Le Gall's homepage


General Informations

I am a PhD student in the VerTeCs project, in IRISA (Institut de Recherche en Informatique et Systèmes Aléatoires).
I am also moniteur (part-time teacher assistant) in University of Rennes 1.

Contact

Institute IRISA, VERTECS Project
Address Campus de Beaulieu
F-35042 RENNES cedex
FRANCE
FAX +33 (0)2 99 84 71 71
Phone +33 (0)2 99 84 75 02
Room D056
E-mail tristan.le_gall@irisa.fr

Academic Background

Master Thesis (Diplôme d'Études Approfondies) of Computer Science in University of Rennes 1, july 2004.
MSc (Maîtrise) of Mathematics in University of Rennes 1, june 2002.
MSc (Maîtrise) of Computer Science in University of Rennes 1, june 2002.
BSc (Licence) of Mathematics in University of Rennes 1, june 2001.
BSc (Licence) of Computer Science in University of Rennes 1, june 2001.
Former student of École normale supérieure de Cachan (2002-2004).




Research Work

Research Domain

Abstract Interpretation and static analysis of symbolic systems.
Analysis of Asynchronous Systems modeled by Communicating Finite State Machines (CFSMs).
Supervisory Control of Discrete Event Systems using symbolic methods based on Abstract Interpretation.

Publications

Journal Papers
  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. (more)

Conference Papers
  1. 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, Kongens Lyngby, Denmark, August 2007. (more)
  2. 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, July 2006. (more)
  3. 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), December 2005. (more)

Research and Technical reports
  1. T. Le gall, B. Jeannet, Analysis of Communicating Infinite State Machines using Lattice Automata, Research Report IRISA, No 1839, March 2007. (more)
  2. Bertrand Jeannet, Thierry Jéron, Tristan Le Gall, Abstract lattices for the analysis of systems with unbounded FIFO channels, Research Report IRISA, No 1767, December 2005. (more)
  3. T. Le Gall, B. Jeannet, H. Marchand, Contrôle de systèmes symboliques, discrets ou hybrides, Research Report IRISA, No 1683, January 2005. (more)

Tristan Le Gall
Last modified: Wed Jan 5 16:48:28 CET 2005