Dr. Qiusong Yang/


Associate Research Professor of Laboratory for Technologies of Internet Software

Institute of Software, Beijing, China 100190

Member of China Computer Foundation (CCF)

Member of Association for Computing Machinery (ACM)

Member of You Innovation Promotion Association, Chinese Academy of Sciences

Email: qiusong at nfs dot iscas dot ac dot cn

Phone: 8610-62661803-1189

Public PGP Key: ASCII Version

Vita: English,Chinese




About Me


I am now an associate research professor with the Lab for Internet Software Technologies, Institute of Software Chinese Academy of Sciences (ISCAS). I got a PhD degree from ISCAS in 2008. Before that, I received the BS degree in computer science from Central South University China in 2000. My research interests include software process technologies, formal methods, and model checking.


Selected Publications



Assumption Generation for Asynchronous Systems by Abstraction Refinement. Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li. FACS2012, LNCS 7684, 260-276..


Attacking Dimensionality Problem of Parameterized Systems via Bounded Reachability Graph. Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li. FSEN 2011, LNCS 7141, 221-235..BibTex


A Cut-off Approach for Bounded Verification of Parameterized Systems. Qiusong Yang, Mingshu Li. 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 AwardBibTex


A Formal Approach for the Component-based Modeling of Software Processes. Jian Zhai, Qiusong Yang, Junchao Xiao, Mingshu Li. Accepted by Journal of Software.


Stochastic Process Algebra Based Software Process Simulation Modeling. Jian Zhai, Qiusong Yang, Feng Su, Junchao Xiao, Qing Wang, Mingshu Li. ICSP 2009: 50-62. BibTex


Automated Process Quality Assurance for Distributed Software Development. Jian Zhai, Qiusong Yang, Ye Yang, Junchao Xiao, Qing Wang and Mingshu Li. Software Engineering Approaches for Offshore and Outsourced Development(SEAFOOD) 2008:196-210. BibTex


A Systematic Review on of Software Process Modeling and Analysis. Mingshu Li, Qiusong Yang, Jian Zhai. Journal of Software,2009, (03):524-545.


Heuristic Symbolic Verification of Safety Properties for Parameterized Systems.Qiusong Yang, Mingshu Li. Journal of Software,2009, (06):1444-1456. (English Version)


An Algebraic Approach for Managing Inconsistencies in Software Processes.Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai, Juan Li, Lishan Hou, Yun Yang, ICSP 2007: 121-133.  BibTex


On Mobility of Software Processes. Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang. SPW/ProSim 2006: 105-114.  BibTex


Evaluation of the Capability of Personal Software Process Based on Data Envelopment Analysis. Liping Ding, Qiusong Yang, Liang Sun, Jie Tong, Yongji Wang . ISPW 2005: 235-248.  BibTex




National Natural Science Foundation of China, Research on key technologies for modeling, analysis, and execution of trustworthy software processes, Grant No. 60903051, 170,000RMB.


Rising Research Star of IOS, The modeling of software processes based on formal methods, 130,000RMB.


Youth Innovation Promotion Association, CAS, 400,000RMB.




School of Computer Sciences, CMU


Last modified: Nov 1, 2012