Travelled to:1 × Canada
1 × Denmark
1 × Estonia
Collaborated with:B.Jeannet A.Heußner G.Sutre T.Genet A.Legay V.Murat
Talks about:automata (2) lattic (2) verif (2) represent (1) framework (1) algorithm (1) communic (1) alphabet (1) languag (1) infinit (1)
Person: Tristan Le Gall
DBLP: Gall:Tristan_Le
Contributed to:
2013
2012
2007Wrote 3 papers:
- CIAA-2013-GenetGLM #algorithm #automaton
- A Completion Algorithm for Lattice Tree Automata (TG, TLG, AL, VM), pp. 134–145.
- TACAS-2012-HeussnerGS #communication #framework #named #verification
- McScM: A General Framework for the Verification of Communicating Machines (AH, TLG, GS), pp. 478–484.
- SAS-2007-GallJ #automaton #infinity #representation #verification
- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification (TLG, BJ), pp. 52–68.