[75] Jean-Raymond Abrial‚ Su Wen and Zhu Huibiao. Formalizing Hybrid Systems with Event-B. Proc. ABZ 2012: 3rd International Conference on Abstract State Machines‚ Alloy‚ B and Z (Joint conference with iFM 2012 in honour of Egon Borger’s 65th birthday)‚ Spinger-Verlag‚ LNCS‚ Pisa‚ Italy‚ 18-21 June 2012

[74] Richard Banach‚ Zhu Huibiao‚ Su Wen and Wu Xiaofeng. Continuous ASM‚ and a Pacemaker Sensing Fragment. Proc. ABZ 2012: 3rd International Conference on Abstract State Machines‚ Alloy‚ B and Z (Joint conference with iFM 2012 in honour of Egon Borger’s 65th birthday)‚ Spinger-Verlag‚ LNCS‚ Pisa‚ Italy‚ 18-21 June 2012

[73] Richard Banach‚ Zhu Huibiao‚ Su Wen and Wu Xiaofeng. ASM and Controller Synthesis. Proc. ABZ 2012: 3rd International Conference on Abstract State Machines‚ Alloy‚ B and Z (Joint conference with iFM 2012 in honour of Egon Borger’s 65th birthday)‚ Spinger-Verlag‚ LNCS‚ Pisa‚ Italy‚ 18-21 June 2012

[72] Richard Banach‚ Zhu Huibiao‚ Su Wen and Wu Xiaofeng. Adding Continuous Behaviour to Event-B. Proc. ABZ 2012: 3rd International Conference on Abstract State Machines‚ Alloy‚ B and Z (Joint conference with iFM 2012 in honour of Egon Borger’s 65th birthday)‚ Spinger-Verlag‚ LNCS‚ Pisa‚ Italy‚ 18-21 June 2012

[71] Wu Xi‚ Liu Si‚ Zhu Huibiao‚ Zhao Yongxin and Chen Lei. Modeling and Verifying the Ariadne Protocol Using CSP.Proc. ECBS 2012: 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems‚ Novi Sad‚ Serbia‚ 11-13 April‚ 2012‚ IEEE Computer Society

[70] Zhu Huibiao‚ Yang Fan‚ He Jifeng‚ Jeff W. Sanders‚ Jonathan P. Bowen and Qin Shengchao. Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. The Journal of Logic and Algebraic Programming‚ vol 81(1)‚ pp. 2-225‚ January 2012

(Available online‚ doi:10.1016/j.jlap.2011.06.003)

[69] Zhu Huibiao‚ He Jifeng‚ Li Jing and Jonathan P. Bowen. Algebraic Approach to Linking the Semantics of Web Services. Innovations in Systems and Software Engineering: A NASA Journal‚ Springer‚ vol 7(3)‚ pp. 209-224‚ September 2011

(Available online‚ DOI: 10.1007/s11334-011-0172-1)

[68] Zhao Yongxin‚ Wang‚ Xiao Hao‚ Ping Jing‚ Pu Geguang‚ Zhu Huibiao and He Jifeng. A Unifying Approach to Validating Specification-Oriented XML Constraints. Proc HASE 2011: 13th IEEE High Assurance Systems Engineering Symposium‚ pp. 33-40‚ IEEE Computer Society‚ November 10-12‚ Boca Raton‚ Florida‚ USA

[67] Wang Qian and Zhu Huibiao. Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services. Proc HASE 2011: 13th IEEE High Assurance Systems Engineering Symposium‚ pp. 57-62‚ IEEE Computer Society‚ November 10-12‚ Boca Raton‚ Florida‚ USA

[66] Liu Si‚ Zhao Yongxin‚ Zhu Huibiao and Li Qin. A Calculus for Mobile Ad Hoc Networks from a Probabilistic Perspective. Proc HASE 2011: 13th IEEE High Assurance Systems Engineering Symposium‚  pp. 157-162‚ IEEE Computer Society‚ November 10-12‚ Boca Raton‚ Florida‚ USA

[65] Wen Su‚ Jean-Raymond Abrial‚ Runlei Huang and Huibiao Zhu. From Requirements to Development: Methodology and Example. Proc. ICFEM 2011: 13th International Conference on Formal Engineering Methods‚ Spinger-Verlag‚ LNCS 6991‚ pp. 437-455‚ 26th-28th October 2011‚ UK

