Leping Zhang

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 8

Top Topics

Coloured Petri Nets

Formal Verification

Reliability Analysis

Top Venues

Formal Aspects Comput.

Publications

Leping Zhang, Yongwang Zhao, Jianxin Li
A Comprehensive Specification and Verification of the L4 Microkernel API. TACAS (2) (2024)
Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Formal Aspects Comput. 35 (4) (2023)
Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
Formal Verification of Interrupt Isolation for the TrustZone-based TEE. APSEC (2023)
Leping Zhang, Hao Chen
An Integrative Analysis: What Cultural Factors Protect Us Against the COVID-19 Indeed? BESC (2022)
Wenwang Xie, Leping Zhang, Bensong Zhang, Wei Zhang, Pingping Wang, Shuya Qiao
Reliability Analysis of Intelligent Electric Energy Meter under Fusion Model Illness Analysis Algorithm. J. Sensors 2021 (2021)
Hengjing He, Shangli Zhou, Leping Zhang, Junhong Lin, Weile Chen, Di Wu
Beetle Swarm Optimization Algorithm-Based Load Control with Electricity Storage. J. Control. Sci. Eng. 2020 (2020)
Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan
Formal Modelling and Verification of Spinlocks at Instruction Level. APSEC (2019)
Leping Zhang, Yong Xiao, Shanshan Hu, Baoshuai Wang, Chao Ding, Yi Pan, Fengkai Chen, Jinbao Shi
Architecture Design of the Smart Energy Meter Software Testing System Based on IR46 Standard. AIAM (IEEE) (2019)
Genxin Song, Leping Zhang, Ke Wang, Ming Fang
Spatial simulation of soil attribute based on principle of soil science. Geoinformatics (2013)
Leping Zhang, Yufang Zheng, Dongfang Li, Yang Zhong
Self-organizing map of gene regulatory networks for cell phenotypes during reprogramming. Comput. Biol. Chem. 35 (4) (2011)
Zaoxiao Zhang, Yongzhang Yu, Leping Zhang
Performance simulation of R410A air conditioning system with variable speeds. Int. J. Comput. Appl. Technol. 21 (4) (2004)