Concepedia

Ruibing Hao

RH

5

Publications

179

Citations

5

H-Index

2003

Active since

Affiliations

Tsinghua University(Current)

University of Maryland, College Park

Ruibing Hao is an author at Tsinghua University specializing in computer science, formal verification, and engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationProgram AnalysisSoftware TestingComputer EngineeringFormal MethodsNetwork AnalysisSoftware AnalysisSystems Engineering

Publications per year

2003–2006

5

Publications

5

A formal approach for passive testing of protocol data portions

D. Lee, Dongluo Chen, Ruibing Hao et al. · 2003 · 65 citations

Engineering, Information Security, Verification +24

Network protocol system monitoring-a formal approach with passive testing

D. Lee, Dongluo Chen, Ruibing Hao et al. · IEEE/ACM Transactions on Networking · 2006 · 52 citations

Engineering, Verification, Network Analysis +20

An approach to accelerate convergence for path vector protocol

Jiazeng Luo, Junqing Xie, Ruibing Hao et al. · 2003 · 33 citations

Slow Convergence Problem, Path Vector Protocol, Engineering +16

Fault detection in Rule-based Software systems

Dong Wang, Ruibing Hao, David Lee · Information and Software Technology · 2003 · 17 citations

Software Maintenance, Engineering, Software System Safety +13

Test generation for interaction detection in feature-rich communication systems

Caixia Chi, Ruibing Hao · Computer Networks · 2006 · 12 citations

Engineering, Program Analysis, Software Testing +10

Rows per page

1–5 of 5