Academic Achievement
Publication
Conference:
Liangze Yin, Fei He, Min Zhou, and Ming Gu. Reusing search tree for incremental SAT solving of temporal induction. Proceedings of the 18th IEEE International Conference on Complex Computer Systems, Singapore, p4-13, 2013.
Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu. Modeling and verification of component-based systems with data passing using BIP. Proceedings of the 18th IEEE International Conference on Complex Computer Systems, Singapore, p4-13, 2013.
Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu. Component-based modeling and code synthesis for cyclic programs. Proceedings of the IEEE 37rd Computer Software and Applications Conference, Kyoto, Japan, 2013. (Best Paper Award)
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Gu Ming, Marius Bozga. Modeling and validation of PLC-controlled systems: a case study. the 6th IEEE International Symposium on Theoretical Aspectes of Software Engineering, Beijing, China, p161-166, 2012.
Min Zhou, Fei He, Ming Gu. An efficient resolution based algorithm for SAT. Proceedings of the 5th IEEE International Symposium on Theoretical Aspectes of Software Engineering, Xi’an, China, p66-67, 2011.
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu. On array theory of bounded elements. Proceedings of Computer Aided Verification, Edinburgh, Scotland, p570-584, 2010.
Min Zhou, Fei He, Ming Gu, Xiaoyu Song. Translation-based model checking for PLC programs. Proceedings of the IEEE 33rd Computer Software and Applications Conference, Seattle, USA, p553-562, 2009.
Journal:
Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun. First, Debug the Test Oracle. IEEE Transaction on Software Engineering. 2015(99):1.
Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu. Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. Theory of Computing Systems. 2014:1-25.
Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun. Formal Component-based modeling and synthesis for PLC systems. Computers in Industry. 2013.
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun. Array theory of bounded elements and its application. Journal of Automated Reasoning. 2013(52):379-405.
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun. A unified framework for DPLL(T) + Certificates. Journal of Applied Mathematics. 2013.
Rui Wang, Yong Guan, Min Zhou, Jie Zhang and Xiaoyu Song. A Component-based Modeling and Validation Method for PLC Systems. Journal of Applied Mathematics. 2014.
