C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sini Chen
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Arc Consistency
Database Replication
Tree Decomposition
Communication Protocols
Top Venues
PDCAT
IWESQ/QuASoQ@APSEC
ECBS
ISSREW
</>
Publications
</>
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)