| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | C | conf |
ABZ
|
| 2025 | C | conf |
ABZ
|
| 2025 | — | conf |
FormaliSE
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
IEEE Trans. Reliab.
|
| 2025 | J | jnl |
IEEE Access
|
| 2023 | B | conf |
ENASE
|
| 2022 | J | jnl |
IEICE Trans. Inf. Syst.
|
| 2022 | B | conf |
COMPSAC
|
| 2022 | — | conf |
NFM
|
| 2022 | C | conf |
QRS
|
| 2022 | J | jnl |
Remote. Sens.
|
| 2022 | Misc | conf |
SAC
|
| 2022 | C | conf |
ICFEM
|
| 2022 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers.
Softw. Test. Verification Reliab.
|
| 2020 | C | conf |
PRDC
|
| 2020 | J | jnl |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
|
| 2019 | — | conf |
MiSE@ICSE
|
| 2019 | C | conf |
APSEC
|
| 2019 | C | conf |
APSEC
|
| 2019 | — | conf |
CESSER-IP@ICSE
|
| 2019 | — | conf |
ICSCA
|
| 2017 | J | jnl |
Acta Informatica
|
| 2017 | — | conf |
CyPhy
|
| 2016 | — | conf |
FormaliSE@ICSE
|
| 2012 | C | conf |
ICFEM
|
| 2011 | — | conf |
INFINITY
|
| 1992 | J | jnl |
IEEE J. Solid State Circuits
|