| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Alexander Heußner, Tristan Le Gall, Grégoire Sutre: Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. SPIN 2009: 107-124 |
| 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 | Alexander Heußner | [4] |
| 2 | Bertrand Jeannet | [1] [2] [3] |
| 3 | Thierry Jéron | [2] |
| 4 | Hervé Marchand | [1] |
| 5 | Grégoire Sutre | [4] |