BibTeX records: Ruibing Hao

download as .bib file

@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}
}