Concepedia

Zining Cao

ZC

Statistics

Publications

4

Citations

59

H-Index

4

Active since

2009

Affiliations

Nanjing University of Aeronautics and Astronautics(Current)

Zining Cao is an author at Nanjing University of Aeronautics and Astronautics specializing in computer science, formal verification, and engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsSoftware DesignSoftware AnalysisSystems EngineeringVerificationSystem SoftwareProgram Analysis

Publications per year

2009–2021

4

Publications

4

Modeling Dependability Features for Real-Time Embedded Systems

Siru Ni, Yi Zhuang, Zining Cao et al. · IEEE Transactions on Dependable and Secure Computing · 2014 · 18 citations

Engineering, Verification, Embedded Systems +22

Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions

Fujun Wang, Zining Cao, Lixing Tan et al. · IEEE Access · 2020 · 15 citations · Full text

Engineering, Learning-based Techniques, Verification +24

Modeling Cost-Aware Web Services Composition Using PTCCS

Fangxiong Xiao, Zhiqiu Huang, Zining Cao et al. · 2009 · 13 citations

Web Service Specification, Engineering, Software Engineering +19

A security type verifier for smart contracts

Xinwen Hu, Yi Zhuang, Shang‐Wei Lin et al. · Computers & Security · 2021 · 13 citations

Hardware Security, Blockchain, Smart Contract Language +11

1–4 of 4