丁佐华
个人资料:
浙江理工大学理学院教授,硕士生导师
美国南佛罗里达大学(UniversityofSouthFlorida)数学博士
中国计算机学会软件工程专业委员会委员
中国计算机学会Petri网专业委员会委员
浙江理工大学数学一级硕士点计算数学学科负责人
浙江理工大学软件工程一级硕士点方向负责人
浙江理工大学《计算与软件工程》负责人
科研项目
(主持)国家自然科学基金国际重大合作项目(重点):在线软件可靠性工程的理论和方法研究61210004),0万,2016年1月-2016年12月.
(主持)国家自然科学基金面上项目:基于常微分方程的自适应软件模型研究(No.61170015),55万,2016年1月-2016年12月.
(主持)国家自然科学基金重大研究计划:基于常微分方程的程序死锁检测研究(No.90818013),50万,2016年1月-2016年12月.
(主持)浙江省自然科学基金重点项目:怎么写作组合的可靠性计算研究(No.Z1090357),40万,2016年1月-2016年12月.
(主持)教育部留学回国人员基金:基于结构的程序自动产生及逆软件工程问题,3万,2016年1月至2016年12月.
ZuohuaDing,JiayingMa,AbrahamKandel,PetriNetRepresentationofSwitchedFuzzySystems,IEEETransactionsonFuzzySystems,accepted.(SCI,IF4.29)
ZuohuaDing,HuiShen,AbrahamKandel,HypergraphPartitioningForTheParallelComputingofFuzzyDifferentialEquations,FuzzySetsandSystems,accepted.(SCI,IF1.988)
丁佐华,JeffSanders,江明月,张娜,蒲戈光,基于GCL语言的测试用例生成方法,计算机学报,印刷中.(EI)
ZiweiLiu,JingLiu,JifengHe,ZuohuaDing:Spatio-temporalUMLStatechartforCyber-PhysicalSystems,ICECCS2016:137-146(EI)
MingyueJiang,ZuohuaDing,JingLiu,ServiceSelectionBasedOnBehiorMatching,JournalofSoftware,7(9):1950-1959(2016).(EI)
ZuohuaDing,JiayingMa:ModelingandAnalysisofSwitchedFuzzySystems,SEKE2016:135-138.(EI)
ZuohuaDing,MingyueJiang,AbrahamKandel.PortBasedReliabilityComputingForServiceComposition.In:IEEETransactionsonServiceComputing,vol.5no.3,pp.422-436,2016.(SCI)
ZuohuaDing,HuiShen,andQiweiGe,CheckingSystemBoundednessUsingOrdinaryDifferentialEquations,In:InformationSciences,187:245-265(2016)(SCI,IF2.984)
ZuohuaDing,HuiShen,andJianwenCao,ParallelputationofcontinuousPetrisbasedonhypergraphpartitioning,JournalofSuperputing,vol.62,no.1,pp.345-377,2016.(SCI)
ZuohuaDing,HuiShen,andJianwenCao,HypergraphPartitioningfortheParallelComputationofContinuousPetriNets,LectureNotesinComputerSciences,vol.6873,pp.257–271,2016.(EI)
ZuohuaDing,MingyueJiang,JensPalsberg,FromTextualUseCasestoServiceComponentModels.In:ICSE/PESOS2016.(顶级会议EI)
ZuohuaDing,HuiShen,andAbrahamKandel,PerformanceAnalysisofServiceCompositionBasedonFuzzyDifferentialEquations.In:IEEETransactionsonFuzzySystems,vol.19,no.1pp.164-178,2016.(SCI)
ZuohuaDing,MingyueJiang,ModelDrivenSynthesisofBehioralModelromTextualUseCases,CAR2016.(EI)
ZuohuaDing,MingyueJiang,GeguangPu,JingLiu,Requirementchecking:GeneratingusescasesoutofnigationallogsinWebapplications,QSIC2016(EI)
ZuohuaDing,NaZhang,ModelingandBehiorCheckingofComponentBasedArchitecture,In:SEDM'10,Chengdu,2016.(EI)
LeiZhou,JingPing,HaoXiao,ZhengWang,GeguangPu,ZuohuaDing,AutomaticallyTestingWebServicesChoreographywithAssertions.In:ICFEM'10,2016,pp.138-154.(EI)
XijiaoXiong,JingLiu,ZuohuaDing,DesignandVerificationofaTrustableMedicalSystem.In:ENTCS,vol.266,2016,pp.77-92.(EI)
ZuohuaDing,HuiShen,JingLiu,ApplyingOrdinaryDifferentialEquationsToThePerformanceAnalysisofServiceComposition,ICFEM2016,LectureNotesinComputerSciences.vol.6447,155-170.(EI)
ZuohuaDingandHuiShen,ApplyingFuzzyDifferentialEquationstothePerformanceAnalysisofServiceComposition,LectureNotesinComputerSciences,vol.6215,pp.118–125,2016(EI)
ZuohuaDing,StaticAnalysisofConcurrentProgramsUsingOrdinaryDifferentialEquations(InvitedTalk).ICTAC2016,LectureNotesinComputerSciences,vol.5684,pp.1-35,2016.(EI)
ZuohuaDing,Qi-WeiGe,andJueliangHu,FuzzyTimedPetriNetsandThePerformanceAnalysis,Information,vol.12,no.5,2016.(SCI)
ZuohuaDing,MingyueJiang,GeguangPu,JeffW.Sanders,ModellingandVerificationofWebNigation.ProceedingsofInternationalConferenceonWebEngineering(ICWE'09)(顶级会议),LectureNotesinComputerSciences,vol.5648,pp.181-188,2016.(EI)
ZuohuaDing,JingLiu,AnImprovementofSoftwareArchitectureVerification,ElectronicNotesinTheoreticalComputerScience,vol.243,Pages49-67,2016.(EI)
有关论文范文主题研究: | 关于软件工程的论文范文资料 | 大学生适用: | 硕士论文、在职研究生论文 |
---|---|---|---|
相关参考文献下载数量: | 41 | 写作解决问题: | 写作资料 |
毕业论文开题报告: | 论文提纲、论文小结 | 职称论文适用: | 论文发表、职称评初级 |
所属大学生专业类别: | 写作资料 | 论文题目推荐度: | 优秀选题 |
ZuohuaDing,MingyueJiang,JingLiu,ModelCheckingServiceComponentCompositionBySPIN,InProceedingsof8thIEEE/ACISInternationalConferenceonComputerandInformationScience(ICIS2016),June1-3,2016,Shanghai,China(EI)
ZuohuaDing,MingyueJiang,RebuildingWebApplicationRequirementsBasedOnUserNigation,2016FifthInternationalJointConferenceonINC,IMSandIDC,2016.(EI)
ZuohuaDing,MingyueJiang,PortBasedReliabilityComputingForServiceComposition,ProceedingsofInternationalConferenceonServiceComputing(SCC'09),Bangalore,India,Sept21-25,2016.(EI)
ZuohuaDing,MingyueJiang,ModellingandVerificationofPortBasedComponentComposition,Proceedingsof9thInternationalConferenceonQualityConference(QSIC'09),Jeju,Korea,24-25August2016.(EI)
丁佐华,江明月,刘静,基于常微分方程的死锁检测实验分析,计算机学报,vol.32,Sept.2016.(EI)
JueliangHu,ZuohuaDingandGeguangPu,Path-basedApproachtoIntegrationTesting,ProceedingsofIEEESSIRI2016,Shanghai,July8-10,2016.
ZhengWang,XiaoYu,TaoSun,GeguangPuandZuohuaDing.TestDataGenerationforDerivedTypesinCProgram,Proceedingsof3rdIEEETASE'09,July29-31,2016,Tianjin,China.(EI)
JueliangHu,ZuohuaDing,andJingLiu,MeasuringtheSurvivabilityofObject-OrientedSoftware,Proceedingsof3rdIEEETASE'09,July29-31,2016,Tianjin,China.(EI)
XiaoanBao,NaZhang,andZuohuaDing,TestCaseGenerationofConcurrentProgramsBasedonEventGraph,ProceedingsofIEEENCM'09,August25-27,2016,Seoul–Korea.(EI)
ZuohuaDing,KaoZhangandJueliangHu,Arigorousapproachtowardstestcasegeneration,InformationSciences,vol.178,pp.4057-4079,2016.(SCI)
ZuohuaDing,ZhenbangChenandJingLiu,Arigorouodelofserviceponentarchitecture,ElectronicNotesinTheoreticalComputerScience,vol.207,pp.33-48,2016.(EI)
ZuohuaDing,JianmingDong,WeiHan,FormalArchitecturalModelsForAgentBasedServiceSystem,InternationalJournalofComputerApplicationsinTechnology,vol.31,pp.45-63,2016.
ZuohuaDing,LujuanXiao,JueliangHu,Performanceanalysisofservicepositionusingordinarydifferentialequations,IEEEFTDCS,Oct,2016.(EI)
ZuohuaDing,KaoZhang,Performanceanalysisofconcurrentprogramsusingordinarydifferentialequations,IEEECOMPSAC,pp.841-846,Aug.2016.(EI)
ZuohuaDing,Aformalarchitecturalmodelformobileservicesystems,ProceedingsoftheEighteenthInternationalConferenceonSoftwareEngineeringandKnowledgeEngineering(SEKE'2006),SanFrancisco,USA,July2006.(EI)
Z.Ding,H.Bunke,O.Kipersztok,M.SchneiderandA.Kandel,FuzzyTimedPetriNet-AnalysisandImplementation,MathematicalandComputerModeling,MathematicalandComputerModelling,vol.43,pp.385-400,2006.(SCI)
Z.Ding,H.Bunke,M.SchneiderandA.Kandel,FuzzyTimedPetriNetDefinitions,PropertiesandApplications,MathematicalandComputerModeling,MathematicalandComputerModelling,vol.41,pp.345-360,2005.(SCI)