Pattaravut Maleehuan

According to our database, Pattaravut Maleehuan authored at least 3 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Reducing false positives of static analysis for SEI CERT C coding standard.

Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada

Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice, 2019

2018

A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.

Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki

IEICE Trans. Inf. Syst., 2018

2017

Assembly program verification for multiprocessors with relaxed memory model using SMT solver.

Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017