Tristan Le Gall

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Symbolic Supervisory Control of Distributed Systems With Communications IEEE Transactions on Automatic Control	2017-05-16	Paper
Static analysis of communicating processes using symbolic transducers Lecture Notes in Computer Science	2017-02-21	Paper
Safety verification of communicating one-counter machines	2017-01-26	Paper
An accurate join for zonotopes, preserving affine input/output relations Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
A completion algorithm for lattice tree automata Implementation and Application of Automata	2013-08-07	Paper
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation Discrete Event Dynamic Systems	2012-07-10	Paper
Decentralized control of infinite systems Discrete Event Dynamic Systems	2011-11-08	Paper
Lattice-valued binary decision diagrams Automated Technology for Verification and Analysis	2010-10-04	Paper
Iterated regret minimization in game graphs Mathematical Foundations of Computer Science 2010	2010-09-03	Paper
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues Algebraic Methodology and Software Technology	2009-04-28	Paper
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification Static Analysis	2009-03-03	Paper

Research outcomes over time

This page was built for person: Tristan Le Gall