I agree that this site is using cookies. You can find further informations here.
X
Zhang, Yongwang
14  results:
Bookchapter (Online) X
Search for persons X
?
1

Low-Latency Data Compression and Aggregation for High-Frequ..:

, In: 2023 3rd International Conference on New Energy and Power Engineering (ICNEPE),
Zhang, Yongwang ; Shang, Bing ; Lu, Tao... - p. 569-573 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Time-Aware Edge Computing Method for High-Frequency Acquisi..:

, In: 2023 3rd International Conference on Electrical Engineering and Control Science (IC2ECS),
Song, Peng ; Zhang, Yongwang ; Lu, Tao... - p. 1585-1589 , 2023
Link: https://doi.org/10.1109/..
 
?
3

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/..
 
?
4

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/..
 
?
5

Demand Forecasting and Optimization of Express Service Base..:

, In: 2023 3rd International Signal Processing, Communications and Engineering Management Conference (ISPCEM),
Wang, Shuxin ; Zhang, Zongxuan ; Yang, Yongwang... - p. 569-575 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Solving Multi-Task Offloading Problem in V2X with a Machine..:

, In: GLOBECOM 2023 - 2023 IEEE Global Communications Conference,
Zhou, Yongwang ; Li, Dongbiao ; Chen, Yifan... - p. 4619-4624 , 2023
Link: https://doi.org/10.1109/..
 
?
7

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/..
 
?
8

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..
 
?
9

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/..
 
?
10

Research on Benchmarking of Smart Camera Based on Hardware-..:

, In: 2020 IEEE 4th Information Technology, Networking, Electronic and Automation Control Conference (ITNEC),
Zhao, Shuai ; Zhang, Lu ; Shen, Yongwang. - p. 1819-1823 , 2020
Link: https://doi.org/10.1109/..
 
?
11

Development and Verification of Traffic Confrontation Simul..:

, In: 2020 IEEE 4th Information Technology, Networking, Electronic and Automation Control Conference (ITNEC),
Zhang, Lu ; Du, Zhibin ; Zhao, Shuai.. - p. 1814-1818 , 2020
Link: https://doi.org/10.1109/..
 
?
12

A Verified Specification of TLSF Memory Management Allocato..:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,
Zhang, Yu ; Zhao, Yongwang ; Sanan, David.. - p. 122-138 , 2019
Link: https://doi.org/10.1007/..
 
?
13

A Parametric Rely-Guarantee Reasoning Framework for Concurr..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
Zhao, Yongwang ; Sanán, David ; Zhang, Fuyuan. - p. 161-178 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Medical Image Retrieval with Query-Dependent Feature Fusion..:

, In: 2010 13th IEEE International Conference on Computational Science and Engineering,
Huang, Yonggang ; Zhang, Jun ; Zhao, Yongwang. - p. 176-183 , 2010
Link: https://doi.org/10.1109/..
 
1-14