Zongyan Qiu

	2011
57		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 Springer 2011
56		Ke Zhang Ke, Zongyan Qiu, Hongli Yang: Generating Scenarios from Web Service Choreography. APSCC 2011: 290-297
55		Jinjiang Lei, Zongyan Qiu: Verification of Scalable Synchronous Queue. CPP 2011: 247-263
54		Yijing Liu, Zongyan Qiu, Quan Long: WP Semantics and Behavioral Subtyping. ICTAC 2011: 154-172
53		Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu: Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141
52		Yijing Liu, Ali Hong, Zongyan Qiu: Inheritance and Modularity in Specification and Verification of OO Programs. TASE 2011: 19-26
51		Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu: Analysis of WS-BPEL Processes in PRISM. TASE 2011: 199-202
	2010
50		Yijing Liu, Zongyan Qiu: A Separation Logic for OO Programs. FACS 2010: 88-105
49		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
48		Zongyan Qiu, Liyang Peng, Hongli Yang: A Framework for Integrating Human Processes with Business Artifacts. SOSE 2010: 252-259
47		Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin: Stack Bound Inference for Abstract Java Bytecode. TASE 2010: 57-66
46		Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu: A semantic model of confinement and Locality theorem. Frontiers of Computer Science in China 4(1): 28-46 (2010)
	2009
45		Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu: Towards Scalable Compositional Test Generation. QSIC 2009: 353-358
44		Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu: Verification of channel passing in choreography with model checking. SOCA 2009: 1-5
43		Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu: Enforcing Constraints on Life Cycles of Business Artifacts. TASE 2009: 111-118
42		Shengyi Wang, Zongyan Qiu: A Tool for Estimating Memory Usage. TASE 2009: 287-288
41		Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu: Graph transformations for object-oriented refinement. Formal Asp. Comput. 21(1-2): 103-131 (2009)
40		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)
	2008
39		Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang: Correct Channel Passing by Construction. ICFEM 2008: 338-354
38		Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang: A Formal Model of Human Workflow. ICWS 2008: 195-202
37		Chao Cai, Zongyan Qiu: An Approach to Check Choreography with Channel Passing in WS-CDL. ICWS 2008: 700-707
36		Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu: A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) 2008: 495-496
35		Long Quan, Zongyan Qiu, Zhiming Liu: Formal Use of Design Patterns and Refactoring. ISoLA 2008: 323-338
34		Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu: Model-Checking of Web Services Choreography. SOSE 2008: 79-84
33		Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu: Reasoning about Channel Passing in Choreography. TASE 2008: 135-142
32		Chenguang Luo, Shengchao Qin, Zongyan Qiu: Verifying BPEL-Like Programs with Hoare Logic. TASE 2008: 151-158
31		Shuling Wang, Zongyan Qiu: A Generic Model for Confinement and its Application. TASE 2008: 57-64
30		Chenguang Luo, Shengchao Qin, Zongyan Qiu: Verifying BPEL-like programs with Hoare logic. Frontiers of Computer Science in China 2(4): 344-356 (2008)
	2007
29		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
28		Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu: A QoS View ofWeb Service Choreography. ICEBE 2007: 607-611
27		Jing Dong, Tu Peng, Zongyan Qiu: Commutability of Design Pattern Instantiation and Integration. TASE 2007: 283-292
26		Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang: Towards the theoretical foundation of choreography. WWW 2007: 973-982
	2006
25		Geguang Pu, Jifeng He, Zongyan Qiu: An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS 2006: 151-152
24		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
23		Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi: Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138
22		Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu: A Type System for the Relational Calculus of Object Systems. ICECCS 2006: 189-198
21		Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu: Type Checking Choreography Description Language. ICFEM 2006: 264-283
20		Xiangpeng Zhao, Quan Long, Zongyan Qiu: Model Checking Dynamic UML Consistency. ICFEM 2006: 440-459
19		Shuling Wang, Quan Long, Zongyan Qiu: Type Safety for FJ and FGJ. ICTAC 2006: 257-271
18		Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang: A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894
17		Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370
16		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
15		Xiangpeng Zhao, Hongli Yang, Zongyan Qiu: Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM 2006: 273-287
14		Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu: Towards the Semantics and Verification of BPEL4WS. Electr. Notes Theor. Comput. Sci. 151(2): 33-52 (2006)
13		Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu: From Statecharts to Verilog: a formal approach to hardware/software co-specification. ISSE 2(1): 17-38 (2006)
	2005
