Zongyan Qiu

According to our database, Zongyan Qiu authored at least 79 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Detecting Exception Handling Bugs in C++ Programs.

Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2021

Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers.

Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2017

Automatic fine-grained locking generation for shared data structures.

Haiyang Liu, Tingting Hu, Zongyan Qiu

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

2016

Identifying XML Schema Constraints Using Temporal Logic.

Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Coq Implementation of OO Verification Framework VeriJ.

Ke Zhang, Zongyan Qiu

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Comparison Between Model Fields and Abstract Predicates.

Ke Zhang, Zongyan Qiu

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

Automatic Annotating and Checking of Dynamic Ownership.

Tingting Hu, Haiyang Liu, Ke Zhang, Zongyan Qiu

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2015

A dynamic stochastic model for automatic grammar-based test generation.

Hai-Feng Guo, Zongyan Qiu

Softw. Pract. Exp., 2015

Verifying Interaction between Methods in Classes.

Tingting Hu, Shuling Wang, Zongyan Qiu

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Go Model and Object Oriented Programming.

Haiyang Liu, Zongyan Qiu

Proceedings of the Programming Languages, 2015

2014

Program verification and testing technologies.

Tiziana Margaria, Zongyan Qiu, Hongli Yang

Int. J. Softw. Tools Technol. Transf., 2014

Rely-Guarantee Based Reasoning for Message-Passing Programs.

Jinjiang Lei, Zongyan Qiu

Sci. Ann. Comput. Sci., 2014

Trace-Based Temporal Verification for Message-Passing Programs.

Jinjiang Lei, Zongyan Qiu, Zhong Shao

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Locating fault-inducing patterns from structural inputs.

Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy

Proceedings of the Symposium on Applied Computing, 2014

Automated Test Oracle Generation via Denotational Semantics.

Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Modular Reasoning for Message-Passing Programs.

Jinjiang Lei, Zongyan Qiu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Algorithms for checking channel passing in web service choreography.

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin

Frontiers Comput. Sci., 2013

Confinement framework for encapsulating objects.

Qin Shu, Zongyan Qiu, Shuling Wang

Frontiers Comput. Sci., 2013

Automatic Grammar-Based Test Generation.

Hai-Feng Guo, Zongyan Qiu

Proceedings of the Testing Software and Systems, 2013

Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components.

Ali Hong, Yijing Liu, Zongyan Qiu

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012

S2N: Model Transformation from SPIN to NuSMV - (Tool Paper).

Yong Jiang, Zongyan Qiu

Proceedings of the Model Checking Software - 19th International Workshop, 2012

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.

Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Modular Verification of OO Programs with Interfaces.

Zongyan Qiu, Ali Hong, Yijing Liu

Proceedings of the Formal Methods and Software Engineering, 2012

Performance Analysis of Data Gathering Protocol Using PRISM.

Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Towards an Axiomatic Verification System for JavaScript.

Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Inheritance and Modularity in Specification and Verification of OO Programs.

Yijing Liu, Ali Hong, Zongyan Qiu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Analysis of WS-BPEL Processes in PRISM.

Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

WP Semantics and Behavioral Subtyping.

Yijing Liu, Zongyan Qiu, Quan Long

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Verification of Scalable Synchronous Queue.

Jinjiang Lei, Zongyan Qiu

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

Generating Scenarios from Web Service Choreography.

Ke Zhang Ke, Zongyan Qiu, Hongli Yang

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010

A semantic model of confinement and Locality theorem.

Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu

Frontiers Comput. Sci. China, 2010

Stack Bound Inference for Abstract Java Bytecode.

Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Framework for Integrating Human Processes with Business Artifacts.

Zongyan Qiu, Liyang Peng, Hongli Yang

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.

Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu

Proceedings of the 10th International Conference on Quality Software, 2010

A Separation Logic for OO Programs.

Yijing Liu, Zongyan Qiu

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.

Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao

J. Comput. Sci. Technol., 2009

Graph transformations for object-oriented refinement.

Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu

Formal Aspects Comput., 2009

Enforcing Constraints on Life Cycles of Business Artifacts.

Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu

Proceedings of the TASE 2009, 2009

A Tool for Estimating Memory Usage.

