| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
Correct by design, complete by iteration: A graph-based framework for automated security assessment.
Internet Things
|
| 2025 | — | conf |
AINA (2)
|
| 2025 | — | conf |
AINA (8)
|
| 2025 | — | conf |
ITADATA
|
| 2025 | — | conf |
ARES (EU Projects Symposium Workshops 2)
|
| 2024 | J | jnl |
IEEE Access
|
| 2024 | J | jnl |
Internet Things
|
| 2024 | B | conf |
ARES
|
| 2024 | J | jnl |
J. High Speed Networks
|
| 2024 | Misc | conf |
CSR
|
| 2024 | Misc | conf |
CISIS
|
| 2024 | C | conf |
CLOSER
|
| 2024 | J | jnl |
Softw. Qual. J.
|
| 2023 | Misc | conf |
CSR
|
| 2023 | J | jnl |
IEEE Access
|
| 2023 | J | jnl |
Connect. Sci.
|
| 2023 | C | conf |
CloudCom
|
| 2022 | Misc | conf |
CISIS
|
| 2022 | Misc | conf |
QUATIC
|
| 2022 | J | jnl |
Comput. Electr. Eng.
|
| 2022 | — | conf |
DASC/PiCom/CBDCom/CyberSciTech
|
| 2022 | B | conf |
ARES
|
| 2021 | C | conf |
CLOSER
|
| 2021 | — | conf |
CLOSER (Selected Papers)
|
| 2021 | — | conf |
ITASEC
|
| 2021 | Misc | conf |
QUATIC
|
| 2021 | Misc | conf |
CSR
|