E-LIB Suche - Ergebnisse für: Zhao, Yongwang

1

A Comprehensive Specification and Verification of the L4 Mi..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Zhang, Leping ; Zhao, Yongwang ; Li, Jianxin - p. 217-234 , 2024

Link: https://doi.org/10.1007/..

2

ProveriT: A Parameterized, Composable, and Verified Model o..:

Hu, Jilin ; Zeng, Fanlang ; Zhao, Yongwang...
IEEE Transactions on Dependable and Secure Computing. , 2024

Link: https://doi.org/10.1109/..

3

The biomechanical effects of different membrane layer struc..:

Fan, Xuanze ; Zhang, Aohua ; Zheng, Qingli...
Frontiers in Bioengineering and Biotechnology. 11 (2024) - p. , 2024

Link: https://doi.org/10.3389/..

4

四棱锥型钉头内固定系统用于治疗Pauwels III型股骨颈骨折; Internal fixation system ..:

Wang, Songyuan ; Deng, Xuan ; Zhong, Hao...
Acta Mechanica Sinica. 39 (2023) 8 - p. , 2023

Link: https://doi.org/10.1007/..

5

Lark: Verified Cross-Domain Access Control for Trusted Exec..:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),

Zeng, Fanlang ; Zhang, Zhuoruo ; Chang, Rui... - p. 160-171 , 2023

Link: https://doi.org/10.1109/..

6

Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for ..:

, In: Proceedings of the 14th Asia-Pacific Symposium on Internetware,

Xu, Hao ; Zhao, Yongwang - p. 313-322 , 2023

Link: https://dl.acm.org/doi/1..

7

CVTEE: A Compatible Verified TEE Architecture With Enhanced..:

Miao, Xinliang ; Chang, Rui ; Zhao, Jianhong...
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 1 - p. 377-391 , 2023

Link: https://doi.org/10.1109/..

8

VeriReach: A Formally Verified Algorithm for Reachability A..:

, In: 2023 IEEE International Conference on Web Services (ICWS),

Zhang, Zhuoruo ; Hu, Jilin ; Yu, Chenyang.. - p. 71-77 , 2023

Link: https://doi.org/10.1109/..

9

Apigenin inhibits angiogenesis in retinal microvascular end..:

Fu, Chaojun ; Peng, Jun ; Ling, Yanjun...
BMC Ophthalmology. 23 (2023) 1 - p. , 2023

Link: https://doi.org/10.1186/..

10

Is your access allowed or not? A Verified Tag-based Access ..:

, In: Proceedings of the 13th Asia-Pacific Symposium on Internetware,

Miao, Xinliang ; Zeng, Fanlang ; Chang, Rui... - p. 252-261 , 2022

Link: https://dl.acm.org/doi/1..

11

A Comprehensive Formalization of AADL with Behavior Annex:

Tan, Yu ; Zhao, Yongwang ; Ma, Dianfu..
Scientific Programming. 2022 (2022) - p. 1-26 , 2022

Link: https://doi.org/10.1155/..

12

A Formal Methodology for Verifying Side-Channel Vulnerabili..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Jiang, Ke ; Zhang, Tianwei ; Sanán, David.. - p. 190-208 , 2022

Link: https://doi.org/10.1007/..

13

Apply Formal Methods in Certifying the SyberX High-Assuranc..:

, In: Formal Methods; Lecture Notes in Computer Science,

Xu, Wenjing ; Zhao, Yongwang ; Cao, Chengtao... - p. 788-798 , 2021

Link: https://doi.org/10.1007/..

14

CSim2 : Compositional Top-down Verification of Concurren..:

Sanan, David ; Zhao, Yongwang ; Lin, Shang-Wei.
ACM Transactions on Programming Languages and Systems (TOPLAS). 43 (2021) 1 - p. 1-46 , 2021

Link: https://dl.acm.org/doi/1..

15

Model learning: a survey of foundations, tools and applicat..:

Ali, Shahbaz ; Sun, Hailong ; Zhao, Yongwang
Frontiers of Computer Science. 15 (2021) 5 - p. , 2021

Link: https://doi.org/10.1007/..