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) |