Statistics
Publications
8
Citations
189
H-Index
8
Active since
2011
Affiliations
Yongxin Zhao is an author at East China Normal University specializing in computing, computer science, and formal methods.
Publications per year
2011–2020
8
8
Deep Learning for Web Services Classification
Yilong Yang, Wei Ke, Weiru Wang et al. · 2019 · 46 citations
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP
Yanhong Huang, Yongxin Zhao, Longfei Zhu et al. · 2011 · 43 citations
Formal Analysis of TSN Scheduler for Real-Time Communications
Jin Lv, Yongxin Zhao, Xi Wu et al. · IEEE Transactions on Reliability · 2020 · 29 citations
Formalizing Google File System
Mengdi Wang, Bo Li, Yongxin Zhao et al. · 2014 · 16 citations
A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus
Peng Zhang, Yu Liu, Jianqi Shi et al. · IEEE Access · 2019 · 16 citations · Full text
1–5 of 8