Concepedia

Jiaqi Yin

JY

Statistics

Publications

4

Citations

91

H-Index

4

Active since

2017

Affiliations

East China Normal University(Current)

Shanghai Key Laboratory of Trustworthy Computing

Jiaqi Yin is an author at East China Normal University specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsFormal VerificationCryptographyVerificationCommunicationData ManagementComputer ScienceInternet Of ThingsSystems Engineering

Publications per year

2017–2022

4

Publications

4

Dynamics of levitated objects in acoustic vortex fields

Zhenyu Hong, Jiaqi Yin, Wei Zhai et al. · Scientific Reports · 2017 · 54 citations · Full text

Specification and Verification of the Zab Protocol with TLA+

Jiaqi Yin, Huibiao Zhu, Yuan Fei · Journal of Computer Science and Technology · 2020 · 15 citations

Engineering, Zab Protocol, Formal Methods +7

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP

Junya Xu, Jiaqi Yin, Huibiao Zhu et al. · 2021 · 12 citations

Engineering, Network Communication Protocol, Fault-tolerant Messaging +14

Verification of RabbitMQ with Kerberos Using Timed Automata

Ran Li, Jiaqi Yin, Huibiao Zhu et al. · Mobile Networks and Applications · 2022 · 10 citations

1–4 of 4