Shengyi Wang, Zongyan Qiu

Proceedings of the TASE 2009, 2009

Verification of channel passing in choreography with model checking.

Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Towards Scalable Compositional Test Generation.

Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu

Proceedings of the Ninth International Conference on Quality Software, 2009

2008

Verifying BPEL-like programs with Hoare logic.

Chenguang Luo, Shengchao Qin, Zongyan Qiu

Frontiers Comput. Sci. China, 2008

Reasoning about Channel Passing in Choreography.

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

A Generic Model for Confinement and its Application.

Shuling Wang, Zongyan Qiu

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Model-Checking of Web Services Choreography.

Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

Formal Use of Design Patterns and Refactoring.

Long Quan, Zongyan Qiu, Zhiming Liu

Proceedings of the Leveraging Applications of Formal Methods, 2008

A Formal Model of Human Workflow.

Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

An Approach to Check Choreography with Channel Passing in WS-CDL.

Chao Cai, Zongyan Qiu

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Correct Channel Passing by Construction.

Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang

Proceedings of the Formal Methods and Software Engineering, 2008

A Formal Model for Channel Passing in Web Service Composition.

Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu

Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007

Towards the theoretical foundation of choreography.

Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang

Proceedings of the 16th International Conference on World Wide Web, 2007

Commutability of Design Pattern Instantiation and Integration.

Jing Dong, Tu Peng, Zongyan Qiu

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A QoS View ofWeb Service Choreography.

Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu

Proceedings of ICEBE 2007, 2007

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.

Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

From Statecharts to Verilog: a formal approach to hardware/software co-specification.

Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu

Innov. Syst. Softw. Eng., 2006

Towards the Formal Model and Verification of Web Service Choreography Description Language.

Xiangpeng Zhao, Hongli Yang, Zongyan Qiu

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.

Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Patterns with Algebraic Properties in BPEL0.

Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao

Proceedings of the Leveraging Applications of Formal Methods, 2006

A Formal Model forWeb Service Choreography Description Language (WS-CDL).

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Type Safety for FJ and FGJ.

Shuling Wang, Quan Long, Zongyan Qiu

Proceedings of the Theoretical Aspects of Computing, 2006

Model Checking Dynamic UML Consistency.

Xiangpeng Zhao, Quan Long, Zongyan Qiu

Proceedings of the Formal Methods and Software Engineering, 2006

Type Checking Choreography Description Language.

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu

Proceedings of the Formal Methods and Software Engineering, 2006

A Type System for the Relational Calculus of Object Systems.

Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning.

Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.

Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem.

Geguang Pu, Jifeng He, Zongyan Qiu

Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

2005

Exploring optimal solution to hardware/software partitioning for synchronous model.

Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi

Formal Aspects Comput., 2005

Towards the Semantics and Verification of BPEL4WS.

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

POST: A Case Study for an Incremental Development in rCOS.

Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He

Proceedings of the Theoretical Aspects of Computing, 2005

Semantics of BPEL4WS-Like Fault and Compensation Handling.

Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao

Proceedings of the FM 2005: Formal Methods, 2005

2004

Integrating Time and Resource into <i>Circus</i>.

Geguang Pu, Zongyan Qiu, Jifeng He

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003

The Equivalence of Statecharts.

Quan Long, Zongyan Qiu, Shengchao Qin

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Bit Vector Encoding of N-Queen Problem.

Zongyan Qiu

ACM SIGPLAN Notices, 2002

An Algebraic Hardware/Software Partitioning Algorithm.

Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang

J. Comput. Sci. Technol., 2002

Hardware/Software Partitioning in Verilog.

Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang

Proceedings of the Formal Methods and Software Engineering, 2002

2001

Constructing Hardware/Software Interface Using Protocol Converters.

Shengchao Qin, Zongyan Qiu, Jifeng He

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

1997

Static Head Nodes in the Operations on Dynamic Structures - An useful programming technique.

Zongyan Qiu

ACM SIGPLAN Notices, 1997

Garment: A Mechanism for Abstraction and Encapsulation of Languages.

Naixiao Zhang, Hongjun Zheng, Zongyan Qiu

ACM SIGPLAN Notices, 1997