张敏 - 华东师范大学 - 软件工程学院

个人简介

教育经历 2003年9月-2007年6月巴黎第七大学信息技术博士 2002年9月-2007年6月上海交通大学计算机软件与理论博士 1999年9月-2002年6月江苏师范大学基础数学硕士 1995年9月-1999年6月江苏师范大学数学教育学士工作经历 2018年-至今华东师范大学软件工程学院副院长 2022年1月-至今华东师范大学软件工程学院教授 2012年1月-2021年12月华东师范大学软件工程学院副教授 2007年9月-2011年12月华东师范大学软件工程学院讲师

研究领域

计算机理论之形式化方法复杂系统的量化分析与验证智能系统的可信保障技术

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen. Quantitative Analysis of Lattice-valued Kripke Structures. Fundamenta Informaticae. ( 2014. accepted) . Haiyu Pan, Yongzhi Cao, Yongming Li, Min Zhang. Multi-valued model checking with nondeterminism.Scince China, (2014, Submitted) Haiyu Pan, YongzhiCao, Min Zhang(通讯)， Yixiang Chen.Simulation for Lattice-valued Doubly Labeled Transition Systems. International Journal of Approximation Reasoning, 55(2014) 791-811. (SCI) Yanfang Ma, Min Zhang（通讯）. The Infinite Evolution Mechanism of ε-bisimilarity(Extention Version). Journal of Computer Science and Technology(JCST). 2013, 28(6): 1097-1105, DOI: 10.1007/s11390-013-1400-y. 潘海玉、张敏（通讯）、陈仪香. 基于模糊逻辑的几类Kripke结构之间的关系《计算机科学》 2013 40（5） 42－44. Haiyu Pan, Min Zhang , Yixiang Chen.Bisimilarity forFuzzy Doubly Labeled Transition System. 2012 International Conference on Quantitative Logic and SoftComputing,pp. 207-214. doi: 10.1142/9789814401531_0030 Haiyu Pan, Min Zhang, Yixiang Chen. Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. In the proceeding of 2012 IEEE Sixth International Conference on Software Security and Reliability Companion(SERE2012). Pp 137-143. 2012. DOI 10.1109/SERE-C.2012.29 Haiyu Pan, Min Zhang , Yixiang Chen. Bisimulation for Lattice-valued Transition Systems. In：Proceeding The 6th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2012)pp.279-282, 2012 Haiyu Pan, Min Zhang ,Yixiang Chen. Approximate Bisimulation for Metric Doubly Labeled Transition System. The 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), p108-114. （国际会议）EI (EI:20114414482173)10.1109/TASE.2011.22 Longfei Zhu, Min Zhang, Huibiao Zhu, Yanhong Zhu, and Jianqi Shi. Formalizing Application Programming Interfaces of the OSEK/VDX Operating SystemSpecification. The 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), p 27-34. （国际会议）EI doi/10.1109/TASE.2011.12 Haiyu Pan, Min Zhang ,Yixiang Chen.Approximate Simulation for Metric Hybrid Input/Output Automata. International Conference on Secure Software Integration and Reliability Improvement, 2011，53-59．(EI 20113914362191) （国际会议）doi: 10.1109/SSIRI-C.2011.19 Yanfang Ma, Min Zhang， Yixiang Chen,Liang Chen. Two-thirds Bsimulation Index and Modal Characterization. Frontiers of Computer Science in China. vol5(4)454-471. （英文期刊）SCIE/EI doi>10.1007/s11704-011-0140-9 Yanfang Ma, Min Zhang, Liang Chen.The Convergence MechanismofImplementationunderTwo-thirds Bisimulation.Jounal of Information and Computation Science. 2011 Vol.8(13): 2875-2884.（英文期刊）EI Yixiang Chen , Tian-Ming Bu, Min Zhang , Hong Zhu. Measurement of Trust Transitivity in Trustworthy Networks. Journal of Emerging Technologies in Web Intelligence, Vol 3, (2010), 62-64. Yixiang Chen, Min Zhang, Hong Zhu, and Tianming Bu.Average TransitiveTrustworthy Degrees forTrustworthyNetworks. In proceeding of4thInternational Conference on Rough Setand Knowledge Technology(RSKT’2009) LNCS 5589：682-689, 2009. (EI 20093512277493)（国际会议） Yanfang Ma, Min Zhang. Parameterized Bisimulation Infinite Evolution Mechanism. In: Proceeding of ThirdIEEE International Symposium on Theoretical Aspects of Software Engineering, IEEE Computer Society, 2009, p299-300 (EI 20094712458563).（国际会议） Yanfang Ma, Min Zhang. Topological Construction of Parameterized Bisimulation limit. In: Electronic Notes in Theoretical Computer Science, Vol. 257 (2009) , p55-70 .(EI 20095112555594) (英文期刊) doi: http://dx.doi.org/10.1016/j.entcs.2009.11.026 Yanfang Ma, Min Zhang, Yixiang Chen. A Computation Model of Trustworthy Degree.In: Proceeding of International Symposium on Intelligent Information Technology Application Workshop, IEEE Computer Society, 2008, p523-526.(EI: 20091311980458) （国际会议）doi: 10.1109/IITA.Workshops.2008.164 Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu.A Bigraphical Model of WSBPEL. In Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE’08), 117-120, 2008. （EI: 20083811576114）（国际会议）http://doi.ieeecomputersociety.org/10.1109/TASE.2008.47 Pierre-Louis Curien, Vincent Danos, Krivine Jean, Min Zhang.Computational self-assembly.Theoretical Computer Science (TCS) 404(1-2), 61-75, 2008. (EI: 20083411466828) doi : http://dx.doi.org/10.1016/j.tcs.2008.04.014,

学术兼职

全国计算机学会形式化方法专委会委员全国信息技术标准化技术委员会软件与系统工程分委会委员