Haiyong Sun

According to our database, Haiyong Sun authored at least 7 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Automatic Generation of Formal BIP Models for C Programs.

Qiming Li, Xia Yang, Haiyong Sun, Zhe Yan

Proceedings of the 7th International Conference on Computer Science and Application Engineering, 2023

2020

Formal verification of a task scheduler for embedded operating systems.

Haiyong Sun, Hang Lei

J. Intell. Fuzzy Syst., 2020

A Design and Verification Methodology for a TrustZone Trusted Execution Environment.

Haiyong Sun, Hang Lei

IEEE Access, 2020

2018

针对RTOS的轻量级强制访问控制技术的研究与实现 (Research and Implementation of Light-weight Mandatory Access Control Technology for RTOS).

Xia Yang, Shan Yang, Wensheng Guo, Haiyong Sun, Xiaoyan Zhao, Yang Zhang

计算机科学, 2018

Formal Verification of GP Specification based Embedded Operating System.

Haiyong Sun, Hang Lei, Lei Qiao, Zheng Yang

Proceedings of the 2nd International Conference on Computer Science and Application Engineering, 2018

2016

A Fast Boot, Fast Shutdown Technique for Android OS Devices.

Xia Yang, Peng Shi, Haiyong Sun, Wenxuan Zheng, Jim Alves-Foss

Computer, 2016

Gemini: A Lightweight Virtualization Architecture for Protecting Privacy and Security of Smartphone.

Shichao Liao, Xia Yang, Wensheng Guo, Haiyong Sun, Zhixiang Jiang, Xiaoyan Zhao

Proceedings of the 13th International Conference on Embedded Software and Systems, 2016