Evaluation of the Capability of Personal Software Process Based on Data Envelopment Analysis. - Liping Ding; Qiusong Yang; Liang Sun; Jie Tong; Yongji Wang 002 (ISPW, 2005)

On Mobility of Software Processes. - Mingshu Li 001; Qiusong Yang; Jian Zhai; Guowei Yang 001 (SPW/ProSim, 2006)

An Algebraic Approach for Managing Inconsistencies in Software Processes, . - Qiusong Yang; Mingshu Li 001; Qing Wang 001; Guowei Yang 001; Jian Zhai; Juan Li 001; Lishan Hou; Yun Yang 001 (ICSP, 2007)

Automated Process Quality Assurance for Distributed Software Development. - Jian Zhai; Qiusong Yang; Ye Yang; Junchao Xiao; Qing Wang 001; Mingshu Li 001 (SEAFOOD, 2008)

Value-Based Multiple Software Projects Scheduling with Genetic Algorithm. - Junchao Xiao; Qing Wang 001; Mingshu Li 001; Qiusong Yang; Lizi Xie; Dapeng Liu (ICSP, 2009)

Stochastic Process Algebra Based Software Process Simulation Modeling. - Jian Zhai; Qiusong Yang; Feng Su; Junchao Xiao; Qing Wang 001; Mingshu Li 001 (ICSP, 2009)

A cut-off approach for bounded verification of parameterized systems. - Qiusong Yang; Mingshu Li 001 (ICSE (1), 2010)

Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming. - Xin Dong; Qiusong Yang; Qing Wang 001; Jian Zhai; Günther Ruhe (APSEC, 2011)

Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs. - Qiusong Yang; Bei Zhang; Jian Zhai; Mingshu Li 001 (FSEN, 2011)

Automatic mining of change set size information from repository for precise productivity estimation. - Hui Huang; Qiusong Yang; Junchao Xiao; Jian Zhai (ICSSP, 2011)

DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules. - Yanbin Liu; Ye Yang; Qiusong Yang; Mingshu Li 001 (SSIRI (Companion), 2011)

Assumption Generation for Asynchronous Systems by Abstraction Refinement. - Qiusong Yang; Edmund M. Clarke; Anvesh Komuravelli; Mingshu Li 001 (FACS, 2012)

Creating Process-Agents incrementally by mining process asset library. - Hui Huang; Junchao Xiao; Qiusong Yang; Qing Wang 001; Hong Wu (Inf. Sci., 2013)

A vertex centric parallel algorithm for linear temporal logic model checking in Pregel. - Miao Xie; Qiusong Yang; Jian Zhai; Qing Wang 001 (J. Parallel Distributed Comput., 2014)

DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization. - Miao Xie; Qiusong Yang; Qing Wang 001; Gao Cong; Gerard de Melo (AAAI, 2015)

Designing and Modeling of Covert Channels in Operating Systems. - Yuqi Lin; Saif Ur Rehman Malik; Kashif Bilal; Qiusong Yang; Yongji Wang 002; Samee U. Khan (IEEE Trans. Computers, 2016)

A secure and rapid response architecture for virtual machine migration from an untrusted hypervisor to a trusted one. - Tao Wu; Qiusong Yang; Yeping He (Frontiers Comput. Sci., 2017)

BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel. - Xinyue Feng; Qiusong Yang; Lin Shi 006; Qing Wang 001 (QRS, 2018)

Matryoshka: A Coalesced Delta Sequence Prefetcher. - Shizhi Jiang; Yiwei Ci; Qiusong Yang; Mingshu Li 001 (ICPP, 2021)

Secure Access Policy (SAP): Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment. - Xiaoni Meng; Qiusong Yang; Yiwei Ci; Pei Zhao; Shan Zhao; Tianlin Huo; Mingshu Li 001 (ICCD, 2022)

Merging Similar Patterns for Hardware Prefetching. - Shizhi Jiang; Qiusong Yang; Yiwei Ci (MICRO, 2022)

Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution. - Xiaoni Meng; Qiusong Yang; Yiwei Ci; Pei Zhao; Shan Zhao; Mingshu Li 001 (ICCD, 2023)

TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. - Yufeng Li; Yiwei Ci; Qiusong Yang (ASPDAC, 2024)

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. - Yufeng Li; Qiusong Yang; Yiwei Ci; Enyuan Tian (DAC, 2024)

Predicting Lemmas in Generalization of IC3. - Yuheng Su; Qiusong Yang; Yiwei Ci (DAC, 2024)

The rIC3 Hardware Model Checker. - Yuheng Su; Qiusong Yang; Yiwei Ci; Tianjun Bu; Ziyu Huang (CAV (1), 2025)

Deeply Optimizing the SAT Solver for the IC3 Algorithm. - Yuheng Su; Qiusong Yang; Yiwei Ci; Yingcheng Li; Tianjun Bu; Ziyu Huang (CAV (1), 2025)

Fast, Transparent and Accurate Simulation of Thousand Processing-in-Memory Cores. - Zhichao Lv; Tianjun Bu; Qiusong Yang (ACM Great Lakes Symposium on VLSI, 2025)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3. - Yuheng Su; Qiusong Yang; Yiwei Ci; Ziyu Huang (CoRR, 2025)

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction. - Enyuan Tian; Yiwei Ci; Qiusong Yang; Yufeng Li; Zhichao Lyu (CoRR, 2025)