[64] Longfei Zhu‚ Min Zhang‚ Yanhong Huang‚ Jianqi Shi and Huibiao Zhu. Formalizing Application Programming Interfaces of the OSEK Operating System. Proc. TASE 2011: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering‚ 29-31 August‚ 2011‚ Xi´an‚ China‚ pp. 27-34‚ IEEE Computer Society

[63] Shengchao Qin‚ Aziem Chawdhary‚ Wei Xiong‚ Malcolm Munro‚ Zongyan Qiu and Huibiao Zhu. Towards an Axiomatic Verification System for JavaScript. Proc. TASE 2011: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering‚ 29-31 August‚ 2011‚ Xi´an‚ China‚ pp. 133-141‚ IEEE Computer Society

[62] Yanhong Huang‚ Yongxin Zhao‚ Longfei Zhu‚ Qin Li‚ Huibiao Zhu and Jianqi Shi. Modeling and Verifying the Code-Level OSEK/VDX Operating System With CSP. Proc. TASE 2011: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering‚ 29-31 August‚ 2011‚ Xi´an‚ China‚ pp. 142-149‚ IEEE Computer Society

[61] Si Liu‚ Yongxin Zhao‚ Huibiao Zhu and Qin Li. Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. Proc. TASE 2011: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering‚ 29-31 August‚ 2011‚ Xi´an‚ China‚ pp. 195-198‚ IEEE Computer Society

[60] Mengying Wang‚ Huibiao Zhu‚ Yongxin Zhao and Si Liu. Modeling and Analyzing the muTESLA Protocol using CSP. Proc. TASE 2011: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering‚ 29-31 August‚ 2011‚ Xi´an‚ China‚ pp. 427-430‚ IEEE Computer Society

[59] Wen Su‚ Fan Yang‚ Xiaofeng Wu‚ Jian Guo‚ Huibiao Zhu. Formal Approaches to Mode Conversion and Positioning for Vehicle System. Proc. COMPSACW 2011: 35th Annual IEEE International Computer Software and Applications Conference Worskops‚ July 18-21‚ 2011‚ Munich‚ Germany‚ pp. 416~421‚ IEEE Computer Society

[58] Richard Banach‚ Huibiao Zhu‚ Wen Su and Runlei Huang. Formalising the Continuous/Discrete Modeling Step. Proc. 2011 Refinement Workshop‚ Limerick‚ Ireland‚  20 June 2011‚ Electronic Proceedings in Theoretical Computer Science‚ EPTCS 55‚ pp. 121–138

[57] Zhu Han‚ Zhu Huibiao‚ Liu Si‚ and Guo Jian. Towards Denotational Semantics for Verilog in PVS. Proc. SSIRI 2011: Fifth International Conference on Secure Software Integration and Reliability Improvement‚ Jeju Island‚ Korea‚ 27-29 June‚ 2011‚ pp. 1-2‚ IEEE Computer Society

[56] Liu Si‚ Wu Xiaofeng‚ Li Qin Li‚ Huibiao Zhu‚ Qian Wang. Formal Approaches to Wireless Sensor Networks. Proc. SSIRI 2011: Fifth International Conference on Secure Software Integration and Reliability Improvement‚ Jeju Island‚ Korea‚ 27-29 June‚ 2011‚ pp. 11-18‚ IEEE Computer Society

[55] Ding Jieqi‚ Zhu Huibiao and Li Qin. Formal Specification of Automatic DMARF based on CSP. Proc. EASe 2011: 8th IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems‚ Las Vegas‚ NV‚ USA‚ April 27-29‚ 2011‚ pp. 32-39‚ IEEE Computer Society

[54] Wang Zheng‚ Zhou Lei‚ Zhao Yongxin‚ Ping Jing‚ Xiao Hao‚ Pu Geguang‚ Zhu Huibiao. Web Services Choreography Validation. Journal of Service Oriented Computing and Applications‚ Springer‚ vol 4(4)‚ pp. 291-305‚ December 2010

[53] Zhu Huibiao‚ He Jifeng‚ Li Jing‚ Pu Geguang and Jonathan P. Bowen. Linking Denotational Semantics with Operational Semantics for Web Services. Innovations in Systems and Software Engineering: A NASA Journal‚ Springer‚ vol 6(4)‚ pp. 283~298‚ 2010

[52] Zhu Huibiao‚ Yang Fan and He Jifeng . Generating Denotational Semantics from Algebraic Semantics for Event-driven System-level Language. Proc. UTP 2010: 3rd International Symposium on Unifying Theories of Programming‚ Spinger-Verlag‚ LNCS 6445‚ pp. 286~308‚ 15~16 November 2010‚ Shanghai‚ China

