论文专著：
已发表研究论文60多篇，出版专著5本。
出版专著： 
1、译著：《论大型软件的开发》，武汉大学出版社，1986
2、中国计算机学会学术著作丛书：《软件可靠性模型及应用》，清华大学出版社，广西科学技术出版社，1994
3、专著：《软件可靠性专家系统(SRES)开发》，北京:清华大学出版社，1996
4、专著：《软件可靠性》，(合著)，北京:国防工业出版社，1998
5、教材：《软件工程》，（主编），武汉:华中科技大学出版社，2001
6、研究生教材: 《广义软件可靠性工程》，北京:清华大学出版社，2006
发表论文：
1. 软件错误及其对工具系统—WPADT的影响，武汉大学学报(自然科学版)，1986，2，21—28
2. 容错软件的设计技巧，软件产业，1987，10，1—12
3. 软件可靠性评估—一门引人注目的边缘学科，软件产业，1987，11，1—7
4. 论软件工程发展的三个方面—C2F，武汉大学学报(自然科学版)，1988，3，117—122
5. 第十届国际软件工程会议概况，计算机科学，1988，5，25—30
6. 软件可靠性估测现存问题及克服方法的研究，武汉大学学报(自然科学版)，1988，6，178—184
7. 论软件工程数据的收集，软件产业，1989，8，11—15
8. Combining Test Strategy in Reliability Modeling，全国可靠性数学第三届学术会论文集，西安，1989，9，17—21，210—215
9. NHPP模型拟合质量的改进，自然科学进展—国家重点实验室通讯，1991，第一卷，第六期，535—542
10. The Improvement of Fitting Qualities by Using NHPP Models，PROGRESS IN NATURAL SCIENCE—COMMUNICATIONS FROM STATE KEY LABORATORIES OF CHINA，April，1992，Vol.2,No.2，132—142
11. 直观程序设计环境的开发与应用，软件产业，1992，2，8—11
12. 非齐次泊松过程模型的扩展，武汉大学学报(自然科学版)，1992，3，17—22
13. EM算法在非齐次泊松过程模型参数估计中的应用，武汉大学学报(自然科学版)，1992， 4，17—22
14. NHPP模型参数调整与EM算法，计算机学报，1992，5，第15卷，第5期，388—396 (EI检索)
15. SRPS—可供实用的软件可靠性估测系统，计算机应用与软件，1992，6，第9卷，第6期， 23—30
16. A Dynamical Software Reliability Prediction Modeling Method and Its Implementation， Proceedings of The First Beijing International Conference on Reliability，Maintainability and Safety(BICRMS’92)， Beijing，China，October 12—15，1992，663—667
17. 软件可靠性工程的基本概念、任务与实施方法，软件世界，1993，2，34—36，3，36—41
18. 软件可靠性指标分配工具Assitool，Proceedings of The First Symposium on System Reliability and Probabilistic Risk in China，Chongqing—Wuhan，China，May 24—June 3，1993，276—283
19. 非齐次泊松过程模型参数估计的奇异性，武汉大学学报(自然科学版)，1993，5，21—26
20. 非齐次泊松过程模型的参数计算方法，武汉大学学报(自然科学版)，1995，第41卷，第3期，321—328
21. FMS控制系统软件的多任务可靠性模型，Proceedings of The First Symposium on Software Reliability in China，May 9—10，1995，Wuhan，China，74—79
22. 软件可靠性估测专家系统与实现，Proceedings of The First Symposium on SoftwareReliability in China，May 9—10，1995，Wuhan，China，80—84
23. 软件可靠性专家系统及其实现，全国第五届可靠性学术会议论文集，机械工业出版社，承德，1995，10，227—231
24. An Investigation on Inconsistency of Software Reliability Models，Proc. Of The The Third ICRMS’96，Guangzhou，China，November 12—15，1996，548—553
25. 软件可靠性模型应用中的不一致性与软件可靠性专家系统，Proceedings of The Second Chinese World Congress on Intelligent Control and Intelligent Automation (CWCICIA’97)，Xian，China，June 23—27，1997，1496—1501
26.软件可靠性专家系统(SRES)中经验模型的奇异性问题与参数估计方法，计算机学报，1998，2，第21卷，第2期，145—153 (EI 检索)
27.软件可靠性专家系统的开发与使用，计算机应用研究，1998，3，第15卷，第3期，16 —20
28.三参数NHPP软件可靠性模型的参数演化计算，计算机应用研究, 1998，2，第15卷，第2期(J)，122—123
29.软件可靠性模型的奇异性问题，计算机应用研究，1998，2，第15卷，第2期(J)，137—138
30.软件可靠性模型参数的演化计算估计方法，计算机应用研究，1998，2，第15卷，第2期(J)，139—140
31.计算机辅助软件工程工具采用技术研究，计算机应用研究，1998，2，第15卷，第2期(J)，235—241
32.具奇异性的软件可靠性模型的参数计算，计算机应用研究，1998，2，第15卷，第2期(J)，259—260
33.软件可靠性指标分配工具Assitool，小型微型计算机系统，1998，11，第19卷，第11期，18—239 (EI 检索)
34. The Implementation of Software Reliability Expert System(SRES) in Win95，全国第六届可靠性学术会议论文集，机械工业出版社，泰安，1998，10，52—61
35.面向多用户的模块化软件系统可靠性分配，小型微型计算机系统，1999，第20卷,第1 期，5-10
36. 基于测试覆盖的NHPP模型，小型微型计算机系统，1999，第20卷,第8期，587-592 (EI检索)
37.软件可靠性稳定增长与安全性测试的故障树分析法，小型微型计算机系统, 1999, 9,Vol.20, No.9, 668-671
38.用含仿射操作的遗传算法求解软件可靠性模型参数估计的奇异性问题，小型微型计算机系统，1999，工程9， Vol.20, No.9, 654-656
39. 软件可靠性指标分配的故障树分析法，武汉大学学报（自然科学版）， 1999，10，Vol.45,No. 5B, 684-686
40.具有错误修复的非齐次马尔可夫模型，小型微型计算机系统，2000，3，Vol.21，No.3,242-245
41. 基于软件知识的测试方法，武汉大学学报（自然科学版）， 2000，1，Vol.46,No.1, 61-62
42.基于软件知识的测试方法，《面向新世纪的中国测试技术》：2000年全国测试学术会议论文集，北京：装甲兵工程学院，2000，10，16-18，北京：《电子测试》杂志社，ISSN：1000-8519
43. 网上电子支付系统分析，计算机应用研究，2001，5，Vol.18,No.5, 56-58
44. 面向多用户软件系统的可靠性分配的故障树分析法，小型微型计算机系统，2000，3，Vol.22，No.3,329-332
45. Xu Ren-zuo, Zhou Rui, Yang Xiao-qing. Singularity of Software Reliability Models LVLM and LVQM, Wuhan University Journal of Natural Sciences, June 2000,5(2),150-154
46. INVESTIGATION ON HUMAN FACTORS ANALYSIS FOR SOFTWARE ENGINEERING, Proceedings of ICRMS 2001, Vol 2, (The 5th International Conference on Reliability, Maintainability and Safety, Dalian, China, 28-31, August, 2001, 797-804
47. 软件可靠性多模型综合评估，同济大学学报，自然科学版，2002，10，Vol.30, No.10, 1183-1185
48. 基于模块开发控制的一个软件可靠性分配模型，武汉大学学报（理学版），2003，1，Vol.49,No.1, 44-48
49. 软件安全性测试，第三届中国信息和通信安全学术会议论文集，科学出版社，北京，2003，3，351-357
50. 软件系统的可靠性评估，计算机应用研究，第20卷（2003增刊），177-178
51. 软件可靠性分配的一个非线性规划模型，计算机工程，2003，29（17），34-36
52.构造面向对象软件可复用测试用例的模式研究，武汉大学学报（理学版），2003，5（49），592-596
53. 普适计算的安全问题及其访问控制模型，武汉大学学报（信息科学版），2003，28（特刊），12，31，152-154
54. Human Factors Analysis in Software Engineering, Wuhan University Journal of Natural Sciences, 2004,1, 9(1), 18-22 (Accession number:04278253040)
55. Impirical Measurement of the Software Testing and Reliability, Wuhan University Journal Of Natural Sciences, 2004,1, 9(1), 23-26 (Accession number:04278253041)
56. 结合哈希过滤的一种改进多连接查询优化算法，计算机工程，2004，30（7），57-59
57. Huang Can, Xu Ren Zuo, Zhang Liang Ping. A Software Reliability Allocation Model Based on Cost-controlling, Advanced Reliability Modeling, Proceedings of the 2004 Asian International Workshop (AIWARM 2004), Singapore: World Scientific, Hiroshima, Japan, 26-27, August, 2004, 173-180 (ISTP收录)
58. 徐仁佐、郑红军等。基于角色和上下文的访问控制模型，计算机应用研究， 21（12），2004，140-143
59. 一种动态可配置的分布式互操作体系结构----DCDCA，计算机应用研究， 21（增刊），2004，12，268-270
60. Xu Ren-zuo, Han Yi-fan, Huang Can, Yao Jun-feng. Investigation on Relationship between Cost and Software Reliability, The 1st Chinese Conference on Trusted Computing and Information Security, Wuhan University Journal of Natural Science, Jan. 2005, 10(1), 9-1260
61. 郑红军，徐仁佐，高俊鹏。NHPP模型完全排错假设的修改，计算机工程与应用，41（7），2005，49-50
62. 徐仁佐，刘丽娜，黄灿。软件工程中的人因问题研究，Proceedings of the Seventh Symposium on Reliability, RSORSC’ 2005, 北京：清华大学出版社，2005， 147-152
63.徐仁佐，黄灿，郑红军，高俊鹏，韩弈凡。基于软件知识的测试方法，Proceedings of the Seventh Symposium on Reliability, RSORSC’ 2005, 北京：清华大学出版社，2005，153-158
64. 徐仁佐。软件工程中的复杂网络现象与软件可靠性研究，Proceedings of the Seventh Symposium on Reliability, RSORSC’ 2005, June 2-4, 北京：清华大学出版社，2005，357-363
65. Yan-shen Liu, Can Huang, Ren-zuo Xu. The Program Control Flow Graph and the Test Path Automation Generation for Source Program, Proceedings of the ICQR’2005, Singapore: World Scientific
66. 姚俊峰，徐仁佐。GreeNet 互联网访问控制系统性能测试及评价，计算机工程与应用，2941（7），2005，154-155
67. RenZuo Xu et al, Investigation on Complex Networks in Software Engineering, Proceedings of 2006 IEEE International Conference on Management of Innovation and Technology, Design, Typeset and Printed by Stallion Press, June, 2006, 532-534
媒体报道：
实践出真知 质量与创新并重
——记武汉大学博士生导师徐仁佐教授
徐仁佐 1946年8月出生，湖北红安人。1969年7月毕业于武汉大学数学系数学专业，毕业后留校任教。现任武汉大学教授、博士生导师。1996年9月至1997年12月期间，曾任软件工程国家重点实验室副主任。 他同时兼任的学术职务有：中国运筹学会可靠性专业学会理事长；武汉计算机软件工程学会理事长；中国计算机学会容错计算委员会委员；中国电子学会可靠性、可维性委员会委员；全国电工电子产品可靠性与维修性标准化技术委员会（SAC/TC24）委员。
结缘软件可靠性研究 软件可靠性，是软件质量的指标之一，也是至今人们能定义出的唯一能定量指示软件质量的指标。
从1983年开始，徐仁佐一直在武汉大学软件工程国家重点实验室研究软件可靠性、软件可靠性工程、软件工程。软件可靠性工程是对软件的质量（特别是软件可靠性）进行管理和控制的实用性学科，而软件可靠性模型又是软件可靠性工程的基础之一。从那时起，徐仁佐就与软件开发、软件质量管理结下了不解之缘。并在从事研究的同时，培养了大批的青年俊才。
在上个世纪八十年代，软件工程在国外已研究多年，我国则是刚刚起步，一切都要从头开始。对软件可靠性的研究也是一个崭新的领域，在国内还从来没有人做过。面对重重困难，徐仁佐迎着压力冲上前去。在他看来，中国的软件产业要发展，就必须要走出自己的路，不能跟在别人的后面亦步亦趋。软件企业要创品牌效益，只能靠质量，靠自己的创新精神。
解密软件可靠性 在软件系统的开发过程中，集中了大量的人类的脑力劳动。而要写出好的软件，就必须强迫人类严格按照电子计算机的方式去思考，这是十分不人道的。由于各个环节上的人为因素，带入到软件中去的错误是不可避免的。这些错误好比是埋设在软件中的地雷，在软件运行的过程中，它们可能会因为当时的输入和各种系统内部状态的组合而触发，使得软件表现出来的行为偏离了人们在设计时对它的期望，应该发挥的功能不可能正常的发挥，此时，软件就出现了故障。因此，软件错误是因，软件故障是果。
现在，大家都承认人在写软件时错误是“不可避免的”，好象在这个问题上，人类命中注定是要“无所作为”了。真的如此吗？因此，徐仁佐提出应开展软件工程中的人因问题的研究。他提出，我们应该从人类大脑的结构，从人类在写软件时对有关知识的运用和加工处理等一系列机制入手，认识人类犯错误的原因，从中寻找可以有效预防人类犯错误的措施和办法。
研究软件可靠性，选择什么作为突破口？经过深入细致的调查分析，徐仁佐决定从软件可靠性的模型开始研究。很多研究软件工程的人将研究软件可靠性模型视为是一条难行的路途，因为这需要大量的数学知识。软件可靠性模型，作为定量分析软件可靠性的数学工具，必须有理论上的假设：假设软件出现错误的行为方式；假设人们在进行软件的测试时的工作效率和查出软件错误时的处理结果；假设软件错误在发生时对整个系统行为的影响等等。 
其次，研究软件可靠性要求研究者具有深厚的概率与随机过程的功底。只有具备这些条件，对于在软件测试过程中收集的软件故障数据的处理，才能得心应手。
另外，要研究软件可靠性，必须要有软件故障数据，这就必须要求研究者对于软件的测试要有深刻的了解。而这些，徐仁佐都具备。所以，当他的学生问到他原来是研究软件可靠性的，为什么后来却研究起软件测试来了时，他能给他们讲清其中的逻辑关系。他先后主讲高等数学、数理逻辑、算法设计与分析、离散数学、可计算性等本科课程，和软件可靠性工程与软件测试、软件工程、计算机科学中的数理逻辑等硕士课程。由于他能及时将科研成果溶入教学，坚持教书育人,因此获得学生广泛好评。
联系实际还要创新
在徐仁佐的研究工作中，十分强调理论联系实际，坚持认为所研究的成果必须能在工程实际中得到真正的应用，为我国的软件产业发展壮大作出实际的贡献。
关于软件测试，徐仁佐经过长期的研究，提出“基于软件知识的软件测试”理论。他指出：软件中包含了三类知识：第一类软件的正确功能所包含的领域知识，历来被从事软件开发和软件测试的人们所重视；第二类知识是关于软件开发的正确知识；第三类是关于正确使用软件的知识。徐仁佐指出：人们在从事软件测试时，对第一类知识十分重视，而往往忽略了对于另外两类知识的测试，以至于造成对软件的测试不完全的状况。
认真学习国外的先进科技，为我所用，但决不跟在别人的后面亦步亦趋。徐仁佐先后出访过新加坡、瑞典、美国、日本，无论出席国际学术会议，还是做访问学者，均坚持实践这一原则。
他的研究十分强调理论联系实际。目前，由于政策的导向，学术界出现了写论文的“专业户”。在有人千方百计寻找影响因子低的杂志发表论文时，他仍然坚持为了振兴我国的软件产业孜孜不倦地探索、追求。他认为，一个国家的科研，不在于发表多少论文，根本的目的是“科技强国、科技强军、科技富国、科技富民”。他已组建软件公司，以利成果的转化。
他认为我国IT业界在网络的新一代体系结构、网站布局、通信协议标准化、无线上网终端设施的设计、制造技术等方面，应争取走在世界的前列。他不跟在洋人后面研究复杂网络的描述问题，而是针对目前软件质量存在的问题，在2004年率先提出开展软件工程中的复杂网络现象研究，很快在国内外发表研究论文，获得国内外的好评。同时他指出只研究对于复杂网络的描述是不够的，应回归到对复杂网络本身问题的解决。他对目前国内存在的种种学术腐败现象深恶痛绝，反复教导他的学生在反对学术腐败时，不要忘记注意保护自己的知识产权。 学术成就
千里之行，始于足下。多年来务实求真的奋斗成就了徐仁佐教授辉煌的事业。到目前，徐仁佐教授已发表研究论文七十多篇，出版专著五本。由他主编的《软件可靠性工程》一书，也将于2007年初在清华大学出版社出版。
多年来, 徐仁佐教授共主持完成国家自然科学基金等国家科研工作十多项，取得了一大批科研成果。1994年10月，他的论文《NHPP模型拟合质量的改进》获湖北省第五届自然科学优秀学术论文三等奖；1994年10月，论文《NHPP模型参数调整与EM算法》获湖北省计算机学会一九九四年优秀学术论文奖；1996年11月，论文《软件可靠性专家系统及其实现》获湖北省第六届自然科学优秀学术论文二等奖。由他主持开发的《软件可靠性专家系统(SRES)》于1997年3月获国家教委科学技术进步二等奖。2005年12月,他参加的科研课题《软件质量保证支撑系统SQAS》获湖北省科技进步奖一等奖。
结束语 成功没有捷径，但追求者的脚步却有迹可寻。至今，徐仁佐教授在我国软件可靠性工程领域从事科研已经有二十多年了。流逝的年华，记录在白发皱纹间，闪光的业绩，写入我国计算机软件的发展史。祝愿徐仁佐教授的科研人生永远年轻辉煌！
（出处：《科学中国人》2007年第三期）
徐仁佐，1946年8月出生，湖北红安人。现任武汉大学软件工程国家重点实验室教授、博士生导师。曾任软件工程国家重点实验室副主任。同时兼任的学术职务有：中国运筹学会可靠性专业学会理事长；武汉计算机软件工程学会理事长；中国计算机学会容错计算委员会委员；中国电子学会可靠性，可维性委员会委员；全国电工电子产品可靠性与维修性标准化技术委员会(SAC/TC24)委员。曾先后访问新加坡、瑞典、美国，参加国际软件工程大会、任访问学者。
科学研究：
荣誉奖励：