Sini Chen

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Constraint Satisfaction Problems

Group Communication

Database Replication

Tree Decomposition

Top Venues

IWESQ/QuASoQ@APSEC

Softw. Qual. J.

Publications

Sini Chen, Ran Li, Huibiao Zhu
Formalization and Verification of Enhanced Group Communication CoAP. Int. J. Softw. Eng. Knowl. Eng. 34 (2) (2024)
Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system. Softw. Qual. J. 32 (3) (2024)
Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. SAC (2024)
Jiapeng Wang, Sini Chen, Huibiao Zhu
Verification of Scapegoat Trees Using Dafny. NFM (2024)
Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. SEKE (2023)
Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of Go-based New Simple Queue System. IWESQ/QuASoQ@APSEC (2023)
Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of the ICC Mechanism in Android System Using CSP. ISSREW (2023)
Wei Lin, Sini Chen, Huibiao Zhu
Formalization and Verification of MQTT-SN Communication Using CSP. ECBS (2023)
Sini Chen, Ran Li, Huibiao Zhu
Formalization and Verification of Group Communication CoAP Using CSP. PDCAT (2021)