Zongyan Qiu

82 papers A* 3A 3B 8C 17Misc 16Journal 15Unranked 20
YearRankTypeTitle / Venue / Authors
2023 A* conf
Detecting Exception Handling Bugs in C++ Programs.
ICSE
Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu
2021 A* conf
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers.
ASE
Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu
2017 Misc conf
Automatic fine-grained locking generation for shared data structures.
TASE
Haiyang Liu, Tingting Hu, Zongyan Qiu
2016 — conf
Automatic Annotating and Checking of Dynamic Ownership.
SBLP
Tingting Hu, Haiyang Liu, Ke Zhang, Zongyan Qiu
2016 — conf
Comparison Between Model Fields and Abstract Predicates.
SBLP
Ke Zhang, Zongyan Qiu
2016 B conf
Coq Implementation of OO Verification Framework VeriJ.
SEFM
Ke Zhang, Zongyan Qiu
2016 Misc conf
Identifying XML Schema Constraints Using Temporal Logic.
SETTA
Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu
2015 J jnl
A dynamic stochastic model for automatic grammar-based test generation.
Softw. Pract. Exp.
Hai-Feng Guo, Zongyan Qiu
2015 — conf
Go Model and Object Oriented Programming.
SBLP
Haiyang Liu, Zongyan Qiu
2015 Misc conf
Verifying Interaction between Methods in Classes.
TASE
Tingting Hu, Shuling Wang, Zongyan Qiu
2014 — conf
Automated Test Oracle Generation via Denotational Semantics.
QSIC
Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu
2014 Misc conf
Locating fault-inducing patterns from structural inputs.
SAC
Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy
2014 C conf
Modular Reasoning for Message-Passing Programs.
ICTAC
Jinjiang Lei, Zongyan Qiu
2014 J jnl
Program verification and testing technologies.
Int. J. Softw. Tools Technol. Transf.
Tiziana Margaria, Zongyan Qiu, Hongli Yang
2014 J jnl
Rely-Guarantee Based Reasoning for Message-Passing Programs.
Sci. Ann. Comput. Sci.
Jinjiang Lei, Zongyan Qiu
2014 Misc conf
Trace-Based Temporal Verification for Message-Passing Programs.
TASE
Jinjiang Lei, Zongyan Qiu, Zhong Shao
2013 J jnl
Algorithms for checking channel passing in web service choreography.
Frontiers Comput. Sci.
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin
2013 C conf
Automatic Grammar-Based Test Generation.
ICTSS
Hai-Feng Guo, Zongyan Qiu
2013 — conf
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components.
FACS
Ali Hong, Yijing Liu, Zongyan Qiu
2013 J jnl
Confinement framework for encapsulating objects.
Frontiers Comput. Sci.
Qin Shu, Zongyan Qiu, Shuling Wang
2012 C conf
Modular Verification of OO Programs with Interfaces.
ICFEM
Zongyan Qiu, Ali Hong, Yijing Liu
2012 B conf
Performance Analysis of Data Gathering Protocol Using PRISM.
ICECCS
Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu
2012 — conf
S2N: Model Transformation from SPIN to NuSMV - (Tool Paper).
SPIN
Yong Jiang, Zongyan Qiu
2012 Misc ed.
Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China
TASE
Tiziana Margaria, Zongyan Qiu, Hongli Yang
2012 B conf
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.
SEFM
Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu
2011 Misc conf
Analysis of WS-BPEL Processes in PRISM.
TASE
Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu
2011 C ed.
Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
ICFEM
Shengchao Qin, Zongyan Qiu
2011 C conf
Generating Scenarios from Web Service Choreography.
APSCC
Ke Zhang Ke, Zongyan Qiu, Hongli Yang
2011 Misc conf
Inheritance and Modularity in Specification and Verification of OO Programs.
TASE
Yijing Liu, Ali Hong, Zongyan Qiu
2011 Misc conf
Towards an Axiomatic Verification System for JavaScript.
TASE
Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu
2011 B conf
Verification of Scalable Synchronous Queue.
CPP
Jinjiang Lei, Zongyan Qiu
2011 C conf
WP Semantics and Behavioral Subtyping.
ICTAC
Yijing Liu, Zongyan Qiu, Quan Long
2010 — conf
A Framework for Integrating Human Processes with Business Artifacts.
SOSE
Zongyan Qiu, Liyang Peng, Hongli Yang
2010 — conf
A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.
QSIC
Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu
2010 — conf
A Separation Logic for OO Programs.
FACS
Yijing Liu, Zongyan Qiu
2010 J jnl
A semantic model of confinement and Locality theorem.
Frontiers Comput. Sci. China
Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu
2010 Misc conf
Stack Bound Inference for Abstract Java Bytecode.
TASE
Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin
2009 Misc conf
A Tool for Estimating Memory Usage.
TASE
Shengyi Wang, Zongyan Qiu
2009 Misc conf
Enforcing Constraints on Life Cycles of Business Artifacts.
TASE
Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu
2009 J jnl
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.
J. Comput. Sci. Technol.
Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
2009 J jnl
Graph transformations for object-oriented refinement.
Formal Aspects Comput.
Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu
2009 — conf
Towards Scalable Compositional Test Generation.
QSIC
Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu
2009 — conf
Verification of channel passing in choreography with model checking.
SOCA
Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu
2008 — conf
A Formal Model for Channel Passing in Web Service Composition.
IEEE SCC (2)
Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu
2008 A conf
A Formal Model of Human Workflow.
ICWS
Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
2008 Misc conf
A Generic Model for Confinement and its Application.
TASE
Shuling Wang, Zongyan Qiu
2008 A conf
An Approach to Check Choreography with Channel Passing in WS-CDL.
ICWS
Chao Cai, Zongyan Qiu
2008 C conf
Correct Channel Passing by Construction.
ICFEM
Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang
2008 C conf
Formal Use of Design Patterns and Refactoring.
ISoLA
Long Quan, Zongyan Qiu, Zhiming Liu
2008 — conf
Model-Checking of Web Services Choreography.
SOSE
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
2008 Misc conf
Reasoning about Channel Passing in Choreography.
TASE
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu
2008 Misc conf
Verifying BPEL-Like Programs with Hoare Logic.
TASE
Chenguang Luo, Shengchao Qin, Zongyan Qiu
2008 J jnl
Verifying BPEL-like programs with Hoare logic.
Frontiers Comput. Sci. China
Chenguang Luo, Shengchao Qin, Zongyan Qiu
2007 — conf
A QoS View ofWeb Service Choreography.
ICEBE
Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu
2007 Misc conf
Commutability of Design Pattern Instantiation and Integration.
TASE
Jing Dong, Tu Peng, Zongyan Qiu
2007 C conf
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.
FORTE
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
2007 A* conf
Towards the theoretical foundation of choreography.
WWW
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
2006 A conf
A Formal Model forWeb Service Choreography Description Language (WS-CDL).
ICWS
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang
2006 — conf
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.
KES (1)
Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He
2006 B conf
A Type System for the Relational Calculus of Object Systems.
ICECCS
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
2006 C conf
An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem.
DDECS
Geguang Pu, Jifeng He, Zongyan Qiu
2006 J jnl
From Statecharts to Verilog: a formal approach to hardware/software co-specification.
Innov. Syst. Softw. Eng.
Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu
2006 B conf
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning.
ICECCS
Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi
2006 C conf
Model Checking Dynamic UML Consistency.
ICFEM
Xiangpeng Zhao, Quan Long, Zongyan Qiu
2006 C conf
Patterns with Algebraic Properties in BPEL0.
ISoLA
Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
2006 — conf
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.
FMOODS
Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
2006 — conf
Towards the Formal Model and Verification of Web Service Choreography Description Language.
WS-FM
Xiangpeng Zhao, Hongli Yang, Zongyan Qiu
2006 C conf
Type Checking Choreography Description Language.
ICFEM
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
2006 C conf
Type Safety for FJ and FGJ.
ICTAC
Shuling Wang, Quan Long, Zongyan Qiu
2005 J jnl
Exploring optimal solution to hardware/software partitioning for synchronous model.
Formal Aspects Comput.
Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
2005 C conf
POST: A Case Study for an Incremental Development in rCOS.
ICTAC
Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He
2005 B conf
Semantics of BPEL4WS-Like Fault and Compensation Handling.
FM
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao
2005 — conf
Towards the Semantics and Verification of BPEL4WS.
WLFM@FM
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
2004 B conf
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
SEFM
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi
2004 — conf
Integrating Time and Resource into
SBMF
Geguang Pu, Zongyan Qiu, Jifeng He
2003 C conf
The Equivalence of Statecharts.
ICFEM
Quan Long, Zongyan Qiu, Shengchao Qin
2002 J jnl
An Algebraic Hardware/Software Partitioning Algorithm.
J. Comput. Sci. Technol.
Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
2002 J jnl
Bit Vector Encoding of N-Queen Problem.
ACM SIGPLAN Notices
Zongyan Qiu
2002 C conf
Hardware/Software Partitioning in Verilog.
ICFEM
Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
2001 — conf
Constructing Hardware/Software Interface Using Protocol Converters.
APAQS
Shengchao Qin, Zongyan Qiu, Jifeng He
1997 J jnl
Garment: A Mechanism for Abstraction and Encapsulation of Languages.
ACM SIGPLAN Notices
Naixiao Zhang, Hongjun Zheng, Zongyan Qiu
1997 J jnl
Static Head Nodes in the Operations on Dynamic Structures - An useful programming technique.
ACM SIGPLAN Notices
Zongyan Qiu