| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | A | conf |
SANER
|
| 2018 | A | conf |
ICSME
|
| 2013 | J | jnl |
Inf. Softw. Technol.
|
| 2013 | J | jnl |
J. Softw. Evol. Process.
|
| 2011 | J | jnl |
Sci. Comput. Program.
|
| 2009 | — | conf |
WCRE
|
| 2009 | — | conf |
CSMR
|
| 2008 | — | conf |
CSMR
|
| 2003 | — | conf |
ICSM
|
| 2003 | — | conf |
LDTA@ETAPS
|
| 2003 | — | conf |
ICSM
|
| 1999 | — | ch. |
Algebraic Specification in Action
|
| 1996 | — | conf |
AMAST
|
| 1995 | J | jnl |
Inf. Comput.
|
| 1992 | B | conf |
CONCUR
|
| 1991 | — | conf |
REX Workshop
|
| 1991 | B | conf |
CONCUR
|