| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2020 | J | jnl |
Trans. Emerg. Telecommun. Technol.
|
| 2018 | — | conf |
ICST Workshops
|
| 2018 | C | conf |
QRS
|
| 2017 | J | jnl |
SIGMETRICS Perform. Evaluation Rev.
|
| 2017 | J | jnl |
Inf. Softw. Technol.
|
| 2016 | J | jnl |
IEEE Access
|
| 2016 | Misc | conf |
SAC
|
| 2015 | — | conf |
ICST Workshops
|
| 2015 | — | conf |
EUROMICRO-SEAA
|
| 2013 | — | conf |
CyberC
|
| 2013 | — | conf |
EISIC
|
| 2013 | C | conf |
FUSION
|
| 2011 | J | jnl |
J. Adv. Inf. Fusion
|
| 2010 | — | conf |
IPMU (1)
|
| 2010 | C | conf |
FUSION
|
| 2010 | C | conf |
FUSION
|
| 2008 | C | conf |
SEW
|
| 2008 | C | conf |
FUSION
|
| 2008 | — | ch. |
Interval / Probabilistic Uncertainty and Non-Classical Logics
|
| 2008 | A | conf |
ICST
|
| 2007 | — | ch. |
Handbook of Real-Time and Embedded Systems
|
| 2007 | B | conf |
RTCSA
|
| 2006 | J | jnl |
Empir. Softw. Eng.
|
| 2005 | — | conf |
CSB Workshops
|
| 2005 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2005 | A | conf |
IPDPS
|
| 2005 | C | conf |
SEW
|
| 2004 | B | conf |
COMPSAC
|
| 1999 | B | conf |
RTCSA
|
| 1999 | B | conf |
RTCSA
|