IoT Modeling and Verification: From the CaIT Calculus to UPPAAL von CHEN, Ningning, ZHU, Huibiao

Volltext

Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing von Yin, Jiaqi, Zhu, Huibiao, Fei, Yuan

Volltext

Formal analysis and verification of the PSTM architecture using CSP von Liu, Ailun, Zhu, Huibiao, Popovic, Miroslav, Xiang, Shuangqing, Zhang, Lei

Volltext

A process calculus BigrTiMo of mobile systemsand its formal semantics von Xie, Wanling, Zhu, Huibiao, Xu, Qiwen

Volltext

Formalization and Analysis of Ceph Using Process Algebra von LI, Ran, ZHU, Huibiao, YIN, Jiaqi

Volltext

Security Analysis of the Access Control Solution of NDN Using BAN Logic von Fei, Yuan, Zhu, Huibiao, Vinh, Phan Cong

Volltext

Formalization and Analysis of Haystack Architecture from Process Algebra Perspective von Yin, Jiaqi, Zhu, Huibiao, Vinh, Phan Cong

Volltext

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra von Xiang, Shuangqing, Zhu, Huibiao, Wu, Xi, Xiao, Lili, Bonsangue, Marcello, Xie, Wanling, Zhang, Lei

Volltext

Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP von Sheng, Feng, Zhu, Huibiao, He, Jifeng, Yang, Zongyuan, Bowen, Jonathan P.

Volltext

Formal Verification of mCWQ Using Extended Hoare Logic von Xie, Wanling, Zhu, Huibiao, Wu, Xi, Vinh, Phan Cong

Volltext

Modeling and Verifying Basic Modules of Floodlight von Xiang, Shuangqing, Wu, Xi, Zhu, Huibiao, Xie, Wanling, Xiao, Lili, Vinh, Phan Cong

Volltext

A Proof System for the SMrCaIT Calculus von Chen, Ningning, Zhu, Huibiao

Volltext

A proof system of the CaIT calculus von CHEN, Ningning, ZHU, Huibiao

Volltext

A process calculus SMrCaIT for IoT von Chen, Ningning, Zhu, Huibiao

Volltext

UTP semantics for the MCA ARMv8 architecture von Xiao, Lili, Zhu, Huibiao

Volltext

Language evolution and healthiness for critical cyber‐physical systems von Banach, Richard, Zhu, Huibiao

Volltext

Formalization and analysis of the REST architecture from the process algebra perspective von Wu, Xi, Zhu, Huibiao

Volltext

Moded and Continuous Abstract State Machines von Banach, Richard, Zhu, Huibiao

Volltext

Formal analysis of a calculus for WSNs from quality perspective von Wu, Xi, Zhu, Huibiao

Volltext

FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT von Fei, Yuan, Zhu, Huibiao, Yin, Jiaqi

Volltext