| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2021 | — | conf |
QRS Companion
|
| 2021 | C | conf |
ICTSS
|
| 2020 | — | conf |
QRS Companion
|
| 2014 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2014 | J | jnl |
Int. J. Electron. Bus.
|
| 2008 | — | conf |
Formal Methods and Testing
|
| 2004 | — | conf |
TestCom
|
| 2003 | — | conf |
TestCom
|
| 2003 | C | conf |
FMICS
|
| 2002 | — | conf |
TestCom
|
| 1999 | — | conf |
IWTCS
|
| 1998 | J | jnl |
Formal Aspects Comput.
|
| 1998 | — | conf |
IWTCS
|