An intelligent control system for robot massaging with uncertain skin characteristics. - Jingmei Zhai; Xianwen Zeng; Ziqing Su (Ind. Robot, 2022)

Formal Verification and Security Analysis of AMQP. - Huiying Liu; Wenting Dong; Huibiao Zhu; Ziqing Su (COMPSAC, 2024)

Trace and Algebraic Semantics for Partial Store Order Memory Model. - Junfu Luo; Lili Xiao; Huibiao Zhu; Ziqing Su (COMPSAC, 2024)

Formalization and Verification of OpenStack Swift Using CSP. - Ziqing Su; Wei Lin; Huibiao Zhu (COMPSAC, 2024)

Formalization and Verification of Percolator Using CSP. - Chenhui Wang; Ziqing Su; Huibiao Zhu (COMPSAC, 2024)