头像

张敏

教师/计算机理论研究所党支部宣传委员

软件工程学院      

个人资料

  • 部门: 软件工程学院
  • 毕业院校:
  • 学位:
  • 学历:
  • 邮编:
  • 联系电话: +86 (0)21 - 6222 4020
  • 传真: +86 (0)21 - 6223 5255
  • 电子邮箱: mzhang@sei.ecnu.edu.cn
  • 办公地址: 华东师范大学普陀校区软件学院(数学馆)东213室
  • 通讯地址: 上海市普陀区中山北路3663号华东师范大学软件学院

教育经历

工作经历

个人简介

社会兼职

研究方向

(1)计算机理论之形式化方法

(2) 复杂系统的量化分析与验证

开授课程

科研项目

学术成果

2014

【1】 Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen. Quantitative Analysis of Lattice-valued Kripke Structures. Fundamenta Informaticae. ( 2014. accepted) .

【2】 Haiyu Pan, Yongzhi Cao, Yongming Li, Min Zhang. Multi-valued model checking with nondeterminism.Scince China, (2014, Submitted)

【3】 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)

 

2013

【4 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.

【5】 潘海玉、张敏(通讯) 陈仪香. 基于模糊逻辑的几类Kripke结构之间的关系《计算机科学》 2013 405 4244.

 

2012

【6】 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

【7】 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

【8】 Haiyu Pan, Min Zhang , Yixiang Chen. Bisimulation for Lattice-valued Transition Systems. InProceeding The 6th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2012)pp.279-282, 2012

 

 

2011

【9】 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

【10】 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

【11】 Haiyu Pan, Min Zhang ,Yixiang Chen.Approximate Simulation for Metric Hybrid Input/Output Automata. International Conference on Secure Software Integration and Reliability Improvement, 201153-59(EI 20113914362191) (国际会议)doi: 10.1109/SSIRI-C.2011.19

【12】 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

【13】 Yanfang Ma, Min Zhang, Liang Chen.The Convergence MechanismofImplementationunderTwo-thirds Bisimulation.Jounal of Information and Computation Science. 2011 Vol.8(13): 2875-2884.(英文期刊)EI

 

2010

【14】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.

Doi: 10.1109/WI-IAT.2009.231

 

 

2009 

【15 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 5589682-689, 2009. (EI 20093512277493)(国际会议)

Doi: 10.1007/978-3-642-02962-2_86

【16 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).(国际会议)

http://doi.ieeecomputersociety.org/10.1109/TASE.2009.24

【17Yanfang 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

 

2008 

【18 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

【19】 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

【20 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,

荣誉及奖励

招生信息

10 访问

相关教师