导师姓名：陈哲
性别：男
人气指数：106

所属院校：南京航空航天大学
所属院系：计算机科学与技术学院
职称：副教授
导师类型：硕导
招生专业：软件工程、计算机科学与技术、网络空间安全


通讯方式 :
电子邮件：zhechen@nuaa.edu.cn


个人简述 :
博士毕业于法国国立应用科学院，获计算机科学博士学位，出国前曾就读于中南大学、上海交通大学。曾任职于微软亚洲研究院，法国国家科学研究中心系统分析与架构实验室（LAAS-CNRS），从事研究开发工作。主要研究兴趣包括软件工程，软件自动验证，程序设计语言与建模语言，高可信软件等，及其在航空航天、网络、通信、物联网、信息安全等领域的应用。主持国家自然科学基金2项、参与3项。作为第一作者在SPE、COMPJ、IPL、FUIN、TSMJ、SL等著名国际学术期刊和ICSE、TACAS、SPIN、COMPSAC、TASE等著名国际会议发表了30余篇研究论文。

科研工作 :
发表学术论文,出版专著情况：
部分主要英文研究成果：
◆ Zhe Chen. Parametric Runtime Verification is NP-complete and coNP-complete. Information Processing Letters, vol. 123, pp. 14-20. Elsevier, 2017.
◆ Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang. Partial order reduction for checking LTL formulae with the next-time operator. Journal of Logic and Computation, to appear. Oxford University Press, 2017.
◆ Zhe Chen, Yi Gu, Zhiqiu Huang, Jun Zheng, Chang Liu, Ziyi Liu. Model Checking Aircraft Controller Software: A Case Study. Software-Practice Experience, vol. 45(7), pp. 989-1017. Wiley, 2015.
◆ Zhe Chen. Control Systems on Automata and Grammars. The Computer Journal, vol. 58(1), pp. 75-94. Oxford University Press, 2015.
◆ Zhe Chen, Daqiang Zhang and Yinxue Ma. Modeling and Analyzing the Convergence Property of the BGP Routing Protocol in SPIN. Telecommunication Systems, vol. 58(3), pp. 205-217. Springer, 2015.
◆ Zhe Chen, Daqiang Zhang, Rongbo Zhu, Yinxue Ma, Ping Yin and Feng Xie. A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks. Sensor Letters, vol. 11(5), pp. 752-764. American Scientific Publishers, 2013.
◆ Zhe Chen. On the Generative Power of ω-Grammars and ω-Automata. Fundamenta Informaticae, vol. 111(2), pp. 119-145. IOS Press, 2011.
◆ Daqiang Zhang, Hongyu Huang, Jingyu Zhou, Feng Xia, Zhe Chen. Detecting Hot Road Mobility of Vehicular Ad Hoc Networks. Mobile Networks and Applications, vol. 18(6), pp. 803-813. Springer, 2013.
◆ Daqiang Zhang, Zhijun Yang, Vaskar Raychoudhury, Zhe Chen, Jaime Lloret. An Energy-Efficient Routing Protocol Using Movement Trends in Vehicular Ad hoc Networks. The Computer Journal, vol. 56(8), pp. 938-946. Oxford University Press, 2013.
◆ Dajuan Fan, Zhiqiu Huang, Zhe Chen, Jin Wang, Changbo Ke. Mismatches identification and mediation for web services composition based on semantic information. Journal of Information and Computational Science, vol. 9(18), pp. 5535-5542, 2012.
◆ Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang. Parametric Runtime Verification of C Programs. In Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), Eindhoven, The Netherlands, Lecture Notes in Computer Science, vol. 9636, pp. 299-315. Springer, 2016.
◆ Shuanglong Kan, Zhiqiu Huang, Zhe Chen. Partial Order Reduction for State/Event Systems. In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), Tokyo, Japan, Lecture Notes in Computer Science, vol. 10009, pp. 329-345. Springer, 2016.
◆ Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi. Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. In Proceedings of the 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), pp. 63-70. IEEE Computer Society, 2015.
◆ Zhe Chen, Gilles Motet. Methodology and Experience for Designing Safety-Related Systems in IEC 61508. In Proceedings of the 4th International Conference on Dependability (DEPEND 2011), Nice, France, pp. 57-64. IARIA 2011.
◆ Zhe Chen, Gilles Motet. Towards Better Support for the Evolution of Safety Requirements via the Model Monitoring Approach. In Proceedings of the ACM/IEEE 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, pp. 219-222. ACM 2010.
◆ Zhe Chen, Gilles Motet. Nevertrace Claims for Model Checking. In Proceedings of the 17th International SPIN Workshop on Model Checking of Software (SPIN 2010), Enschede, The Netherlands, Lecture Notes in Computer Science, vol. 6349, pp. 162-179. Springer 2010.
◆ Zhe Chen, Gilles Motet. Separating Functional and Dependability Requirements of Embedded Systems. In Proceedings of the 10th IEEE International Conference on Computer and Information Technology (CIT 2010), Bradford, UK, pp. 2373-2380. IEEE Computer Society 2010.
◆ Zhe Chen, Gilles Motet. System Safety Requirements as Control Structures. In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), Seattle, Washington, USA, pp. 324-331. IEEE Computer Society 2009.
◆ Zhe Chen, Gilles Motet. A Language-Theoretic View on Guidelines and Consistency Rules of UML. In Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2009), Enschede, The Netherlands, Lecture Notes in Computer Science, vol. 5562, pp. 66-81. Springer 2009.
◆ Zhe Chen, Gilles Motet. Formalizing Safety Requirements Using Controlling Automata. In Proceedings of the 2nd International Conference on Dependability (DEPEND 2009), Athens, Greece, pp. 81-86. IEEE Computer Society 2009.
◆ Zhe Chen, Gilles Motet. Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata. In Proceedings of the 4th International Conference on Systems (ICONS 2009), Gosier, Guadeloupe, France, pp. 228-233. IEEE Computer Society 2009.
◆ Zhe Chen, Dunwei Wen. Accelerating and Evaluation of Syntactic Parsing in Natural Language Question Answering Systems. In Proceedings of the 2007 International Conference on Artificial Intelligence (ICAI 2007), Las Vegas, Nevada, USA, pp. 595-601. CSREA Press 2007.
◆ Zhe Chen, Chin-Yew Lin, Jian-Tao Sun. Iterative Voting Algorithm: A New Automatic Evaluation Method for Web Search Engines. Technical Report, Microsoft Research Asia, August 2006.
◆ Zhe Chen, Dunwei Wen. A New Web-service-based Architecture for Question Answering. In Proceedings of IEEE International Conference on Natural Language Processing and Knowledge Engineering (IEEE-NLPKE 2005), pp. 179-183. IEEE 2005.
科研成果获奖及专利：
◆ 陈哲，朱云龙，黄志球，魏欧. 复杂约束条件下多组件软件部署的自动化与自适应方法及其部署管理系统. 专利申请号：**3.X
◆ 陈哲，朱云龙，魏欧，黄志球. 一种源代码中值计算错误的自动检测和定位方法. 专利申请号：**0.9
◆ 陈哲，李文明，黄志球. 数组越界错误的自动检测和校正方法. 专利申请号：**3.0
承担的科研项目情况：
主持多项科研项目：
1. 国家自然科学基金：航电系统软件可靠性的形式化验证技术研究（U**）
2. 国家自然科学基金：基于控制机制的软件可靠性新技术及其理论研究（**）
参与多项科研项目：
3. 国家自然科学基金：基于抽象的软件符号模型检测研究（**）