CORC

在结果中检索

CORC

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

限定条件                
已选(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
A survey on formal specification and verification of separation kernels 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2017, 卷号: 11, 页码: 585-607
作者:  Zhao, Yongwang;  Yang, Zhibin;  Ma, Dianfu
收藏  |  浏览/下载：12/0  |  提交时间：2019/12/30
Towards a verified compiler prototype for the synchronous language SIGNAL 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 页码: 37-53
作者:  Yang, Zhibin;  Bodeveix, Jean-Paul;  Filali, Mamoun;  Hu, Kai;  Zhao, Yongwang
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
Numerical analysis of flow noises in the square cavity vortex based on computational fluid dynamics 期刊论文
JOURNAL OF VIBROENGINEERING, 2016, 卷号: 18, 页码: 2656-2666
作者:  Wang, Yan;  Yang, Yongwang;  Ma, Gaosheng;  Zhou, Yao-ming
收藏  |  浏览/下载：2/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
Managing and collaboratively processing medical image via the web 会议论文
Int. Workshops on Web-Age Information Management, WAIM 2012: 1st Int. Workshop on GDMM 2012, 2nd Int. Wireless Sensor Networks Workshop, IWSN 2012, 1st Int. Workshop on MDSP 2012, 3rd Int. Workshop on USDM 2012, 4th Int. Workshop on XMLDM 2012, Harbin, China, 2012-08-18
作者:  Shen, Hualei;  Ma, Dianfu;  Zhao, Yongwang;  Yang, Chunyao;  Sun, Sujun
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06

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