More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Yongwang Zhao

赵永望

> Home > Persons

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

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/HuZZZZZCR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/HuZZZZZCR24
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)
2023
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ZhangZZLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ZhangZZLS23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsi/CaiCWZZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/CaiCWZZ23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsi/ZengCXPZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/ZengCXPZ23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/MiaoCZZCWJR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/MiaoCZZCWJR23
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)
2022
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sp/TanZMZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sp/TanZMZ22
Yu Tan, Yongwang Zhao, Dianfu Ma, Xuejun Zhang:
A Comprehensive Formalization of AADL with Behavior Annex. Sci. Program. 2022: 2079880:1-2079880:26 (2022)
2021
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/AliSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/AliSZ21
Shahbaz Ali, Hailong Sun, Yongwang Zhao:
Model learning: a survey of foundations, tools and applications. Frontiers Comput. Sci. 15(5): 155210 (2021)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsi/LiMWCZDC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/LiMWCZDC21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SananZLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SananZLL21
David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu:
CSim²: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. ACM Trans. Program. Lang. Syst. 43(1): 2:1-2:46 (2021)
2019
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/ZhaoSZL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/ZhaoSZL19
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)
2018
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/SunLZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/SunLZ18
Jianwen Sun, Xiang Long, Yongwang Zhao:
A Verified Capability-Based Model for Information Flow Security With Dynamic Policies. IEEE Access 6: 16395-16407 (2018)
2017
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ZhangZMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ZhangZMN17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/ZhaoYM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/ZhaoYM17
Yongwang Zhao, Zhibin Yang, Dianfu Ma:
A survey on formal specification and verification of separation kernels. Frontiers Comput. Sci. 11(4): 585-607 (2017)
2016
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/YangBFHZM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/YangBFHZM16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ChengBZMLPZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ChengBZMLPZ16
Kun Cheng, Yuebin Bai, Yongwang Zhao, Yao Ma, Duo Lu, Yuanfeng Peng, Minxuan Zhou:
HV²M: A novel approach to boost inter-VM network performance for Xen-based HVMs. J. Syst. Softw. 114: 54-68 (2016)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/ZhaoSZL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/ZhaoSZL16
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)
2014
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cmpb/ShenMZSSYHLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cmpb/ShenMZSSYHLS14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/soca/ZengMZL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/ZengMZL14
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)
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/computing/ZhaoLSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/ZhaoLSM13
Yongwang Zhao, Zhuqing Li, Hualei Shen, Dianfu Ma:
Development of global specification for dynamically adaptive software. Computing 95(9): 785-816 (2013)
2012
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/esi/ZhaoHSMLH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esi/ZhaoHSMLH12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/HuangMZZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/HuangMZZ12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/HuangZZM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/HuangZZM12
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)
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/LiZSZM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/LiZSZM11
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LuYSZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LuYSZ24
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ZhangZL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ZhangZL24
Leping Zhang, Yongwang Zhao, Jianxin Li:
A Comprehensive Specification and Verification of the L4 Microkernel API. TACAS (2) 2024: 217-234
2023
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/ZhangHYCZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/ZhangHYCZ23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/internetware/XuZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/internetware/XuZ23
Hao Xu, Yongwang Zhao:
Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving. Internetware 2023: 313-322
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZengZCYZZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZengZCYZZ23
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
2022
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/JiangZSZL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/JiangZSZL22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/internetware/MiaoZCYZJZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/internetware/MiaoZCYZJZ22
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
2021
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/XuZCSWJZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/XuZCSWJZ21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/XulZMZX20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/XulZMZX20
Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao:
Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. TASE 2020: 89-96
2019
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ZhaoS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhaoS19
Yongwang Zhao, David Sanán:
Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS. CAV (2) 2019: 515-533
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ZhaoSZ019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ZhaoSZ019
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. FM 2019: 161-178
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/JiangSZK019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/JiangSZK019
Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu:
A Formally Verified Buddy Memory Allocation Model. ICECCS 2019: 144-153
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/ZhangZMN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/ZhangZMN19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/ZhangZSQZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/ZhangZSQZ19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/AliSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/AliSZ19
Shahbaz Ali, Hailong Sun, Yongwang Zhao:
Combining Model Learning and Model Checking to Analyze Java Libraries. SOFL+MSVL 2019: 259-278
2018
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ZhangZSLTLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ZhangZSLTLS18
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
2017
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/SananZHZTL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SananZHZTL17
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
2016
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ZhaoSZL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ZhaoSZL16
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
2015
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/SananYZXH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SananYZXH15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZhaoYSL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZhaoYSL15
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
2014
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ksem/WuMZZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ksem/WuMZZ14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/spac/ShenZMG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spac/ShenZMG14
Hualei Shen, Yongwang Zhao, Dianfu Ma, Yong Guan:
Query dependent multiview features fusion for effective medical image retrieval. SPAC 2014: 253-258
2013
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/dasc/WangMZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasc/WangMZ13
Zhe Wang, Dianfu Ma, Yongwang Zhao:
A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization. DASC 2013: 39-46
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/ZengMZL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/ZengMZL13
Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
A policy-based architecture for web services authentication. ISCC 2013: 417-422
2012
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/WangMZZZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/WangMZZZ12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icch/ShenMZY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icch/ShenMZY12
Hualei Shen, Dianfu Ma, Yongwang Zhao, Rongwei Ye:
Collaborative annotation of medical images via web browser for teleradiology. ICCH 2012: 127-133
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icebe/ZengMLZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icebe/ZengMLZ12
Hao Zeng, Dianfu Ma, Zhuqing Li, Yongwang Zhao:
A Policy-Based Architecture for Web Services Security Processing. ICEBE 2012: 163-169
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/ZhaoZM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/ZhaoZM12
Bingyang Zhao, Yongwang Zhao, Dianfu Ma:
A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems. ISORC 2012: 103-110
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/waim/ShenMZYSL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/waim/ShenMZYSL12
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
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcit/ZhuLZL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcit/ZhuLZL11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/ZhaoLSM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/ZhaoLSM11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/HuZLML11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/HuZLML11
Chunyang Hu, Yongwang Zhao, Jing Li, Dianfu Ma, Xuan Li:
Geospatial Web Service for Remote Sensing Data Visualization. AINA 2011: 594-601
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/LiMZLY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/LiMZLY11
Zhuqing Li, Dianfu Ma, Yongwang Zhao, Jing Li, Qing Yang:
FSM4WSR: A Formal Model for Verifiable Web Service Runtime. APSCC 2011: 86-93
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/ZhaoMZL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/ZhaoMZL11
Yujing Zhao, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
Integrating Business Processes and Business Rules. APSCC 2011: 493-497
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/WangMZZZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/WangMZZZ11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icexss/ZhaoLLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icexss/ZhaoLLM11
Yongwang Zhao, Jing Li, Zhuqing Li, Dianfu Ma:
Towards Hierarchical Modeling and Analysis of Web Services Choreography. IESS 2011: 1-15
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sose/LiuLLZL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sose/LiuLLZL11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/YangMZL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/YangMZL10
Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
Towards a Formal Verification Approach for Implementation of Web Services Specifications. APSCC 2010: 269-276
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cse/HuangZZM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cse/HuangZZM10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/HuZLLML10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/HuZLLML10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/HuZWDHML10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/HuZWDHML10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/LiZLSM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/LiZLSM10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/SunZZM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/SunZZM10
Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma:
SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine. ISCC 2010: 744-749
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/soca/LiZRM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soca/LiZRM10
Jing Li, Yongwang Zhao, Jiawen Ren, Dianfu Ma:
Towards adaptive web services QoS prediction. SOCA 2010: 1-8
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/soca/SunZZM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soca/SunZZM10
Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma:
An operational semantics of WS-BPEL based on abstract BPEL machine. SOCA 2010: 1-4
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sose/ZhaoZLHM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sose/ZhaoZLHM10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/ZhaoHLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/ZhaoHLM10
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
2009
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iciw/LiuMZS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciw/LiuMZS09
Min Liu, Dianfu Ma, Yongwang Zhao, Dou Sun:
An Approach to Preserving Consistency of SOAs in Dynamic Evolution. ICIW 2009: 505-509
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/ZhaoMLHH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/ZhaoMLHH09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/LiuMZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/LiuMZ09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ACISicis/ZhaoMLH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACISicis/ZhaoMLH08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icdim/HuZMSSL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdim/HuZMSSL08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/MaLZS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/MaLZS08
Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun:
Reliability Quantification of the Tree Structure Based Distributed System. PRDC 2008: 351-352
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MaLZH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MaLZH08
Dianfu Ma, Min Liu, Yongwang Zhao, Chunyang Hu:
SSCM: middleware for structure-based service collaboration. SAC 2008: 2224-2225
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iciw/ZhaoHHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciw/ZhaoHHM07
Yongwang Zhao, Chunyang Hu, Yonggang Huang, Dianfu Ma:
Collaborative Visualization of Large Scale Datasets Using Web Services. ICIW 2007: 62
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ispdc/ZhaoMHLH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispdc/ZhaoMHLH07
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

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-18756
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-18756
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-18771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-18771
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
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-09141
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-09141
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-09148
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-09148
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-09997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-09997
Yongwang Zhao, David Sanán:
Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security. CoRR abs/2309.09997 (2023)
2022
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-07936
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-07936
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)
2019
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-01910
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-01910
Shahbaz Ali, Hailong Sun, Yongwang Zhao:
Model Learning: A Survey on Foundation, Tools and Applications. CoRR abs/1901.01910 (2019)
2018
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-07855
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-07855
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-03318
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-03318
Yu Zhang, Yongwang Zhao, David Sanán:
A Verified Timsort C Implementation in Isabelle/HOL. CoRR abs/1812.03318 (2018)
2017
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZhaoSZL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZhaoSZL17
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
High-Assurance Separation Kernels: A Survey on Formal Methods. CoRR abs/1701.01535 (2017)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZhaoSZL17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZhaoSZL17a
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
Refinement-based Specification and Security Analysis of Separation Kernels. CoRR abs/1702.05997 (2017)
2016
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZhangZSLTLWS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZhangZSLTLWS16
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
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZhaoYS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZhaoYS15
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Zhao15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Zhao15a
Yongwang Zhao:
Formal Specification and Verification of Separation Kernels: An Overview. CoRR abs/1508.07066 (2015)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZhaoSZL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZhaoSZL15
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)

Coauthor Index

see FAQ

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.