1 《模型检测新技术研究》 发表于计算机科学 2003年5月
2 《软件体系结构求精方法研究》 发表于计算机科学 2003年4月
3 《基于时序逻辑语言描述的监控系统的软件体系结构求精》 第二作者发表于计算机工程与应用2003年第39卷 ISSN1002-8331
4 《UML运输业务管理系统建模中的应用》 第二作者发表于计算机工程与应用 2004年第40卷ISSN1002-8331
5 《UML与ADME/ADL在运输业务管理系统体系结构建模中的应用》 第二作者发表于苏州大学学报 2004年4期 CN32-1673/T