楊秋松

楊秋松，畢業於中南大學，中國科學院軟體研究所研究員。

基本信息

楊秋松 研究員 軟體研究所

通信地址：北京海淀區中關村南四街四號

研究領域

軟體工程、形式化方法、模型檢測、安全作業系統

教育背景

1996--2000 學士 計算機科學與技術 中南大學

2006--2007 訪問學者 麻薩諸塞州立大學阿姆赫斯特分校高級軟體工程研究實驗室

2002--2008 博士 計算機軟體與理論 中國科學院軟體研究所

工作經歷

2000--2002 北京世紀鼎點軟體有限公司

2008--2010 中國科學院軟體研究所 助理研究員

2010--2013 中國科學院軟體研究所 副研究員

2013- 中國科學院軟體研究所 研究員

主要論文

[1] Hui Huang, Junchao Xiao, Qiusong Yang, Qing Wang, Hong Wu: Creating Process-Agents incrementally by mining process asset library

[2] Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li: Assumption Generation for Asynchronous Systems by Abstraction Refinement

[3] Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Günther Ruhe: Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming

[4] Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li: Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs

[5] Hui Huang, Qiusong Yang, Junchao Xiao, Jian Zhai: Automatic mining of change set size information from repository for precise productivity estimation

[6] Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li: DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules

[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

[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

[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

[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

[11] Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai, Juan Li, Lishan Hou

approach for managing inconsistencies in software processes. In Proceedings of the International Conference on Software Processes, volume 4470 of Lecture Notes in Computer Science

[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

[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

[14] 翟健,楊秋松,肖俊超,李明樹. 一種形式化的組件化軟體過程建模方法.軟體學報

[15] 胡磊萬城,謝利子,楊秋松.一種基於風險的需求優先權排序方法.計算機套用研究

[16] 蘇峰,翟健,楊秋松.基於過程模型隨機仿真的TDD模組選取建模方法研究.計算機套用研究

[17] 李明樹,楊秋松,翟健. 軟體過程建模方法研究.軟體學報

[18] 楊秋松,李明樹. 參數化系統安全性的符號化驗證.軟體學報. 軟體學報

[19] 楊國偉,楊秋松,翟健,袁峰. 基於代數的軟體過程建模系統的設計與實現. 計算機工程與設計