| 2009 | ||
|---|---|---|
| 4 | 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 | 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 | Tristan Le Gall, Bertrand Jeannet, Thierry Jéron: Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST 2006: 204-219 | |
| 1 | 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] |