Ziqing Su

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

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
BDafny: A Formal Execution and Verification Framework of BPMN 2.0 in Dafny.
Proceedings of the 32nd Asia-Pacific Software Engineering Conference, 2025

2024
Formalization and Verification of Percolator Using CSP.
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Formalization and Verification of OpenStack Swift Using CSP.
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Trace and Algebraic Semantics for Partial Store Order Memory Model.
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Formal Verification and Security Analysis of AMQP.
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2022
An intelligent control system for robot massaging with uncertain skin characteristics.
Ind. Robot, 2022


  Loading...