Statistics
Publications
1
Citations
15
H-Index
1
Active since
2019
Affiliations
Iori Yamada is an author at Japan Advanced Institute of Science and Technology specializing in behavioral analysis, static verification, and formal methods.
Publications per year
2019–2019
1
1
Reducing False Positives of Static Analysis for SEI CERT C Coding Standard
Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita et al. · 2019 · 15 citations
1–1 of 1