141 results on '"Zhu, Huibiao"'
Search Results
2. Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP
3. Modeling and Verifying AUPS Using CSP
4. Formal Verification of COCO Database Framework Using CSP
5. Formal Analysis and Verification of DPSTM v2 Architecture Using CSP
6. Algebraic Semantics for C++11 Memory Model
7. The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing
8. Denotational and Algebraic Semantics for Cyber-physical Systems
9. Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata
10. Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP
11. A Proof System for HRML with Extended Hoare Logic
12. Formal Modelling and Verification of the RTPS Behavior Module
13. Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP
14. PSTM Transaction Scheduler Verification Based on CSP and Testing
15. SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing
16. An Axiomatic Approach to BigrTiMo
17. Modeling and Verifying Data Access Mechanism of NLSR Trust Model
18. Modeling and Analysis of RabbitMQ Using UPPAAL
19. Towards the Mechanized Semantics and Refinement of UML Class Diagrams
20. Formalization and Verification of RTPS StatefulWriter Module Using CSP
21. Verifying Static Aspects of UML models using Prolog (S)
22. Modeling and Verifying TESAC Using CSP
23. Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP
24. Verifying Opacity of a Modified PSTM
25. A Logical Approach for the Schedulability Analysis of CCSL
26. Modeling and Verifying Storm Using CSP
27. Modeling and Verifying Spark on YARN Using Process Algebra
28. Assertional Reasoning for Concurrent and Communicating BPEL-like Programs
29. Modeling and Verification of NLSR Protocol using UPPAAL
30. Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks
31. A Fully Abstract Encoding for Sub Asynchronous Pi Calculus
32. Modeling and Verifying Leader Election Algorithm in CSP (S)
33. Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP
34. Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude
35. Security Analysis of the Access Control Solution of NDN Using BAN Logic (S)
36. Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP
37. Modeling and Verifying MooseFS in CSP
38. Modeling and analysis of the disruptor framework in CSP
39. Formalization and Verification of the PSTM Architecture
40. Modeling and Verifying Identity Authentication Security of HDFS Using CSP
41. BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems
42. A Proof System for MDESL
43. RunDroid: recovering execution call graphs for Android applications
44. Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra
45. A Proof System for mCWQ
46. Formalization and Verification of the PKMv3 Protocol Using CSP
47. Modeling and Verifying HDFS Using CSP
48. Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks
49. Model-Based Continuous Verification
50. Comparative Modeling and Verification of Pthreads and Dthreads
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.