| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2005 | J | jnl |
Comput. Networks
|
| 2003 | — | conf |
Modelling, Simulation, and Optimization
|
| 2001 | — | conf |
SDL Forum
|
| 2001 | B | conf |
EDOC
|
| 2000 | — | conf |
TOOLS (37)
|
| 2000 | — | conf |
Rigorous Object-Oriented Methods
|
| 2000 | C | conf |
ISORC
|
| 1999 | — | conf |
SDL Forum
|
| 1998 | — | conf |
FBT
|
| 1997 | — | conf |
UML Workshop
|
| 1997 | — | conf |
FBT
|
| 1996 | — | conf |
ESM
|
| 1995 | — | conf |
Hybrid Systems
|
| 1994 | C | conf |
FORTE
|
| 1993 | — | conf |
TOOLS (11)
|
| 1991 | — | conf |
ASIM
|
| 1991 | — | — |
|
| 1990 | J | jnl |
it Inf. Technol.
|