| |
| 2004 | ||
|---|---|---|
| 3 | EE | Michaël Adélaïde, Claire Pagetti: On the Urgency Expressiveness. FSTTCS 2004: 71-83 |
| 2002 | ||
| 2 | EE | Michaël Adélaïde, Olivier Roux: A Class of Decidable Parametric Hybrid Systems. AMAST 2002: 132-146 |
| 2000 | ||
| 1 | EE | Michaël Adélaïde, Olivier Roux: Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. FTRTFT 2000: 252-263 |
| 1 | Claire Pagetti | [3] |
| 2 | Olivier H. Roux (Olivier Roux) | [1] [2] |