default search action
BibTeX records: Ruibing Hao
@article{DBLP:journals/rfc/rfc7075, author = {Tina Tsou and Ruibing Hao and Tom Taylor}, title = {Realm-Based Redirection In Diameter}, journal = {{RFC}}, volume = {7075}, pages = {1--10}, year = {2013}, url = {https://doi.org/10.17487/RFC7075}, doi = {10.17487/RFC7075}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rfc/rfc7075.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/globecom/CaoCHX08, author = {Zhiguo Cao and Caixia Chi and Ruibing Hao and Yang Xiao}, title = {User Behavior Modeling and Traffic Analysis of {IMS} Presence Servers}, booktitle = {Proceedings of the Global Communications Conference, 2008. {GLOBECOM} 2008, New Orleans, LA, USA, 30 November - 4 December 2008}, pages = {2469--2473}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/GLOCOM.2008.ECP.474}, doi = {10.1109/GLOCOM.2008.ECP.474}, timestamp = {Tue, 25 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/globecom/CaoCHX08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icnp/ChiHWC08, author = {Caixia Chi and Ruibing Hao and Dong Wang and Zhen{-}Zhen Cao}, title = {{IMS} presence server: Traffic analysis {\&} performance modelling}, booktitle = {Proceedings of the 16th annual {IEEE} International Conference on Network Protocols, 2008. {ICNP} 2008, Orlando, Florida, USA, 19-22 October 2008}, pages = {63--72}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ICNP.2008.4697025}, doi = {10.1109/ICNP.2008.4697025}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icnp/ChiHWC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cn/ChiH07, author = {Caixia Chi and Ruibing Hao}, title = {Test generation for interaction detection in feature-rich communication systems}, journal = {Comput. Networks}, volume = {51}, number = {2}, pages = {426--438}, year = {2007}, url = {https://doi.org/10.1016/j.comnet.2006.08.015}, doi = {10.1016/J.COMNET.2006.08.015}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cn/ChiH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/globecom/ChiCHL07, author = {Caixia Chi and Xuejun Cai and Ruibing Hao and Fang Liu}, title = {Modeling and Analysis of Handover Algorithms}, booktitle = {Proceedings of the Global Communications Conference, 2007. {GLOBECOM} '07, Washington, DC, USA, 26-30 November 2007}, pages = {4473--4477}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/GLOCOM.2007.850}, doi = {10.1109/GLOCOM.2007.850}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/globecom/ChiCHL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ton/LeeCHMWY06, author = {David Lee and Dongluo Chen and Ruibing Hao and Raymond E. Miller and Jianping Wu and Xia Yin}, title = {Network protocol system monitoring: a formal approach with passive testing}, journal = {{IEEE/ACM} Trans. Netw.}, volume = {14}, number = {2}, pages = {424--437}, year = {2006}, url = {http://doi.acm.org/10.1145/1217619.1217634}, doi = {10.1145/1217619.1217634}, timestamp = {Mon, 14 Jul 2008 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ton/LeeCHMWY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwcmc/LuFH06, author = {Xuming Lu and Guangbin Fan and Ruibing Hao}, editor = {Seizo Onoe and Mohsen Guizani and Hsiao{-}Hwa Chen and Mamoru Sawahashi}, title = {A dynamic token passing {MAC} protocol for mobile ad hoc networks}, booktitle = {Proceedings of the International Conference on Wireless Communications and Mobile Computing, {IWCMC} 2006, Vancouver, British Columbia, Canada, July 3-6, 2006}, pages = {743--748}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1143549.1143698}, doi = {10.1145/1143549.1143698}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwcmc/LuFH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/QiuHL05, author = {Jian Qiu and Ruibing Hao and Xing Li}, title = {The Optimal Rate-Limiting Timer of {BGP} for Routing Convergence}, journal = {{IEICE} Trans. Commun.}, volume = {88-B}, number = {4}, pages = {1338--1346}, year = {2005}, url = {https://doi.org/10.1093/ietcom/e88-b.4.1338}, doi = {10.1093/IETCOM/E88-B.4.1338}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/QiuHL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pts/MillerCLH05, author = {Raymond E. Miller and Dongluo Chen and David Lee and Ruibing Hao}, editor = {Ferhat Khendek and Rachida Dssouli}, title = {Coping with Nondeterminism in Network Protocol Testing}, booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3502}, pages = {129--145}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11430230\_10}, doi = {10.1007/11430230\_10}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/pts/MillerCLH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pts/ChiH05, author = {Caixia Chi and Ruibing Hao}, editor = {Ferhat Khendek and Rachida Dssouli}, title = {Test Generation for Interaction Detection in Feature-Rich Communication Systems}, booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3502}, pages = {242--257}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11430230\_17}, doi = {10.1007/11430230\_17}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pts/ChiH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ton/HaoLSG04, author = {Ruibing Hao and David Lee and Rakesh K. Sinha and Nancy D. Griffeth}, title = {Integrated system interoperability testing with applications to VoIP}, journal = {{IEEE/ACM} Trans. Netw.}, volume = {12}, number = {5}, pages = {823--836}, year = {2004}, url = {https://doi.org/10.1109/TNET.2004.836136}, doi = {10.1109/TNET.2004.836136}, timestamp = {Fri, 01 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ton/HaoLSG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/noms/HaoLMY04, author = {Ruibing Hao and David Lee and Juntao Ma and Jiahai Yang}, title = {Fault management for networks with link state routing protocols}, booktitle = {Managing Next Generation Convergence Networks and Services, {IEEE/IFIP} Network Operations and Management Symposium, {NOMS} 2004, Seoul, Korea, 19-23 April 2004, Proceedings}, pages = {103--116}, publisher = {{IEEE}}, year = {2004}, url = {https://doi.org/10.1109/NOMS.2004.1317646}, doi = {10.1109/NOMS.2004.1317646}, timestamp = {Fri, 01 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/noms/HaoLMY04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/WangHL03, author = {Dong Wang and Ruibing Hao and David Lee}, title = {Fault detection in Rule-based Software systems}, journal = {Inf. Softw. Technol.}, volume = {45}, number = {12}, pages = {865--871}, year = {2003}, url = {https://doi.org/10.1016/S0950-5849(03)00065-X}, doi = {10.1016/S0950-5849(03)00065-X}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/WangHL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fiw/ChiWH03, author = {Caixia Chi and Dong Wang and Ruibing Hao}, editor = {Daniel Amyot and Luigi Logrippo}, title = {A Framework on Feature Interactions in Optical Network Protocols}, booktitle = {Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada}, pages = {141--148}, publisher = {{IOS} Press}, year = {2003}, timestamp = {Tue, 16 Nov 2004 09:12:37 +0100}, biburl = {https://dblp.org/rec/conf/fiw/ChiWH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/globecom/LuoXHL02, author = {Jiazeng Luo and Junqing Xie and Ruibing Hao and Xing Li}, title = {An approach to accelerate convergence for path vector protocol}, booktitle = {Proceedings of the Global Telecommunications Conference, 2002. {GLOBECOM} '02, Taipei, Taiwan, 17-21 November, 2002}, pages = {2390--2394}, publisher = {{IEEE}}, year = {2002}, url = {https://doi.org/10.1109/GLOCOM.2002.1189059}, doi = {10.1109/GLOCOM.2002.1189059}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/globecom/LuoXHL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icnp/LeeCHMWY02, author = {David Lee and Dongluo Chen and Ruibing Hao and Raymond E. Miller and Jianping Wu and Xia Yin}, title = {A Formal Approach for Passive Testing of Protocol Data Portions}, booktitle = {10th {IEEE} International Conference on Network Protocols {(ICNP} 2002), 12-15 November 2002, Paris, France, Proceedings}, pages = {122--131}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/ICNP.2002.1181393}, doi = {10.1109/ICNP.2002.1181393}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icnp/LeeCHMWY02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/LeeH01, author = {David Lee and Ruibing Hao}, editor = {Myungchul Kim and Byoungmoon Chin and Sungwon Kang and Danhyung Lee}, title = {Test Sequence Selection}, booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001, {IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea}, series = {{IFIP} Conference Proceedings}, volume = {197}, pages = {269--284}, publisher = {Kluwer}, year = {2001}, timestamp = {Mon, 05 Oct 2020 12:53:08 +0200}, biburl = {https://dblp.org/rec/conf/forte/LeeH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/GriffethHLS00, author = {Nancy D. Griffeth and Ruibing Hao and David Lee and Rakesh K. Sinha}, editor = {Tommaso Bolognesi and Diego Latella}, title = {Integrated System Interoperability Testing with Applications to {VOIP}}, booktitle = {Formal Techniques for Distributed System Development, {FORTE/PSTV} 2000, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XIII)} and Protocol Specification, Testing and Verification {(PSTV} XX), October 10-13, 2000, Pisa, Italy}, series = {{IFIP} Conference Proceedings}, volume = {183}, pages = {69--84}, publisher = {Kluwer}, year = {2000}, timestamp = {Fri, 01 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/GriffethHLS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/HaoLSV00, author = {Ruibing Hao and David Lee and Rakesh K. Sinha and Dario Vlah}, editor = {Tommaso Bolognesi and Diego Latella}, title = {Testing {IP} Routing Protocols - From Probabilistic Algorithms to a Software Tool}, booktitle = {Formal Techniques for Distributed System Development, {FORTE/PSTV} 2000, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XIII)} and Protocol Specification, Testing and Verification {(PSTV} XX), October 10-13, 2000, Pisa, Italy}, series = {{IFIP} Conference Proceedings}, volume = {183}, pages = {249--264}, publisher = {Kluwer}, year = {2000}, timestamp = {Fri, 01 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/HaoLSV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/globecom/GriffethHLS00, author = {Nancy D. Griffeth and Ruibing Hao and David Lee and Rakesh K. Sinha}, title = {Interoperability testing of VoIP systems}, booktitle = {Proceedings of the Global Telecommunications Conference, 2000. {GLOBECOM} 2000, San Francisco, CA, USA, 27 November - 1 December 2000}, pages = {1565--1570}, publisher = {{IEEE}}, year = {2000}, url = {https://doi.org/10.1109/GLOCOM.2000.891902}, doi = {10.1109/GLOCOM.2000.891902}, timestamp = {Fri, 01 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/globecom/GriffethHLS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/globecom/HaoLS00, author = {Ruibing Hao and David Lee and Rakesh K. Sinha}, title = {{SOCRATES} on {IP} router fault detection}, booktitle = {Proceedings of the Global Telecommunications Conference, 2000. {GLOBECOM} 2000, San Francisco, CA, USA, 27 November - 1 December 2000}, pages = {1578--1582}, publisher = {{IEEE}}, year = {2000}, url = {https://doi.org/10.1109/GLOCOM.2000.891904}, doi = {10.1109/GLOCOM.2000.891904}, timestamp = {Fri, 01 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/globecom/HaoLS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/BoloniHJM99, author = {Ladislau B{\"{o}}l{\"{o}}ni and Ruibing Hao and Kyungkoo Jun and Dan C. Marinescu}, editor = {Jos{\'{e}} D. P. Rolim and Frank Mueller and Albert Y. Zomaya and Fikret Er{\c{c}}al and Stephan Olariu and Binoy Ravindran and Jan Gustafsson and Hiroaki Takada and Ronald A. Olsson and Laxmikant V. Kal{\'{e}} and Peter H. Beckman and Matthew Haines and Hossam A. ElGindy and Denis Caromel and Serge Chaumette and Geoffrey C. Fox and Yi Pan and Keqin Li and Tao Yang and G. Ghiola and Gianni Conte and Luigi V. Mancini and Dominique M{\'{e}}ry and Beverly A. Sanders and Devesh Bhatt and Viktor K. Prasanna}, title = {Structural Biology Metaphors Applied to the Design of a Distributed Object System}, booktitle = {Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1586}, pages = {275--283}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/BFb0097909}, doi = {10.1007/BFB0097909}, timestamp = {Mon, 22 Mar 2021 14:03:05 +0100}, biburl = {https://dblp.org/rec/conf/ipps/BoloniHJM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscc/HaoBJM99, author = {Ruibing Hao and Ladislau B{\"{o}}l{\"{o}}ni and Kyungkoo Jun and Dan C. Marinescu}, title = {An Aspect-Oriented Approach to Distributed Object Security}, booktitle = {Proceedings of the Fourth {IEEE} Symposium on Computers and Communications {(ISCC} 1999), 6-8 July 1999, Sharm El Sheikh, Red Sea, Egypt}, pages = {23--30}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/ISCC.1999.780755}, doi = {10.1109/ISCC.1999.780755}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iscc/HaoBJM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/HaoW98, author = {Ruibing Hao and Jianping Wu}, title = {A formal approach to protocol interoperability testing}, journal = {J. Comput. Sci. Technol.}, volume = {13}, number = {1}, pages = {79--90}, year = {1998}, url = {https://doi.org/10.1007/BF02946617}, doi = {10.1007/BF02946617}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/HaoW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icc/WangHW98, author = {Jianguo Wang and Ruibing Hao and Jianping Wu}, title = {{TUGEN:} an automatic test suite generator integrating data-flow and control-flow methods}, booktitle = {1998 {IEEE} International Conference on Communications, {ICC} 1998, Atlanta, GA, USA, June 7-11, 1998}, pages = {286--290}, publisher = {{IEEE}}, year = {1998}, url = {https://doi.org/10.1109/ICC.1998.682688}, doi = {10.1109/ICC.1998.682688}, timestamp = {Tue, 23 Feb 2021 12:00:44 +0100}, biburl = {https://dblp.org/rec/conf/icc/WangHW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/HaoW97, author = {Ruibing Hao and Jianping Wu}, title = {Toward Formal TTCN-Based Test Execution}, booktitle = {Proceedings {IEEE} {INFOCOM} '97, The Conference on Computer Communications, Sixteenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, Driving the Information Revolution, Kobe, Japan, April 7-12, 1997}, pages = {230--235}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/INFCOM.1997.635134}, doi = {10.1109/INFCOM.1997.635134}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/infocom/HaoW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.