| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2001 | — | conf |
IEEE Real Time Technology and Applications Symposium
|
| 1998 | J | jnl |
Integr. Comput. Aided Eng.
|
| 1998 | — | conf |
ICCL
|
| 1998 | A | conf |
RTSS
|
| 1998 | — | conf |
COOTS
|
| 1998 | J | jnl |
J. Syst. Softw.
|
| 1997 | J | jnl |
Bell Labs Tech. J.
|
| 1997 | A* | conf |
ICSE
|
| 1997 | — | conf |
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
|
| 1996 | J | jnl |
Formal Methods Syst. Des.
|
| 1996 | J | jnl |
IEEE Trans. Software Eng.
|
| 1995 | A* | conf |
ICSE
|
| 1995 | — | conf |
WIFT
|
| 1995 | A | conf |
RTSS
|
| 1995 | A* | conf |
CAV
|
| 1994 | — | conf |
AIRTC
|