| 2023 | ICSE | Detecting Exception Handling Bugs in C++ Programs. | Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu |
| 2017 | TASE | Automatic fine-grained locking generation for shared data structures. | Haiyang Liu, Tingting Hu, Zongyan Qiu |
| 2016 | SEFM | Coq Implementation of OO Verification Framework VeriJ. | Ke Zhang, Zongyan Qiu |
| 2016 | SETTA | Identifying XML Schema Constraints Using Temporal Logic. | Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu |
| 2015 | TASE | Verifying Interaction between Methods in Classes. | Tingting Hu, Shuling Wang, Zongyan Qiu |
| 2014 | ICTAC | Modular Reasoning for Message-Passing Programs. | Jinjiang Lei, Zongyan Qiu |
| 2014 | SAC | Locating fault-inducing patterns from structural inputs. | Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy |
| 2014 | TASE | Trace-Based Temporal Verification for Message-Passing Programs. | Jinjiang Lei, Zongyan Qiu, Zhong Shao |
| 2012 | ICECCS | Performance Analysis of Data Gathering Protocol Using PRISM. | Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu |
| 2012 | ICFEM | Modular Verification of OO Programs with Interfaces. | Zongyan Qiu, Ali Hong, Yijing Liu |
| 2012 | SEFM | The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. | Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu |
| 2011 | APSCC | Generating Scenarios from Web Service Choreography. | Ke Zhang Ke, Zongyan Qiu, Hongli Yang |
| 2011 | CPP | Verification of Scalable Synchronous Queue. | Jinjiang Lei, Zongyan Qiu |
| 2011 | ICTAC | WP Semantics and Behavioral Subtyping. | Yijing Liu, Zongyan Qiu, Quan Long |
| 2011 | TASE | Analysis of WS-BPEL Processes in PRISM. | Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu |
| 2011 | TASE | Inheritance and Modularity in Specification and Verification of OO Programs. | Yijing Liu, Ali Hong, Zongyan Qiu |
| 2011 | TASE | Towards an Axiomatic Verification System for JavaScript. | Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu |
| 2010 | TASE | Stack Bound Inference for Abstract Java Bytecode. | Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin |
| 2009 | TASE | A Tool for Estimating Memory Usage. | Shengyi Wang, Zongyan Qiu |
| 2009 | TASE | Enforcing Constraints on Life Cycles of Business Artifacts. | Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu |
| 2008 | ICFEM | Correct Channel Passing by Construction. | Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang |
| 2008 | ICWS | An Approach to Check Choreography with Channel Passing in WS-CDL. | Chao Cai, Zongyan Qiu |
| 2008 | ICWS | A Formal Model of Human Workflow. | Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang |
| 2008 | ISoLA | Formal Use of Design Patterns and Refactoring. | Long Quan, Zongyan Qiu, Zhiming Liu |
| 2008 | TASE | Verifying BPEL-Like Programs with Hoare Logic. | Chenguang Luo, Shengchao Qin, Zongyan Qiu |
| 2008 | TASE | A Generic Model for Confinement and its Application. | Shuling Wang, Zongyan Qiu |
| 2008 | TASE | Reasoning about Channel Passing in Choreography. | Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu |
| 2007 | FORTE | Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. | Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu |
| 2007 | WWW | Towards the theoretical foundation of choreography. | Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang |
| 2007 | TASE | Commutability of Design Pattern Instantiation and Integration. | Jing Dong, Tu Peng, Zongyan Qiu |
| 2006 | DDECS | An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. | Geguang Pu, Jifeng He, Zongyan Qiu |
| 2006 | ICECCS | Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. | Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2006 | ICECCS | A Type System for the Relational Calculus of Object Systems. | Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu |
| 2006 | ICFEM | Type Checking Choreography Description Language. | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
| 2006 | ICFEM | Model Checking Dynamic UML Consistency. | Xiangpeng Zhao, Quan Long, Zongyan Qiu |
| 2006 | ICTAC | Type Safety for FJ and FGJ. | Shuling Wang, Quan Long, Zongyan Qiu |
| 2006 | ICWS | A Formal Model forWeb Service Choreography Description Language (WS-CDL). | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang |
| 2006 | ISoLA | Patterns with Algebraic Properties in BPEL0. | Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |
| 2006 | KES | A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. | Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He |
| 2005 | FM | Semantics of BPEL4WS-Like Fault and Compensation Handling. | Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao |
| 2005 | ICTAC | POST: A Case Study for an Incremental Development in rCOS. | Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He |
| 2004 | SEFM | An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2003 | ICFEM | The Equivalence of Statecharts. | Quan Long, Zongyan Qiu, Shengchao Qin |
| 2002 | ICFEM | Hardware/Software Partitioning in Verilog. | Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang |