Get started
Author

Sini Chen

ORCID: 0000-0003-3923-7972
Observed ORCID: 0000-0003-3923-7972
OpenAlex ID: A5005917912
Formalization and Verification of Enhanced Group Communication CoAP
2023 · Sini Chen, Ran Li, et al. · International Journal of Software Engineering and Knowledge Engineering · 9
Formal verification and security analysis of MQTT-SN
2025 · Wei Lin, Sini Chen, et al. · International Journal on Software Tools for Technology Transfer · 7
Formalization and Verification of Group Communication CoAP Using CSP
2022 · Sini Chen, Ran Li, et al. · Lecture notes in computer science · 7
A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry
2024 · Wenting Dong, Huibiao Zhu, et al. · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 4
Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style
2024 · Lili Xiao, Huibiao Zhu, et al. · Lecture notes in computer science · 3
Modeling and Verifying OPC UA Protocol for Vertical Integration
2026 · Zifan Liang, Wei Lin, et al. · International Journal of Software Engineering and Knowledge Engineering · 2
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system
2024 · Jiaqi Yin, Sini Chen, et al. · Software Quality Journal · 2
Formalization and Verification of MQTT-SN Communication Using CSP
2023 · Wei Lin, Sini Chen, et al. · Lecture notes in computer science · 2
Formalization and Verification of the ICC Mechanism in Android System Using CSP
2023 · Yixiao Lv, Jiaqi Yin, et al. · IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) · 2
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP
2023 · Yingjia Du, Yuan Fei, et al. · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 2
PDF
Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs
2024 · Sini Chen, Huibiao Zhu, et al. · Lecture notes in computer science · 1
Modeling and Verifying OPC UA of Aggregating Server Architecture for Vertical Integration
2024 · Zifan Liang, Wei Lin, et al. · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 1
PDF
Verification of Scapegoat Trees Using Dafny
2024 · Jiapeng Wang, Sini Chen, et al. · Lecture notes in computer science · 1
The Symbiosis of Formal Methods and Artificial Intelligence
2026 · Jonathan P. Bowen, Sini Chen · Applied Sciences
PDF
PAT2PRISM: Bridging Qualitative Correctness and Quantitative Resilience for IoT Protocols
2026 · Zihan Tang, Sini Chen, et al. · Lecture notes in computer science
A Decoupled and Automata-Based Approach for Formal Verification of MeshCoP
2026 · Ran Li, Sini Chen, et al. · International Conference on Computer Supported Cooperative Work in Design (CSCWD)
Synergy of Formal Semantics and Industrial Data Analytics for Manufacturing Operation Management
2026 · Sini Chen, Huibiao Zhu, et al. · Journal of Circuits Systems and Computers
BDafny: A Formal Execution and Verification Framework of BPMN 2.0 in Dafny
2025 · Ziqing Su, Sini Chen, et al. · Asia-Pacific Software Engineering Conference (APSEC)
Formal Modeling and Verification of AMQP Protocol Using Multiparty Session Types (S)
2025 · Huiying Liu, Huibiao Zhu, et al. · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering
PDF
A Framework for Verifying BPMN with Hoare Logic
2025 · Wei Lin, Sini Chen, et al. · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)
Formal Verification and Security Analysis of Go-based New Simple Queue System
2024 · Zhiru Hou, Danyang Wang, et al. · Journal of Circuits Systems and Computers
Trace Semantics for C++11 Memory Model
2024 · Lili Xiao, Huibiao Zhu, et al. · Formal Aspects of Computing
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP
2024 · Bangjie Zhu, Jiaqi Yin, et al. · ACM Symposium on Applied Computing
PDF
Formalization and Verification of the Zab Protocol Using CSP
2023 · Wenting Dong, Jiaqi Yin, et al. · Lecture notes in electrical engineering
Works count: 24
Citation count: 43
H-index: 4
I10-index:
Year
Topic
Type