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
Public PGP Key: ASCII Version
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.
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 Award. BibTex
A Formal Approach for the Component-based Modeling of Software Processes.
Jian Zhai, Qiusong Yang, Junchao Xiao, Mingshu Li. Accepted by Journal of
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
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.
Last modified: Nov 1, 2012