| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2025 | — | conf |
ISD
|
| 2024 | J | jnl |
Formal Aspects Comput.
|
| 2024 | — | ed. |
ISD
|
| 2024 | — | conf |
ISD
|
| 2024 | — | ed. |
KKIO@FedCSIS
|
| 2023 | C | conf |
PRDC
|
| 2022 | — | ed. |
LASD
|
| 2021 | J | jnl |
IEEE Access
|
| 2021 | — | conf |
LASD
|
| 2020 | B | conf |
KES
|
| 2020 | J | jnl |
Comput. Sci.
|
| 2020 | — | ch. |
Integrating Research and Practice in Software Engineering
|
| 2019 | — | conf |
SIGSAND/PLAIS
|
| 2019 | — | conf |
CSOC (1)
|
| 2019 | — | conf |
DepCoS-RELCOMEX
|
| 2018 | C | conf |
FedCSIS
|
| 2018 | — | conf |
KKIO Software Engineering Conference
|
| 2017 | — | conf |
KKIO Software Engineering Conference
|
| 2017 | — | conf |
DepCoS-RELCOMEX
|
| 2017 | C | conf |
FedCSIS
|
| 2016 | — | conf |
KKIO Software Engineering Conference
|
| 2016 | — | conf |
SAFECOMP Workshops
|
| 2013 | B | conf |
SAFECOMP
|
| 2012 | — | conf |
SAFECOMP Workshops
|
| 2006 | J | jnl |
Int. Trans. Syst. Sci. Appl.
|
| 2005 | — | ch. |
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
|
| 2005 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2003 | B | conf |
SAFECOMP
|