| 2008 |
|---|
| 27 | EE | Jing Li,
Huibiao Zhu,
Jifeng He:
Specifying and Verifying Web Transactions.
FORTE 2008: 149-168 |
| 26 | EE | Qin Li,
Huibiao Zhu,
Jifeng He:
Towards the Service Composition Through Buses.
HASE 2008: 441-444 |
| 25 | EE | Geguang Pu,
Yongxin Zhao,
Zheng Wang,
Libo Feng,
Huibiao Zhu,
Jifeng He:
A Denotational Model for Web Services Choreography.
ICDCIT 2008: 1-12 |
| 24 | EE | Jing Li,
Huibiao Zhu,
Jifeng He:
An Observational Model for Transactional Calculus of Services Orchestration.
ICTAC 2008: 201-215 |
| 23 | EE | Naiyong Jin,
Huibiao Zhu:
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.
ISoLA 2008: 237-251 |
| 2007 |
|---|
| 22 | EE | Yi Qian,
Yuming Xu,
Zheng Wang,
Geguang Pu,
Huibiao Zhu,
Chao Cai:
Tool Support for BPEL Verification in ActiveBPEL Engine.
ASWEC 2007: 90-100 |
| 21 | EE | Huibiao Zhu,
Jifeng He,
Jing Li:
Unifying Denotational Semantics with Operational Semantics for Web Services.
ICDCIT 2007: 225-239 |
| 20 | EE | Jing Li,
Huibiao Zhu,
Geguang Pu,
Jifeng He:
A Formal Model for Compensable Transactions.
ICECCS 2007: 64-73 |
| 19 | EE | Jing Li,
Huibiao Zhu,
Jifeng He:
Algebraic Semantics for Compensable Transactions.
ICTAC 2007: 306-321 |
| 18 | EE | Huibiao Zhu,
Jifeng He,
Jing Li,
Jonathan P. Bowen:
Algebraic Approach to Linking the Semantics of Web Services.
SEFM 2007: 315-328 |
| 17 | EE | Huibiao Zhu,
Jifeng He,
Jonathan P. Bowen:
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.
SEW 2007: 131-143 |
| 16 | EE | Jing Li,
Huibiao Zhu,
Geguang Pu,
Jifeng He:
Looking into Compensable Transactions.
SEW 2007: 154-166 |
| 15 | EE | Huibiao Zhu,
Jifeng He,
Geguang Pu,
Jing Li:
An Operational Approach to BPEL-like Programming.
SEW 2007: 236-245 |
| 14 | EE | Jing Li,
Jifeng He,
Huibiao Zhu,
Geguang Pu:
Modeling and Verifying Web Services Choreography Using Process Algebra.
SEW 2007: 256-268 |
| 13 | EE | Qin Li,
Huibiao Zhu,
Jifeng He:
An Inconsistency Free Formalization of B/S Architecture.
SEW 2007: 75-88 |
| 12 | EE | Jing Li,
Huibiao Zhu,
Geguang Pu:
Conformance Validation between Choreography and Orchestration.
TASE 2007: 473-482 |
| 11 | EE | Qin Li,
Huibiao Zhu,
Jing Li,
Jifeng He:
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.
WS-FM 2007: 61-76 |
| 10 | EE | Jifeng He,
Huibiao Zhu,
Geguang Pu:
A model for BPEL-like languages.
Frontiers of Computer Science in China 1(1): 9-19 (2007) |
| 2006 |
|---|
| 9 | EE | Huibiao Zhu,
Geguang Pu,
Jifeng He:
A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.
ASIAN 2006: 28-36 |
| 8 | 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 |
| 7 | EE | Huibiao Zhu,
Jifeng He,
Jonathan P. Bowen:
From Algebraic Semantics to Denotational Semantics for Verilog.
ICECCS 2006: 139-151 |
| 6 | EE | Jing Li,
Jifeng He,
Geguang Pu,
Huibiao Zhu:
Towards the Semantics for Web Service Choreography Description Language.
ICFEM 2006: 246-263 |
| 5 | EE | Huibiao Zhu,
Shengchao Qin,
Jifeng He,
Jonathan P. Bowen:
Integrating Probability with Time and Shared-Variable Concurrency.
SEW 2006: 179-189 |
| 4 | EE | Xiaoqing Peng,
Huibiao Zhu,
Jifeng He,
Naiyong Jin:
An Operational Semantics of an Event-Driven System-Level Simulator.
SEW 2006: 190-202 |
| 2002 |
|---|
| 3 | EE | Huibiao Zhu,
Jonathan P. Bowen,
Jifeng He:
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.
ICFEM 2002: 600-612 |
| 2001 |
|---|
| 2 | EE | Huibiao Zhu,
Jonathan P. Bowen,
Jifeng He:
Deriving Operational Semantics from Denotational Semantics for Verilog.
APSEC 2001: 177- |
| 1 | EE | Huibiao Zhu,
Jonathan P. Bowen,
Jifeng He:
From Operational Semantics to Denotational Semantics for Verilog.
CHARME 2001: 449-466 |
