Login / Signup
Haiyong Sun
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 7
Top Topics
Lightweight
Red Hat
Windows Nt
Formal Verification
Top Venues
CSAE
ICESS
Computer
J. Intell. Fuzzy Syst.
</>
Publications
</>
Qiming Li
,
Xia Yang
,
Haiyong Sun
,
Zhe Yan
Automatic Generation of Formal BIP Models for C Programs.
CSAE
(2023)
Haiyong Sun
,
Hang Lei
A Design and Verification Methodology for a TrustZone Trusted Execution Environment.
IEEE Access
8 (2020)
Haiyong Sun
,
Hang Lei
Formal verification of a task scheduler for embedded operating systems.
J. Intell. Fuzzy Syst.
38 (2) (2020)
Haiyong Sun
,
Hang Lei
,
Lei Qiao
,
Zheng Yang
Formal Verification of GP Specification based Embedded Operating System.
CSAE
(2018)
Xia Yang
,
Shan Yang
,
Wensheng Guo
,
Haiyong Sun
,
Xiaoyan Zhao
,
Yang Zhang
针对RTOS的轻量级强制访问控制技术的研究与实现 (Research and Implementation of Light-weight Mandatory Access Control Technology for RTOS).
计算机科学
45 (3) (2018)
Shichao Liao
,
Xia Yang
,
Wensheng Guo
,
Haiyong Sun
,
Zhixiang Jiang
,
Xiaoyan Zhao
Gemini: A Lightweight Virtualization Architecture for Protecting Privacy and Security of Smartphone.
ICESS
(2016)
Xia Yang
,
Peng Shi
,
Haiyong Sun
,
Wenxuan Zheng
,
Jim Alves-Foss
A Fast Boot, Fast Shutdown Technique for Android OS Devices.
Computer
49 (7) (2016)