Min Zhou

Min Zhou

Tsinghua University - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4502711
清华大学
person_outline Min Zhou's MOST POPULAR ARTICLES
1-) An empirical study on api-misuse bugs in open-source c programsZ Gu, J Wu, J Liu, M Zhou, M Gu2019 IEEE 43rd annual computer software and applications conference (COMPSAC …, 2019252019
2-) Translation-based model checking for PLC programsM Zhou, F He, M Gu, X Song2009 33rd Annual IEEE International Computer Software and Applications …, 2009242009
3-) IntPTI: Automatic integer error repair with proper-type inferenceX Cheng, M Zhou, X Song, M Gu, J Sun2017 32nd IEEE/ACM International Conference on Automated Software …, 2017222017
4-) Formal component-based modeling and synthesis for PLC systemsM Zhou, H Wan, R Wang, X Song, C Su, M Gu, J SunComputers in Industry 64 (8), 1022-1034, 2013202013
5-) A survey on vulnerability detection tools of smart contract bytecodeJ Xu, F Dang, X Ding, M Zhou2020 IEEE 3rd International Conference on Information Systems and Computer …, 2020