1. 《软件安全性需求形式化建模和验证》,江苏大学出版社, 2019.11.

1.Li Zhen,Tian Lu,Sun Chen Xu,Wu Yu Mei,Wang Dong Sheng,Miao Hong. A Systematic Research on System Recovery Based Improved Genetic Algorithm and Quotient Resilience Model.《International Journal of Computational Intelligence Systems》, 2022, 15:100.

2.Ya Zhang,Tong Li,Zhen Li,Yu-Mei Wu,Hong Miao.Software Defects Prediction Based on Hybrid Beetle Antennae Search Algorithm and Artificial Bee Colony Algorithm with Comparison.《Axioms》,2022.11.

3.Zhen Li ,Tong Li ,YuMei Wu , Liu Yang , Hong Miao ,and DongSheng Wang. Software Defect Prediction Based on Hybrid Swarm Intelligence and Deep Learning.《Computational Intelligence and Neuroscience》,2021.12.

4.LIU YANG, ZHEN LI, DONGSHENG WANG, HONG MIAO,AND ZHAOBIN WANG.Software Defects Prediction Based on Hybrid Particle Swarm Optimization and Sparrow Search Algorithm.《IEEE ACCESS》,2021.07.

5.YuMei Wu, Zhen Li*(Corresponding Author), Chenxu Sun, ZhaoBin Wang,DongSheng Wang and Zhengwei Yu. Measurement and Control of System Resilience Recovery by Path Planning Based on Improved Genetic Algorithm.《MEASUREMENT AND CONTROL》,2021.06.

6.ZHEN LI, ZHENGQI JIANG, DONGSHENG WANG, AND ZHAOBIN WANG. System Modeling and Fault Tree Analysis Based on AltaRica.《IEEE ACCESS》,2020.09.

7.Yumei Wu, Zhen Li*(Corresponding Author), LanJie Zhao, Zhengwei Yu, and Hong MiaoSafety Ontology Modeling and Verification on MIS of Ship-Building and Repairing Enterprise.KSII-KOR SOC INTERNET INFORMATION，2021.04.

8.LI ZHEN, YANG LIU, WANG DONGSHENG, AND ZHENG WEI.Parameter Estimation of Software Reliability Model and Prediction Based on Hybrid Wolf Pack Algorithm and Particle Swarm Optimization,《IEEE ACCESS》,2020.02

9.ZHEN LI, MIAOMIAO YU, DONGSHENG WANG, AND HAIFENG WEI.Using Hybrid Algorithm to Estimate and Predicate Based on Software Reliability Model.《IEEE ACCESS》,2019.07.

1.李震，刘斌，李晓勋，殷永峰. 基于Petri网模型检验的安全关键软件需求验证. 系统工程与电子技术，2011,Vol(33).No.2:458-463.（EI源期刊）

2.李震，刘斌，殷永峰，李晓勋. 基于扩展Petri网的安全关键软件需求模型检验. 沈阳工业大学学报，2011，Vol(33).No.1:113-120.（EI源期刊）

3.李震，刘斌，殷永峰，李晓勋. 基于改进Petri网的可信软件模型验证和测试研究.计算机研究与发展，2010，Vol（47）Suppl.June:273-279（EI源期刊）

4.李震，刘斌，陆民燕，殷永峰. 基于扩展Petri网的除冰软件安全需求建模和验证. 北京航空航天大学学报，2012.01.（EI源期刊）

5.李震，刘斌，苗虹, 殷永峰.基于本体的软件安全性需求形式化建模和验证.北京航空航天大学学报，2012.11.（EI源期刊）

6.李震，刘斌，苗虹, 殷永峰.基于划分软件安全Petri网的需求形式化验证.系统工程与电子技术，2012.09.（EI源期刊）

1. 基于模糊聚类综合评价的船舶柴油机排放烟色分析和实现. 《船舶工程》，2014，Vol.3:107-111.

2. 水下动平台与无人航行器的对接路径生成方法.《舰船科学技术》,2019.05.

3. 基于Android的校园导游和定位系统设计与实现.《 学报》（自然科学版）, 2015.04.

4. Android软件可靠性测试用例自动生成的设计研究,《计算机应用与软件》,2016.01.

5.基于异类传感器的数据融合系统,《船舶工程》,2007.02.