{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:35:30Z","timestamp":1742380530936,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000129"},{"type":"electronic","value":"9783540360803"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36080-8_15","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:55:19Z","timestamp":1269899719000},"page":"140-158","source":"Crossref","is-referenced-by-count":5,"title":["Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol"],"prefix":"10.1007","author":[{"given":"Kaustubh R.","family":"Joshi","sequence":"first","affiliation":[]},{"given":"Michel","family":"Cukier","sequence":"additional","affiliation":[]},{"given":"William H.","family":"Sanders","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,8]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1109\/32.44380","volume":"16","author":"J. Arlat","year":"1990","unstructured":"J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J. C. Fabre, J. C. Laprie, E. Martin, and D. Powell. Fault injection for dependability validation: A methodology and some applications. IEEE Trans. on Software Eng., 16(2):166\u2013182, Feb. 1990.","journal-title":"IEEE Trans. on Software Eng."},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1109\/24.58723","volume":"39","author":"J. Arlat","year":"1990","unstructured":"J. Arlat, M. Aguera, Y. Crouzet, J. Fabre, E. Martins, and D. Powell. Experimental evaluation of the fault tolerance of an atomic multicast protocol. IEEE Trans. on Reliability, 39:455\u2013467, Oct. 1990.","journal-title":"IEEE Trans. on Reliability"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"D. Bhatt, R. Jha, T. Steeves, R. Bhatt, and D. Wills. SPI: An instrumentation development environment for parallel\/distributed systems. In Proc. of the 9th Int\u2019l Parallel Processing Symp., pages 494\u2013501, 1995.","DOI":"10.1109\/IPPS.1995.395976"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"K. P. Birman. Building Secure and Reliable Network Applications. Manning, 1996.","DOI":"10.1007\/3-540-63343-X_35"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"R. Chandra, M. Cukier, R. M. Lefever, and W. H. Sanders. Dynamic node management and measure estimation in a state-driven fault injector. In Proc. of the 19th IEEE Symp. on Reliable Distrib. Systems, pages 248\u2013257, Oct. 2000.","DOI":"10.1109\/RELDI.2000.885412"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"R. Chandra, R. M. Lefever, M. Cukier, and W. H. Sanders. Loki: A state-driven fault injector for distributed systems. In Proc. of the Int\u2019l Conference on Dependable Systems and Networks (DSN-2000), pages 237\u2013242, Jun. 2000.","DOI":"10.1109\/ICDSN.2000.857544"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"M. Cukier, R. Chandra, D. Henke, J. Pistole, and W. H. Sanders. Fault injection based on the partial global state of a distributed system. In Proc. of the 18th IEEE Symp. on Reliable Distrib. Systems, pages 168\u2013177, Oct. 1999.","DOI":"10.1109\/RELDIS.1999.805093"},{"issue":"7","key":"15_CR8","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1109\/12.780878","volume":"48","author":"M. Cukier","year":"1999","unstructured":"M. Cukier, D. Powell, and J. Arlat. Coverage estimation methods for stratified fault-injection. IEEE Trans. on Computers, 48(7):707\u2013723, Jul. 1999.","journal-title":"IEEE Trans. on Computers"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"S. Dawson, F. Jahanian, T. Mitton, and T. L. Tung. Testing of fault-tolerant and real-time distributed systems via protocol fault injection. In Proc. of the 26th Int\u2019l Symp. on Fault-Tolerant Computing (FTCS-26), pages 404\u2013414, Jun. 1996.","DOI":"10.1109\/FTCS.1996.534626"},{"issue":"4","key":"15_CR10","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1093\/comjnl\/38.4.286","volume":"38","author":"S. Dawson","year":"1995","unstructured":"S. Dawson and F. Jahanian. Probing and fault injection of dependable distributed protocols. The Computer Journal, 38(4):286\u2013300, 1995.","journal-title":"The Computer Journal"},{"key":"15_CR11","unstructured":"K. Echtle and M. Leu. The EFA fault injector for fault-tolerant distributed system testing. In Proc. of the IEEE Workshop on Fault-Tolerant Parallel and Distrib. Systems, pages 28\u201335, 1992."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Fekete, Lynch, and Shvartsman. Specifying and using a partitionable group communication service. In PODC: 16th ACM SIGACT-SIGOPS Symp. on Principles of Distrib. Computing, 1997.","DOI":"10.1145\/259380.259422"},{"key":"15_CR13","unstructured":"S. Han, K.G. Shin, and H.A. Rosenberg. DOCTOR: An integrated software fault injection environment for distributed real-time systems. In Proc. of the Int\u2019l Computer Perf. and Dependability Symp., pages 204\u2013213, 1995."},{"key":"15_CR14","unstructured":"M. Hayden. Ensemble Reference Manual. Cornell Univ., 1997."},{"key":"15_CR15","unstructured":"M. Hayden. Ensemble Tutorial. Cornell Univ., 1997."},{"key":"15_CR16","unstructured":"M. Hayden. The Ensemble System. PhD thesis, Comp. Sci., Cornell Univ., 1997."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"J. Hickey, N. Lynch, and R. van Renesse. Specifications and proofs for Ensemble layers. In Proc. of the Fifth Int\u2019l Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS\u201999), Mar. 1999.","DOI":"10.1007\/3-540-49059-0_9"},{"key":"15_CR18","unstructured":"K. R. Joshi. A Global-State Based Approach to Evaluation of Unavailability caused by Group Membership. M. S. thesis, Univ. of Illinois, 2002. To be published."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"C. Kreitz, M. Hayden, and J. Hickey. A proof environment for the development of group communication systems. In Automated Deduction-15th Int\u2019l Conference on Automated Deduction. Proc., pages 317\u2013332, Jul. 1998.","DOI":"10.1007\/BFb0054269"},{"key":"15_CR20","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1109\/71.180622","volume":"3","author":"F. Lange","year":"1992","unstructured":"F. Lange, R. Kroeger, and M. Gergeleit. JEWEL: Design and implementation of a distributed measurement system. IEEE Trans. on Parallel and Distrib. Systems, 3:657\u2013671, Nov. 1992.","journal-title":"IEEE Trans. on Parallel and Distrib. Systems"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"S. Mishra and Wu. Lei. An evaluation of flow control in group communication. IEEE\/ACM Trans. on Networking, 6(5):571\u2013587, Oct. 1998.","DOI":"10.1109\/90.731193"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"G. Neiger. A new look at membership services. In Proc. of the Fifteenth ACM Symp. on Principles of Distrib. Computing, pages 331\u2013340. May 1996.","DOI":"10.1145\/248052.248121"},{"key":"15_CR23","unstructured":"D. Scott, N. Speirs, Z. Kalbarczyk, S. Bagchi, J. Xu, and R. K. Iyer. Comparing fail-silence provided by process duplication versus internal error detection for a DHCP server. In Proc. of Int\u2019l Parallel and Distrib. Processing Symp., Apr. 2001."},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"D.T. Scott, B. Floering, D. Burke, Z. Kalbarczyk, and R.K. Iyer. NFTAPE: A framework for assessing dependability in distributed systems with lightweight fault injectors. In Proc. of IEEE Int\u2019l Computer Perf. and Dependability Symp., pages 91\u2013100, 2000.","DOI":"10.1109\/IPDS.2000.839467"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"D.T. Scott, M. C. Hsueh, G. Ries, and R.K. Iyer. Dependability analysis of a commercial high-speed network. In Symp. on Fault-Tolerant Computing, pages 248\u2013257, 1997.","DOI":"10.1109\/FTCS.1997.614097"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"P. W. Uminski, M. R. Matuszek, and H. Krawczyk. Experimental evaluation of PVM group communication. In Recent Advances in PVM and MPI. 4th European PVM\/MPI Users\u2019 Group Meeting. Proc., pages 57\u201363, 1997.","DOI":"10.1007\/3-540-63697-8_70"},{"issue":"9","key":"15_CR27","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1002\/(SICI)1097-024X(19980725)28:9<963::AID-SPE179>3.0.CO;2-9","volume":"28","author":"R. Renesse van","year":"1998","unstructured":"R. van Renesse, K. P. Birman, M. Hayden, A. Vaysburd, and D. A. Karr. Building adaptive systems using Ensemble. Software-Practice and Experience, 28(9):963\u2013979, 1998.","journal-title":"Software-Practice and Experience"},{"key":"15_CR28","unstructured":"R. Vitenberg, I. Keidar, G. Chockler, and D. Dolev. Group communication specifications: A comprehensive study. Tech. report CS99-31, Comp. Sci. Inst., The Hebrew Univ. of Jerusalem and MIT Tech. Report MIT-LCS-TR-790, Sep. 1999."}],"container-title":["Lecture Notes in Computer Science","Dependable Computing EDCC-4"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36080-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:24:59Z","timestamp":1739993099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36080-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000129","9783540360803"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-36080-8_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}