Pattaravut Maleehuan

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Low False Positive Rate

Static Analysis

False Positives

Computational Model

Top Venues

IEICE Trans. Inf. Syst.

Publications

Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada
Reducing false positives of static analysis for SEI CERT C coding standard. CESSER-IP@ICSE (2019)
Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver. IEICE Trans. Inf. Syst. (12) (2018)
Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
Assembly program verification for multiprocessors with relaxed memory model using SMT solver. TASE (2017)