default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZongyan Qiu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c65]Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu:
Detecting Exception Handling Bugs in C++ Programs. ICSE 2023: 1084-1095- 2021
- [c64]Xutong Ma
, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu:
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. ASE 2021: 880-891
2010 – 2019
- 2017
- [c63]Haiyang Liu, Tingting Hu, Zongyan Qiu:
Automatic fine-grained locking generation for shared data structures. TASE 2017: 1-8 - 2016
- [c62]Tingting Hu, Haiyang Liu, Ke Zhang, Zongyan Qiu:
Automatic Annotating and Checking of Dynamic Ownership. SBLP 2016: 78-94 - [c61]Ke Zhang, Zongyan Qiu:
Comparison Between Model Fields and Abstract Predicates. SBLP 2016: 171-186 - [c60]Ke Zhang, Zongyan Qiu:
Coq Implementation of OO Verification Framework VeriJ. SEFM 2016: 270-276 - [c59]Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu:
Identifying XML Schema Constraints Using Temporal Logic. SETTA 2016: 136-146 - 2015
- [j15]Hai-Feng Guo, Zongyan Qiu:
A dynamic stochastic model for automatic grammar-based test generation. Softw. Pract. Exp. 45(11): 1519-1547 (2015) - [c58]Haiyang Liu, Zongyan Qiu:
Go Model and Object Oriented Programming. SBLP 2015: 59-74 - [c57]Tingting Hu, Shuling Wang, Zongyan Qiu:
Verifying Interaction between Methods in Classes. TASE 2015: 119-126 - 2014
- [j14]Jinjiang Lei, Zongyan Qiu:
Rely-Guarantee Based Reasoning for Message-Passing Programs. Sci. Ann. Comput. Sci. 24(2): 217-252 (2014) - [j13]Tiziana Margaria, Zongyan Qiu, Hongli Yang:
Program verification and testing technologies. Int. J. Softw. Tools Technol. Transf. 16(4): 335-337 (2014) - [c56]Jinjiang Lei, Zongyan Qiu:
Modular Reasoning for Message-Passing Programs. ICTAC 2014: 277-294 - [c55]Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu:
Automated Test Oracle Generation via Denotational Semantics. QSIC 2014: 139-144 - [c54]Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy:
Locating fault-inducing patterns from structural inputs. SAC 2014: 1100-1107 - [c53]Jinjiang Lei, Zongyan Qiu, Zhong Shao:
Trace-Based Temporal Verification for Message-Passing Programs. TASE 2014: 10-17 - 2013
- [j12]Qin Shu, Zongyan Qiu, Shuling Wang:
Confinement framework for encapsulating objects. Frontiers Comput. Sci. 7(2): 236-256 (2013) - [j11]Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin:
Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. 7(5): 710-728 (2013) - [c52]Ali Hong, Yijing Liu, Zongyan Qiu:
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. FACS 2013: 174-195 - [c51]Hai-Feng Guo, Zongyan Qiu:
Automatic Grammar-Based Test Generation. ICTSS 2013: 17-32 - 2012
- [c50]Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu:
Performance Analysis of Data Gathering Protocol Using PRISM. ICECCS 2012: 96-105 - [c49]Zongyan Qiu, Ali Hong, Yijing Liu:
Modular Verification of OO Programs with Interfaces. ICFEM 2012: 151-166 - [c48]Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu:
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM 2012: 172-187 - [c47]Yong Jiang, Zongyan Qiu:
S2N: Model Transformation from SPIN to NuSMV - (Tool Paper). SPIN 2012: 255-260 - [e2]Tiziana Margaria, Zongyan Qiu, Hongli Yang:
Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. IEEE Computer Society 2012, ISBN 978-0-7695-4751-0 [contents] - 2011
- [c46]Ke Zhang Ke, Zongyan Qiu, Hongli Yang:
Generating Scenarios from Web Service Choreography. APSCC 2011: 290-297 - [c45]Jinjiang Lei, Zongyan Qiu:
Verification of Scalable Synchronous Queue. CPP 2011: 247-263 - [c44]Yijing Liu, Zongyan Qiu, Quan Long:
WP Semantics and Behavioral Subtyping. ICTAC 2011: 154-172 - [c43]Yijing Liu, Ali Hong, Zongyan Qiu:
Inheritance and Modularity in Specification and Verification of OO Programs. TASE 2011: 19-26 - [c42]Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu:
Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141 - [c41]Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu:
Analysis of WS-BPEL Processes in PRISM. TASE 2011: 199-202 - [e1]Shengchao Qin, Zongyan Qiu:
Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Lecture Notes in Computer Science 6991, Springer 2011, ISBN 978-3-642-24558-9 [contents] - 2010
- [j10]Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu:
A semantic model of confinement and Locality theorem. Frontiers Comput. Sci. China 4(1): 28-46 (2010) - [c40]Yijing Liu, Zongyan Qiu:
A Separation Logic for OO Programs. FACS 2010: 88-105 - [c39]Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu:
A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. QSIC 2010: 441-448 - [c38]Zongyan Qiu, Liyang Peng, Hongli Yang:
A Framework for Integrating Human Processes with Business Artifacts. SOSE 2010: 252-259 - [c37]Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin:
Stack Bound Inference for Abstract Java Bytecode. TASE 2010: 57-66
2000 – 2009
- 2009
- [j9]Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu:
Graph transformations for object-oriented refinement. Formal Aspects Comput. 21(1-2): 103-131 (2009) - [j8]Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao:
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. J. Comput. Sci. Technol. 24(2): 238-249 (2009) - [c36]Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu:
Towards Scalable Compositional Test Generation. QSIC 2009: 353-358 - [c35]Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu:
Verification of channel passing in choreography with model checking. SOCA 2009: 1-5 - [c34]Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu:
Enforcing Constraints on Life Cycles of Business Artifacts. TASE 2009: 111-118 - [c33]Shengyi Wang, Zongyan Qiu:
A Tool for Estimating Memory Usage. TASE 2009: 287-288 - 2008
- [j7]Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-like programs with Hoare logic. Frontiers Comput. Sci. China 2(4): 344-356 (2008) - [c32]Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu:
A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) 2008: 495-496 - [c31]Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang:
Correct Channel Passing by Construction. ICFEM 2008: 338-354 - [c30]Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang:
A Formal Model of Human Workflow. ICWS 2008: 195-202 - [c29]Chao Cai, Zongyan Qiu:
An Approach to Check Choreography with Channel Passing in WS-CDL. ICWS 2008: 700-707 - [c28]Long Quan, Zongyan Qiu, Zhiming Liu:
Formal Use of Design Patterns and Refactoring. ISoLA 2008: 323-338 - [c27]Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu:
Model-Checking of Web Services Choreography. SOSE 2008: 79-84 - [c26]Shuling Wang, Zongyan Qiu:
A Generic Model for Confinement and its Application. TASE 2008: 57-64 - [c25]Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu:
Reasoning about Channel Passing in Choreography. TASE 2008: 135-142 - [c24]Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-Like Programs with Hoare Logic. TASE 2008: 151-158 - 2007
- [c23]Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu:
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. FORTE 2007: 81-96 - [c22]Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu:
A QoS View ofWeb Service Choreography. ICEBE 2007: 607-611 - [c21]Jing Dong, Tu Peng, Zongyan Qiu:
Commutability of Design Pattern Instantiation and Integration. TASE 2007: 283-292 - [c20]Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang:
Towards the theoretical foundation of choreography. WWW 2007: 973-982 - 2006
- [j6]Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu:
From Statecharts to Verilog: a formal approach to hardware/software co-specification. Innov. Syst. Softw. Eng. 2(1): 17-38 (2006) - [c19]Geguang Pu, Jifeng He, Zongyan Qiu:
An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS 2006: 151-152 - [c18]Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He:
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS 2006: 251-266 - [c17]Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi:
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138 - [c16]Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu:
A Type System for the Relational Calculus of Object Systems. ICECCS 2006: 189-198 - [c15]Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu:
Type Checking Choreography Description Language. ICFEM 2006: 264-283 - [c14]Xiangpeng Zhao, Quan Long, Zongyan Qiu:
Model Checking Dynamic UML Consistency. ICFEM 2006: 440-459 - [c13]Shuling Wang, Quan Long, Zongyan Qiu:
Type Safety for FJ and FGJ. ICTAC 2006: 257-271 - [c12]Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang:
A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894 - [c11]Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao:
Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370 - [c10]Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He:
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. KES (1) 2006: 459-466 - [c9]Xiangpeng Zhao, Hongli Yang, Zongyan Qiu:
Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM 2006: 273-287 - 2005
- [j5]Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi:
Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Aspects Comput. 17(4): 443-460 (2005) - [c8]Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao:
Semantics of BPEL4WS-Like Fault and Compensation Handling. FM 2005: 350-365 - [c7]Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He:
POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500 - [c6]Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu:
Towards the Semantics and Verification of BPEL4WS. WLFM@FM 2005: 33-52 - 2004
- [c5]Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi:
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM 2004: 376-385 - [c4]Geguang Pu, Zongyan Qiu, Jifeng He:
Integrating Time and Resource into Circus. SBMF 2004: 401-418 - 2003
- [c3]Quan Long, Zongyan Qiu, Shengchao Qin:
The Equivalence of Statecharts. ICFEM 2003: 125-143 - 2002
- [j4]Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang:
An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17(3): 284-294 (2002) - [j3]Zongyan Qiu:
Bit Vector Encoding of N-Queen Problem. ACM SIGPLAN Notices 37(2): 68-70 (2002) - [c2]Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang:
Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179 - 2001
- [c1]Shengchao Qin, Zongyan Qiu, Jifeng He:
Constructing Hardware/Software Interface Using Protocol Converters. APAQS 2001: 141-148
1990 – 1999
- 1997
- [j2]Naixiao Zhang, Hongjun Zheng, Zongyan Qiu:
Garment: A Mechanism for Abstraction and Encapsulation of Languages. ACM SIGPLAN Notices 32(6): 53-60 (1997) - [j1]Zongyan Qiu:
Static Head Nodes in the Operations on Dynamic Structures - An useful programming technique. ACM SIGPLAN Notices 32(9): 68-71 (1997)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
