Concepedia

Yuhong Zhao

YZ

5

Publications

98

Citations

5

H-Index

2009

Active since

Affiliations

Paderborn University(Current)

Huazhong University of Science and Technology

Yuhong Zhao is an author at Paderborn University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsVerificationProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSystem SoftwareSoftware Testing

Publications per year

2009–2016

5

Publications

5

Meeting service level agreement cost-effectively for video-on-demand applications in the cloud

Yuhong Zhao, Hong Jiang, Ke Zhou et al. · 2014 · 32 citations

A A Service, Cluster Computing, Provisioning (Technology) +17

XI-Code: A Family of Practical Lowest Density MDS Array Codes of Distance 4

Zhijie Huang, Hong Jiang, Ke Zhou et al. · IEEE Transactions on Communications · 2016 · 24 citations

Hardware Security, New Family, Array Computing +15

Online Model Checking for Dependable Real-Time Systems

Yuhong Zhao, Franz J. Rammig · 2012 · 17 citations

Program Checking, Engineering, Verification +19

Model-based Runtime Verification Framework

Yuhong Zhao, Franz J. Rammig · Electronic Notes in Theoretical Computer Science · 2009 · 15 citations · Full text

Engineering, Model-based Runtime Verification, Runtime Verification +15

Accelerating Online Model Checking

M. Qanadilo, Sufyan Samara, Yuhong Zhao · 2013 · 10 citations

Program Checking, Engineering, Hardware Verification Language +18

Rows per page

1–5 of 5