Assembly program verification for multiprocessors with relaxed memory model using SMT solver. - Pattaravut Maleehuan; Yuki Chiba; Toshiaki Aoki (TASE, 2017)

A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver. - Pattaravut Maleehuan; Yuki Chiba; Toshiaki Aoki (IEICE Trans. Inf. Syst., 2018)

Reducing false positives of static analysis for SEI CERT C coding standard. - Thu Trang Nguyen; Pattaravut Maleehuan; Toshiaki Aoki; Takashi Tomita; Iori Yamada (CESSER-IP@ICSE, 2019)