Haiyong Sun

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 7

Top Topics

Formal Verification

Top Venues

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)