| 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 | 45 | 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 | 42 | 2006 |
| 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 | 35 | 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 | 23 | 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 |
| Static analysis of communicating processes using symbolic transducers V Botbol, E Chailloux, T Le Gall Verification, Model Checking, and Abstract Interpretation: 18th …, 2017 | 15 | 2017 |
| 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 | 12 | 2012 |
| 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 | 12 | 2012 |
| 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 | 11 | 2013 |
| 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 Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009 | 9 | 2009 |
| 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 | 8 | 2013 |
| 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 |
| 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 | 6 | 2010 |
| Global State Estimates for Distributed Systems. G Kalyon, T Le Gall, H Marchand, T Massart FMOODS/FORTE 6722, 198-212, 2011 | 5 | 2011 |
| Contrôle de systemes symboliques, discrets ou hybrides T Le Gall, B Jeannet, H Marchand INRIA, 2005 | 5 | 2005 |
| 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 | 4 | 2012 |
| Tree regular model checking for lattice-based automata T Genet, TL Gall, A Legay, V Murat arXiv preprint arXiv:1203.1495, 2012 | 3 | 2012 |
| Decentralized control of infinite systems G Kalyon, T Le Gall, H Marchand, T Massart Discrete event dynamic systems 21 (3), 359-393, 2011 | 3 | 2011 |
| Abstract lattices for the verification of systemes with stacks and queues T Le Gall Université Rennes 1, 2008 | 3 | 2008 |
Hervé MarchandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
