通讯地址:北京市海淀区中关村南四街4号
邮政编码:100190
研究方向/领域:过程建模,形式化方法,模型测试,过程挖掘
2000-2002北京世纪鼎点软件有限公司高级程序员VOD应用开发(视频采集,机顶盒视频播放器),视频存储调度和流媒体传输控制
2006-2007马萨诸塞州立大学阿姆赫斯特分校高级软件工程研究实验室访问学生,并发过程和参数化系统验证
2008-2010中国科学院软件研究所助理研究员,研究兴趣:过程建模,形式化方法,模型测试,过程挖掘
2010-中国科学院软件研究所副研究员
中国计算机学会,会员
美国计算机学会,会员
2010ACMSIGSOFTDistinguishedPaperAward,the32ndACM/IEEEInternationalConferenceonSoftwareEngineering
2007~2010Reviewer:InternationalConferenceonSoftwareProcesses.2008Reviewer:ACMTransactiononSoftwareEngineeringandMethodology.
2007Reviewer:the29ndACM/IEEEInternationalConferenceonSoftwareEngineer-ing.
青年基金杨秋松,"可信软件过程建模.分析和执行关技术研究",国家自然科学基金,资助号:60903051,2010年1月-2012年12月,额度:170,000元
研究所杨秋松,"基于形式化方法的软件过程建模",软件所中长期科技规划,资助号:ISCAS2009-DR09,2010年1月-2012年12月,额度:130,000元
[1]YanbinLiu,YeYang,andQiusongYang.Driver:Diagnosingruntimepropertyviolationsbasedondependecyrules.AcceptedbytheModel-basedDependabilityAnalysis2011(MDA2011)
[2]HuiHuang,QiusongYang,JunchaoXiao,andJianZhai.Automaticminingofchangesetsizeinformationfromrepositoryforpreciseproductivityestimation.AcceptedbytheInternationalConferenceonSystemandSoftwareProcesses2011(ICSSP2011).
[3]QiusongYangandMingshuLi.Acut-offapproachforboundedvericationofparam-eterizedsystems.InProceedingsofthe32ndInternationalConferenceonSoftwareEngineering,ICSE2010,May2-8,2010,CapeTown,SouthAfrica,pages345-354.ACMSIGSOFTDistinguishedPaperAward.
[4]JianZhaiMingshuLi,QiusongYang.Asystematicreviewonofsoftwareprocessmod-elingandanalysis.JournalofSoftware,(03):524–545,2009.
[5]MingshuLiQiusongYang.Heuristicsymbolicvericationofsafetypropertiesforparam-eterizedsystems.JournalofSoftware,(06):1444–1456,2009.
[6]JianZhai,QiusongYang,FengSu,JunchaoXiao,QingWang,andMingshuLi.Stochas-ticprocessalgebrabasedsoftwareprocesssimulationmodeling.InInternationalCon-ferenceonSoftwareProcess,ICSP2009,volume5543ofLectureNotesinComputerScienc,pages196–210.Springer,2009.
[7]JianZhai,QiusongYang,YeYang,JunchaoXiao,QingWang,andMingshuLi.Auto-matedprocessqualityassurancefordistributedsoftwaredevelopment.InSoftwareEn-gineeringApproachesforOffshoreandOutsourcedDevelopment,SecondInternationalConference,SEAFOOD2008,Zurich,Switzerland,July2-3,2008.RevisedPapers,vol-ume16ofLectureNotesinBusinessInformationProcessing,pages196–210.Springer,2008.
[8]QiusongYang,MingshuLi,QingWang,GuoweiYang,JianZhai,JuanLi,LishanHou,andYunYang.Analgebraicapproachformanaginginconsistenciesinsoftwarepro-cesses,.InSoftwareProcessDynamicsandAgility,InternationalConferenceonSoft-wareProcess,ICSP2007,Minneapolis,MN,USA,May19-20,2007,Proceedings,vol-ume4470ofLectureNotesinComputerScience,pages121–133.Springer,2007.
[9]MingshuLi,QiusongYang,JianZhai,andGuoweiYang.Onmobilityofsoftwarepro-cesses.InSoftwareProcessChange,InternationalSoftwareProcessWorkshopandInternationalWorkshoponSoftwareProcessSimulationandModeling,SPW/ProSim2006,Shanghai,China,May20-21,2006,Proceedings,volume3966ofLectureNotesinComputerScience,pages105–114.Springer,2006.
[10]LipingDing,QiusongYang,LiangSun,JieTong,andYongjiWang.Evaluationofthecapabilityofpersonalsoftwareprocessbasedondataenvelopmentanalysis.InUnifyingtheSoftwareProcessSpectrum,InternationalSoftwareProcessWorkshop,SPW2005,Beijing,China,May25-27,2005.