Gaofei Sun

Refinement modeling and verification of secure operating systems for communication in digital twins

Xiaoshuang Xing, G. Dhiman, Z. Qian, 2022, Digital Communications and Networks.

A real-time multimedia streaming transmission control mechanism based on edge cloud computing and opportunistic approximation optimization

Yong Jin, Gaofei Sun, Zhenjiang Qian, 2018, Multimedia Tools and Applications.

Edge computing assisted privacy-preserving data computation for IoT devices

Gaofei Sun, Xiaoshuang Xing, Wei Li, 2020, Comput. Commun..

A real-time multimedia streaming transmission control mechanism based on edge cloud computing and opportunistic approximation optimization

Yong Jin, Zhenjiang Qian, Gaofei Sun, 2018, Multimedia Tools and Applications.

Relay selection based on social relationship prediction and information leakage reduction for mobile social networks

Xiaoshuang Xing, Xiuzhen Cheng, Yong Jin, 2018, Math. Found. Comput..

Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture

Kaijian Xia, Yong Jin, Zhenjiang Qian, 2021, Journal of Ambient Intelligence and Humanized Computing.