浙江理工大学信息电子学院导师介绍:丁佐华
姓名:丁佐华
性别:男
职称:教授
所在学院:信息电子学院
个人简介:
丁佐华,男,博士,浙江理工大学教授,硕士生导师,中国计算机学会软件工程专业委员会委员,中国计算机学会Petri 网专业委员会委员。
1996年、1998年分获University of South Florida 数学博士、计算机硕士,1998-2001在Advanced Fiber Communication公司任高级软件工程师,2001-2005任University of South Florida计算机系研究教授。近十年来一直从事软件工程、计算机理论方面的教学和科研工作,主持一项国家自然科学基金重大研究计划面上项目、一项浙江省自然科学基金重点项目。
在《IEEE Transactions on Service Computing》、《IEEE Transactions on Fuzzy Systems》、《Information Sciences》、《Mathematical and Computer Modeling》、《Fuzzy Sets and System》、《计算机学报》、ICSE/PESOS、ICWE、SCC、QSIC、COMPSAC、ICFEM、ICTAC、SEKE、TASE等国内外刊物或国际会议上发表学术论文60多篇,其中SCI、EI收录58篇。
科研项目
1.(主持)教育部留学回国人员基金:基于结构的程序自动产生及逆软件工程问题,3万,2008年1月至2010年12月。
2.(主持)国家自然科学基金重大研究计划:基于常微分方程的程序死锁检测研究(No. 90818013),50万,2009年1月-2011年12月。
3.(主持)浙江省自然科学基金重点项目:服务组合的可靠性计算研究(No.Z1090357),40万,2010年1月-2012年12月。
4.(主持)浙江理工大学启动基金:数学计算与软件工程研究所建设,100万,2006年-2010年。
近期发表的部分文章:
[1] Zuohua Ding, Mingyue Jiang, Abraham Kandel. Port Based Reliability Computing For Service Composition. In: IEEE Transactions on Service Computing, accepted(SCI)
[2] Zuohua Ding, Mingyue Jiang, Jens Palsberg, From Textual Use Cases to Service Component Models. In: ICSE/PESOS 2011.(顶级会议)
[3] Zuohua Ding, Hui Shen, and Abraham Kandel, Performance Analysis of Service Composition Based on Fuzzy Differential Equations. In: IEEE Transactions on Fuzzy Systems, vol.19, no.1 pp.164-178, 2011. (SCI)
[4] Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu, Requirement checking: Generating uses cases out of navigational logs in Web applications, QSIC2010 (EI).
[5] Zuohua Ding, Na Zhang, Modeling and Behavior Checking of Component Based Architecture, In: SEDM’10, Chengdu, 2010. (EI)
[6] Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding, Automatically Testing Web Services Choreography with Assertions. In: ICFEM’10, 2010, pp.138-154.(EI)
[7] Xijiao Xiong, Jing Liu, Zuohua Ding, Design and Verification of a Trustable Medical System. In: ENTCS, vol.266, 2010, pp.77-92.(EI)
[8] Zuohua Ding, Hui Shen, Jing Liu, Applying Ordinary Differential Equations To The Performance Analysis of Service Composition, ICFEM2010, Lecture Notes in Computer Sciences. vol.6447,155-170.
[9] Zuohua Ding and Hui Shen, Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition,Lecture Notes in Computer Sciences, vol.6215, pp. 118–125, 2010
[10] Zuohua Ding, Static Analysis of Concurrent Programs Using Ordinary Differential Equations(Invited Talk). ICTAC 2009, Lecture Notes in Computer Sciences, vol.5684, pp. 1-35, 2009. (EI)
[11] Zuohua Ding, Qi-Wei Ge, and Jueliang Hu, Fuzzy Timed Petri Nets and The Performance Analysis,Information, vol.12, no.5,2009.(SCIE)
[12] Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders, Modelling and Verification of Web Navigation. Proceedings of International Conference on Web Engineering (ICWE’09) (top conference), Lecture Notes in Computer Sciences, vol.5648, pp.181-188, 2009. (EI)
[13] Zuohua Ding, Jing Liu, An Improvement of Software Architecture Verification, Electronic Notes in Theoretical Computer Science, vol. 243, Pages 49-67, 2009. (EI)
[14] Zuohua Ding, Mingyue Jiang, Jing Liu, Model Checking Service Component Composition By SPIN, In Proceedings of 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2009), June 1-3, 2009, Shanghai, China (EI)
[15] Zuohua Ding,Mingyue Jiang,Rebuilding Web Application Requirements Based On User Navigation,2009 Fifth International Joint Conference on INC, IMS and IDC,2009.(EI)
[16] Zuohua Ding, Mingyue Jiang, Port Based Reliability Computing For Service Composition, Proceedings of International Conference on Service Computing (SCC’09), Bangalore, India, Sept 21-25, 2009. (EI)
[17] Zuohua Ding, Mingyue Jiang, Modelling and Verification of Port Based Component Composition, Proceedings of 9th International Conference on Quality Conference (QSIC’09), Jeju, Korea, 24-25 August 2009. (EI)
[18] 丁佐华, 江明月,刘静, 基于常微分方程的死锁检测实验分析,计算机学报,vol.32, Sept. 2009. (EI)
[19] Jueliang Hu, Zuohua Ding and Geguang Pu, Path-based Approach to Integration Testing, Proceedings of IEEE SSIRI 2009, Shanghai, July 8-10, 2009. (EI)
[20] Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu and Zuohua Ding. Test Data Generation for Derived Types in C Program, Proceedings of 3rd IEEE TASE’09, July 29 - 31, 2009, Tianjin, China. (EI)
[21] Jueliang Hu, Zuohua Ding, and Jing Liu, Measuring the Survivability of Object-Oriented Software, Proceedings of 3rd IEEE TASE’09, July 29 - 31, 2009, Tianjin, China. (EI)
[22] Xiaoan Bao, Na Zhang, and Zuohua Ding, Test Case Generation of Concurrent Programs Based on Event Graph, Proceedings of IEEE NCM’09, August 25-27, 2009, Seoul – Korea. (EI)
[23] Zuohua Ding, Kao Zhang and Jueliang Hu, A rigorous approach towards test case generation, Information Sciences, vol.178, pp. 4057-4079, 2008. (SCI)
[24] Zuohua Ding, Zhenbang Chen and Jing Liu, A rigorous model of service component architecture, Electronic Notes in Theoretical Computer Science, vol.207, pp. 33-48 , 2008. (EI)
[25] Zuohua Ding, Jianming Dong, Wei Han, Formal Architectural Models For Agent Based Service System, International Journal of Computer Applications in Technology, vol.31, pp. 45-63, 2008。(EI)
[26] Zuohua Ding, Lujuan Xiao, Jueliang Hu, Performance analysis of service composition using ordinary differential equations, IEEE FTDCS, Oct, 2008. (EI)
[27] Zuohua Ding, Kao Zhang, Performance analysis of concurrent programs using ordinary differential equations, IEEE COMPSAC, pp. 841-846, Aug. 2008. (EI) 。
【浙江理工大学信息电子学院导师介绍:丁佐华】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】2017年华南理工大学12管理学考研复试分数线
- 【导师介绍】2017年华南理工大学07理学考研复试分数线
- 【导师介绍】2016年华南理工大学0853城市规划考研分数线
- 【导师介绍】2017年华南理工大学1252公共管理考研复试分数线
- 【导师介绍】2011-2017年华南理工大学【经济学】考研复试分数线趋势
- 【导师介绍】2011-2017年华南理工大学【管理学】考研复试分数线趋势
- 【导师介绍】2016年华南理工大学0254国际商务考研分数线
- 【导师介绍】2017年华南理工大学05文学考研复试分数线
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比