| 2009 | ||
|---|---|---|
| 2 | Étienne André: IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. ICTAC 2009: 336-342 | |
| 2008 | ||
| 1 | Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz: An Inverse Method for Parametric Timed Automata. Electr. Notes Theor. Comput. Sci. 223: 29-46 (2008) | |
| 1 | Thomas Chatain | [1] |
| 2 | Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz) | [1] |
| 3 | Laurent Fribourg | [1] |