Author Info
Name
Affiliation
Papers
HUIBIAO ZHU
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China and School of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China#TAB#
25
Collaborators
Citations 
PageRank 
47
2
8.48
Referers 
Referees 
References 
7
249
94
Search Limit
100249
Title
Citations
PageRank
Year
A Proof System for HRML with Extended Hoare Logic00.342021
Formal Modelling and Verification of the RTPS Behavior Module00.342021
Aclock-Based Dynamic Logic For Schedulability Analysis Of Ccsl Specifications00.342021
Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing10.362021
Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP00.342021
Trace Semantics and Algebraic Laws for Total Store Order Memory Model00.342021
Event-based functional decomposition.00.342020
Modeling and Analysis of RabbitMQ Using UPPAAL00.342020
An Axiomatic Approach to BigrTiMo00.342020
Modeling and Verifying Data Access Mechanism of NLSR Trust Model00.342020
Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP00.342019
Formalization and Verification of RTPS StatefulWriter Module Using CSP.00.342019
Verifying Static Aspects of UML models using Prolog (S).00.342019
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL.00.342019
A Logical Approach for the Schedulability Analysis of CCSL00.342019
Towards the Mechanized Semantics and Refinement of UML Class Diagrams00.342019
Modeling and Verifying TESAC Using CSP.00.342019
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks00.342018
Utp Semantics For Bigrtimo00.342018
Modeling And Verifying Ndn Access Control Using Csp00.342018
A Fully Abstract Encoding for Sub Asynchronous Pi Calculus00.342018
Formal Analysis of the PKMv3 Protocol.10.352018
Modeling and Verifying MooseFS in CSP00.342018
Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP00.342018
Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude00.342018