Garment: A Mechanism for Abstraction and Encapsulation of Languages. - Naixiao Zhang; Hongjun Zheng; Zongyan Qiu (ACM SIGPLAN Notices, 1997)

Static Head Nodes in the Operations on Dynamic Structures - An useful programming technique. - Zongyan Qiu (ACM SIGPLAN Notices, 1997)

Constructing Hardware/Software Interface Using Protocol Converters. - Shengchao Qin; Zongyan Qiu; Jifeng He 001 (APAQS, 2001)

Hardware/Software Partitioning in Verilog. - Shengchao Qin; Jifeng He 001; Zongyan Qiu; Naixiao Zhang (ICFEM, 2002)

An Algebraic Hardware/Software Partitioning Algorithm. - Shengchao Qin; Jifeng He 001; Zongyan Qiu; Naixiao Zhang (J. Comput. Sci. Technol., 2002)

Bit Vector Encoding of N-Queen Problem. - Zongyan Qiu (ACM SIGPLAN Notices, 2002)

The Equivalence of Statecharts. - Quan Long; Zongyan Qiu; Shengchao Qin (ICFEM, 2003)

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. - Geguang Pu; Xiangpeng Zhao; Shuling Wang; Zongyan Qiu; Jifeng He 001; Wang Yi 001 (SEFM, 2004)

Integrating Time and Resource into Circus. - Geguang Pu; Zongyan Qiu; Jifeng He 001 (SBMF, 2004)

Semantics of BPEL4WS-Like Fault and Compensation Handling. - Zongyan Qiu; Shuling Wang; Geguang Pu; Xiangpeng Zhao (FM, 2005)

POST: A Case Study for an Incremental Development in rCOS. - Quan Long; Zongyan Qiu; Zhiming Liu 001; Lingshuang Shao; Jifeng He 001 (ICTAC, 2005)

Towards the Semantics and Verification of BPEL4WS. - Geguang Pu; Xiangpeng Zhao; Shuling Wang; Zongyan Qiu (WLFM@FM, 2005)

Exploring optimal solution to hardware/software partitioning for synchronous model. - Jifeng He 001; Dang Van Hung; Geguang Pu; Zongyan Qiu; Wang Yi 001 (Formal Aspects Comput., 2005)

An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. - Geguang Pu; Jifeng He 001; Zongyan Qiu (DDECS, 2006)

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. - Geguang Pu; Huibiao Zhu; Zongyan Qiu; Shuling Wang; Xiangpeng Zhao; Jifeng He 001 (FMOODS, 2006)

Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. - Geguang Pu; Chong Zhang; Zongyan Qiu; Jifeng He 001; Wang Yi 001 (ICECCS, 2006)

A Type System for the Relational Calculus of Object Systems. - Liang Zhao; Xiangpeng Zhao; Quan Long; Zongyan Qiu (ICECCS, 2006)

Type Checking Choreography Description Language. - Hongli Yang; Xiangpeng Zhao; Zongyan Qiu; Chao Cai 002; Geguang Pu (ICFEM, 2006)

Model Checking Dynamic UML Consistency. - Xiangpeng Zhao; Quan Long; Zongyan Qiu (ICFEM, 2006)

Type Safety for FJ and FGJ. - Shuling Wang; Quan Long; Zongyan Qiu (ICTAC, 2006)

A Formal Model forWeb Service Choreography Description Language (WS-CDL). - Hongli Yang; Xiangpeng Zhao; Zongyan Qiu; Geguang Pu; Shuling Wang (ICWS, 2006)

Patterns with Algebraic Properties in BPEL0. - Geguang Pu; Huibiao Zhu; Jifeng He 001; Zongyan Qiu; Hongli Yang; Xiangpeng Zhao (ISoLA, 2006)

A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. - Geguang Pu; Chong Zhang; Zongyan Qiu; Zuoquan Lin; Jifeng He 001 (KES (1), 2006)

Towards the Formal Model and Verification of Web Service Choreography Description Language. - Xiangpeng Zhao; Hongli Yang; Zongyan Qiu (WS-FM, 2006)

From Statecharts to Verilog: a formal approach to hardware/software co-specification. - Shengchao Qin; Wei-Ngan Chin; Jifeng He 001; Zongyan Qiu (Innov. Syst. Softw. Eng., 2006)

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. - Hongli Yang; Xiangpeng Zhao; Chao Cai 002; Zongyan Qiu (FORTE, 2007)

