Sini Chen

19 papers A 1C 6Misc 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
A Framework for Verifying BPMN with Hoare Logic.
QRS Companion
Wei Lin, Sini Chen, Huibiao Zhu
2025 C conf
BDafny: A Formal Execution and Verification Framework of BPMN 2.0 in Dafny.
APSEC
Ziqing Su, Sini Chen, Ran Li, Huibiao Zhu, Jiapeng Wang
2025 C conf
Formal Modeling and Verification of AMQP Protocol Using Multiparty Session Types (S).
SEKE
Huiying Liu, Huibiao Zhu, Sini Chen
2025 J jnl
Formal Verification and Security Analysis of Go-based New Simple Queue System.
J. Circuits Syst. Comput.
Zhiru Hou, Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu
2025 J jnl
Formal verification and security analysis of MQTT-SN.
Int. J. Softw. Tools Technol. Transf.
Wei Lin, Sini Chen, Huibiao Zhu
2024 A conf
A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry.
ISSRE
Wenting Dong, Huibiao Zhu, Sini Chen, Ning Ge
2024 J jnl
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system.
Softw. Qual. J.
Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu
2024 C conf
Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs.
ICTAC
Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao
2024 Misc conf
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP.
SAC
Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu
2024 J jnl
Formalization and Verification of Enhanced Group Communication CoAP.
Int. J. Softw. Eng. Knowl. Eng.
Sini Chen, Ran Li, Huibiao Zhu
2024 C conf
Modeling and Verifying OPC UA of Aggregating Server Architecture for Vertical Integration.
SEKE
Zifan Liang, Wei Lin, Sini Chen, Huibiao Zhu
2024 — ch.
Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style.
The Practice of Formal Methods (II)
Lili Xiao, Huibiao Zhu, Jonathan P. Bowen, Sini Chen
2024 J jnl
Trace Semantics for C++11 Memory Model.
Formal Aspects Comput.
Lili Xiao, Huibiao Zhu, Sini Chen, Mengda He, Shengchao Qin
2024 — conf
Verification of Scapegoat Trees Using Dafny.
NFM
Jiapeng Wang, Sini Chen, Huibiao Zhu
2023 C conf
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP.
SEKE
Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu
2023 — conf
Formalization and Verification of Go-based New Simple Queue System.
IWESQ/QuASoQ@APSEC
Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu
2023 — conf
Formalization and Verification of MQTT-SN Communication Using CSP.
ECBS
Wei Lin, Sini Chen, Huibiao Zhu
2023 — conf
Formalization and Verification of the ICC Mechanism in Android System Using CSP.
ISSREW
Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu
2021 C conf
Formalization and Verification of Group Communication CoAP Using CSP.
PDCAT
Sini Chen, Ran Li, Huibiao Zhu