首页 > 机构概况 > 创新班 > 创新班导师简介

创新班导师 杨秋松

杨秋松

性别:男

职称:副研究员

电子邮件:暂无

所在部门:中国科学院软件研究所

通讯地址:北京市海淀区中关村南四街4号

电话号码:无

邮政编码: 100190

研究方向/领域:过程建模,形式化方法,模型测试,过程挖掘

2000-2002?北京世纪鼎点软件有限公司?高级程序员?VOD应用开发(视频采集,机顶盒视频播放器),视频存储调度和流媒体传输控制

2006-2007?马萨诸塞州立大学阿姆赫斯特分校高级软件工程研究实验室?访问学生,并发过程和参数化系统验证

2008-2010?中国科学院软件研究所?助理研究员,研究兴趣:过程建模,形式化方法,模型测试,过程挖掘

2010-?中国科学院软件研究所?副研究员

中国计算机学会,会员

美国计算机学会,会员

2010?ACM?SIGSOFT?Distinguished?Paper?Award,?the?32nd?ACM/IEEE?International?Conference?on?Software?Engineering

2007~2010??Reviewer:?International?Conference?on?Software?Processes.2008?Reviewer:?ACM?Transaction?on?Software?Engineering?and?Methodology.

2007?Reviewer:?the?29nd?ACM/IEEE?International?Conference?on?Software?Engineer-ing.

青年基金?杨秋松,"可信软件过程建模.分析和执行关技术研究",国家自然科学基金,资助号:?60903051,2010年1月-2012年12月,额度:170,000元

研究所?杨秋松,"基于形式化方法的软件过程建模",软件所中长期科技规划,资助号:ISCAS2009-DR09,2010年1月-2012年12月,额度:130,000元

[1]?Yanbin?Liu,?Ye?Yang,?and?Qiusong?Yang.?Driver:?Diagnosing?runtime?property?violations?based?on?dependecy?rules.?Accepted?by?the?Model-based?Dependability?Analysis?2011(MDA?2011)

[2]?Hui?Huang,?Qiusong?Yang,?Junchao?Xiao,?and?Jian?Zhai.?Automatic?mining?of?change?set?size?information?from?repository?for?precise?productivity?estimation.?Accepted?by?the?International?Conference?on?System?and?Software?Processes?2011?(ICSSP?2011).

[3]?Qiusong?Yang?and?Mingshu?Li.?A?cut-off?approach?for?bounded?veri?cation?of?param-eterized?systems.?In?Proceedings?of?the?32nd?International?Conference?on?Software?Engineering,?ICSE?2010,?May?2-8,?2010,?Cape?Town,?South?Africa,?pages?345-354.ACM?SIGSOFT?Distinguished?Paper?Award.

[4]?Jian?Zhai?Mingshu?Li,?Qiusong?Yang.?A?systematic?review?on?of?software?process?mod-eling?and?analysis.?Journal?of?Software,?(03):524–545,?2009.

[5]?Mingshu?Li?Qiusong?Yang.?Heuristic?symbolic?veri?cation?of?safety?properties?for?param-eterized?systems.?Journal?of?Software,?(06):1444–1456,?2009.

[6]?Jian?Zhai,?Qiusong?Yang,?Feng?Su,?Junchao?Xiao,?Qing?Wang,?and?Mingshu?Li.?Stochas-tic?process?algebra?based?software?process?simulation?modeling.?In?International?Con-ference?on?Software?Process,?ICSP?2009,?volume?5543?of?Lecture?Notes?in?Computer?Scienc,?pages?196–210.?Springer,?2009.

[7]?Jian?Zhai,?Qiusong?Yang,?Ye?Yang,?Junchao?Xiao,?Qing?Wang,?and?Mingshu?Li.?Auto-mated?process?quality?assurance?for?distributed?software?development.?In?Software?En-gineering?Approaches?for?Offshore?and?Outsourced?Development,?Second?International?Conference,?SEAFOOD?2008,?Zurich,?Switzerland,?July?2-3,?2008.?Revised?Papers,?vol-ume?16?of?Lecture?Notes?in?Business?Information?Processing,?pages?196–210.?Springer,2008.

[8]?Qiusong?Yang,?Mingshu?Li,?Qing?Wang,?Guowei?Yang,?Jian?Zhai,?Juan?Li,?Lishan?Hou,and?Yun?Yang.?An?algebraic?approach?for?managing?inconsistencies?in?software?pro-cesses,.?In?Software?Process?Dynamics?and?Agility,?International?Conference?on?Soft-ware?Process,?ICSP?2007,?Minneapolis,?MN,?USA,?May?19-20,?2007,?Proceedings,?vol-ume?4470?of?Lecture?Notes?in?Computer?Science,?pages?121–133.?Springer,2007.

[9]?Mingshu?Li,?Qiusong?Yang,?Jian?Zhai,?and?Guowei?Yang.?On?mobility?of?software?pro-cesses.?In?Software?Process?Change,?International?Software?Process?Workshop?and?International?Workshop?on?Software?Process?Simulation?and?Modeling,?SPW/ProSim?2006,?Shanghai,?China,?May?20-21,?2006,?Proceedings,?volume?3966?of?Lecture?Notes?in?Computer?Science,?pages?105–114.?Springer,?2006.

[10]?Liping?Ding,?Qiusong?Yang,?Liang?Sun,?Jie?Tong,?and?Yongji?Wang.?Evaluation?of?the?capability?of?personal?software?process?based?on?data?envelopment?analysis.?In?Unifying?the?Software?Process?Spectrum,?International?Software?Process?Workshop,?SPW?2005,Beijing,?China,?May?25-27,?2005.