.Lu H, Yue T, Ali S, Li Zhang. Nonconformity Resolving Recommendations for Product Line Configuration,2016 IEEE International Conference on Software Testing, 2016/4/10-2016/4/15,Chicago. Verification and Validation pp57-68.
.Lu H, Yue T*, Ali S, Li Zhang. Model-based incremental conformance checking to enable interactive product configuration. Information and Software Technology, 2016, 72(C):68-89.
.Jing Jiang, Fuli Feng, Xiaoli Lian, Li Zhang. Long-Term Active Integrator Prediction in the Evaluation of Code Contributions,Proc. of SEKE,pp1-6,2016/7/1.
.Xiaoli Lian, Mona Rahimi, Jane Cleland-Huang, Li Zhang, Remo Ferrai, Michael Smith. Mining Requirements Knowledge from Collections of Domain Documents[C]// IEEE, International Requirements Engineering Conference. 2016/9/12-2016/9/16, Beijing.IEEE Computer Society, 2016:156-165.
.白瑞雪,韩佩聪,张莉.基于仿真的视频监控系统评估方法.第15届全国软件与应用学术会议(NASAC 2016),2016/11/2.
.Xiang Qiu, Li Zhang. Specifying Redundancy Tactics as Crosscutting Concerns Using Aspect-Oriented Modeling [J]. Front. Comput. Sci., 2014(CCF recommended, Class C, SCI: IF 0.405) (National Natural Science Foundation of China and the Project of the State Key Laboratory of Software Development)
.凌济民,张莉*.一种可定制参考过程模型的自动构建方法.第14届全国软件与应用学术会议,2015/11/6-2015/11/8,武汉,2015/11/6,分组报告.
.张莉,彭远红.探索软件工程领域专业硕士培养模式.计算机教育, 2015,01期, p2.
.连小利,张莉*.基于时间自动机的 AADL 端到端流的延迟分析[J] . 北京航空航天大学学报,2015 ,41 ( 8 ) : 1451-1463. Lian X L ,Zhang L. Approach to analyzing AADL end-to-end flow latency based on timed automata[ J]. Journal of Beijing University of Aeronautics and Astronautics ,2015 ,41 ( 8 ) : 1451-1463 ( in Chinese ) .
.邵真禄, 张莉, 凌济民. CP-PMTT:一个基于控制流模式的过程模型转换工具. 计算机集成制造系统, 2015, 21(2): 304-315. (EI: 20151600746405) (2015年2月, 第21卷2期)
