CORC

在结果中检索

CORC

浏览/检索结果: 共7条，第1-7条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
Refinement-Based Specification and Security Analysis of Separation Kernels 期刊论文
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 卷号: 16, 页码: 127-141
作者:  Zhao, Yongwang;  Sanan, David;  Zhang, Fuyuan;  Liu, Yang
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
A formally verified buddy memory allocation model 会议论文
24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, 2019-11-10
作者:  Jiang, Ke;  Sanan, David;  Zhao, Yongwang;  Kan, Shuanglong;  Liu, Yang
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30
Compositional Reasoning for Shared-Variable Concurrent Programs 会议论文
FORMAL METHODS, 2018-01-01
作者:  Zhang, Fuyuan;  Zhao, Yongwang;  Sanan, David;  Liu, Yang;  Tiu, Alwen
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs 会议论文
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017-01-01
作者:  Sanan, David;  Zhao, Yongwang;  Hou, Zhe;  Zhang, Fuyuan;  Tiu, Alwen
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication 会议论文
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), Eindhoven, NETHERLANDS, 2016-04-02
作者:  Zhao, Yongwang;  Sanan, David;  Zhang, Fuyuan;  Liu, Yang
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B 会议论文
2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015-01-01
作者:  Zhao, Yongwang;  Yang, Zhibin;  Sanan, David;  Liu, Yang
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06
Building high-speed roads: Improving performance of SOAP processing for cloud services 会议论文
6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011, Irvine, CA, United states, 2011-12-12
作者:  Liu, Huang;  Liu, Xudong;  Li, Jianxin;  Zhao, Yongwang;  Li, Zhuqing
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06

©版权所有 ©2017 CSpace - Powered by CSpace