Sini Chen

According to our database, Sini Chen authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

2024

Formalization and Verification of Enhanced Group Communication CoAP.

Sini Chen, Ran Li, Huibiao Zhu

Int. J. Softw. Eng. Knowl. Eng., February, 2024

2023

Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP.

Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Formalization and Verification of the ICC Mechanism in Android System Using CSP.

Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

Formalization and Verification of MQTT-SN Communication Using CSP.

Wei Lin, Sini Chen, Huibiao Zhu

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

Formalization and Verification of Go-based New Simple Queue System.

Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu

Proceedings of the Joint Proceedings of the 5th International Workshop on Experience with SQuaRE series and its Future Direction and the 11th International Workshop on Quantitative Approaches to Software Quality co-located with the 30th Asia Pacific Software Engineering Conference (APSEC 2023), 2023

2021

Formalization and Verification of Group Communication CoAP Using CSP.

Sini Chen, Ran Li, Huibiao Zhu

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2021