| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
ISD
|
| 2004 | — | conf |
TFM
|
| 2004 | — | conf |
INFORSID
|
| 2003 | J | jnl |
Tech. Sci. Informatiques
|
| 2000 | J | jnl |
ACM SIGPLAN Notices
|
| 1999 | — | conf |
World Congress on Formal Methods
|
| 1999 | J | jnl |
ACM SIGPLAN Notices
|
| 1997 | C | conf |
ICFEM
|
| 1996 | — | conf |
INFORSID
|
| 1995 | — | conf |
INFORSID
|
| 1994 | — | conf |
ORM
|
| 1990 | C | conf |
DEXA
|
| 1988 | A | conf |
ER
|
| 1985 | A | conf |
ER
|