default search action
Yongwang Zhao
Person information
- affiliation: Beihang University, Beijing, China
- unicode name: 赵永望
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j23]Jilin Hu, Fanlang Zeng, Yongwang Zhao, Zhuoruo Zhang, Leping Zhang, Jianhong Zhao, Rui Chang, Kui Ren:
ProveriT: A Parameterized, Composable, and Verified Model of TEE Protection Profile. IEEE Trans. Dependable Secur. Comput. 21(6): 5341-5358 (2024) - [c56]Jiayi Lu, Shenghao Yuan, David Sanán, Yongwang Zhao:
Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness. SETTA 2024: 197-216 - [c55]Leping Zhang, Yongwang Zhao, Jianxin Li:
A Comprehensive Specification and Verification of the L4 Microkernel API. TACAS (2) 2024: 217-234 - [i15]Jianhong Zhao, Jinhui Kang, Yongwang Zhao:
K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs. CoRR abs/2404.18756 (2024) - [i14]Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren:
KBX: Verified Model Synchronization via Formal Bidirectional Transformation. CoRR abs/2404.18771 (2024) - 2023
- [j22]Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun:
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Formal Aspects Comput. 35(4): 24:1-24:29 (2023) - [j21]Shaowei Cai, Zhenbang Chen, Ji Wang, Bohua Zhan, Yongwang Zhao:
Preface to the Special Issue on Constraint Solving and Theorem Proving. Int. J. Softw. Informatics 13(3): 243-245 (2023) - [j20]Fanlang Zeng, Rui Chang, Hao Xu, Shaoping Pan, Yongwang Zhao:
Refinement-based Modeling and Formal Verification for Multiple Secure Partitions of TrustZone. Int. J. Softw. Informatics 13(3): 297-321 (2023) - [j19]Xinliang Miao, Rui Chang, Jianhong Zhao, Yongwang Zhao, Shuang Cao, Tao Wei, Liehui Jiang, Kui Ren:
CVTEE: A Compatible Verified TEE Architecture With Enhanced Security. IEEE Trans. Dependable Secur. Comput. 20(1): 377-391 (2023) - [c54]Zhuoruo Zhang, Jilin Hu, Chenyang Yu, Rui Chang, Yongwang Zhao:
VeriReach: A Formally Verified Algorithm for Reachability Analysis in Virtual Private Cloud Networks. ICWS 2023: 71-77 - [c53]Hao Xu, Yongwang Zhao:
Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving. Internetware 2023: 313-322 - [c52]Fanlang Zeng, Zhuoruo Zhang, Rui Chang, Chenyang Yu, Zijun Zhang, Yongwang Zhao:
Lark: Verified Cross-Domain Access Control for Trusted Execution Environments. ISSRE 2023: 160-171 - [i13]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Event-based Compositional Reasoning of Information-Flow Security for Concurrent Systems. CoRR abs/2309.09141 (2023) - [i12]Yongwang Zhao, David Sanán:
Rely-guarantee Reasoning about Concurrent Reactive Systems: The PiCore Framework, Languages Integration and Applications. CoRR abs/2309.09148 (2023) - [i11]Yongwang Zhao, David Sanán:
Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security. CoRR abs/2309.09997 (2023) - 2022
- [j18]Yu Tan, Yongwang Zhao, Dianfu Ma, Xuejun Zhang:
A Comprehensive Formalization of AADL with Behavior Annex. Sci. Program. 2022: 2079880:1-2079880:26 (2022) - [c51]Ke Jiang, Tianwei Zhang, David Sanán, Yongwang Zhao, Yang Liu:
A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures. ICFEM 2022: 190-208 - [c50]Xinliang Miao, Fanlang Zeng, Rui Chang, Chenyang Yu, Zijun Zhang, Liehui Jiang, Yongwang Zhao:
Is your access allowed or not? A Verified Tag-based Access Control Framework for the Multi-domain TEE. Internetware 2022: 252-261 - [i10]Zhuoruo Zhang, Chenyang Yu, He Huang, Rui Chang, Mingshuai Chen, Qinming Dai, Wenbo Shen, Yongwang Zhao, Kui Ren:
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot. CoRR abs/2209.07936 (2022) - 2021
- [j17]Shahbaz Ali, Hailong Sun, Yongwang Zhao:
Model learning: a survey of foundations, tools and applications. Frontiers Comput. Sci. 15(5): 155210 (2021) - [j16]Dingji Li, Zeyu Mi, Baodong Wu, Xun Chen, Yongwang Zhao, Zuohua Ding, Haibo Chen:
Accelerator Virtualization Framework Based on Inter-VM Exitless Communication. Int. J. Softw. Informatics 11(2): 169-193 (2021) - [j15]David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu:
CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. ACM Trans. Program. Lang. Syst. 43(1): 2:1-2:46 (2021) - [c49]Wenjing Xu, Yongwang Zhao, Chengtao Cao, Jean Raphael Ngnie Sighom, Lei Wang, Zhe Jiang, Shihong Zou:
Apply Formal Methods in Certifying the SyberX High-Assurance Kernel. FM 2021: 788-798 - 2020
- [c48]Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao:
Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. TASE 2020: 89-96
2010 – 2019
- 2019
- [j14]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Refinement-Based Specification and Security Analysis of Separation Kernels. IEEE Trans. Dependable Secur. Comput. 16(1): 127-141 (2019) - [c47]Yongwang Zhao, David Sanán:
Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS. CAV (2) 2019: 515-533 - [c46]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. FM 2019: 161-178 - [c45]Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu:
A Formally Verified Buddy Memory Allocation Model. ICECCS 2019: 144-153 - [c44]Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu:
Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS. ISORC 2019: 10-17 - [c43]Yu Zhang, Yongwang Zhao, David Sanán, Lei Qiao, Jinkun Zhang:
A Verified Specification of TLSF Memory Management Allocator Using State Monads. SETTA 2019: 122-138 - [c42]Shahbaz Ali, Hailong Sun, Yongwang Zhao:
Combining Model Learning and Model Checking to Analyze Java Libraries. SOFL+MSVL 2019: 259-278 - [i9]Shahbaz Ali, Hailong Sun, Yongwang Zhao:
Model Learning: A Survey on Foundation, Tools and Applications. CoRR abs/1901.01910 (2019) - 2018
- [j13]Jianwen Sun, Xiang Long, Yongwang Zhao:
A Verified Capability-Based Model for Information Flow Security With Dynamic Policies. IEEE Access 6: 16395-16407 (2018) - [c41]Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun:
Compositional Reasoning for Shared-Variable Concurrent Programs. FM 2018: 523-541 - [i8]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems. CoRR abs/1810.07855 (2018) - [i7]Yu Zhang, Yongwang Zhao, David Sanán:
A Verified Timsort C Implementation in Isabelle/HOL. CoRR abs/1812.03318 (2018) - 2017
- [j12]Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu:
Formal Verification of Behavioral AADL Models by Stateful Timed CSP. IEEE Access 5: 27421-27438 (2017) - [j11]Yongwang Zhao, Zhibin Yang, Dianfu Ma:
A survey on formal specification and verification of separation kernels. Frontiers Comput. Sci. 11(4): 585-607 (2017) - [c40]David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu:
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. TACAS (1) 2017: 481-498 - [i6]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
High-Assurance Separation Kernels: A Survey on Formal Methods. CoRR abs/1701.01535 (2017) - [i5]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Refinement-based Specification and Security Analysis of Separation Kernels. CoRR abs/1702.05997 (2017) - 2016
- [j10]Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma:
Towards a verified compiler prototype for the synchronous language SIGNAL. Frontiers Comput. Sci. 10(1): 37-53 (2016) - [j9]Kun Cheng, Yuebin Bai, Yongwang Zhao, Yao Ma, Duo Lu, Yuanfeng Peng, Minxuan Zhou:
HV2M: A novel approach to boost inter-VM network performance for Xen-based HVMs. J. Syst. Softw. 114: 54-68 (2016) - [j8]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement. IEEE Trans. Ind. Informatics 12(4): 1321-1331 (2016) - [c39]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication. TACAS 2016: 791-810 - [i4]Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun:
Compositional Reasoning for Shared-variable Concurrent Programs. CoRR abs/1611.00574 (2016) - 2015
- [c38]David Sanán, Yang Liu, Yongwang Zhao, Zhenchang Xing, Mike Hinchey:
Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. ICECCS 2015: 120-129 - [c37]Yongwang Zhao, Zhibin Yang, David Sanán, Yang Liu:
Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B. ISSRE 2015: 281-292 - [i3]Yongwang Zhao, Zhibin Yang, David Sanán:
Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B. CoRR abs/1508.06479 (2015) - [i2]Yongwang Zhao:
Formal Specification and Verification of Separation Kernels: An Overview. CoRR abs/1508.07066 (2015) - [i1]Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication. CoRR abs/1510.05091 (2015) - 2014
- [j7]Hualei Shen, Dianfu Ma, Yongwang Zhao, Hailong Sun, Sujun Sun, Rongwei Ye, Lei Huang, Bo Lang, Yan Sun:
MIAPS: A web-based system for remotely accessing and presenting medical images. Comput. Methods Programs Biomed. 113(1): 266-283 (2014) - [j6]Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
PBA4WSSP: a policy-based architecture for web services security processing. Serv. Oriented Comput. Appl. 8(1): 55-72 (2014) - [c36]Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao:
Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. KSEM 2014: 258-269 - [c35]Hualei Shen, Yongwang Zhao, Dianfu Ma, Yong Guan:
Query dependent multiview features fusion for effective medical image retrieval. SPAC 2014: 253-258 - 2013
- [j5]Yongwang Zhao, Zhuqing Li, Hualei Shen, Dianfu Ma:
Development of global specification for dynamically adaptive software. Computing 95(9): 785-816 (2013) - [c34]Zhe Wang, Dianfu Ma, Yongwang Zhao:
A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization. DASC 2013: 39-46 - [c33]Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
A policy-based architecture for web services authentication. ISCC 2013: 417-422 - 2012
- [j4]Yongwang Zhao, Chunyang Hu, Hualei Shen, Dianfu Ma, Xuan Li, Yonggang Huang:
A hierarchical organization approach of multi-dimensional remote sensing data for lightweight Web Map Services. Earth Sci. Informatics 5(1): 61-75 (2012) - [j3]Yonggang Huang, Dianfu Ma, Jun Zhang, Yongwang Zhao:
QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval. IEICE Trans. Inf. Syst. 95-D(1): 275-279 (2012) - [j2]Yonggang Huang, Jun Zhang, Yongwang Zhao, Dianfu Ma:
A New Re-Ranking Method Using Enhanced Pseudo-Relevance Feedback for Content-Based Medical Image Retrieval. IEICE Trans. Inf. Syst. 95-D(2): 694-698 (2012) - [c32]Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao:
Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software. COMPSAC 2012: 670-679 - [c31]Hualei Shen, Dianfu Ma, Yongwang Zhao, Rongwei Ye:
Collaborative annotation of medical images via web browser for teleradiology. ICCH 2012: 127-133 - [c30]Hao Zeng, Dianfu Ma, Zhuqing Li, Yongwang Zhao:
A Policy-Based Architecture for Web Services Security Processing. ICEBE 2012: 163-169 - [c29]Bingyang Zhao, Yongwang Zhao, Dianfu Ma:
A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems. ISORC 2012: 103-110 - [c28]Hualei Shen, Dianfu Ma, Yongwang Zhao, Chunyao Yang, Sujun Sun, Bo Lang:
Managing and Collaboratively Processing Medical Image via the Web. WAIM Workshops 2012: 252-263 - 2011
- [j1]Jing Li, Yongwang Zhao, Hailong Sun, Zibin Zheng, Dianfu Ma:
DH4SS: a distributed heuristic for QoS-based service selection. Int. J. Web Grid Serv. 7(4): 388-409 (2011) - [c27]Zekun Zhu, Jianxin Li, Yongwang Zhao, Zhuqing Li:
SCENETester: A Testing Framework to Support Fault Diagnosis for Web Service Composition. CIT 2011: 109-114 - [c26]Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma:
Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic. AINA 2011: 240-247 - [c25]Chunyang Hu, Yongwang Zhao, Jing Li, Dianfu Ma, Xuan Li:
Geospatial Web Service for Remote Sensing Data Visualization. AINA 2011: 594-601 - [c24]Zhuqing Li, Dianfu Ma, Yongwang Zhao, Jing Li, Qing Yang:
FSM4WSR: A Formal Model for Verifiable Web Service Runtime. APSCC 2011: 86-93 - [c23]Yujing Zhao, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
Integrating Business Processes and Business Rules. APSCC 2011: 493-497 - [c22]Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao:
An AADL-Based Modeling Method for ARINC653-Based Avionics Software. COMPSAC 2011: 224-229 - [c21]Yongwang Zhao, Jing Li, Zhuqing Li, Dianfu Ma:
Towards Hierarchical Modeling and Analysis of Web Services Choreography. IESS 2011: 1-15 - [c20]Huang Liu, Xudong Liu, Jianxin Li, Yongwang Zhao, Zhuqing Li:
Building high-speed roads: Improving performance of SOAP processing for cloud services. SOSE 2011: 72-78 - 2010
- [c19]Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
Towards a Formal Verification Approach for Implementation of Web Services Specifications. APSCC 2010: 269-276 - [c18]Yonggang Huang, Jun Zhang, Yongwang Zhao, Dianfu Ma:
Medical Image Retrieval with Query-Dependent Feature Fusion Based on One-Class SVM. CSE 2010: 176-183 - [c17]Chunyang Hu, Yongwang Zhao, Jing Li, Min Liu, Dianfu Ma, Xuan Li:
OGC-compatible high-performance web map service for remote sensing data visualization. iiWAS 2010: 657-660 - [c16]Chunyang Hu, Yongwang Zhao, Xin Wei, Bowen Du, Yonggang Huang, Dianfu Ma, Xuan Li:
ACTGIS: A Web-based collaborative tiled Geospatial image map system. ISCC 2010: 521-528 - [c15]Jing Li, Yongwang Zhao, Min Liu, Hailong Sun, Dianfu Ma:
An adaptive heuristic approach for distributed QoS-based service composition. ISCC 2010: 687-694 - [c14]Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma:
SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine. ISCC 2010: 744-749 - [c13]Jing Li, Yongwang Zhao, Jiawen Ren, Dianfu Ma:
Towards adaptive web services QoS prediction. SOCA 2010: 1-8 - [c12]Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma:
An operational semantics of WS-BPEL based on abstract BPEL machine. SOCA 2010: 1-4 - [c11]Yongwang Zhao, Bingyang Zhao, Min Liu, Chunyang Hu, Dianfu Ma:
Towards a Graph Grammar Based Verification Approach for Runtime Constrained Evolution of Service-Oriented Architectures. SOSE 2010: 159-164 - [c10]Yongwang Zhao, Chunyang Hu, Min Liu, Dianfu Ma:
Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services. UIC/ATC Workshops 2010: 428-433
2000 – 2009
- 2009
- [c9]Min Liu, Dianfu Ma, Yongwang Zhao, Dou Sun:
An Approach to Preserving Consistency of SOAs in Dynamic Evolution. ICIW 2009: 505-509 - [c8]Yongwang Zhao, Dianfu Ma, Min Liu, Chunyang Hu, Yongwang Huang:
A Graph Transformation based Approach for Runtime Constrained Evolution of Service-Oriented Architectures. PDP 2009: 203-209 - [c7]Min Liu, Dianfu Ma, Yongwang Zhao:
An approach to identifying conversation dependency in service oriented system during dynamic evolution. SAC 2009: 1072-1073 - 2008
- [c6]Yongwang Zhao, Dianfu Ma, Min Liu, Chunyang Hu:
Coordination Behavioral Structure: A Web Services Coordination Model in Dynamic Environment. ACIS-ICIS 2008: 611-617 - [c5]Chunyang Hu, Yongwang Zhao, Dianfu Ma, Xiaoliang Sun, Jun Shao, Xuan Li:
Collaborative geospatial web services for multi-dimension remote sensing data. ICDIM 2008: 456-463 - [c4]Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun:
Reliability Quantification of the Tree Structure Based Distributed System. PRDC 2008: 351-352 - [c3]Dianfu Ma, Min Liu, Yongwang Zhao, Chunyang Hu:
SSCM: middleware for structure-based service collaboration. SAC 2008: 2224-2225 - 2007
- [c2]Yongwang Zhao, Chunyang Hu, Yonggang Huang, Dianfu Ma:
Collaborative Visualization of Large Scale Datasets Using Web Services. ICIW 2007: 62 - [c1]Yongwang Zhao, Dianfu Ma, Chunyang Hu, Min Liu, Yonggang Huang:
SOCOM: A Service-Oriented Collaboration Middleware for Multi-User Interaction with Web Services based Scientific Resources. ISPDC 2007: 195-202
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint