We stand with Ukraine  

Pattaravut Maleehuan

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Reducing false positives of static analysis for SEI CERT C coding standard.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Pattaravut Maleehuan
,
Yuki Chiba
,
Toshiaki Aoki
IEICE Trans. Inf. Syst., 2018

2017
Assembly program verification for multiprocessors with relaxed memory model using SMT solver.
[BibTeX]
[DOI]
Pattaravut Maleehuan
,
Yuki Chiba
,
Toshiaki Aoki
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017


  Loading...