Sini Chen

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

Collaborative distances:

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

2024

Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system.

Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu

Softw. Qual. J., September, 2024

Trace Semantics for C++11 Memory Model.

Lili Xiao, Huibiao Zhu, Sini Chen, Mengda He, Shengchao Qin

Formal Aspects Comput., September, 2024

Formalization and Verification of Enhanced Group Communication CoAP.

Sini Chen, Ran Li, Huibiao Zhu

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

Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP.

Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Verification of Scapegoat Trees Using Dafny.

Jiapeng Wang, Sini Chen, Huibiao Zhu

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry.

Wenting Dong, Huibiao Zhu, Sini Chen, Ning Ge

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 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