Toward Formal TTCN-Based Test Execution. - Ruibing Hao; Jianping Wu (INFOCOM, 1997)

TUGEN: an automatic test suite generator integrating data-flow and control-flow methods. - Jianguo Wang; Ruibing Hao; Jianping Wu (ICC, 1998)

A formal approach to protocol interoperability testing. - Ruibing Hao; Jianping Wu (J. Comput. Sci. Technol., 1998)

Structural Biology Metaphors Applied to the Design of a Distributed Object System. - Ladislau Bölöni; Ruibing Hao; Kyungkoo Jun; Dan C. Marinescu (IPPS/SPDP Workshops, 1999)

An Aspect-Oriented Approach to Distributed Object Security. - Ruibing Hao; Ladislau Bölöni; Kyungkoo Jun; Dan C. Marinescu (ISCC, 1999)

Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. - Ruibing Hao; David Lee 001; Rakesh K. Sinha; Dario Vlah (FORTE, 2000)

Interoperability testing of VoIP systems. - Nancy D. Griffeth; Ruibing Hao; David Lee 001; Rakesh K. Sinha (GLOBECOM, 2000)

SOCRATES on IP router fault detection. - Ruibing Hao; David Lee 001; Rakesh K. Sinha (GLOBECOM, 2000)

Test Sequence Selection. - David Lee; Ruibing Hao (FORTE, 2001)

An approach to accelerate convergence for path vector protocol. - Jiazeng Luo; Junqing Xie; Ruibing Hao; Xing Li (GLOBECOM, 2002)

A Formal Approach for Passive Testing of Protocol Data Portions. - David Lee; Dongluo Chen; Ruibing Hao; Raymond E. Miller; Jianping Wu; Xia Yin (ICNP, 2002)

A Framework on Feature Interactions in Optical Network Protocols. - Caixia Chi; Dong Wang; Ruibing Hao (FIW, 2003)

Fault detection in Rule-based Software systems. - Dong Wang; Ruibing Hao; David Lee (Inf. Softw. Technol., 2003)

Fault management for networks with link state routing protocols. - Ruibing Hao; David Lee 001; Juntao Ma; Jiahai Yang (NOMS (1), 2004)

Integrated system interoperability testing with applications to VoIP. - Ruibing Hao; David Lee 001; Rakesh K. Sinha; Nancy D. Griffeth (IEEE/ACM Trans. Netw., 2004)

Coping with Nondeterminism in Network Protocol Testing. - Raymond E. Miller; Dongluo Chen; David Lee; Ruibing Hao (TestCom, 2005)

The Optimal Rate-Limiting Timer of BGP for Routing Convergence. - Jian Qiu; Ruibing Hao; Xing Li (IEICE Trans. Commun., 2005)

A dynamic token passing MAC protocol for mobile ad hoc networks. - Xuming Lu; Guangbin Fan; Ruibing Hao (IWCMC, 2006)

Network protocol system monitoring: a formal approach with passive testing. - David Lee; Dongluo Chen; Ruibing Hao; Raymond E. Miller; Jianping Wu; Xia Yin (IEEE/ACM Trans. Netw., 2006)

Modeling and Analysis of Handover Algorithms. - Caixia Chi; Xuejun Cai; Ruibing Hao; Fang Liu (GLOBECOM, 2007)

Test generation for interaction detection in feature-rich communication systems. - Caixia Chi; Ruibing Hao (Comput. Networks, 2007)

User Behavior Modeling and Traffic Analysis of IMS Presence Servers. - Zhiguo Cao 001; Caixia Chi; Ruibing Hao; Yang Xiao 007 (GLOBECOM, 2008)

IMS presence server: Traffic analysis & performance modelling. - Caixia Chi; Ruibing Hao; Dong Wang; Zhen-Zhen Cao (ICNP, 2008)

Realm-Based Redirection In Diameter. - Tina Tsou; Ruibing Hao; Tom Taylor (RFC, 2013)