Ruibing Hao

Publication Activity (10 Years)

Years Active: 1997-2013
Publications (10 Years): 0

Top Topics

Maximum Distance

Query Processing

Top Venues

Publications

Tina Tsou, Ruibing Hao, Tom Taylor
Realm-Based Redirection In Diameter. RFC 7075 (2013)
Caixia Chi, Ruibing Hao, Dong Wang, Zhen-Zhen Cao
IMS presence server: Traffic analysis & performance modelling. ICNP (2008)
Zhiguo Cao, Caixia Chi, Ruibing Hao, Yang Xiao
User Behavior Modeling and Traffic Analysis of IMS Presence Servers. GLOBECOM (2008)
Caixia Chi, Xuejun Cai, Ruibing Hao, Fang Liu
Modeling and Analysis of Handover Algorithms. GLOBECOM (2007)
Caixia Chi, Ruibing Hao
Test generation for interaction detection in feature-rich communication systems. Comput. Networks 51 (2) (2007)
Xuming Lu, Guangbin Fan, Ruibing Hao
A dynamic token passing MAC protocol for mobile ad hoc networks. IWCMC (2006)
David Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin
Network protocol system monitoring: a formal approach with passive testing. IEEE/ACM Trans. Netw. 14 (2) (2006)
Jian Qiu, Ruibing Hao, Xing Li
The Optimal Rate-Limiting Timer of BGP for Routing Convergence. IEICE Trans. Commun. (4) (2005)
Caixia Chi, Ruibing Hao
Test Generation for Interaction Detection in Feature-Rich Communication Systems. TestCom (2005)
Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao
Coping with Nondeterminism in Network Protocol Testing. TestCom (2005)
Ruibing Hao, David Lee, Juntao Ma, Jiahai Yang
Fault management for networks with link state routing protocols. NOMS (1) (2004)
Ruibing Hao, David Lee, Rakesh K. Sinha, Nancy D. Griffeth
Integrated system interoperability testing with applications to VoIP. IEEE/ACM Trans. Netw. 12 (5) (2004)
Dong Wang, Ruibing Hao, David Lee
Fault detection in Rule-based Software systems. Inf. Softw. Technol. 45 (12) (2003)
Caixia Chi, Dong Wang, Ruibing Hao
A Framework on Feature Interactions in Optical Network Protocols. FIW (2003)
David Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin
A Formal Approach for Passive Testing of Protocol Data Portions. ICNP (2002)
Jiazeng Luo, Junqing Xie, Ruibing Hao, Xing Li
An approach to accelerate convergence for path vector protocol. GLOBECOM (2002)
David Lee, Ruibing Hao
Test Sequence Selection. FORTE (2001)
Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha
Interoperability testing of VoIP systems. GLOBECOM (2000)
Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha
Integrated System Interoperability Testing with Applications to VOIP. FORTE (2000)
Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. FORTE (2000)
Ruibing Hao, David Lee, Rakesh K. Sinha
SOCRATES on IP router fault detection. GLOBECOM (2000)
Ladislau Bölöni, Ruibing Hao, Kyungkoo Jun, Dan C. Marinescu
Structural Biology Metaphors Applied to the Design of a Distributed Object System. IPPS/SPDP Workshops (1999)
Ruibing Hao, Ladislau Bölöni, Kyungkoo Jun, Dan C. Marinescu
An Aspect-Oriented Approach to Distributed Object Security. ISCC (1999)
Jianguo Wang, Ruibing Hao, Jianping Wu
TUGEN: an automatic test suite generator integrating data-flow and control-flow methods. ICC (1998)
Ruibing Hao, Jianping Wu
A formal approach to protocol interoperability testing. J. Comput. Sci. Technol. 13 (1) (1998)
Ruibing Hao, Jianping Wu
Toward Formal TTCN-Based Test Execution. INFOCOM (1997)