Probabilistic Belief Logic and Its Probabilistic Aumann Semantics. - Zining Cao; Chunyi Shi (J. Comput. Sci. Technol., 2003)

A Uniform Reduction Equivalence for Process Calculi. - Zining Cao (APLAS, 2004)

A Spatial Logical Characterisation of Context Bisimulation. - Zining Cao (ASIAN, 2006)

A Complete Probabilistic Belief Logic. - Zining Cao (CLIMA, 2006)

Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems. - Zining Cao (CLIMA, 2006)

More on Bisimulations for Higher Order pi-Calculus. - Zining Cao (FoSSaCS, 2006)

Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties. - Zining Cao (IIP, 2006)

Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents. - Zining Cao (MICAI, 2006)

Model Checking for Epistemic and Temporal Properties of Uncertain Agents. - Zining Cao (PRIMA, 2006)

Towards an Epistemic Logic for Uncertain Agents. - Zining Cao (CEEMAS, 2007)

Bisimulations for a Distributed Higher Order pi -Calculus. - Zining Cao (ICTAC, 2007)

Counterexample Generation for Probabilistic Timed Automata Model Checking. - Junhua Zhang; Zhiqiu Huang; Zining Cao; Fangxiong Xiao (CSSE (2), 2008)

A Logic for Distributed Higher Order pi-Calculus. - Zining Cao (TAMC, 2008)

Equivalence Checking for a Finite Higher Order pi-Calculus. - Zining Cao (TAP, 2008)

Distributed Viewpoint Equivalences for Higher Order Processes. - Zining Cao (CSIE (7), 2009)

Modeling Cost-Aware Web Services Composition Using PTCCS. - Fangxiong Xiao; Zhiqiu Huang; Zining Cao; Jun Hu; LinYuan Liu (ICWS, 2009)

A True Concurrent Process Calculus and Its Conflict Bisimulation. - Zining Cao (SNPD, 2009)

An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. - Yi Zhu 008; Zhiqiu Huang; Zining Cao; Hang Zhou 002; Min Yuan (QSIC, 2010)

Refinement Checking for Interface Automata with Z Notation. - Zining Cao (SEKE, 2010)

Model Checking LOOP Programs. - Zining Cao (Software Engineering Research and Practice, 2010)

Bisimulations for Open Processes in Higher Order p-Calculus. - Zining Cao (TASE, 2010)

Reducing Higher Order Pi-Calculus to Spatial Logics - Zining Cao (CoRR, 2010)

Hybrid ZIA and its Approximated Refinement Relation. - Zining Cao; Hui Wang (ENASE, 2011)

Extending Interface Automata with Z Notation. - Zining Cao; Hui Wang (FSEN, 2011)

Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS 1. - Fangxiong Xiao; Zhiqiu Huang; Zining Cao; Jun Hu; LinYuan Liu; Min Yuan (Int. J. Web Serv. Res., 2011)

Modal ZIA, Modal Refinement Relation and Logical Characterization. - Zining Cao (SEKE, 2012)

A Calculus of Higher Order Safe Ambients and Its Bisimulations. - Zining Cao (TASE, 2012)

More on bisimulations for higher order π-calculus. - Zining Cao (Theor. Comput. Sci., 2012)

Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. - Zining Cao (TASE, 2013)

Refinement Checking for Multirate Hybrid ZIA. - Guozheng Li; Zining Cao; Zheng Gao (CoRR, 2014)

Modeling Dependability Features for Real-Time Embedded Systems. - Siru Ni; Yi Zhuang 002; Zining Cao; Xiangying Kong (IEEE Trans. Dependable Secur. Comput., 2015)

Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic. - Yan Ma; Zining Cao; Yang Liu 135 (Int. J. Softw. Eng. Knowl. Eng., 2016)

The Formal Transformation of AADL Based on Z-CoIA. - Fugao Zhang; Zining Cao (ICCCS (2), 2017)

Modeling and validation for embedded software confidentiality and integrity. - Xinwen Hu; Yi Zhuang 002; Zining Cao; Tong Ye; Mi Li (ISKE, 2017)

A specification with performance evaluation for probabilistic timed automata. - Yan Ma; Zining Cao; Yang Liu 135 (ISKE, 2017)

Parallel Monte Carlo Integration Algorithm Based on GPU. - Hui Zong; Renfeng Hua; Jianyang Zhao; Zining Cao (ISKE, 2019)

Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking. - Yan Ma; Zining Cao; Yang Liu 135 (SERA, 2019)

A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm. - Yan Ma; Zining Cao; Yang Liu 135 (IEEE Access, 2019)

A PSO-Based CEGAR Framework for Stochastic Model Checking. - Yan Ma; Zining Cao; Yang Liu 003 (Int. J. Softw. Eng. Knowl. Eng., 2019)

AADL and Modelica model combination and model conversion based on CPS. - Yifeng Zhu; Zining Cao; Fujun Wang; Weiwei Lu (EITCE, 2020)

LRx: Specification Mining based on Logistic Regression. - Mingguang Hu; Zining Cao (ICMSS, 2020)

Intelligent Medical Security Framework of Body Area Network Based on Fog Computing. - Songpeng Zhang; Yi Zhuang; Zining Cao (SpaCCS, 2020)

Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions. - Fujun Wang; Zining Cao; Lixing Tan; Hui Zong (IEEE Access, 2020)

A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm. - Fujun Wang; Zining Cao; Shuya Wang; Hui Zong; Weiwei Lu (ISKE, 2021)

A security type verifier for smart contracts. - Xinwen Hu; Yi Zhuang 002; Shangwei Lin 001; Fuyuan Zhang; Shuanglong Kan; Zining Cao (Comput. Secur., 2021)

Counterexample generation in CPS model checking based on ARSG algorithm. - Mingguang Hu; Zining Cao; Fujun Wang; Weiwei Lu (Int. J. Comput. Sci. Eng., 2021)

Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach. - Fujun Wang; Zining Cao; Lixing Tan; Zhen Li (Int. J. Softw. Eng. Knowl. Eng., 2022)

Path Generation for a Given Performance Evaluation Value Interval by Modifying Bat Algorithm with Heuristic. - Fujun Wang; Zining Cao; Zhen Li; Chao Xing; Hui Zong (Int. J. Softw. Eng. Knowl. Eng., 2023)

Combined Formal Modeling and Model Transformation Based on AADL and Object-Z. - Zhengling Guo; Zining Cao (J. Softw., 2023)

A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra. - Zhen Li; Zining Cao; Fujun Wang; Chao Xing (Int. J. Softw. Eng. Knowl. Eng., 2024)

Performance modeling and quantitative evaluation for cyber-physical systems based on LTS. - Zhen Li; Zining Cao; Chao Xing (J. Supercomput., 2024)

Specification and counterexample generation for cyber-physical systems. - Zhen Li; Zining Cao; Fujun Wang; Chao Xing (Soft Comput., 2024)

A Formal Language for Performance Evaluation Based on Reinforcement Learning. - Fujun Wang; Lixing Tan; Zining Cao; Yan Ma; Li Zhang 052 (Int. J. Softw. Eng. Knowl. Eng., 2024)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus. - Qixian Yu; Zining Cao; Zong Hui; Yuan Zhou (CoRR, 2025)

A Complete Epistemic Temporal Logic for Intelligent Agent. - Zining Cao (CoRR, 2025)

On Higher Order Busy Beaver Function. - Zining Cao (CoRR, 2025)