| 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 | 46 | 2005 |
| 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 | 44 | 2006 |
| 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 | 36 | 2007 |
| 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 | 24 | 2011 |
| Iterated regret minimization in game graphs E Filiot, T Le Gall, JF Raskin Mathematical Foundations of Computer Science 2010: 35th International …, 2010 | 16 | 2010 |
| 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 | 15 | 2012 |
| Static analysis of communicating processes using symbolic transducers V Botbol, E Chailloux, T Le Gall Verification, Model Checking, and Abstract Interpretation: 18th …, 2017 | 14 | 2017 |
| 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 | 14 | 2013 |
| 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 | 13 | 2013 |
| 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 | 13 | 2012 |
| 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 | 10 | 2012 |
| 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 | 10 | 2009 |
| 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 | 8 | 2009 |
| Tree regular model checking for lattice-based automata T Genet, TL Gall, A Legay, V Murat arXiv preprint arXiv:1203.1495, 2012 | 7 | 2012 |
| 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 | 7 | 2010 |
| 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 | 5 | 2011 |
| Contrôle de systemes symboliques, discrets ou hybrides T Le Gall, B Jeannet, H Marchand INRIA, 2005 | 5 | 2005 |
| Decentralized control of infinite systems G Kalyon, T Le Gall, H Marchand, T Massart Discrete event dynamic systems 21 (3), 359-393, 2011 | 4 | 2011 |
| 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 | 3 | 2012 |
| Abstract lattices for the verification of systemes with stacks and queues T Le Gall Université Rennes 1, 2008 | 2 | 2008 |
Hervé MarchandUniv Rennes, Inria, CNRS, IRISAAdresse e-mail validée de inria.fr