12		Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao: Semantics of BPEL4WS-Like Fault and Compensation Handling. FM 2005: 350-365
11		Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He: POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500
10		Geguang Pu, Zongyan Qiu, Jifeng He: Integrating Time and Resource into Circus. Electr. Notes Theor. Comput. Sci. 130: 401-418 (2005)
9		Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi: Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Asp. Comput. 17(4): 443-460 (2005)
	2004
8		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
	2003
7		Quan Long, Zongyan Qiu, Shengchao Qin: The Equivalence of Statecharts. ICFEM 2003: 125-143
	2002
6		Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179
5		Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17(3): 284-294 (2002)
4		Zongyan Qiu: Bit Vector Encoding of N-Queen Problem. SIGPLAN Notices 37(2): 68-70 (2002)
	2001
3		Shengchao Qin, Zongyan Qiu, Jifeng He: Constructing Hardware/Software Interface Using Protocol Converters. APAQS 2001: 141-148
	1997
2		Naixiao Zhang, Hongjun Zheng, Zongyan Qiu: Garment: A Mechanism for Abstraction and Encapsulation of Languages. SIGPLAN Notices 32(6): 53-60 (1997)
1		Zongyan Qiu: Static Head Nodes in the Operations on Dynamic Structures - An useful programming technique. SIGPLAN Notices 32(9): 68-71 (1997)

Coauthor Index

1	Chao Cai	[21] [26] [28] [29] [33] [34] [36] [37] [38] [39] [40] [44]
2	Aziem Chawdhary	[53]
3	Wei-Ngan Chin	[13] [47]
4	Chen Deng	[49] [51]
5	Jing Dong	[27]
6	Bin Gu	[45]
7	Jifeng He	[3] [5] [6] [8] [9] [10] [11] [13] [16] [17] [23] [24] [25]
8	Kang He	[49]
9	Ali Hong	[52]
10	Dang Van Hung	[9]
11	Ke Zhang Ke	[56]
12	Jinjiang Lei	[55]
13	Husheng Liao	[51]
14	Zuoquan Lin	[16]
15	Xiaojian Liu	[41]
16	Yijing Liu	[46] [50] [52] [54]
17	Zhiming Liu	[11] [35] [41]
18	Quan Long	[7] [11] [19] [20] [22] [54]
19	Chenguang Luo	[30] [32]
20	Malcolm Munro	[53]
21	Liyang Peng	[33] [44] [48]
22	Tu Peng	[27]
23	Geguang Pu	[8] [9] [10] [12] [14] [16] [17] [18] [21] [23] [24] [25] [44] [45]
24	Shengchao Qin	[3] [5] [6] [7] [13] [30] [32] [47] [53] [57]
25	Long Quan	[35]
26	Lingshuang Shao	[11]
27	Qin Shu	[46]
28	Jianwen Su	[43]
29	Meng Sun	[51]
30	Tao Sun	[45]
31	Shengyi Wang	[42] [47]
32	Shuling Wang	[8] [12] [14] [18] [19] [24] [31] [46]
33	Zheng Wang	[45]
34	Wei Xiong	[53]
35	Hongli Yang	[15] [17] [18] [21] [26] [28] [29] [33] [34] [36] [38] [39] [40] [43] [48] [49] [51] [56]
36	Wang Yi	[8] [9] [23]
37	Xiao Yu	[45]
38	Chong Zhang	[16] [23]
39	Naixiao Zhang	[2] [5] [6]
40	Liang Zhao	[22] [41]
41	Xiangpeng Zhao	[8] [12] [14] [15] [17] [18] [20] [21] [22] [24] [26] [28] [29] [33] [34] [36] [38] [39] [40] [43] [49]
42	Hongjun Zheng	[2]
43	Liang Zhou	[49]
44	Huibiao Zhu	[17] [24] [53]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page