[51] Zhao Yongxin‚ Wang Xu and Zhu Huibiao. Towards a Pomset Semantics for a Shared-Variable Parallel Language. Proc. UTP 2010: 3rd International Symposium on Unifying Theories of Programming‚ Spinger-Verlag‚ LNCS 6445‚ 15~16 November 2010‚ Shanghai‚ China

[50] Li Qin‚ Zhu Huibiao‚ He Jifeng. A Denotational Semantical Model for Orc Language. In Proc. ICTAC 2010: 7th International Colloquium on Theoretical Aspects of Computing‚ Springer-Verlag‚ LNCS 6255‚ pp. 106~120‚ 1~3 September 2010‚ Natal‚ Rio Grande do Norte‚ Brazil

[49] Zhao Yongxin‚ Huang Yanhong‚ Li Jianweni and Zhu Huibiao. Probabilistic Model of System Survivability. In Proc. TASE 2010: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering‚ Taipei‚ Taiwan‚ 24~27 August‚ 2010‚ pp. 193~200‚ IEEE Computer Society

[48] Zhao Yongxin‚ Wang Zheng‚ Pu Geguang and Zhu Huibiao. A Formal Model for Service Choreography with Exception Handling and Finalization. In Proc. TASE 2010: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering‚ Taipei‚ Taiwan‚ 24~27 August‚ 2010‚ pp. 15~24‚ IEEE Computer Society

[47] Feng Libo‚ Yu Xiao‚ Pu Geguang‚ Jiang Siyuan‚ Zhu Huibiao and Gu Bin. Property Checking for Design Patterns. Proc. SE 2010: IASTED International Conference on Software Engineering‚ pp. 87~94‚ February 16~18‚ 2010‚ Innsbruck‚ Austria

[46] Ding Jieqi‚ Zhu Han‚ Zhu Huibiao and Li Qin. Formal Modeling and Verifications of Deadlock Prevention Solutions in Service Oriented System. In Proc. ECBS 2010: 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems‚ Oxford‚ UK‚‚ 22~26 March‚ 2010‚ pp. 335~343‚ IEEE Computer Society

[45] Yang Fan‚ Su Wen‚ Zhu Huibiao and Li Qin. Formalizing MapReduce with CSP. In Proc. ECBS 2010: 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems‚ Oxford‚ UK‚‚ 22~26 March‚ 2010‚ pp. 358~367‚ IEEE Computer Society

[44] Kang Juanhua‚ Li Qin‚ Zhu Huibiao and Wu Wenjuan.  Formal Approaches to Location Management in Mobile Communications. Proc. ICDCIT 2010: 6th International Conference on Distributed Computing and Internet Technology‚ Springer-Verlag‚ LNCS 5966‚ pp. 243~254‚ February 15~17‚ Bhubaneswar‚ India

[43] Mao Hongyan‚ Jiang Ningkang‚ Li Qin‚ Zhu Huibiao. Formal Approaches to SMS Service Based on Pi Calculus. Proc. FCST 2009: 4th International Conference on Frontier of Computer Science and Technology. IEEE Computer Society‚ pp. 692-697‚ December 17-19‚ 2009. Shanghai‚ China

[42] Zhu Huibiao‚ Yang Fan‚ He Jifeng‚ Jonathan P. Bowen and Jeff W. Sanders. Animating the Link between Operational Semantics and Algebraic Semantics for a Timed Probabilistic Shared-Variable Language. In Proc. SEW-33: 33rd IEEE Annual IEEE Software Engineering Workshop‚ Skovde‚ Sweden‚ 13~15 October‚ IEEE Computer Society

[41] Li Qin and Zhu Huibiao. Towards Specification and Refinement of Contracts with Environment Changes. In Proc. SEW-33: 33rd IEEE Annual IEEE Software Engineering Workshop‚ Skovde‚ Sweden‚ 13~15 October‚ IEEE Computer Society

[40] Zhu Huibiao‚ Qin Shengchao‚ He Jifeng and Jonathan P. Bowen. PTSC: Probability‚ Time and Shared-Variable Concurrency. Innovations in Systems and Software Engineering: A NASA Journal‚ Springer‚ vol 5(4)‚ pp. 271~284‚ 2009

