| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Int. J. Inf. Sec.
|
| 2024 | C | conf |
PRDC
|
| 2023 | — | conf |
DSN-W
|
| 2022 | Misc | conf |
CSR
|
| 2021 | — | conf |
LADC (Companion)
|
| 2021 | — | conf |
ITASEC
|
| 2018 | J | jnl |
J. Softw. Evol. Process.
|
| 2018 | B | conf |
Intelligent Environments (Workshops)
|
| 2017 | J | jnl |
Multim. Tools Appl.
|
| 2016 | — | ch. |
Cyber-Physical Systems of Systems
|
| 2016 | — | ch. |
Cyber-Physical Systems of Systems
|
| 2016 | — | ch. |
Cyber-Physical Systems of Systems
|
| 2016 | — | ch. |
Cyber-Physical Systems of Systems
|
| 2015 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2015 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2015 | — | conf |
DSN Workshops
|
| 2015 | — | conf |
SoSE
|
| 2014 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 2014 | — | conf |
SAFECOMP Workshops
|
| 2013 | J | jnl |
J. Appl. Math.
|
| 2013 | — | conf |
DISCCO@SRDS
|
| 2013 | — | conf |
ISSRE (Supplemental Proceedings)
|
| 2013 | — | conf |
M&N
|
| 2013 | J | jnl |
IEEE Trans. Instrum. Meas.
|
| 2013 | J | jnl |
Int. J. Crit. Comput. Based Syst.
|
| 2012 | — | — |
|
| 2012 | — | conf |
HASE
|
| 2012 | J | jnl |
IEEE Trans. Instrum. Meas.
|
| 2012 | B | conf |
SRDS
|
| 2012 | — | conf |
SAFECOMP Workshops
|
| 2011 | — | conf |
M&N
|
| 2011 | B | conf |
SAFECOMP
|
| 2011 | — | conf |
M&N
|
| 2010 | B | conf |
SRDS
|
| 2010 | B | conf |
SRDS
|
| 2009 | — | conf |
SEUS
|