| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
SAFECOMP (Workshops)
|
| 2022 | A | conf |
ISSRE
|
| 2022 | B | conf |
SAFECOMP
|
| 2022 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2018 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2017 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2017 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2016 | Misc | conf |
EDCC
|
| 2015 | A | conf |
ISSRE
|
| 2014 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2014 | Misc | conf |
EDCC
|
| 2013 | J | jnl |
IEEE Trans. Software Eng.
|
| 2013 | J | jnl |
IEEE Trans. Software Eng.
|
| 2013 | B | conf |
SAFECOMP
|
| 2011 | J | jnl |
IEEE Trans. Software Eng.
|
| 2009 | B | conf |
SAFECOMP
|
| 2008 | J | jnl |
Int. J. Comput. Assist. Radiol. Surg.
|
| 2008 | A | conf |
ISSRE
|
| 2003 | — | conf |
CARS
|
| 2003 | A | conf |
DSN
|