软件学院

School Of Software

Introduction:

Min Zhou (Research Assistant)
Birthday: 1984.9
Email: mzhou@tsinghua.edu.cn

 


Education background:

2007.8-2014.1: Ph.D. (Major: Computer Science)
Department of Computer Science and Technology, Tsinghua University, Beijing, China

2003.8-2007.7: B.S. (Major Mathematics)
Department of Mathematics Science, Tsinghua University, Beijing, China

 


Experience:

2014.1-2016.1: Post-doc in School of Software, Tsinghua University.


Areas of Research Interests/ Research Projects:

Model Driven Development (MDD), Model Checking, Static Software Analysis.


Research Status:

Projects:
第56期博士后基金:一等资助(项目负责人)
NSFC青年科学基金:嵌入式系统验证中的覆盖率分析方法研究(项目负责人)
NSFC重大项目:可信嵌入式软件系统试验环境与示范应用(参与)
国家科技支撑计划项目:可信嵌入式软件系统建模验证平台研发(参与)
973项目:产品设计软件系统的部级可验证性理论研究(参与)
NSFC重点项目:基于定理证明的可信嵌入式软件建模与验平台研究(参与)
NSFC培育项目:面向领域的可信嵌入式软件系统试验证环境研究(参与)


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.