![]() |
| * | 2009 | |
|---|---|---|
| 2 | EE | Étienne André: IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. ICTAC 2009: 336-342 |
| 2008 | ||
| 1 | EE | É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] |