Formalization and Verification of Group Communication CoAP Using CSP. - Sini Chen; Ran Li; Huibiao Zhu (PDCAT, 2021)

Formalization and Verification of Go-based New Simple Queue System. - Danyang Wang; Jiaqi Yin; Sini Chen; Huibiao Zhu (IWESQ/QuASoQ@APSEC, 2023)

Formalization and Verification of MQTT-SN Communication Using CSP. - Wei Lin; Sini Chen; Huibiao Zhu (ECBS, 2023)

Formalization and Verification of the ICC Mechanism in Android System Using CSP. - Yixiao Lv; Jiaqi Yin; Sini Chen; Huibiao Zhu (ISSREW, 2023)

Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. - Yingjia Du; Yuan Fei; Sini Chen; Huibiao Zhu (SEKE, 2023)

Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. - Sini Chen; Huibiao Zhu; Ran Li; Lili Xiao; Jiapeng Wang; Ning Ge 002; Xinbin Cao (ICTAC, 2024)

A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry. - Wenting Dong; Huibiao Zhu; Sini Chen; Ning Ge 002 (ISSRE, 2024)

Verification of Scapegoat Trees Using Dafny. - Jiapeng Wang; Sini Chen; Huibiao Zhu (NFM, 2024)

Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. - Bangjie Zhu; Jiaqi Yin; Sini Chen; Huibiao Zhu (SAC, 2024)

Modeling and Verifying OPC UA of Aggregating Server Architecture for Vertical Integration. - Zifan Liang; Wei Lin; Sini Chen; Huibiao Zhu (SEKE, 2024)

Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style. - Lili Xiao; Huibiao Zhu; Jonathan P. Bowen; Sini Chen (The Practice of Formal Methods (II), 2024)

Formalization and Verification of Enhanced Group Communication CoAP. - Sini Chen; Ran Li; Huibiao Zhu (Int. J. Softw. Eng. Knowl. Eng., 2024)

Trace Semantics for C++11 Memory Model. - Lili Xiao; Huibiao Zhu; Sini Chen; Mengda He; Shengchao Qin (Formal Aspects Comput., 2024)

Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system. - Jiaqi Yin; Sini Chen; Yixiao Lv; Huibiao Zhu (Softw. Qual. J., 2024)

Formal Verification and Security Analysis of Go-based New Simple Queue System. - Zhiru Hou; Danyang Wang; Jiaqi Yin; Sini Chen; Huibiao Zhu (J. Circuits Syst. Comput., 2025)

Formal verification and security analysis of MQTT-SN. - Wei Lin; Sini Chen; Huibiao Zhu (Int. J. Softw. Tools Technol. Transf., 2025)