| |
| 2007 | ||
|---|---|---|
| 3 | EE | Tristan Le Gall, Bertrand Jeannet: Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. SAS 2007: 52-68 |
| 2006 | ||
| 2 | EE | Tristan Le Gall, Bertrand Jeannet, Thierry Jéron: Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST 2006: 204-219 |
| 1 | EE | Tristan Le Gall, Bertrand Jeannet, Hervé Marchand: Contrôle de systèmes symboliques, discrets ou hybrides. Technique et Science Informatiques 25(3): 289-315 (2006) |
| 1 | Bertrand Jeannet | [1] [2] [3] |
| 2 | Thierry Jéron | [2] |
| 3 | Hervé Marchand | [1] |