A QoS View ofWeb Service Choreography. - Xiangpeng Zhao; Chao Cai 002; Hongli Yang; Zongyan Qiu (ICEBE, 2007)

Commutability of Design Pattern Instantiation and Integration. - Jing Dong; Tu Peng; Zongyan Qiu (TASE, 2007)

Towards the theoretical foundation of choreography. - Zongyan Qiu; Xiangpeng Zhao; Chao Cai 002; Hongli Yang (WWW, 2007)

A Formal Model for Channel Passing in Web Service Composition. - Chao Cai 002; Hongli Yang; Xiangpeng Zhao; Zongyan Qiu (IEEE SCC (2), 2008)

Correct Channel Passing by Construction. - Chao Cai 002; Zongyan Qiu; Xiangpeng Zhao; Hongli Yang (ICFEM, 2008)

An Approach to Check Choreography with Channel Passing in WS-CDL. - Chao Cai 002; Zongyan Qiu (ICWS, 2008)

A Formal Model of Human Workflow. - Xiangpeng Zhao; Zongyan Qiu; Chao Cai 002; Hongli Yang (ICWS, 2008)

Formal Use of Design Patterns and Refactoring. - Long Quan; Zongyan Qiu; Zhiming Liu 001 (ISoLA, 2008)

Model-Checking of Web Services Choreography. - Hongli Yang; Xiangpeng Zhao; Chao Cai 002; Zongyan Qiu (SOSE, 2008)

A Generic Model for Confinement and its Application. - Shuling Wang; Zongyan Qiu (TASE, 2008)

Reasoning about Channel Passing in Choreography. - Hongli Yang; Chao Cai 002; Liyang Peng; Xiangpeng Zhao; Zongyan Qiu (TASE, 2008)

Verifying BPEL-like programs with Hoare logic. - Chenguang Luo; Shengchao Qin; Zongyan Qiu (Frontiers Comput. Sci. China, 2008)

Towards Scalable Compositional Test Generation. - Tao Sun; Zheng Wang 005; Geguang Pu; Xiao Yu; Zongyan Qiu; Bin Gu 006 (QSIC, 2009)

Verification of channel passing in choreography with model checking. - Liyang Peng; Chao Cai 002; Zongyan Qiu; Geguang Pu (SOCA, 2009)

A Tool for Estimating Memory Usage. - Shengyi Wang; Zongyan Qiu (TASE, 2009)

Enforcing Constraints on Life Cycles of Business Artifacts. - Xiangpeng Zhao; Jianwen Su; Hongli Yang; Zongyan Qiu (TASE, 2009)

Graph transformations for object-oriented refinement. - Liang Zhao 022; Xiaojian Liu; Zhiming Liu 001; Zongyan Qiu (Formal Aspects Comput., 2009)

Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. - Chao Cai 002; Zongyan Qiu; Hongli Yang; Xiangpeng Zhao (J. Comput. Sci. Technol., 2009)

A Separation Logic for OO Programs. - Yijing Liu; Zongyan Qiu (FACS, 2010)

A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. - Hongli Yang; Liang Zhou; Kang He; Chen Deng; Xiangpeng Zhao; Zongyan Qiu (QSIC, 2010)

A Framework for Integrating Human Processes with Business Artifacts. - Zongyan Qiu; Liyang Peng; Hongli Yang (SOSE, 2010)

Stack Bound Inference for Abstract Java Bytecode. - Shengyi Wang; Zongyan Qiu; Shengchao Qin; Wei-Ngan Chin (TASE, 2010)

A semantic model of confinement and Locality theorem. - Shuling Wang; Qin Shu; Yijing Liu; Zongyan Qiu (Frontiers Comput. Sci. China, 2010)

Generating Scenarios from Web Service Choreography. - Ke Zhang Ke; Zongyan Qiu; Hongli Yang (APSCC, 2011)

Verification of Scalable Synchronous Queue. - Jinjiang Lei; Zongyan Qiu (CPP, 2011)

WP Semantics and Behavioral Subtyping. - Yijing Liu; Zongyan Qiu; Quan Long (ICTAC, 2011)

