Tristan Le Gall
Tristan Le Gall
CEA LIST
Verified email at cea.fr
Title
Cited by
Cited by
Year
Supervisory control of infinite symbolic systems using abstract interpretation
T Le Gall, B Jeannet, H Marchand
Proceedings of the 44th IEEE Conference on Decision and Control, 30-35, 2005
442005
Verification of communication protocols using abstract interpretation of FIFO queues
T Le Gall, B Jeannet, T Jéron
International Conference on Algebraic Methodology and Software Technology …, 2006
402006
Lattice automata: A representation for languages on infinite alphabets, and some applications to verification
T Le Gall, B Jeannet
International Static Analysis Symposium, 52-68, 2007
352007
Synthesis of communicating controllers for distributed systems
G Kalyon, T Le Gall, H Marchand, T Massart
2011 50th IEEE Conference on Decision and Control and European Control …, 2011
192011
Iterated regret minimization in game graphs
E Filiot, T Le Gall, JF Raskin
International Symposium on Mathematical Foundations of Computer Science, 342-354, 2010
122010
An accurate join for zonotopes, preserving affine input/output relations
E Goubault, T Le Gall, S Putot
Electronic Notes in Theoretical Computer Science 287, 65-76, 2012
112012
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
G Kalyon, T Le Gall, H Marchand, T Massart
Discrete event dynamic systems 22 (2), 121-161, 2012
102012
McScM: a general framework for the verification of communicating machines
A Heußner, T Le Gall, G Sutre
International Conference on Tools and Algorithms for the Construction and …, 2012
102012
Static analysis of communicating processes using symbolic transducers
V Botbol, E Chailloux, T Le Gall
International Conference on Verification, Model Checking, and Abstract …, 2017
92017
Symbolic supervisory control of distributed systems with communications
G Kalyon, T Le Gall, H Marchand, T Massart
IEEE Transactions on Automatic Control 59 (2), 396-408, 2013
82013
A completion algorithm for lattice tree automata
T Genet, T Le Gall, A Legay, V Murat
International Conference on Implementation and Application of Automata, 134-145, 2013
72013
Control of infinite symbolic transition systems under partial observation
G Kalyon, T Le Gall, H Marchand, T Massart
2009 European Control Conference (ECC), 1456-1462, 2009
72009
Lattice-valued binary decision diagrams
G Geeraerts, G Kalyon, T Le Gall, N Maquet, JF Raskin
International Symposium on Automated Technology for Verification and …, 2010
62010
Extrapolation-based path invariants for abstraction refinement of fifo systems
A Heußner, T Le Gall, G Sutre
International SPIN Workshop on Model Checking of Software, 107-124, 2009
62009
Global state estimates for distributed systems
G Kalyon, T Le Gall, H Marchand, T Massart
Formal Techniques for Distributed Systems, 198-212, 2011
52011
Contrôle de systemes symboliques, discrets ou hybrides
T Le Gall, B Jeannet, H Marchand
INRIA, 2005
52005
Decentralized control of infinite systems
G Kalyon, T Le Gall, H Marchand, T Massart
Discrete event dynamic systems 21 (3), 359-393, 2011
42011
Safety verification of communicating one-counter machines
A Heußner, T Le Gall, G Sutre
IARCS Annual Conference on Foundations of Software Technology and …, 2012
32012
Abstract lattices for the verification of systemes with stacks and queues
T Le Gall
Université Rennes 1, 2008
32008
Tree regular model checking for lattice-based automata
T Genet, TL Gall, A Legay, V Murat
arXiv preprint arXiv:1203.1495, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20