| 2026 | TASE | PAT2PRISM: Bridging Qualitative Correctness and Quantitative Resilience for IoT Protocols. | Zihan Tang, Sini Chen, Lili Xiao, Huibiao Zhu |
| 2025 | APSEC | BDafny: A Formal Execution and Verification Framework of BPMN 2.0 in Dafny. | Ziqing Su, Sini Chen, Ran Li, Huibiao Zhu, Jiapeng Wang |
| 2025 | QRS | A Framework for Verifying BPMN with Hoare Logic. | Wei Lin, Sini Chen, Huibiao Zhu |
| 2025 | SEKE | Formal Modeling and Verification of AMQP Protocol Using Multiparty Session Types (S). | Huiying Liu, Huibiao Zhu, Sini Chen |
| 2024 | ICTAC | 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, Xinbin Cao |
| 2024 | ISSRE | A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry. | Wenting Dong, Huibiao Zhu, Sini Chen, Ning Ge |
| 2024 | SAC | Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. | Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu |
| 2024 | SEKE | Modeling and Verifying OPC UA of Aggregating Server Architecture for Vertical Integration. | Zifan Liang, Wei Lin, Sini Chen, Huibiao Zhu |
| 2023 | APSEC | Formalization and Verification of Go-based New Simple Queue System. | Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu |
| 2023 | ISSRE | Formalization and Verification of the ICC Mechanism in Android System Using CSP. | Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu |
| 2023 | SEKE | Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. | Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu |
| 2021 | PDCAT | Formalization and Verification of Group Communication CoAP Using CSP. | Sini Chen, Ran Li, Huibiao Zhu |