| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2015 | J | jnl |
IEEE Des. Test
|
| 2014 | — | conf |
HotSoS
|
| 2014 | — | conf |
ISoLA (2)
|
| 2013 | — | conf |
ASSURE@ICSE
|
| 2011 | J | jnl |
Adv. Comput.
|
| 2010 | B | conf |
RV
|
| 2009 | J | jnl |
SIGBED Rev.
|
| 2009 | A* | conf |
ASE
|
| 2008 | — | ch. |
Wiley Encyclopedia of Computer Science and Engineering
|
| 2007 | — | conf |
SLA++P
|
| 2006 | — | conf |
COMPSAC (2)
|
| 2005 | C | conf |
COORDINATION
|
| 2005 | Misc | conf |
SAC
|
| 2004 | — | conf |
SFEDL@ETAPS
|
| 2004 | — | conf |
FESCA@ETAPS
|
| 2004 | Misc | conf |
ICDCIT
|
| 2004 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2003 | A* | conf |
ICSE
|
| 2003 | C | conf |
NSPW
|