öλÔÓéÀֵǼÈë¿ÚÏÂÔØ

µ¼Ê¦ÐÕÃû£º³ÂÕÜ
ÐÔ±ð£ºÄÐ
ÈËÆøÖ¸Êý£º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. ¹ú¼Ò×ÔÈ»¿Æѧ»ù½ð£º»ùÓÚ³éÏóµÄÈí¼þ·ûºÅÄ£Ðͼì²âÑо¿£¨**£©