default search action

combined dblp search
author search
venue search
publication search

ask others

Sini Chen

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/XiaoZCHQ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/XiaoZCHQ24
Lili Xiao, Huibiao Zhu, Sini Chen, Mengda He, Shengchao Qin:
Trace Semantics for C++11 Memory Model. Formal Aspects Comput. 36(3): 14:1-14:24 (2024)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/ChenLZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/ChenLZ24
Sini Chen, Ran Li, Huibiao Zhu:
Formalization and Verification of Enhanced Group Communication CoAP. Int. J. Softw. Eng. Knowl. Eng. 34(2): 301-330 (2024)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/YinCLZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/YinCLZ24
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): 1175-1202 (2024)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/WangCZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/WangCZ24
Jiapeng Wang, Sini Chen, Huibiao Zhu:
Verification of Scapegoat Trees Using Dafny. NFM 2024: 118-135
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/ZhuYCZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/ZhuYCZ24
Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu:
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. SAC 2024: 300-304
2023
[c5]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apsec/WangYCZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/WangYCZ23
Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu:
Formalization and Verification of Go-based New Simple Queue System. IWESQ/QuASoQ@APSEC 2023: 74-81
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbseerc/LinCZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbseerc/LinCZ23
Wei Lin, Sini Chen, Huibiao Zhu:
Formalization and Verification of MQTT-SN Communication Using CSP. ECBS 2023: 115-132
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/LvYCZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/LvYCZ23
Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu:
Formalization and Verification of the ICC Mechanism in Android System Using CSP. ISSREW 2023: 89-95
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/DuFCZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/DuFCZ23
Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu:
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. SEKE 2023: 404-409
2021
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pdcat/ChenLZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdcat/ChenLZ21
Sini Chen, Ran Li, Huibiao Zhu:
Formalization and Verification of Group Communication CoAP Using CSP. PDCAT 2021: 616-628

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.