杨秋松 研究员 软件研究所
电子邮件:qiusong@iscas.ac.cn
联系电话:62661070-9066
手机号码:
通信地址:北京海淀区中关村南四街四号
邮政编码:100190

研究领域

软件工程、形式化方法、模型检测、安全操作系统

教育背景

1996--2000   学士 计算机科学与技术 中南大学
2006--2007   访问学者 马萨诸塞州立大学阿姆赫斯特分校高级软件工程研究实验室 
2002--2008   博士 计算机软件与理论 中国科学院软件研究所

工作经历

2000--2002  北京世纪鼎点软件有限公司
2008--2010  中国科学院软件研究所  助理研究员
2010--2013  中国科学院软件研究所 副研究员
2013-             中国科学院软件研究所 研究员

专利与奖励

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

主要论文

[1] Hui Huang, Junchao Xiao, Qiusong Yang, Qing Wang, Hong Wu: Creating Process-Agents incrementally by mining process asset library. Inf. Sci. 233: 183-199 (2013).
[2] Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li: Assumption Generation for Asynchronous Systems by Abstraction Refinement. FACS 2012: 260-276. 
[3] Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Günther Ruhe: Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming. APSEC 2011: 397-404.
[4] Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li: Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs. FSEN 2011: 221-235.
[5] Hui Huang, Qiusong Yang, Junchao Xiao, Jian Zhai: Automatic mining of change set size information from repository for precise productivity estimation. ICSSP 2011: 72-80.
[6] Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li: DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules. SSIRI (Companion) 2011: 194-201.
[7] Qiusong Yang, Mingshu Li. A Cut-off Approach for Bounded Verification of Parameterized 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.
[8] Jian Zhai, Qiusong Yang, Feng Su, Junchao Xiao, Qing Wang, and Mingshu Li. Stochastic Process Algebra Based Software Process Simulation Modeling. In Proceedings of the International Conference on Software Processes, volume 5543 of Lecture Notes in Computer Science, pages 136–147. Springer, 2009.
[9] Junchao Xiao, Qing Wang, Mingshu Li, Qiusong Yang, Lizi Xie, and Dapeng Liu. Value-based Multiple Software Projects Scheduling with Genetic Algorithm. In Proceedings of the International Conference on Software Processes,, volume 5543 of Lecture Notes in Computer Science, pages 50–62. Springer, 2009.
[10] Jian Zhai, Qiusong Yang, Ye Yang, Junchao Xiao, Qing Wang, and Mingshu Li. Automated Process Quality Assurance for Distributed Software Development. In Proceedings of the 2nd Software Engineering Approaches for Offshore and Outsourced Development, volume 16 of Lecture Notes in Business Information Processing, pages 196-210. Springer, 2008.
[11] 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 processes. In Proceedings of the International Conference on Software Processes, volume 4470 of Lecture Notes in Computer Science, pages 121–133. Springer, 2007. 
[12] Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang. On mobility of software processes. In Proceedings of the International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, volume 3966 of Lecture Notes in Computer Science, pages 105–114. Springer, 2006.
[13] Liping Ding, Qiusong Yang, Liang Sun, Jie Tong, Yongji Wang. Evaluation of the Capability of Personal Software
Process Based on Data Envelopment Analysis. In Proceedings of the International Software Process Workshop, volume 3840 of Lecture Notes in Computer Science, pages 235–248. Springer, 2005.
[14] 翟健,杨秋松,肖俊超,李明树. 一种形式化的组件化软件过程建模方法.软件学报, 22(1):1-16, 2011.
[15] 胡磊万城,谢利子,杨秋松.一种基于风险的需求优先级排序方法.计算机应用研究, 27(8):2953-2958, 2010
[16] 苏峰,翟健,杨秋松.基于过程模型随机仿真的TDD模块选取建模方法研究.计算机应用研究,27(8):2948-2952, 2010.
[17] 李明树,杨秋松,翟健. 软件过程建模方法研究.软件学报. 20(3):1-22, 2009.
[18] 杨秋松,李明树. 参数化系统安全性的符号化验证.软件学报. 软件学报, 20(6):1444-1456, 2009.
[19] 杨国伟,杨秋松,翟健,袁峰. 基于代数的软件过程建模系统的设计与实现. 计算机工程与设计. 29(3):530-534, 20