Zining Cao

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 21

Top Topics

Verification Method

Embedded Software

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Publications

Zhen Li, Zining Cao, Fujun Wang, Chao Xing
A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra. Int. J. Softw. Eng. Knowl. Eng. 34 (1) (2024)
Zhen Li, Zining Cao, Chao Xing
Performance modeling and quantitative evaluation for cyber-physical systems based on LTS. J. Supercomput. 80 (4) (2024)
Zhengling Guo, Zining Cao
Combined Formal Modeling and Model Transformation Based on AADL and Object-Z. J. Softw. 18 (4) (2023)
Fujun Wang, Zining Cao, Zhen Li, Chao Xing, Hui Zong
Path Generation for a Given Performance Evaluation Value Interval by Modifying Bat Algorithm with Heuristic. Int. J. Softw. Eng. Knowl. Eng. 33 (5) (2023)
Fujun Wang, Zining Cao, Lixing Tan, Zhen Li
Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach. Int. J. Softw. Eng. Knowl. Eng. 32 (2) (2022)
Fujun Wang, Zining Cao, Shuya Wang, Hui Zong, Weiwei Lu
A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm. ISKE (2021)
Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao
A security type verifier for smart contracts. Comput. Secur. 108 (2021)
Mingguang Hu, Zining Cao, Fujun Wang, Weiwei Lu
Counterexample generation in CPS model checking based on ARSG algorithm. Int. J. Comput. Sci. Eng. 24 (3) (2021)
Yifeng Zhu, Zining Cao, Fujun Wang, Weiwei Lu
AADL and Modelica model combination and model conversion based on CPS. EITCE (2020)
Fujun Wang, Zining Cao, Lixing Tan, Zhen Li
Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach. CoRR (2020)
Mingguang Hu, Zining Cao
LRx: Specification Mining based on Logistic Regression. ICMSS (2020)
Songpeng Zhang, Yi Zhuang, Zining Cao
Intelligent Medical Security Framework of Body Area Network Based on Fog Computing. SpaCCS (2020)
Fujun Wang, Zining Cao, Lixing Tan, Hui Zong
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions. IEEE Access 8 (2020)
Hui Zong, Renfeng Hua, Jianyang Zhao, Zining Cao
Parallel Monte Carlo Integration Algorithm Based on GPU. ISKE (2019)
Yan Ma, Zining Cao, Yang Liu
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm. IEEE Access 7 (2019)
Yan Ma, Zining Cao, Yang Liu
Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking. SERA (2019)
Yan Ma, Zining Cao, Yang Liu
A PSO-Based CEGAR Framework for Stochastic Model Checking. Int. J. Softw. Eng. Knowl. Eng. 29 (10) (2019)
Fugao Zhang, Zining Cao
The Formal Transformation of AADL Based on Z-CoIA. ICCCS (2) (2017)
Yan Ma, Zining Cao, Yang Liu
A specification with performance evaluation for probabilistic timed automata. ISKE (2017)
Xinwen Hu, Yi Zhuang, Zining Cao, Tong Ye, Mi Li
Modeling and validation for embedded software confidentiality and integrity. ISKE (2017)
Yan Ma, Zining Cao, Yang Liu
Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic. Int. J. Softw. Eng. Knowl. Eng. 26 (7) (2016)
Siru Ni, Yi Zhuang, Zining Cao, Xiangying Kong
Modeling Dependability Features for Real-Time Embedded Systems. IEEE Trans. Dependable Secur. Comput. 12 (2) (2015)
Guozheng Li, Zining Cao, Zheng Gao
Refinement Checking for Multirate Hybrid ZIA. CoRR (2014)
Zining Cao
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. TASE (2013)
Zining Cao
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. TASE (2013)
Zining Cao
More on bisimulations for higher order π-calculus. Theor. Comput. Sci. 446 (2012)
Zining Cao
A Calculus of Higher Order Safe Ambients and Its Bisimulations. TASE (2012)
Zining Cao
Modal ZIA, Modal Refinement Relation and Logical Characterization. SEKE (2012)
Zining Cao, Hui Wang
Hybrid ZIA and its Approximated Refinement Relation. ENASE (2011)
Zining Cao, Hui Wang
Extending Interface Automata with Z Notation. FSEN (2011)
Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu, Min Yuan
Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS 1. Int. J. Web Serv. Res. 8 (4) (2011)
Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan
An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. QSIC (2010)
Zining Cao
Bisimulations for Open Processes in Higher Order p-Calculus. TASE (2010)
Zining Cao
Model Checking LOOP Programs. Software Engineering Research and Practice (2010)
Zining Cao
Reducing Higher Order Pi-Calculus to Spatial Logics CoRR (2010)
Zining Cao
Refinement Checking for Interface Automata with Z Notation. SEKE (2010)
Zining Cao
Distributed Viewpoint Equivalences for Higher Order Processes. CSIE (7) (2009)
Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu
Modeling Cost-Aware Web Services Composition Using PTCCS. ICWS (2009)
Zining Cao
A True Concurrent Process Calculus and Its Conflict Bisimulation. SNPD (2009)
Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao
Counterexample Generation for Probabilistic Timed Automata Model Checking. CSSE (2) (2008)
Zining Cao
A Logic for Distributed Higher Order pi-Calculus. TAMC (2008)
Zining Cao
Equivalence Checking for a Finite Higher Order pi-Calculus. TAP (2008)
Zining Cao
-Calculus. ICTAC (2007)
Zining Cao
Towards an Epistemic Logic for Uncertain Agents. CEEMAS (2007)
Zining Cao
-Calculus. FoSSaCS (2006)
Zining Cao
Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents. MICAI (2006)
Zining Cao
Model Checking for Epistemic and Temporal Properties of Uncertain Agents. PRIMA (2006)
Zining Cao
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems. CLIMA (2006)
Zining Cao
A Spatial Logical Characterisation of Context Bisimulation. ASIAN (2006)
Zining Cao
Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties. Intelligent Information Processing (2006)
Zining Cao
A Complete Probabilistic Belief Logic. CLIMA (2006)
Zining Cao
A Uniform Reduction Equivalence for Process Calculi. APLAS (2004)
Zining Cao, Chunyi Shi
Probabilistic Belief Logic and Its Probabilistic Aumann Semantics. J. Comput. Sci. Technol. 18 (5) (2003)