| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | — | conf |
SummerSOC
|
| 2023 | — | conf |
ICSA-C
|
| 2022 | — | conf |
ICCVE
|
| 2022 | J | jnl |
IEEE Access
|
| 2022 | — | conf |
SysCon
|
| 2021 | — | conf |
ISSE
|
| 2021 | B | conf |
SEAA
|
| 2021 | A | conf |
DATE
|
| 2020 | — | conf |
MECO
|
| 2020 | — | conf |
MECO
|
| 2019 | — | conf |
Towards Design and Verification of Evolving Cyber Physical Systems Using Contract-Based Methodology.
ISSE
|
| 2019 | — | conf |
SysCon
|
| 2018 | B | conf |
SEAA
|
| 2018 | — | conf |
ICVES
|