| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
ISSREW
|
| 2025 | J | jnl |
CoRR
|
| 2024 | B | conf |
SAFECOMP
|
| 2024 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | B | conf |
SAFECOMP
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2020 | — | conf |
SafeAI@AAAI
|
| 2020 | B | conf |
SAFECOMP
|
| 2020 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2019 | Misc | conf |
EDCC
|
| 2018 | J | jnl |
Autom. Softw. Eng.
|
| 2017 | A | conf |
MoDELS
|
| 2017 | B | conf |
SAFECOMP
|
| 2013 | A* | conf |
ICSE
|
| 2013 | B | conf |
SAFECOMP
|
| 2013 | — | conf |
ISSRE (Supplemental Proceedings)
|
| 2013 | — | conf |
NASA Formal Methods
|
| 2013 | — | ed. |
ASSURE@ICSE
|
| 2012 | B | conf |
SAFECOMP
|
| 2012 | — | conf |
SAFECOMP Workshops
|
| 2012 | — | conf |
Infotech@Aerospace
|
| 2012 | B | conf |
ICECCS
|
| 2012 | A | conf |
DSN
|
| 2011 | A | conf |
ESEM
|