Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Huibiao Zhu
2010 – today
- 2013
[j8]Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu: Modeling and verifying the Ariadne protocol using process algebra. Comput. Sci. Inf. Syst. 10(1): 393-421 (2013)- [e3]Aditya K. Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang (Eds.): Service-Oriented Computing - ICSOC 2012 Workshops - ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7759, Springer 2013, ISBN 978-3-642-37803-4
- [i2]Huixing Fang, Huibiao Zhu, Jianqi Shi: Apricot - An Object-Oriented Modeling Language for Hybrid Systems. CoRR abs/1304.6498 (2013)
- 2012
- [j7]Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebr. Program. 81(1): 2-25 (2012)
- [c75]
- [c74]Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: Continuous ASM, and a Pacemaker Sensing Fragment. ABZ 2012: 65-78
- [c73]Jean-Raymond Abrial, Wen Su, Huibiao Zhu: Formalizing Hybrid Systems with Event-B. ABZ 2012: 178-193
- [c72]Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: Continuous Behaviour in Event-B: A Sketch. ABZ 2012: 349-352
- [c71]Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen: Modeling and Verifying the Ariadne Protocol Using CSP. ECBS 2012: 24-32
- [c70]Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye: xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS 2012: 211-219
- [c69]Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang: ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS 2012: 293-301
- [c68]Wen Su, Jean-Raymond Abrial, Huibiao Zhu: Complementary Methodologies for Developing Hybrid Systems with Event-B. ICFEM 2012: 230-248
- [c67]Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin: Investigating Time Properties of Interrupt-Driven Programs. SBMF 2012: 131-146
- [c66]Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He: A Denotational Model for Instantaneous Signal Calculus. SEFM 2012: 126-140
- [c65]Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu: The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM 2012: 172-187
- [c64]Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson: Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE 2012: 25-32
- [c63]Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi: Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE 2012: 145-152
- [c62]Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye: Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE 2012: 223-226
- [c61]Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin: Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. UTP 2012: 164-185
- [c60]Chengcheng Wu, Yongxin Zhao, Huibiao Zhu: Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions. UTP 2012: 186-203
- [c59]Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin: Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247
- [c58]Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu: Formal Modeling and Analysis of the REST Architecture Using CSP. WS-FM 2012: 87-102
- [e2]Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey (Eds.): 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-5574-2
- [i1]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang: Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study. CoRR abs/1205.6664 (2012)
- 2011
- [j6]Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic approach to linking the semantics of web services. ISSE 7(3): 209-224 (2011)
- [c57]Wen Su, Fan Yang, Xiaofeng Wu, Jian Guo, Huibiao Zhu: Formal Approaches to Mode Conversion and Positioning for Vehicle System. COMPSAC Workshops 2011: 416-421
- [c56]Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu: A Unifying Approach to Validating Specification-Oriented XML Constraints. HASE 2011: 33-40
- [c55]
- [c54]Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li: A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. HASE 2011: 157-162
- [c53]Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu: From Requirements to Development: Methodology and Example. ICFEM 2011: 437-455
- [c52]Han Zhu, Huibiao Zhu, Si Liu, Jian Guo: Towards Denotational Semantics for Verilog in PVS. SSIRI (Companion) 2011: 1-2
- [c51]Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang: Formal Approaches to Wireless Sensor Networks. SSIRI (Companion) 2011: 11-18
- [c50]Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu: Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE 2011: 27-34
- [c49]Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu: Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141
- [c48]Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi: Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE 2011: 142-149
- [c47]Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li: Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE 2011: 195-198
- [c46]Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu: Modeling and Analyzing the (mu)TESLA Protocol Using CSP. TASE 2011: 247-250
- [c45]Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang: Formalising the Continuous/Discrete Modeling Step. Refine 2011: 121-138
- 2010
- [j5]Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen: Linking denotational semantics with operational semantics for web services. ISSE 6(4): 283-298 (2010)
- [j4]Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu: Web services choreography validation. Service Oriented Computing and Applications 4(4): 291-305 (2010)
- [c44]Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li: Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. ECBS 2010: 335-343
- [c43]
- [c42]Juanhua Kang, Qin Li, Huibiao Zhu, Wenjuan Wu: Formal Approaches to Location Management in Mobile Communications. ICDCIT 2010: 243-254
- [c41]Qin Li, Huibiao Zhu, Jifeng He: A Denotational Semantical Model for Orc Language. ICTAC 2010: 106-120
- [c40]Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu: A Formal Model for Service Choreography with Exception Handling and Finalization. TASE 2010: 15-24
- [c39]Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu: Probabilistic Model of System Survivability. TASE 2010: 193-200
- [c38]Yongxin Zhao, Xu Wang, Huibiao Zhu: Towards a Pomset Semantics for a Shared-Variable Parallel Language. UTP 2010: 271-285
- [c37]
- [e1]Jin Song Dong, Huibiao Zhu (Eds.): Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science 6447, Springer 2010, ISBN 978-3-642-16900-7
2000 – 2009
- 2009
- [j3]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: PTSC: probability, time and shared-variable concurrency. ISSE 5(4): 271-284 (2009)
- [c36]Qin Li, Huibiao Zhu, Jifeng He: A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference 2009: 287-296
- [c35]Huibiao Zhu, Yongxin Zhao, Jifeng He: Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Australian Software Engineering Conference 2009: 297-306
- [c34]Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu: Formal Modeling and Analyzing Kerberos Protocol. CSIE (7) 2009: 813-819
- [c33]
- [c32]Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders: Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW 2009: 104-114
- [c31]
- [c30]Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li: Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. TASE 2009: 327-328
- 2008
- [j2]Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From algebraic semantics to denotational semantics for Verilog. ISSE 4(4): 341-360 (2008)
- [c29]Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He: Execution Semantics for rCOS. APSEC 2008: 119-126
- [c28]
- [c27]
- [c26]Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He: A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12
- [c25]Jing Li, Huibiao Zhu, Jifeng He: An Observational Model for Transactional Calculus of Services Orchestration. ICTAC 2008: 201-215
- [c24]Naiyong Jin, Huibiao Zhu: ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. ISoLA 2008: 237-251
- [c23]Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin: Denotational Approach to an Event-Driven System-Level Language. UTP 2008: 258-278
- 2007
- [j1]Jifeng He, Huibiao Zhu, Geguang Pu: A model for BPEL-like languages. Frontiers of Computer Science in China 1(1): 9-19 (2007)
- [c22]Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai: Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC 2007: 90-100
- [c21]Huibiao Zhu, Jifeng He, Jing Li: Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT 2007: 225-239
- [c20]Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: A Formal Model for Compensable Transactions. ICECCS 2007: 64-73
- [c19]Jing Li, Huibiao Zhu, Jifeng He: Algebraic Semantics for Compensable Transactions. ICTAC 2007: 306-321
- [c18]Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328
- [c17]
- [c16]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
- [c15]Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: Looking into Compensable Transactions. SEW 2007: 154-166
- [c14]Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li: An Operational Approach to BPEL-like Programming. SEW 2007: 236-245
- [c13]Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu: Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268
- [c12]Jing Li, Huibiao Zhu, Geguang Pu: Conformance Validation between Choreography and Orchestration. TASE 2007: 473-482
- [c11]Qin Li, Huibiao Zhu, Jing Li, Jifeng He: Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM 2007: 61-76
- 2006
- [c10]Huibiao Zhu, Geguang Pu, Jifeng He: A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN 2006: 28-36
- [c9]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
- [c8]Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151
- [c7]Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu: Towards the Semantics for Web Service Choreography Description Language. ICFEM 2006: 246-263
- [c6]Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370
- [c5]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189
- [c4]Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin: An Operational Semantics of an Event-Driven System-Level Simulator. SEW 2006: 190-202
- 2002
- [c3]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
- [c2]Huibiao Zhu, Jonathan P. Bowen, Jifeng He: Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177-
- [c1]Huibiao Zhu, Jonathan P. Bowen, Jifeng He: From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 10:01 CEST by the dblp team