Huibiao Zhu

Core Hybrid Event-B I: Single Hybrid Event-B machines

Richard Banach, Michael Butler, Shengchao Qin et al. · Science of Computer Programming · 2015 · 70 citations · Full text

Computing, Computer Engineering, Computer Science +3

Formalizing hybrid systems with Event-B and the Rodin Platform

Wen Su, Jean-Raymond Abrial, Huibiao Zhu · Science of Computer Programming · 2014 · 52 citations

Computing, Computer Science, Systems Engineering +12

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP

Yanhong Huang, Yongxin Zhao, Longfei Zhu et al. · 2011 · 43 citations

Computing, Computer Science, Computer Systems +16

A model for BPEL-like languages

Jifeng He, Huibiao Zhu, Geguang Pu · Frontiers of Computer Science in China · 2007 · 38 citations

Computing, Computer Engineering, Computer Science +12

Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines

Richard Banach, Michael Butler, Shengchao Qin et al. · Science of Computer Programming · 2017 · 28 citations · Full text

Computing, Computer Engineering, Computer Science +3