Ziqing Su

According to our database, Ziqing Su authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

BDafny: A Formal Execution and Verification Framework of BPMN 2.0 in Dafny.

Ziqing Su, Sini Chen, Ran Li, Huibiao Zhu, Jiapeng Wang

Proceedings of the 32nd Asia-Pacific Software Engineering Conference, 2025

2024

Formalization and Verification of Percolator Using CSP.

Chenhui Wang, Ziqing Su, Huibiao Zhu

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Formalization and Verification of OpenStack Swift Using CSP.

Ziqing Su, Wei Lin, Huibiao Zhu

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Trace and Algebraic Semantics for Partial Store Order Memory Model.

Junfu Luo, Lili Xiao, Huibiao Zhu, Ziqing Su

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Formal Verification and Security Analysis of AMQP.

Huiying Liu, Wenting Dong, Huibiao Zhu, Ziqing Su

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2022

An intelligent control system for robot massaging with uncertain skin characteristics.

Jingmei Zhai, Xianwen Zeng, Ziqing Su

Ind. Robot, 2022