Zobrazeno 1 - 10
of 60
pro vyhledávání: '"Zining Cao"'
Publikováno v:
IEEE Access, Vol 8, Pp 108561-108578 (2020)
Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates. Learning-based techniques have been extensively applied to learn (a model or model-free) for formal verifi
Externí odkaz:
https://doaj.org/article/193663007188464f99ffdee9069f2ac6
Publikováno v:
IEEE Access, Vol 7, Pp 83839-83851 (2019)
Probabilistic assume-guarantee reasoning is a theoretically feasible way to alleviate the state space explosion problem in stochastic model checking. The key to probabilistic assume-guarantee reasoning is how to generate the assumption. At present, t
Externí odkaz:
https://doaj.org/article/6f53022ccd0f456e9d16daf0f88d8675
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 33:787-814
Path generation means generating a path or a set of paths so that the generated path meets specified properties or constraints. To our knowledge, generating a path with the performance evaluation value of the path within a given value interval has re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2911e0fa5f110ee77d44608b338bac9
https://doi.org/10.1142/s0218194023500158
https://doi.org/10.1142/s0218194023500158
Publikováno v:
International Conference on Computer Network Security and Software Engineering (CNSSE 2022).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b2570c602924b1399400bc9b04c8fa7c
https://doi.org/10.1117/12.2640833
https://doi.org/10.1117/12.2640833
Publikováno v:
IEEE Access, Vol 8, Pp 108561-108578 (2020)
Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates. Learning-based techniques have been extensively applied to learn (a model or model-free) for formal verifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e9d0ae074eea1c06d532db29f64e521
https://ieeexplore.ieee.org/document/9110834/
https://ieeexplore.ieee.org/document/9110834/
Publikováno v:
2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2b0bd8c5ba71700a9e37a1043ffdfbf8
https://doi.org/10.1109/iske54062.2021.9755388
https://doi.org/10.1109/iske54062.2021.9755388
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 29:1465-1495
Counterexample-guided abstraction refinement (CEGAR) is an extremely successful methodology for combating the state-space explosion problem in model checking. State-space explosion problem is more serious in the field of stochastic model checking, an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a2a9d7e51c30008c00d3d62747ff32d
https://doi.org/10.1142/s0218194019500463
https://doi.org/10.1142/s0218194019500463
Publikováno v:
Security, Privacy, and Anonymity in Computation, Communication, and Storage ISBN: 9783030688509
SpaCCS
SpaCCS
Aiming at the main problems of terminal data storage, long service delay and transmission security of (WBAN) in wireless body area network, combined with fog computing distributed computing model, this paper proposes an intelligent medical service fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4b294c9efaaaa4be676477c7ed7ce4f
https://doi.org/10.1007/978-3-030-68851-6_26
https://doi.org/10.1007/978-3-030-68851-6_26
Publikováno v:
Journal of Physics: Conference Series. 2261:012014
CPS is a multidimensional complex system that can realize the interaction between computing process and physical process. Aiming at the problems of fault occurrence and uncertain behavior, this paper proposes the fault analysis stochastic hybrid auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7393fe3002460bba9fc2bd476e6d7d8
https://doi.org/10.1088/1742-6596/2261/1/012014
https://doi.org/10.1088/1742-6596/2261/1/012014
Publikováno v:
Proceedings of the 2020 4th International Conference on Electronic Information Technology and Computer Engineering.
Cyber-Physical System (CPS), which realizes the close integration of physical resources and information resources, is a distributed and asynchronous dynamic hybrid system running in different time and space. In this paper, we use AADL to model inform
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01021b3660bcfc9dcbf61c4ed62108f2
https://doi.org/10.1145/3443467.3443918
https://doi.org/10.1145/3443467.3443918