Zongyan Qiu

2009
35	EE	Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu: Graph transformations for object-oriented refinement. Formal Asp. Comput. 21(1-2): 103-131 (2009)
2008
34	EE	Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang: Correct Channel Passing by Construction. ICFEM 2008: 338-354
33	EE	Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang: A Formal Model of Human Workflow. ICWS 2008: 195-202
32	EE	Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu: A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) 2008: 495-496
31	EE	Long Quan, Zongyan Qiu, Zhiming Liu: Formal Use of Design Patterns and Refactoring. ISoLA 2008: 323-338
30	EE	Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu: Reasoning about Channel Passing in Choreography. TASE 2008: 135-142
29	EE	Chenguang Luo, Shengchao Qin, Zongyan Qiu: Verifying BPEL-Like Programs with Hoare Logic. TASE 2008: 151-158
28	EE	Shuling Wang, Zongyan Qiu: A Generic Model for Confinement and its Application. TASE 2008: 57-64
27	EE	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
26	EE	Jing Dong, Tu Peng, Zongyan Qiu: Commutability of Design Pattern Instantiation and Integration. TASE 2007: 283-292
25	EE	Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang: Towards the theoretical foundation of choreography. WWW 2007: 973-982
2006
24		Geguang Pu, Jifeng He, Zongyan Qiu: An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS 2006: 151-152
23	EE	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
22	EE	Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi: Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138
21	EE	Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu: A Type System for the Relational Calculus of Object Systems. ICECCS 2006: 189-198
20	EE	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu: Type Checking Choreography Description Language. ICFEM 2006: 264-283
19	EE	Xiangpeng Zhao, Quan Long, Zongyan Qiu: Model Checking Dynamic UML Consistency. ICFEM 2006: 440-459
18	EE	Shuling Wang, Quan Long, Zongyan Qiu: Type Safety for FJ and FGJ. ICTAC 2006: 257-271
17	EE	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang: A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894
16	EE	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	EE	Xiangpeng Zhao, Hongli Yang, Zongyan Qiu: Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM 2006: 273-287
14	EE	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	EE	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	EE	Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao: Semantics of BPEL4WS-Like Fault and Compensation Handling. FM 2005: 350-365
11	EE	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	EE	Geguang Pu, Zongyan Qiu, Jifeng He: Integrating Time and Resource into Circus. Electr. Notes Theor. Comput. Sci. 130: 401-418 (2005)
9	EE	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	EE	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	EE	Quan Long, Zongyan Qiu, Shengchao Qin: The Equivalence of Statecharts. ICFEM 2003: 125-143
2002
6	EE	Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179
5	EE	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	EE	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	[20] [25] [30] [32] [33] [34]
2	Wei-Ngan Chin	[13]
3	Jing Dong	[26]
4	Jifeng He	[3] [5] [6] [8] [9] [10] [11] [13] [16] [22] [23] [24]
5	Dang Van Hung	[9]
6	Zuoquan Lin	[16]
7	Xiaojian Liu	[35]
8	Zhiming Liu	[11] [31] [35]
9	Quan Long	[7] [11] [18] [19] [21]
10	Chenguang Luo	[27] [29]
11	Liyang Peng	[30]
12	Tu Peng	[26]
13	Geguang Pu	[8] [9] [10] [12] [14] [16] [17] [20] [22] [23] [24]
14	Shengchao Qin	[3] [5] [6] [7] [13] [27] [29]
15	Long Quan	[31]
16	Lingshuang Shao	[11]
17	Shuling Wang	[8] [12] [14] [17] [18] [23] [28]
18	Hongli Yang	[15] [17] [20] [25] [30] [32] [33] [34]
19	Wang Yi	[8] [9] [22]
20	Chong Zhang	[16] [22]
21	Naixiao Zhang	[2] [5] [6]
22	Liang Zhao	[21] [35]
23	Xiangpeng Zhao	[8] [12] [14] [15] [17] [19] [20] [21] [23] [25] [30] [32] [33] [34]
24	Hongjun Zheng	[2]
25	Huibiao Zhu	[23]

Colors in the list of coauthors