| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1999 | — | conf |
Correct System Design
|
| 1998 | — | ed. |
FTRTFT
|
| 1997 | — | conf |
RTS
|
| 1996 | — | conf |
European Educational Forum: School on Embedded Systems
|
| 1995 | B | conf |
SOFSEM
|
| 1994 | — | conf |
Hybrid Systems
|
| 1994 | — | conf |
FTRTFT
|
| 1993 | — | ed. |
Hybrid Systems, Proceedings of the First International Workshop on Hybrid Systems, Cornell University, USA, June 1991, and the Second International Workshop on Hybrid Systems, Lyngby, Denmark, October 1992.
|
| 1993 | J | jnl |
IEEE Trans. Software Eng.
|
| 1992 | — | conf |
FTRTFT
|
| 1992 | — | conf |
Hybrid Systems
|
| 1992 | — | conf |
RTS
|
| 1991 | — | conf |
SIGSOFT
|
| 1988 | J | jnl |
BIT
|