[39] Ding Jieqi‚ Zhu Han‚ Zhu Huibiao and Li Qin. Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. In Proc. TASE 2009: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering‚ Tianjin‚ China‚ 29~31 July‚ pp. 301~302‚ IEEE Computer Society

[38] Su Wen‚ Yang Fan‚ Zhu Huibiao and Li Qin. Modeling MapReduce with CSP. In Proc. TASE 2009: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering‚ Tianjin‚ China‚ 29~31 July‚ pp. 301~302‚ IEEE Computer Society

[37] Zhu Huibiao‚ Zhao Yongxin and He Jifeng. Locality-based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-driven System-level Language. In Proc. ASWEC 2009: 20th Australian Software Engineering Conference.‚ Gold Coast‚ Queensland‚ Australia‚ 14-17 April 2009‚  pp. 297~306‚ IEEE Computer Society

[36] Li Qin‚ Zhu Huibiao and He Jifeng. A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. In Proc. ASWEC 2009: 20th Australian Software Engineering Conference.‚ Gold Coast‚ Queensland‚ Australia‚ 14-17 April 2009‚ pp. 287~296‚ IEEE Computer Society

[35] Li Qin‚ Yang Fan‚ Zhu Huibiao and Zhu Longfei. Formal Modeling and Analyzing Kerberos Protocol. In Proc. CISE 2009: 2009 World Congress on Computer Science and Information Engineering‚ March 31 - April 2‚ 2009‚ Los Angeles/Anaheim‚ USA‚ IEEE Computer Society

[34] Wang Zheng ‚ Yu Xiao‚ Pu Geguang‚ Feng Libo‚ Zhu Huibiao‚ He Jifeng. Execution Semantics for rCOS. Proc. APSEC 2008: 15th Asia-Pacific Software Engineering Conference‚ IEEE Computer Society‚ pp. 119~126‚  Dec 3-5‚ 2008‚ Beijing‚ China

[33] Pu Geguang‚ Zhao Yongxin‚ Wang Zheng ‚ Feng Libo‚ Zhu Huibiao‚ He Jifeng. A Denotational Model for Web Services Choreography. Proc. ICDCIT 2008: 5th International Conference on Distributed Computing and Internet Technology‚ Springer-Verlag‚ LNCS 5375‚ pp. 1~12‚ December 10 - 13‚ 2008. New Delhi‚ India

[32] Li Qin‚ Zhu Huibiao and He Jifeng. Towards the Service Composition Through Buses. Proc HASE 2008: 11th IEEE High Assurance Systems Engineering Symposium‚ IEEE Computer Society‚ pp. 441~444‚ December 3 - 5‚ 2008‚ Nanjing‚ China

[31]Jin Naiyong and Zhu Huibiao. ASERE: Assuring The Satisfiability of Sequential Extended Regular Expressions. Proc. ISOLA 2008: 3rd International Symposium on Leveraging Applications of Formal Methods‚ Verification and Validation‚ CCIS 17‚ pp. 237~251‚ 13-15 October 2008‚ Porto Sani‚ Greece

[30]Zhu Huibiao‚ He Jifeng and Jonathan P. Bowen. From Algebraic Semantics to Denotational Semantics for Verilog. Innovations in Systems and Software Engineering: A NASA Journal‚ Springer‚ vol 4(4)‚ pp. 341~360‚ 2008

[29]Zhu Huibiao‚ He Jifeng‚ Peng Xiaoqing and Jin Naiyong. Denotational Approach to an Event-driven System-level Language. Proc. UTP 2008: 2nd International Symposium on Unifying Theories of Programming‚ Spinger-Verlag‚ LNCS‚ 8~10‚ pp. 258~278‚  September 2008‚ Dublin‚ Ireland

[28]Li Jing‚ Zhu Huibiao and He Jifeng. An Observational Model for Transactional Calculus of Services Orchestration. Proc. ICTAC 2008: 5th International Colloquium on Theoretical Aspects of Computing‚ Springer-Verlag‚ LNCS 5160‚ pp. 201~215‚ 1~3 September 2008‚ Istanbul‚ Turkey

[27]Li Jing‚ Zhu Huibiao‚ He Jifeng. Specifying and Verifying Web Transactions. Proc. FORTE 2008: 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems‚ Springer-Verlag‚ LNCS 5048‚ pp. 149~168‚ 10~13 June 2008‚ Toyko‚ Japan

