| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Int. J. Syst. Assur. Eng. Manag.
|
| 2025 | A | conf |
ICST
|
| 2025 | A | conf |
ICST
|
| 2024 | J | jnl |
Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications.
Expert Syst. Appl.
|
| 2024 | J | jnl |
Softw. Qual. J.
|
| 2024 | A | conf |
ICST
|
| 2024 | Misc | conf |
SAC
|
| 2023 | B | conf |
ENASE
|
| 2023 | — | conf |
QRS Companion
|
| 2023 | — | conf |
ISEC
|
| 2022 | B | conf |
ENASE
|
| 2022 | — | conf |
ISEC
|
| 2022 | A | conf |
ICST
|