Volgen
Tristan Le Gall
Tristan Le Gall
CEA LIST
Geverifieerd e-mailadres voor cea.fr
Titel
Geciteerd door
Geciteerd door
Jaar
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
452005
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
422006
Lattice automata: A representation for languages on infinite alphabets, and some applications to verification
T Le Gall, B Jeannet
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby …, 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
232011
Static analysis of communicating processes using symbolic transducers
V Botbol, E Chailloux, T Le Gall
Verification, Model Checking, and Abstract Interpretation: 18th …, 2017
152017
Iterated regret minimization in game graphs
E Filiot, T Le Gall, JF Raskin
Mathematical Foundations of Computer Science 2010: 35th International …, 2010
152010
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
McScM: a general framework for the verification of communicating machines
A Heußner, T Le Gall, G Sutre
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
122012
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
102013
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
Extrapolation-based path invariants for abstraction refinement of fifo systems
A Heußner, T Le Gall, G Sutre
Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 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
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
72013
Lattice-valued binary decision diagrams
G Geeraerts, G Kalyon, T Le Gall, N Maquet, JF Raskin
Automated Technology for Verification and Analysis: 8th International …, 2010
62010
Global State Estimates for Distributed Systems.
G Kalyon, T Le Gall, H Marchand, T Massart
FMOODS/FORTE 6722, 198-212, 2011
52011
Contrôle de systemes symboliques, discrets ou hybrides
T Le Gall, B Jeannet, H Marchand
INRIA, 2005
52005
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
42012
Tree regular model checking for lattice-based automata
T Genet, TL Gall, A Legay, V Murat
arXiv preprint arXiv:1203.1495, 2012
32012
Decentralized control of infinite systems
G Kalyon, T Le Gall, H Marchand, T Massart
Discrete event dynamic systems 21 (3), 359-393, 2011
32011
Abstract lattices for the verification of systemes with stacks and queues
T Le Gall
Université Rennes 1, 2008
32008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20