AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Tristan Le Gall

Tristan Le Gall

CEA (Commissariat à l'Energie Atomique et aux Energies Alternatives) - Paris / France
Others
AD Scientific Index ID: 4521743
CEA (French Atomic Energy and Alternative Energies Commission)
person_outline Tristan Le Gall's MOST POPULAR ARTICLES
1-) Supervisory control of infinite symbolic systems using abstract interpretation Proceedings of the 44th IEEE Conference on Decision and Control, 30-35, 2005
2-) Verification of communication protocols using abstract interpretation of FIFO queues International Conference on Algebraic Methodology and Software Technology …, 2006
3-) Lattice automata: A representation for languages on infinite alphabets, and some applications to verification International Static Analysis Symposium, 52-68, 2007
4-) Synthesis of communicating controllers for distributed systems 2011 50th IEEE Conference on Decision and Control and European Control …, 2011
5-) McScM: a general framework for the verification of communicating machines International Conference on Tools and Algorithms for the Construction and …, 2012