An Ontological Analysis of Safety-Critical Software and Its Anomalies. - Hezhen Liu; Zhi Jin; Zheng Zheng; Chengqiang Huang; Xun Zhang (QRS, 2022)

A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams. - Hezhen Liu; Jiacheng Yin; Chengqiang Huang; Hao Lan; Zhi Jin; Zheng Zheng; Xun Zhang (ISSREW, 2023)

Design for dependability - State of the art and trends. - Hezhen Liu; Chengqiang Huang; Ke Sun; Jiacheng Yin; Xiaoyu Wu; Jin Wang; Qunli Zhang; Yang Zheng; Vivek Nigam; Feng Liu; Joseph Sifakis (J. Syst. Softw., 2024)