Min Zhang

According to our database, Min Zhang authored at least 22 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

On the complexity of <i>ω</i>-pushdown automata.

Yusi Lei, Fu Song, Wanwei Liu, Min Zhang

Sci. China Inf. Sci., 2017

2016

Bayesian Statistical Model-Checking for Complex Stochastic Systems.

Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.

Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

2015

Probabilistic Model Checking of Pipe protocol.

Kangli He, Min Zhang, Jia He, Yixiang Chen

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2014

Simulation for lattice-valued doubly labeled transition systems.

Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen

Int. J. Approx. Reason., 2014

Quantitative Analysis of Lattice-valued Kripke Structures.

Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen

Fundam. Informaticae, 2014

2013

The Infinite Evolution Mechanism of ϵ-Bisimilarity.

Yanfang Ma, Min Zhang

J. Comput. Sci. Technol., 2013

On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.

Hengyang Wu, Yixiang Chen, Min Zhang

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Stability of Software Trustworthiness Measurements Models.

Lewen Zhang, Yong Zhou, Yixiang Chen, Min Zhang, Juyang Zhang

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

A Proof System in PADS.

Xinghua Yao, Min Zhang, Yixiang Chen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

Bisimulation for Lattice-valued Transition Systems.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Bisimilarity for fuzzy doubly Labeled Transition Systems.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Quantitative Logic and Soft Computing, 2012

Infinite Evolution Mechanism of ϵ-Bisimilarity.

Yanfang Ma, Min Zhang, Liang Chen

Proceedings of the Quantitative Logic and Soft Computing, 2012

2011

Two-thirds simulation indexes and modal logic characterization.

Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen

Frontiers Comput. Sci. China, 2011

Approximate Bisimulation for Metric Doubly Labeled Transition System.

Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Approximate Simulation for Metric Hybrid Input/Output Automata.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2009

Topological Construction of Parameterized Bisimulation Limit.

Yanfang Ma, Min Zhang

Proceedings of the Fifth International Symposium on Domain Theory, 2009

Parameterized Bisimulation Infinite Evolution Mechanism.

Yanfang Ma, Min Zhang, Yixiang Chen

Proceedings of the TASE 2009, 2009

Average Transitive Trustworthy Degrees for Trustworthy Networks.

Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu

Proceedings of the Rough Sets and Knowledge Technology, 4th International Conference, 2009

Infinite Evolution Mechanism of Probabilistic Processes.

Yanfang Ma, Min Zhang, Yixiang Chen

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks.

Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009