Search Results - Zining Cao

Refine Results
  1. 1
    Performance modeling and quantitative evaluation for cyber-physical systems based on LTS

    Performance modeling and quantitative evaluation for cyber-physical systems based on LTS by Li, Zhen, Cao, Zining, Xing, Chao

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions

    Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions by Wang, Fujun, Cao, Zining, Tan, Lixing, Zong, Hui

    Published in IEEE access
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm

    A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm by Ma, Yan, Cao, Zining, Liu, Yang

    Published in IEEE access
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Modeling Dependability Features for Real-Time Embedded Systems

    Modeling Dependability Features for Real-Time Embedded Systems by Ni, Siru, Zhuang, Yi, Cao, Zining, Kong, Xiangying

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Combined Formal Modeling and Model Transformation Based on AADL and Object-Z

    Combined Formal Modeling and Model Transformation Based on AADL and Object-Z by Guo, Zhengling, Cao, Zining

    Published in Journal of software
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Verification and Fault Analysis based on Combination of AADL and Modelica

    Verification and Fault Analysis based on Combination of AADL and Modelica by Huang, Tao, Cao, Zining, Li, Qing

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Specification and counterexample generation for cyber-physical systems

    Specification and counterexample generation for cyber-physical systems by Li, Zhen, Cao, Zining, Wang, Fujun, Xing, Chao

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    More on bisimulations for higher order π-calculus

    More on bisimulations for higher order π-calculus by Cao, Zining

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    A security type verifier for smart contracts

    A security type verifier for smart contracts by Hu, Xinwen, Zhuang, Yi, Lin, Shang-Wei, Zhang, Fuyuan, Kan, Shuanglong, Cao, Zining

    Published in Computers & security
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    A Calculus of Higher Order Safe Ambients and Its Bisimulations

    A Calculus of Higher Order Safe Ambients and Its Bisimulations by Zining Cao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Distributed Viewpoint Equivalences for Higher Order Processes

    Distributed Viewpoint Equivalences for Higher Order Processes by Zining Cao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    A True Concurrent Process Calculus and Its Conflict Bisimulation

    A True Concurrent Process Calculus and Its Conflict Bisimulation by Zining Cao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS

    Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS by Xiao, Fangxiong, Huang, Zhiqiu, Cao, Zining, Hu, Jun, Liu, Linyuan, Yuan, Min

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS 1

    Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS 1 by Xiao, Fangxiong, Huang, Zhiqiu, Cao, Zining, Hu, Jun, Liu, Linyuan, Yuan, Min

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Counterexample for Timed Probabilistic Reachability in Uniform CTMDP

    Counterexample for Timed Probabilistic Reachability in Uniform CTMDP by Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Counterexample Generation for Probabilistic Timed Automata Model Checking

    Counterexample Generation for Probabilistic Timed Automata Model Checking by Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Modeling Cost-Aware Web Services Composition Using PTCCS

    Modeling Cost-Aware Web Services Composition Using PTCCS by Xiao, Fangxiong, Huang, Zhiqiu, Cao, Zining, Hu, Jun, Liu, LinYuan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    An MDE Based Approach for Generating Software Architecture Models from Formal Specifications

    An MDE Based Approach for Generating Software Architecture Models from Formal Specifications by Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Specification for probabilistic timed systems with data constraints

    Specification for probabilistic timed systems with data constraints by Ma, Yan, Cao, Zining, Liu, Yang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Bisimulations for Open Processes in Higher Order p-Calculus

    Bisimulations for Open Processes in Higher Order p-Calculus by Zining Cao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: