| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
APMS (5)
|
| 2025 | C | conf |
INDIN
|
| 2025 | — | conf |
APMS (5)
|
| 2025 | — | conf |
APMS (5)
|
| 2024 | — | conf |
SESoS
|
| 2024 | — | conf |
APMS (6)
|
| 2024 | — | conf |
ITSC
|
| 2024 | — | conf |
APMS (1)
|
| 2022 | B | conf |
EuroSPI
|
| 2022 | — | conf |
ICCSPA
|
| 2021 | — | conf |
ECC
|
| 2021 | — | ch. |
Composing Model-Based Analysis Tools
|
| 2020 | — | conf |
EDCC Workshops
|
| 2019 | — | conf |
ECMR
|
| 2004 | — | conf |
SMC (3)
|
| 2003 | — | conf |
CDC
|
| 2001 | — | conf |
CDC
|
| 2000 | — | conf |
CDC
|
| 1999 | J | jnl |
Kybernetika
|
| 1999 | — | conf |
ECC
|