[26]Zhu Huibiao‚ He Jifeng‚ Li Jing. Unifying  Denotational  Semantics with Operational Semantics for Web Services. Proc. ICDCIT 2007: 4th International Conference on Distributed Computing and Internet Technology‚ Springer-Verlag‚ LNCS 4882‚ pp. 225~239‚ 17~20 December 2007‚ Bangalore‚ India

[25] Li Qin‚ Zhu Huibiao‚ Li Jing‚ He Jifeng. Scalable Formalization of Publish/Subscribe Messaging Scheme Based On Message Brokers. Proc WS-FM 2007: 4th International Workshop on Web Services and Formal Methods‚ Springer-verlag‚ LNCS 4937‚ pp. 61~76‚ 28~29 September‚ 2007‚ Brisbane‚ Australia

[24] Li Jing‚ Zhu Huibiao‚ He Jifeng. Algebraic Semantics for Compensable Transactions. Proc. ICTAC 2007: 4th International Colloquium on Theoretical Aspects of Computing‚ Springer-Verlag‚ LNCS 4711‚ pp. 306~321‚ 26~28 September‚ 2007‚ Macau‚ China

[23] Zhu Huibiao‚ He Jifeng‚ Li Jing‚ Jonathan P. Bowen. Algebraic Approach to Linking the Semantics of Web Services. Proc. SEFM 2007: 5th IEEE International Conference on Software Engineering and Formal Methods‚ pp. 315~326‚ IEEE Computer Society‚ 10~14 September 2007‚ London‚ UK

[22] Li Jing‚ Zhu Huibiao‚ Pu Geguang‚ He Jifeng. A Formal Model for Compensable Transactions. Proc. ICECCS 2007: 12th IEEE  International Conference on Engineering of Complex Computer Systems‚ pp. 64~73‚ IEEE Computer Society Press‚ July‚ 2007. Auckland‚ New Zealand.

[21] Li Jing‚ Zhu Huibiao‚ Pu Geguang‚ He Jifeng. Conformance Validation between Choreography and Orchestration. Proc. TASE 2007: 1st IEEE&IFIP  International Symposium on Theoretical Aspects of Software‚ pp. 473~482‚ IEEE Computer Society Press‚ June‚ 2007. Shanghai‚ China.

[20] Qian Yi‚ Xu Yuming‚ Wang Zheng‚ Pu  Geguang‚ Zhu Huibiao‚ Cai Chao. Tool Support for BPEL Verification in ActiveBPEL Engine. Proc. AWSEC 2007: 18th Australian Software Engineering Conference‚ IEEE Computer Society‚ pp 90~97. Melbourne‚ Australia. 10-13 April‚ 2007.

[19] Zhu Huibiao‚ He Jifeng‚ Jonathan P. Bowen. Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. Proc. SEW-31: The 31st  IEEE Software Engineering Workshop (SEW-31)‚ IEEE Computer Society Press‚ pp. 131-143. 6~8 March‚ 2007. Baltimore‚ Maryland‚ USA.

[18] Zhu Huibiao‚ He Jifeng‚ Pu Geguang‚ Li Jing. An Operational Approach to BPEL-like Programming. Proc. SEW-31: The 31st  IEEE Software Engineering Workshop (SEW-31)‚ IEEE Computer Society Press‚ pp. 236-245. 6~8 March‚ 2007. Baltimore‚ Maryland‚ USA.

[17] Li Qin‚ Zhu Huibiao‚ He Jifeng.  An Inconsistency Free Formalization of B/S Architecture. Proc. SEW-31: The 31st  IEEE Software Engineering Workshop (SEW-31)‚ IEEE Computer Society Press‚ pp. 75-85. 6~8 March‚ 2007. Baltimore‚ Maryland‚ USA.

[16] Li Jing‚ Zhu Huibiao‚ Pu Geguang‚ He Jifeng. Looking into Compensable Transactions. Proc. SEW-31: The 31st  IEEE Software Engineering Workshop (SEW-31)‚ IEEE Computer Society Press‚ pp. 154-163. 6~8 March‚ 2007. Baltimore‚ Maryland‚ USA.

[15] Li Jing‚ He Jifeng‚ Zhu Huibiao‚ Pu Geguang. Modeling and Verifying Web Services Choreography using Process Algebra. Proc. SEW-31: The 31st  IEEE Software Engineering Workshop (SEW-31)‚ IEEE Computer Society Press‚ pp. 256-265. 6~8 March‚ 2007. Baltimore‚ Maryland‚ USA.

