ZhuHuibiao

发表

Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL

ShengFeng, ZhuHuibiao, HeJifeng, 2019 .

Formalization and Verification of REST on HTTP Using CSP

ZhuHuibiao, YuanTing, TangYiting, 2014 .

Analyzing Event-Based Scheduling in Concurrent Reactive Systems

ZhuHuibiao, ZhaoLin, JiangJian-Min, 2015 .

Semantic theories of programs with nested interrupts

ZhuHuibiao, QinShengchao, ZhaoYongxin, 2015 .

Formal Analysis of the PKMv3 Protocol

ZhuHuibiao, LiXin, GuoJian, 2018 .

A Continuous ASM Modelling Approach to Pacemaker Sensing

ZhuHuibiao, BanachRichard, SuWen, 2014 .

Isolation Modeling and Analysis Based on Mobility

ZhuHuibiao, JiangJian-Min, LiQin, 2019 .

Algebraic approach to linking the semantics of web services

ZhuHuibiao, HeJifeng, P BowenJonathan, 2011 .

Event-Based Mobility Modeling and Analysis

ZhuHuibiao, ZhaoLin, JiangJian-Min, 2017 .

Formalizing hybrid systems with Event-B and the Rodin Platform

ZhuHuibiao, SuWen, AbrialJean-Raymond, 2014 .