Ruibing Hao

According to our database1, Ruibing Hao authored at least 24 papers between 1997 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Realm-Based Redirection In Diameter.
RFC, November, 2013

2008
IMS presence server: Traffic analysis & performance modelling.
Proceedings of the 16th annual IEEE International Conference on Network Protocols, 2008

User Behavior Modeling and Traffic Analysis of IMS Presence Servers.
Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

2007
Test generation for interaction detection in feature-rich communication systems.
Comput. Networks, 2007

Modeling and Analysis of Handover Algorithms.
Proceedings of the Global Communications Conference, 2007

2006
Network protocol system monitoring: a formal approach with passive testing.
IEEE/ACM Trans. Netw., 2006

A dynamic token passing MAC protocol for mobile ad hoc networks.
Proceedings of the International Conference on Wireless Communications and Mobile Computing, 2006

2005
The Optimal Rate-Limiting Timer of BGP for Routing Convergence.
IEICE Trans. Commun., 2005

Coping with Nondeterminism in Network Protocol Testing.
Proceedings of the Testing of Communicating Systems, 2005

2004
Integrated system interoperability testing with applications to VoIP.
IEEE/ACM Trans. Netw., 2004

Fault management for networks with link state routing protocols.
Proceedings of the Managing Next Generation Convergence Networks and Services, 2004

2003
Fault detection in Rule-based Software systems.
Inf. Softw. Technol., 2003

A Framework on Feature Interactions in Optical Network Protocols.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2002
A Formal Approach for Passive Testing of Protocol Data Portions.
Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

An approach to accelerate convergence for path vector protocol.
Proceedings of the Global Telecommunications Conference, 2002

2001
Test Sequence Selection.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000
SOCRATES on IP router fault detection.
Proceedings of the Global Telecommunications Conference, 2000. GLOBECOM 2000, San Francisco, CA, USA, 27 November, 2000

Interoperability testing of VoIP systems.
Proceedings of the Global Telecommunications Conference, 2000. GLOBECOM 2000, San Francisco, CA, USA, 27 November, 2000

Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool.
Proceedings of the Formal Techniques for Distributed System Development, 2000

1999
An Aspect-Oriented Approach to Distributed Object Security.
Proceedings of the Fourth IEEE Symposium on Computers and Communications (ISCC 1999), 1999

Structural Biology Metaphors Applied to the Design of a Distributed Object System.
Proceedings of the Parallel and Distributed Processing, 1999

1998
A formal approach to protocol interoperability testing.
J. Comput. Sci. Technol., 1998

TUGEN: an automatic test suite generator integrating data-flow and control-flow methods.
Proceedings of the 1998 IEEE International Conference on Communications, 1998

1997
Toward Formal TTCN-Based Test Execution.
Proceedings of the Proceedings IEEE INFOCOM '97, 1997


  Loading...