[14] He Jifeng‚ Zhu Huibiao‚ Pu Geguang. A Model of BPEL-Like Language. Journal of Frontiers of Computer Science in China. High Education Press & Springer. Vol 1(1)‚ pp. 9-19‚ 2007.

[13] Zhu Huibiao‚ Pu Geguang and He Jifeng. A Denotational Approach to Scope-based Compensable Flow Language. Proc. Asian’06: 11th Annual Asian Computing Science Conference‚ Tokyo‚ Japan‚ 6~8 December‚ 2006‚ LNCS 4435‚ pp. 28~36‚ Springer-Verlag.

[12] Pu Geguang‚ Zhu Huibiao‚ He Jifeng‚ Qiu Zongyan‚ Yang Hongli‚ Zhao Xiangpeng. Patterns with Algebraic Properties in BPEL0. Proc. ISOLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods‚ Verification and Validation‚  IEEE Computer Society‚ pp. 363-370. 15-19 November 2006. Cyprus.

[11] Li Jing‚ He Jifeng‚ Pu Geguang and Zhu Huibiao. Towards the Semantics for Web Service Choreography  Description Language. Proc. ICEFM 2006: 8th International Conference on Formal Engineering Methods‚ Macau SAR‚ China‚ 30 October-3 November‚ 2006‚ Springer-Verlag‚ LNCS 4260‚ pp. 246-263‚ 2006.

[10] Zhu Huibiao‚ He Jifeng and Jonathan P. Bowen. From Algebraic Semantics to Denotational Semantics for Verilog. Proc. ICECCS 2006: 11th IEEE  International Conference on Engineering of Complex Computer Systems‚ IEEE Computer Society Press‚ pp. 139-152. August‚ 2006. Stanford‚ California‚ USA.

[9] Pu Geguang‚ Zhu Huibiao‚ Qiu Zongyan‚ Wang Shuling‚ Zhao Xiangpeng and He Jifeng. Theoretical Foundation of Scope-based Compensation Flow Language for Web Services. Proc. FMOODS 2006: 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems‚ Bologna‚ Italy‚ 14 - 16 June‚ 2006‚ Springer-Verlag‚ LNCS 4037‚ pp. 251-266‚ 2006.

[8] Zhu Huibiao‚ Qin Shengchao‚ He Jifeng and Jonathan P. Bowen. Integrating Probability with Time and Shared-Variable Concurrency. Proc. SEW-30: The 30th NASA/IEEE Software Engineering Workshop (SEW-30)‚ IEEE Computer Society Press‚ pp. 179-189. April‚ 2006. Columbia‚ Maryland‚ USA.

[7] Peng Xiaoqing‚ Zhu Huibiao‚ He Jifeng and Jin Naiyong.  An Operational Semantics of an Event-driven System-level Simulator. Proc. SEW-30: The 30th NASA/IEEE Software Engineering Workshop (SEW-30)‚ IEEE Computer Society Press‚ pp. 190-200. April‚ 2006. Columbia‚ Maryland‚ USA.

[6] Zhu Huibiao. Linking the Semantics of a Multithreaded Discrete Event Simulation Language. PhD thesis. London South Bank University. February‚ 2005.

[5] Zhu Huibiao‚ Jonathan P. Bowen and He Jifeng. Soundness‚ Completeness and Non-redundancy of Operational Semantics for Verilog based on Denotational Semantics. Proc. ICFEM 2002: 4th International Conference on Formal Engineering Methods‚ Shanghai‚ China‚ 21-25 October 2002‚ Springer-Verlag‚ LNCS 2495‚ pp. 600-612‚ 2002.

[4] Zhu Huibiao‚ Jonathan P. Bowen and He Jifeng. Deriving Operational Semantics from Denotational Semantics for Verilog. Proc. APSEC 2001: 8th Asia-Pacific Software Engineering Conference‚ IEEE Computer Society Press‚ pp. 177-184‚ Macau SAR‚ China‚ 4-7 December 2001.

[3] Zhu Huibiao‚ Jonathan P. Bowen and He Jifeng. From Operational Semantics to Denotational Semantics for Verilog. Proc. CHARME 2001: 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods‚ Livingston‚ Scotland‚ 4-7 September 2001‚ Springer-Verlag‚ LNCS 2144‚ pp. 449-464‚ 2001.

[2] He Jifeng and Zhu Huibiao. Formalizing Verilog. Proc. IEEE International Conference on Electronics‚ Circuits and Systems‚ IEEE Computer Society Press‚ pp. 412-415‚ Lebanon‚ December 2000.