Haiyong Sun

Orcid: 0000-0001-7928-7654

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Automatic Generation of Formal BIP Models for C Programs.
Proceedings of the 7th International Conference on Computer Science and Application Engineering, 2023

2020
Formal verification of a task scheduler for embedded operating systems.
J. Intell. Fuzzy Syst., 2020

A Design and Verification Methodology for a TrustZone Trusted Execution Environment.
IEEE Access, 2020

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

Formal Verification of GP Specification based Embedded Operating System.
Proceedings of the 2nd International Conference on Computer Science and Application Engineering, 2018

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

Gemini: A Lightweight Virtualization Architecture for Protecting Privacy and Security of Smartphone.
Proceedings of the 13th International Conference on Embedded Software and Systems, 2016


  Loading...