Zhangmin

My Courses:

(1)Compliers: Priciples and Tools

(2) Probability and Statistics

 

(1) Formal Methods

(2) Quantitative Analysis and Verification in Complex Systems

(3) Trustworthiness of AI Systems

Year 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, Yongzhi Cao, Min Zhang(Conresponding author)， Yixiang Chen.Simulation for Lattice-valued Doubly Labeled Transition Systems. International Journal of Approximation Reasoning, 55(2014) 791-811. (SCI)

 

Year 2013

【4】 Yanfang Ma, Min Zhang(Conresponding author)， (Conresponding author)， . 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】Haiyu Pan, Min Zhang(Conresponding author)， , Yixiang Chen.Relationships among Several Types ofKripke Structures Based on Fuzzy Logice(in Chinese). Computer Scince 2013 40(5) 42-44.

 

Year 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. In：Proceeding The 6th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2012)pp.279-282, 2012

 

 

Year 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: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, 2011，53-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

 

Year 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

 

Year 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 5589：682-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

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

 

Year 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,