Yongwang Zhao

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 44

Top Topics

Theorem Proving

Constraint Solving

Memory Management

Reactive Systems

Top Venues

Int. J. Softw. Informatics

Frontiers Comput. Sci.

Publications

Leping Zhang, Yongwang Zhao, Jianxin Li
A Comprehensive Specification and Verification of the L4 Microkernel API. TACAS (2) (2024)
Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren
KBX: Verified Model Synchronization via Formal Bidirectional Transformation. CoRR (2024)
Jianhong Zhao, Jinhui Kang, Yongwang Zhao
K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs. CoRR (2024)
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)
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) (2023)
Fanlang Zeng, Zhuoruo Zhang, Rui Chang, Chenyang Yu, Zijun Zhang, Yongwang Zhao
Lark: Verified Cross-Domain Access Control for Trusted Execution Environments. ISSRE (2023)
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) (2023)
Yongwang Zhao, David Sanán
Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security. CoRR (2023)
Yongwang Zhao, David Sanán
Rely-guarantee Reasoning about Concurrent Reactive Systems: The PiCore Framework, Languages Integration and Applications. CoRR (2023)
Hao Xu, Yongwang Zhao
Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving. Internetware (2023)
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) (2023)
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) (2023)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Event-based Compositional Reasoning of Information-Flow Security for Concurrent Systems. CoRR (2023)
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)
Yu Tan, Yongwang Zhao, Dianfu Ma, Xuejun Zhang
A Comprehensive Formalization of AADL with Behavior Annex. Sci. Program. 2022 (2022)
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 (2022)
Ke Jiang, Tianwei Zhang, David Sanán, Yongwang Zhao, Yang Liu
A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures. ICFEM (2022)
Shahbaz Ali, Hailong Sun, Yongwang Zhao
Model learning: a survey of foundations, tools and applications. Frontiers Comput. Sci. 15 (5) (2021)
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) (2021)
David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu
: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. ACM Trans. Program. Lang. Syst. 43 (1) (2021)
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)
Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao
Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. TASE (2020)
Shahbaz Ali, Hailong Sun, Yongwang Zhao
Combining Model Learning and Model Checking to Analyze Java Libraries. SOFL+MSVL (2019)
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) (2019)
Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu
Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS. ISORC (2019)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. FM (2019)
Yu Zhang, Yongwang Zhao, David Sanán, Lei Qiao, Jinkun Zhang
A Verified Specification of TLSF Memory Management Allocator Using State Monads. SETTA (2019)
Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu
A Formally Verified Buddy Memory Allocation Model. ICECCS (2019)
Yongwang Zhao, David Sanán
Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS. CAV (2) (2019)
Shahbaz Ali, Hailong Sun, Yongwang Zhao
Model Learning: A Survey on Foundation, Tools and Applications. CoRR (2019)
Yu Zhang, Yongwang Zhao, David Sanán
A Verified Timsort C Implementation in Isabelle/HOL. CoRR (2018)
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)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems. CoRR (2018)
Jianwen Sun, Xiang Long, Yongwang Zhao
A Verified Capability-Based Model for Information Flow Security With Dynamic Policies. IEEE Access 6 (2018)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Refinement-based Specification and Security Analysis of Separation Kernels. CoRR (2017)
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)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
High-Assurance Separation Kernels: A Survey on Formal Methods. CoRR (2017)
Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu
Formal Verification of Behavioral AADL Models by Stateful Timed CSP. IEEE Access 5 (2017)
Yongwang Zhao, Zhibin Yang, Dianfu Ma
A survey on formal specification and verification of separation kernels. Frontiers Comput. Sci. 11 (4) (2017)
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 (2016)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication. TACAS (2016)
Kun Cheng, Yuebin Bai, Yongwang Zhao, Yao Ma, Duo Lu, Yuanfeng Peng, Minxuan Zhou
M: A novel approach to boost inter-VM network performance for Xen-based HVMs. J. Syst. Softw. 114 (2016)
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) (2016)
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) (2016)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication. CoRR (2015)
David Sanán, Liu Yang, Yongwang Zhao, Zhenchang Xing, Mike Hinchey
Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. ICECCS (2015)
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 (2015)
Yongwang Zhao
Formal Specification and Verification of Separation Kernels: An Overview. CoRR (2015)
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)
Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao
Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. KSEM (2014)
Hualei Shen, Yongwang Zhao, Dianfu Ma, Yong Guan
Query dependent multiview features fusion for effective medical image retrieval. SPAC (2014)
Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li
PBA4WSSP: a policy-based architecture for web services security processing. Serv. Oriented Comput. Appl. 8 (1) (2014)
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) (2014)
Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li
A policy-based architecture for web services authentication. ISCC (2013)
Yongwang Zhao, Zhuqing Li, Hualei Shen, Dianfu Ma
Development of global specification for dynamically adaptive software. Computing 95 (9) (2013)
Zhe Wang, Dianfu Ma, Yongwang Zhao
A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization. DASC (2013)
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) (2012)
Hao Zeng, Dianfu Ma, Zhuqing Li, Yongwang Zhao
A Policy-Based Architecture for Web Services Security Processing. ICEBE (2012)
Yonggang Huang, Dianfu Ma, Jun Zhang, Yongwang Zhao
QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval. IEICE Trans. Inf. Syst. (1) (2012)
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. (2) (2012)
Bingyang Zhao, Yongwang Zhao, Dianfu Ma
A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems. ISORC (2012)
Hualei Shen, Dianfu Ma, Yongwang Zhao, Rongwei Ye
Collaborative annotation of medical images via web browser for teleradiology. ICCH (2012)
Hualei Shen, Dianfu Ma, Yongwang Zhao, Chunyao Yang, Sujun Sun, Bo Lang
Managing and Collaboratively Processing Medical Image via the Web. WAIM Workshops (2012)
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)
Zekun Zhu, Jianxin Li, Yongwang Zhao, Zhuqing Li
SCENETester: A Testing Framework to Support Fault Diagnosis for Web Service Composition. CIT (2011)
Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao
An AADL-Based Modeling Method for ARINC653-Based Avionics Software. COMPSAC (2011)
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) (2011)
Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma
Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic. AINA (2011)
Yujing Zhao, Dianfu Ma, Yongwang Zhao, Zhuqing Li
Integrating Business Processes and Business Rules. APSCC (2011)
Huang Liu, Xudong Liu, Jianxin Li, Yongwang Zhao, Zhuqing Li
Building high-speed roads: Improving performance of SOAP processing for cloud services. SOSE (2011)
Yongwang Zhao, Jing Li, Zhuqing Li, Dianfu Ma
Towards Hierarchical Modeling and Analysis of Web Services Choreography. IESS (2011)
Zhuqing Li, Dianfu Ma, Yongwang Zhao, Jing Li, Qing Yang
FSM4WSR: A Formal Model for Verifiable Web Service Runtime. APSCC (2011)
Chunyang Hu, Yongwang Zhao, Jing Li, Dianfu Ma, Xuan Li
Geospatial Web Service for Remote Sensing Data Visualization. AINA (2011)
Yonggang Huang, Jun Zhang, Yongwang Zhao, Dianfu Ma
Medical Image Retrieval with Query-Dependent Feature Fusion Based on One-Class SVM. CSE (2010)
Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li
Towards a Formal Verification Approach for Implementation of Web Services Specifications. APSCC (2010)
Jing Li, Yongwang Zhao, Min Liu, Hailong Sun, Dianfu Ma
An adaptive heuristic approach for distributed QoS-based service composition. ISCC (2010)
Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma
SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine. ISCC (2010)
Jing Li, Yongwang Zhao, Jiawen Ren, Dianfu Ma
Towards adaptive web services QoS prediction. SOCA (2010)
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)
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)
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)
Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma
An operational semantics of WS-BPEL based on abstract BPEL machine. SOCA (2010)
Yongwang Zhao, Chunyang Hu, Min Liu, Dianfu Ma
Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services. UIC/ATC Workshops (2010)
Min Liu, Dianfu Ma, Yongwang Zhao, Dou Sun
An Approach to Preserving Consistency of SOAs in Dynamic Evolution. ICIW (2009)
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)
Min Liu, Dianfu Ma, Yongwang Zhao
An approach to identifying conversation dependency in service oriented system during dynamic evolution. SAC (2009)
Yongwang Zhao, Dianfu Ma, Min Liu, Chunyang Hu
Coordination Behavioral Structure: A Web Services Coordination Model in Dynamic Environment. ACIS-ICIS (2008)
Chunyang Hu, Yongwang Zhao, Dianfu Ma, Xiaoliang Sun, Jun Shao, Xuan Li
Collaborative geospatial web services for multi-dimension remote sensing data. ICDIM (2008)
Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun
Reliability Quantification of the Tree Structure Based Distributed System. PRDC (2008)
Dianfu Ma, Min Liu, Yongwang Zhao, Chunyang Hu
SSCM: middleware for structure-based service collaboration. SAC (2008)
Yongwang Zhao, Chunyang Hu, Yonggang Huang, Dianfu Ma
Collaborative Visualization of Large Scale Datasets Using Web Services. ICIW (2007)
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)