Seguir
Tristan Le Gall
Tristan Le Gall
CEA LIST
E-mail confirmado em cea.fr
Título
Citado por
Citado por
Ano
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
482005
Verification of communication protocols using abstract interpretation of FIFO queues
T Le Gall, B Jeannet, T Jéron
Algebraic Methodology and Software Technology: 11th International Conference …, 2006
452006
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
362007
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
232011
Iterated regret minimization in game graphs
E Filiot, T Le Gall, JF Raskin
Mathematical Foundations of Computer Science 2010: 35th International …, 2010
162010
Static analysis of communicating processes using symbolic transducers
V Botbol, E Chailloux, T Le Gall
Verification, Model Checking, and Abstract Interpretation: 18th …, 2017
142017
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
142012
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
132013
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
122012
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
A completion algorithm for lattice tree automata
T Genet, T Le Gall, A Legay, V Murat
Implementation and Application of Automata: 18th International Conference …, 2013
92013
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
92009
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
82009
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
Global state estimates for distributed systems
G Kalyon, T Le Gall, H Marchand, T Massart
International Conference on Formal Methods for Open Object-Based Distributed …, 2011
52011
Contrôle de systemes symboliques, discrets ou hybrides
T Le Gall, B Jeannet, H Marchand
INRIA, 2005
52005
Tree regular model checking for lattice-based automata
T Genet, TL Gall, A Legay, V Murat
arXiv preprint arXiv:1203.1495, 2012
42012
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20