| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | — | conf |
HICSS
|
| 2025 | — | conf |
HICSS
|
| 2025 | — | conf |
HICSS
|
| 2025 | J | jnl |
CoRR
|
| 2024 | — | conf |
KSE
|
| 2024 | J | jnl |
Softw. Syst. Model.
|
| 2024 | J | jnl |
Frontiers Artif. Intell.
|
| 2024 | — | conf |
HICSS
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
GHTC
|
| 2023 | — | conf |
SoICT
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
ACL (Findings)
|
| 2022 | Misc | conf |
SAC
|
| 2021 | J | jnl |
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers.
Softw. Test. Verification Reliab.
|
| 2020 | — | conf |
VR Workshops
|
| 2020 | J | jnl |
CoRR
|
| 2019 | — | conf |
RE Workshops
|
| 2019 | C | conf |
APSEC
|
| 2017 | — | conf |
ICNSC
|
| 2017 | — | conf |
ICNSC
|
| 2016 | — | conf |
UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld
|
| 2016 | — | conf |
SoSE
|
| 2015 | — | conf |
ICCASA
|
| 2014 | J | jnl |
Source Code Biol. Medicine
|
| 2012 | J | jnl |
J. Inf. Technol. Constr.
|
| 2012 | J | jnl |
J. Comput. Civ. Eng.
|
| 2011 | J | jnl |
J. Inf. Technol. Constr.
|
| 2011 | — | conf |
MoDRE
|
| 2011 | J | jnl |
CoRR
|
| 2009 | — | conf |
GCA
|
| 2009 | — | conf |
RIVF
|
| 2008 | — | conf |
GCA
|
| 2008 | — | conf |
GCA
|
| 2003 | A | conf |
DSN
|