​
Login / Signup
Leping Zhang
ORCID
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 8
Top Topics
Coloured Petri Nets
Fusion Model
Formal Verification
Reliability Analysis
Top Venues
APSEC
AIAM (IEEE)
BESC
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)