2008 |
19 | EE | Zhiguo Cao,
Caixia Chi,
Ruibing Hao,
Yang Xiao:
User Behavior Modeling and Traffic Analysis of IMS Presence Servers.
GLOBECOM 2008: 2469-2473 |
2007 |
18 | EE | Caixia Chi,
Xuejun Cai,
Ruibing Hao,
Fang Liu:
Modeling and Analysis of Handover Algorithms.
GLOBECOM 2007: 4473-4477 |
17 | EE | Caixia Chi,
Ruibing Hao:
Test generation for interaction detection in feature-rich communication systems.
Computer Networks 51(2): 426-438 (2007) |
2006 |
16 | EE | Xuming Lu,
Guangbin Fan,
Ruibing Hao:
A dynamic token passing MAC protocol for mobile ad hoc networks.
IWCMC 2006: 743-748 |
15 | EE | 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): 424-437 (2006) |
2005 |
14 | EE | Raymond E. Miller,
Dongluo Chen,
David Lee,
Ruibing Hao:
Coping with Nondeterminism in Network Protocol Testing.
TestCom 2005: 129-145 |
13 | EE | Caixia Chi,
Ruibing Hao:
Test Generation for Interaction Detection in Feature-Rich Communication Systems.
TestCom 2005: 242-257 |
12 | EE | Jian Qiu,
Ruibing Hao,
Xing Li:
The Optimal Rate-Limiting Timer of BGP for Routing Convergence.
IEICE Transactions 88-B(4): 1338-1346 (2005) |
2004 |
11 | EE | Ruibing Hao,
David Lee,
Juntao Ma,
Jiahai Yang:
Fault management for networks with link state routing protocols.
NOMS (1) 2004: 103-116 |
10 | EE | Ruibing Hao,
David Lee,
Rakesh K. Sinha,
Nancy D. Griffeth:
Integrated system interoperability testing with applications to VoIP.
IEEE/ACM Trans. Netw. 12(5): 823-836 (2004) |
2003 |
9 | | Caixia Chi,
Dong Wang,
Ruibing Hao:
A Framework on Feature Interactions in Optical Network Protocols.
FIW 2003: 141-148 |
8 | EE | Dong Wang,
Ruibing Hao,
David Lee:
Fault detection in Rule-based Software systems.
Information & Software Technology 45(12): 865-871 (2003) |
2002 |
7 | EE | 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: 122-131 |
2001 |
6 | | David Lee,
Ruibing Hao:
Test Sequence Selection.
FORTE 2001: 269-284 |
2000 |
5 | | Ruibing Hao,
David Lee,
Rakesh K. Sinha,
Dario Vlah:
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool.
FORTE 2000: 249-264 |
4 | | Nancy D. Griffeth,
Ruibing Hao,
David Lee,
Rakesh K. Sinha:
Integrated System Interoperability Testing with Applications to VOIP.
FORTE 2000: 69-84 |
1999 |
3 | | 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: 275-283 |
2 | EE | Ruibing Hao,
Ladislau Bölöni,
Kyungkoo Jun,
Dan C. Marinescu:
An Aspect-Oriented Approach to Distributed Object Security.
ISCC 1999: 23-30 |
1997 |
1 | | Ruibing Hao,
Jianping Wu:
Toward Formal TTCN-Based Test Execution.
INFOCOM 1997: 230-235 |