Analysis of WS-BPEL Processes in PRISM. - Chen Deng; Hongli Yang; Husheng Liao; Meng Sun; Zongyan Qiu (TASE, 2011)

Inheritance and Modularity in Specification and Verification of OO Programs. - Yijing Liu; Ali Hong; Zongyan Qiu (TASE, 2011)

Towards an Axiomatic Verification System for JavaScript. - Shengchao Qin; Aziem Chawdhary; Wei Xiong 007; Malcolm Munro; Zongyan Qiu; Huibiao Zhu (TASE, 2011)

Performance Analysis of Data Gathering Protocol Using PRISM. - Kang He; Hongli Yang; Yachao Feng; Yuan Liu; Zongyan Qiu (ICECCS, 2012)

Modular Verification of OO Programs with Interfaces. - Zongyan Qiu; Ali Hong; Yijing Liu (ICFEM, 2012)

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. - Huibiao Zhu; Qiwen Xu; Chris Ma; Shengchao Qin; Zongyan Qiu (SEFM, 2012)

S2N: Model Transformation from SPIN to NuSMV - (Tool Paper). - Yong Jiang; Zongyan Qiu (SPIN, 2012)

Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. - Ali Hong; Yijing Liu; Zongyan Qiu (FACS, 2013)

Automatic Grammar-Based Test Generation. - Hai-Feng Guo; Zongyan Qiu (ICTSS, 2013)

Confinement framework for encapsulating objects. - Qin Shu; Zongyan Qiu; Shuling Wang (Frontiers Comput. Sci., 2013)

Algorithms for checking channel passing in web service choreography. - Hongli Yang; Chao Cai 002; Liyang Peng; Xiangpeng Zhao; Zongyan Qiu; Shengchao Qin (Frontiers Comput. Sci., 2013)

Modular Reasoning for Message-Passing Programs. - Jinjiang Lei; Zongyan Qiu (ICTAC, 2014)

Automated Test Oracle Generation via Denotational Semantics. - Hai-Feng Guo; Liang Cao; Yushu Song; Zongyan Qiu (QSIC, 2014)

Locating fault-inducing patterns from structural inputs. - Hai-Feng Guo; Zongyan Qiu; Harvey P. Siy (SAC, 2014)

Trace-Based Temporal Verification for Message-Passing Programs. - Jinjiang Lei; Zongyan Qiu; Zhong Shao 001 (TASE, 2014)

Rely-Guarantee Based Reasoning for Message-Passing Programs. - Jinjiang Lei; Zongyan Qiu (Sci. Ann. Comput. Sci., 2014)

Program verification and testing technologies. - Tiziana Margaria; Zongyan Qiu; Hongli Yang (Int. J. Softw. Tools Technol. Transf., 2014)

Go Model and Object Oriented Programming. - Haiyang Liu; Zongyan Qiu (SBLP, 2015)

Verifying Interaction between Methods in Classes. - Tingting Hu; Shuling Wang; Zongyan Qiu (TASE, 2015)

A dynamic stochastic model for automatic grammar-based test generation. - Hai-Feng Guo; Zongyan Qiu (Softw. Pract. Exp., 2015)

Automatic Annotating and Checking of Dynamic Ownership. - Tingting Hu; Haiyang Liu; Ke Zhang; Zongyan Qiu (SBLP, 2016)

Comparison Between Model Fields and Abstract Predicates. - Ke Zhang; Zongyan Qiu (SBLP, 2016)

Coq Implementation of OO Verification Framework VeriJ. - Ke Zhang; Zongyan Qiu (SEFM, 2016)

Identifying XML Schema Constraints Using Temporal Logic. - Ruifang Zhao; Ke Liu; Hongli Yang; Zongyan Qiu (SETTA, 2016)

Automatic fine-grained locking generation for shared data structures. - Haiyang Liu; Tingting Hu; Zongyan Qiu (TASE, 2017)

Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. - Xutong Ma; Jiwei Yan; Wei Wang; Jun Yan 009; Jian Zhang 001; Zongyan Qiu (ASE, 2021)

Detecting Exception Handling Bugs in C++ Programs. - Hao Zhang 008; Ji Luo; Mengze Hu; Jun Yan 009; Jian Zhang 001; Zongyan Qiu (ICSE, 2023)