Min Zhang

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 4

Top Topics

Transition Systems

Temporal Consistency

Top Venues

SERE (Companion)

Fundam. Informaticae

Publications

Yusi Lei, Fu Song, Wanwei Liu, Min Zhang
-pushdown automata. Sci. China Inf. Sci. 60 (11) (2017)
Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei
Bayesian Statistical Model-Checking for Complex Stochastic Systems. TASE (2016)
Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang
PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. MMB/DFT (2016)
Kangli He, Min Zhang, Jia He, Yixiang Chen
Probabilistic Model Checking of Pipe protocol. TASE (2015)
Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen
Quantitative Analysis of Lattice-valued Kripke Structures. Fundam. Informaticae 135 (3) (2014)
Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen
Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reason. 55 (3) (2014)
Yanfang Ma, Min Zhang
The Infinite Evolution Mechanism of ϵ-Bisimilarity. J. Comput. Sci. Technol. 28 (6) (2013)
Lewen Zhang, Yong Zhou, Yixiang Chen, Min Zhang, Juyang Zhang
Stability of Software Trustworthiness Measurements Models. SERE (Companion) (2013)
Xinghua Yao, Min Zhang, Yixiang Chen
A Proof System in PADS. ICTAC (2013)
Hengyang Wu, Yixiang Chen, Min Zhang
On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. TASE (2013)
Haiyu Pan, Min Zhang, Yixiang Chen
Bisimilarity for fuzzy doubly Labeled Transition Systems. QLSC (2012)
Haiyu Pan, Min Zhang, Yixiang Chen
Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. SERE (Companion) (2012)
Haiyu Pan, Min Zhang, Yixiang Chen
Bisimulation for Lattice-valued Transition Systems. TASE (2012)
Yanfang Ma, Min Zhang, Liang Chen
Infinite Evolution Mechanism of ϵ-Bisimilarity. QLSC (2012)
Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen
Two-thirds simulation indexes and modal logic characterization. Frontiers Comput. Sci. China 5 (4) (2011)
Haiyu Pan, Min Zhang, Yixiang Chen
Approximate Simulation for Metric Hybrid Input/Output Automata. SSIRI (Companion) (2011)
Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu
Approximate Bisimulation for Metric Doubly Labeled Transition System. TASE (2011)
Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu
Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. Web Intelligence/IAT Workshops (2009)
Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu
Average Transitive Trustworthy Degrees for Trustworthy Networks. RSKT (2009)
Yanfang Ma, Min Zhang, Yixiang Chen
Infinite Evolution Mechanism of Probabilistic Processes. ICTCS (2009)
Yanfang Ma, Min Zhang, Yixiang Chen
Parameterized Bisimulation Infinite Evolution Mechanism. TASE (2009)
Yanfang Ma, Min Zhang
Topological Construction of Parameterized Bisimulation Limit. ISDT (2009)