性别：男
职称：副研究员
电子邮件：暂无
所在部门：中国科学院软件研究所
通讯地址：北京市海淀区中关村南四街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.