- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |
| 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) |
| c74 | | |
| c73 | | Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: Continuous ASM, and a Pacemaker Sensing Fragment. ABZ 2012: 65-78 |
| c72 | | Jean-Raymond Abrial, Wen Su, Huibiao Zhu: Formalizing Hybrid Systems with Event-B. ABZ 2012: 178-193 |
| c71 | | Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: Continuous Behaviour in Event-B: A Sketch. ABZ 2012: 349-352 |
| c70 | | Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen: Modeling and Verifying the Ariadne Protocol Using CSP. ECBS 2012: 24-32 |
| c69 | | Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye: xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS 2012: 211-219 |
| c68 | | 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 |
| c67 | | Wen Su, Jean-Raymond Abrial, Huibiao Zhu: Complementary Methodologies for Developing Hybrid Systems with Event-B. ICFEM 2012: 230-248 |
| c66 | | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin: Investigating Time Properties of Interrupt-Driven Programs. SBMF 2012: 131-146 |
| c65 | | Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He: A Denotational Model for Instantaneous Signal Calculus. SEFM 2012: 126-140 |
| c64 | | Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu: The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM 2012: 172-187 |
| c63 | | 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 |
| c62 | | Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi: Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE 2012: 145-152 |
| c61 | | 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 |
| c60 | | 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 |
| c59 | | Chengcheng Wu, Yongxin Zhao, Huibiao Zhu: Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions. UTP 2012: 186-203 |
| c58 | | Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin: Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247 |
| 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 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page