Deming Zhong

Integrating Model Checking With SysML in Complex System Safety Analysis

Hongli Wang, Deming Zhong, Tingdi Zhao et al. · IEEE Access · 2019 · 55 citations · Full text

Engineering, Verification, Software Engineering +21

Avionics system failure analysis and verification based on model checking

Hongli Wang, Deming Zhong, Tingdi Zhao · Engineering Failure Analysis · 2019 · 17 citations

Engineering, Software Testing, Verification +10

Analysis of novel stochastic switched<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="mml1" display="inline" overflow="scroll" altimg="si1.gif"><mml:mi>S</mml:mi><mml:mi>I</mml:mi><mml:mi>L</mml:mi><mml:mi>I</mml:mi></mml:math>epidemic models with continuous and impulsive control

Shujing Gao, Deming Zhong, Yan Zhang · Physica A Statistical Mechanics and its Applications · 2017 · 13 citations

Stochastic Simulation, Math Xmlns, Stochastic Hybrid System +11

On modeling approach for embedded real-time software simulation testing

Yongfeng Yin, Bin Liu, Deming Zhong et al. · 2009 · 12 citations

Engineering, Software Testing, Computer Engineering +11

System States Transition Safety Analysis Method Based on FSM and NuSMV

Yuxin Ding, Li Weigang, Deming Zhong et al. · 2018 · 11 citations

Engineering, Verification, Model Checking +23