default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZining Cao
Person information
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]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): 49-89 (2024)- [j15]Zhen Li, Zining Cao, Fujun Wang, Chao Xing:
Specification and counterexample generation for cyber-physical systems. Soft Comput. 28(17-18): 9137-9155 (2024) - [j14]Zhen Li, Zining Cao, Chao Xing:
Performance modeling and quantitative evaluation for cyber-physical systems based on LTS. J. Supercomput. 80(4): 5616-5653 (2024) - 2023
- [j13]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): 787-814 (2023) - [j12]Zhengling Guo, Zining Cao:
Combined Formal Modeling and Model Transformation Based on AADL and Object-Z. J. Softw. 18(4): 185-199 (2023) - 2022
- [j11]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): 283-315 (2022) - 2021
- [j10]Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao:
A security type verifier for smart contracts. Comput. Secur. 108: 102343 (2021) - [j9]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): 312-321 (2021) - [c35]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: 95-100 - 2020
- [j8]Fujun Wang, Zining Cao, Lixing Tan, Hui Zong:
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions. IEEE Access 8: 108561-108578 (2020) - [c34]Yifeng Zhu, Zining Cao, Fujun Wang, Weiwei Lu:
AADL and Modelica model combination and model conversion based on CPS. EITCE 2020: 1136-1140 - [c33]Mingguang Hu, Zining Cao:
LRx: Specification Mining based on Logistic Regression. ICMSS 2020: 68-72 - [c32]Songpeng Zhang, Yi Zhuang, Zining Cao:
Intelligent Medical Security Framework of Body Area Network Based on Fog Computing. SpaCCS 2020: 356-366 - [i3]Fujun Wang, Zining Cao, Lixing Tan, Zhen Li:
Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach. CoRR abs/2012.12716 (2020)
2010 – 2019
- 2019
- [j7]Yan Ma, Zining Cao, Yang Liu:
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm. IEEE Access 7: 83839-83851 (2019) - [j6]Yan Ma, Zining Cao, Yang Liu:
A PSO-Based CEGAR Framework for Stochastic Model Checking. Int. J. Softw. Eng. Knowl. Eng. 29(10): 1465-1495 (2019) - [c31]Hui Zong, Renfeng Hua, Jianyang Zhao, Zining Cao:
Parallel Monte Carlo Integration Algorithm Based on GPU. ISKE 2019: 790-794 - [c30]Yan Ma, Zining Cao, Yang Liu:
Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking. SERA 2019: 124-127 - 2017
- [c29]Fugao Zhang, Zining Cao:
The Formal Transformation of AADL Based on Z-CoIA. ICCCS (2) 2017: 816-822 - [c28]Xinwen Hu, Yi Zhuang, Zining Cao, Tong Ye, Mi Li:
Modeling and validation for embedded software confidentiality and integrity. ISKE 2017: 1-6 - [c27]Yan Ma, Zining Cao, Yang Liu:
A specification with performance evaluation for probabilistic timed automata. ISKE 2017: 1-8 - 2016
- [j5]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): 1117-1144 (2016) - 2015
- [j4]Siru Ni, Yi Zhuang, Zining Cao, Xiangying Kong:
Modeling Dependability Features for Real-Time Embedded Systems. IEEE Trans. Dependable Secur. Comput. 12(2): 190-203 (2015) - 2014
- [i2]Guozheng Li, Zining Cao, Zheng Gao:
Refinement Checking for Multirate Hybrid ZIA. CoRR abs/1410.3773 (2014) - 2013
- [c26]Zining Cao:
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. TASE 2013: 213-220 - [c25]Zining Cao:
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. TASE 2013: 217-224 - 2012
- [j3]Zining Cao:
More on bisimulations for higher order π-calculus. Theor. Comput. Sci. 446: 1-19 (2012) - [c24]Zining Cao:
Modal ZIA, Modal Refinement Relation and Logical Characterization. SEKE 2012: 525-530 - [c23]Zining Cao:
A Calculus of Higher Order Safe Ambients and Its Bisimulations. TASE 2012: 93-100 - 2011
- [j2]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): 47-80 (2011) - [c22]Zining Cao, Hui Wang:
Hybrid ZIA and its Approximated Refinement Relation. ENASE 2011: 260-265 - [c21]Zining Cao, Hui Wang:
Extending Interface Automata with Z Notation. FSEN 2011: 359-367 - 2010
- [c20]Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan:
An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. QSIC 2010: 373-376 - [c19]Zining Cao:
Refinement Checking for Interface Automata with Z Notation. SEKE 2010: 399-404 - [c18]Zining Cao:
Model Checking LOOP Programs. Software Engineering Research and Practice 2010: 534-542 - [c17]Zining Cao:
Bisimulations for Open Processes in Higher Order p-Calculus. TASE 2010: 135-144 - [i1]Zining Cao:
Reducing Higher Order Pi-Calculus to Spatial Logics. CoRR abs/1011.2896 (2010)
2000 – 2009
- 2009
- [c16]Zining Cao:
Distributed Viewpoint Equivalences for Higher Order Processes. CSIE (7) 2009: 792-796 - [c15]Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu:
Modeling Cost-Aware Web Services Composition Using PTCCS. ICWS 2009: 461-468 - [c14]Zining Cao:
A True Concurrent Process Calculus and Its Conflict Bisimulation. SNPD 2009: 475-480 - 2008
- [c13]Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao:
Counterexample Generation for Probabilistic Timed Automata Model Checking. CSSE (2) 2008: 210-214 - [c12]Zining Cao:
A Logic for Distributed Higher Order pi-Calculus. TAMC 2008: 351-363 - [c11]Zining Cao:
Equivalence Checking for a Finite Higher Order pi-Calculus. TAP 2008: 30-47 - 2007
- [c10]Zining Cao:
Towards an Epistemic Logic for Uncertain Agents. CEEMAS 2007: 266-276 - [c9]Zining Cao:
Bisimulations for a Distributed Higher Order pi -Calculus. ICTAC 2007: 94-108 - 2006
- [c8]Zining Cao:
A Spatial Logical Characterisation of Context Bisimulation. ASIAN 2006: 231-239 - [c7]Zining Cao:
A Complete Probabilistic Belief Logic. CLIMA 2006: 80-94 - [c6]Zining Cao:
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems. CLIMA 2006: 134-150 - [c5]Zining Cao:
More on Bisimulations for Higher Order pi-Calculus. FoSSaCS 2006: 63-78 - [c4]Zining Cao:
Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties. Intelligent Information Processing 2006: 63-72 - [c3]Zining Cao:
Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents. MICAI 2006: 1095-1104 - [c2]Zining Cao:
Model Checking for Epistemic and Temporal Properties of Uncertain Agents. PRIMA 2006: 46-58 - 2004
- [c1]Zining Cao:
A Uniform Reduction Equivalence for Process Calculi. APLAS 2004: 179-195 - 2003
- [j1]Zining Cao, Chunyi Shi:
Probabilistic Belief Logic and Its Probabilistic Aumann Semantics. J. Comput. Sci. Technol. 18(5): 571-579 (2003)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
