Leping Zhang

According to our database, Leping Zhang authored at least 15 papers between 2004 and 2024.

Collaborative distances:

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

2024

ProveriT: A Parameterized, Composable, and Verified Model of TEE Protection Profile.

Jilin Hu, Fanlang Zeng, Yongwang Zhao, Zhuoruo Zhang, Leping Zhang, Jianhong Zhao, Rui Chang, Kui Ren

IEEE Trans. Dependable Secur. Comput., 2024

A Comprehensive Specification and Verification of the L4 Microkernel API.

Leping Zhang, Yongwang Zhao, Jianxin Li

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

U2USim - A UAV Telepresence Simulation Platform with Multi-agent Sensing and Dynamic Environment.

Feilin Han, Leping Zhang, Xin Wang, Ke-Ao Zhao, Ying Zhong, Ziyi Su, Tongtong Feng, Wenwu Zhu

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

U2UData: A Large-scale Cooperative Perception Dataset for Swarm UAVs Autonomous Flight.

Tongtong Feng, Xin Wang, Feilin Han, Leping Zhang, Wenwu Zhu

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

The Correlation Analysis Between Cybersickness and Postural Behavior in Immersive VR Experience.

Ying Zhong, Ke-Ao Zhao, Leping Zhang, Fangming Zhao, Wentao Wei, Feilin Han

Proceedings of the IEEE International Conference on Multimedia and Expo, 2024

2023

Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B.

Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun

Formal Aspects Comput., December, 2023

Formal Verification of Interrupt Isolation for the TrustZone-based TEE.

Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

An Integrative Analysis: What Cultural Factors Protect Us Against the COVID-19 Indeed?

Leping Zhang, Hao Chen

Proceedings of the 9th International Conference on Behavioural and Social Computing, 2022

2021

Reliability Analysis of Intelligent Electric Energy Meter under Fusion Model Illness Analysis Algorithm.

Wenwang Xie, Leping Zhang, Bensong Zhang, Wei Zhang, Pingping Wang, Shuya Qiao

J. Sensors, 2021

2020

Beetle Swarm Optimization Algorithm-Based Load Control with Electricity Storage.

Hengjing He, Shangli Zhou, Leping Zhang, Junhong Lin, Weile Chen, Di Wu

J. Control. Sci. Eng., 2020

2019

Formal Modelling and Verification of Spinlocks at Instruction Level.

Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

Architecture Design of the Smart Energy Meter Software Testing System Based on IR46 Standard.

Leping Zhang, Yong Xiao, Shanshan Hu, Baoshuai Wang, Chao Ding, Yi Pan, Fengkai Chen, Jinbao Shi

Proceedings of the International Conference on Artificial Intelligence and Advanced Manufacturing, 2019

2013

Spatial simulation of soil attribute based on principle of soil science.

Genxin Song, Leping Zhang, Ke Wang, Ming Fang

Proceedings of the 21st International Conference on Geoinformatics, 2013

2011

Self-organizing map of gene regulatory networks for cell phenotypes during reprogramming.

Leping Zhang, Yufang Zheng, Dongfang Li, Yang Zhong

Comput. Biol. Chem., 2011

2004

Performance simulation of R410A air conditioning system with variable speeds.

Zaoxiao Zhang, Yongzhang Yu, Leping Zhang

Int. J. Comput. Appl. Technol., 2004