| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2001 | — | conf |
CDC
|
| 2000 | C | conf |
ACC
|
| 2000 | — | — |
|
| 1999 | — | conf |
HSCC
|
| 1999 | J | jnl |
Autom.
|
| 1998 | — | conf |
FTRTFT
|
| 1998 | J | jnl |
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.
Parallel Distributed Comput. Pract.
|
| 1997 | — | conf |
Hybrid Systems
|
| 1997 | — | conf |
HART
|
| 1996 | — | conf |
Hybrid Systems
|
| 1996 | A | conf |
TACAS
|
| 1995 | — | conf |
EUROSIM
|