{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T19:27:15Z","timestamp":1765826835606},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441571"},{"type":"electronic","value":"9783540457329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45732-1_9","type":"book-chapter","created":{"date-parts":[[2007,10,11]],"date-time":"2007-10-11T00:38:56Z","timestamp":1192063136000},"page":"70-81","source":"Crossref","is-referenced-by-count":10,"title":["Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Heidtmann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/TR.1979.5220476","volume":"28","author":"J.A. Abraham","year":"1979","unstructured":"Abraham J.A., An improved algorithm for network reliability, IEEE Trans. Reliability Vol. 28,No. 1, 1979 58\u201361, also in: [RaA90], 89-92","journal-title":"IEEE Trans. Reliability"},{"key":"9_CR2","unstructured":"Almasi B., Bolch G., Sztrik J., Modeling Terminal Systems using MOSEL, Proc. Europ. Simulation Symp. ESS\u201999, Erlangen, Germany, 1999"},{"key":"9_CR3","unstructured":"Anders J.M., Methods for the reliability analysis of complex binary systems, PhD thesis, Dept. Mathematics, Humboldt-University, Berlin, 1992"},{"key":"9_CR4","first-page":"3","volume":"33","author":"R.E. Barlow","year":"1984","unstructured":"Barlow R.E., Heidtmann K.D., Computing k-out-of-n system reliability, IEEE Trans. Reliability, 33,3, 1984","journal-title":"IEEE Trans. Reliability"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1142\/S0129054195000093","volume":"6","author":"P. Besnard","year":"1995","unstructured":"Besnard P., Kohlas J., Evidence Theory based on general consequence relations, Intern. J. Foundation of Computer Science 6, 1995, 119\u2013135","journal-title":"Intern. J. Foundation of Computer Science"},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0377-0427(96)00089-1","volume":"76","author":"R. Bertschy","year":"1996","unstructured":"Bertschy R., Monney P.A., A generalization of the algorithm of Heidtmann to non-monotone formulas, J. of Computational and Applied Mathematics, Dec 1996, Vol. 76,No. 1\u20132, 55\u201376","journal-title":"J. of Computational and Applied Mathematics"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/S0951-8320(99)00010-1","volume":"65","author":"E. Chatelet","year":"1999","unstructured":"Chatelet E., Dutuit Y., Rauzy A., Bouhoufani T., An optimized procedure to generate sums of disjoint products, Reliability Engineering and System Safety, Sept. 1999, Vol. 65,No. 3, 289\u2013294","journal-title":"Reliability Engineering and System Safety"},{"key":"9_CR8","unstructured":"Heidtmann K.D., A class of noncoherent systems and their reliability analysis, Dig. 11th Ann. Intern. Symp. Fault-Tolerant Computing, FTCS 11, Portland\/USA, 1981"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/TR.1986.4335547","volume":"35","author":"K.D. Heidtmann","year":"1986","unstructured":"Heidtmann K.D., Minset splitting for improved reliability computation, IEEE Trans. Reliability 35,5, 1986","journal-title":"IEEE Trans. Reliability"},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/24.44172","volume":"38","author":"K.D. Heidtmann","year":"1989","unstructured":"Heidtmann K.D., Smaller sums of disjoint products by subproduct inversion, IEEE Trans. Reliability 38,3, 1989, 305\u2013311","journal-title":"IEEE Trans. Reliability"},{"key":"9_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 2nd Intern. Symp. Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"K.D. Heidtmann","year":"1991","unstructured":"Heidtmann K.D., Temporal Logic applied to reliability modeling of fault-tolerant systems, Proc. 2nd Intern. Symp. Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen\/Netherlands, 1992, in: Vytopil J., Lecture Notes in Computer Science, No. 571, Springer, Berlin, 1991"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1109\/24.159802","volume":"41","author":"K.D. Heidtmann","year":"1992","unstructured":"Heidtmann K.D., Deterministic reliability modeling of dynamic redundancy, IEEE Trans. Reliability 41,3, 1992, 378\u2013385","journal-title":"IEEE Trans. Reliability"},{"key":"9_CR13","volume-title":"Methoden zur Zuverl\u00e4ssigkeitsanalyse unter besonderer Ber\u00fccksichtigung von Rechnernetzen (Methods for reliability analysis with special emphasis on computer communication networks)","author":"K.D. Heidtmann","year":"1995","unstructured":"Heidtmann K.D., Methoden zur Zuverl\u00e4ssigkeitsanalyse unter besonderer Ber\u00fccksichtigung von Rechnernetzen (Methods for reliability analysis with special emphasis on computer communication networks), Habilitationsschrift, Dept. Comp. Science, Hamburg University, 1995 (in german)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Heidtmann K.D., Zuverl\u00e4ssigkeitsbewertung technischer Systeme (Reliability analysis of technical systems), Teubner, Stuttgart, 1997 (in german)","DOI":"10.1007\/978-3-322-95379-7"},{"key":"9_CR15","unstructured":"Herold H., MOSEL, An Universal Language for Modeling Computer, Communication, and Manufacturing Systems, PhD Thesis, Techn. Faculty, University Eralngen, 2000"},{"key":"9_CR16","first-page":"31","volume-title":"Mathematical Models for Handling Partial Knowledge in Artificial Intelligence","author":"Mathematical foundations of evidence theory, in","year":"1995","unstructured":"Mathematical foundations of evidence theory, in: Coletti G., Dubois D., Scozzafa R., (Eds.), Mathematical Models for Handling Partial Knowledge in Artificial Intelligence, Plenum Press, New York, 1995, 31\u201364"},{"key":"9_CR17","series-title":"Lecture Notes in Economics and Mathematical Systems","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-01674-9","volume-title":"An Approach to the Dempster-Shafer Theory of Evidence","author":"J. Kohlas","year":"1995","unstructured":"Kohlas J., Monney P.A., A Mathematical Theory of Hints, An Approach to the Dempster-Shafer Theory of Evidence, Lecture Notes in Economics and Mathematical Systems Vol. 425, Springer, Berlin, 1995"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(89)90078-7","volume":"41","author":"K.B. Laskey","year":"1989","unstructured":"Laskey K.B., Lehner P.E., Assumptions, belief and probabilities, Artificial Intelligence 41, 1989, 65\u201377","journal-title":"Artificial Intelligence"},{"key":"9_CR19","unstructured":"Luo T., Trivedi K.S., An improved multiple variable inversion algorithm for reliability calculation, 10th Intern. Conf. Tools\u201998, Palma de Mallorca, Spain, Sept. 1998, in: Puigjaner R., Savino N.N., Serra B. (eds.), Computer Performance Evaluation, Modeling Techniques and Tools, Springer, 1998"},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/24.690911","volume":"47","author":"T. Luo","year":"1998","unstructured":"Luo T., Trivedi K.S., An improved algorithm for coherent-system reliability, IEEE Trans. Reliability, March 1998, Vol. 47,No. 1, 73\u201378","journal-title":"IEEE Trans. Reliability"},{"key":"9_CR21","unstructured":"Luo T., Trivedi K.S., Using Multiple Inversion Techniques to Analyze Fault-trees with Inversion Gates, 28Th Ann. Fault Tolerant Computing Symp., FTCS 98, Munich 1998"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Misra K.B., New trends in system reliability evaluation, Elsevier Publishers, 1993","DOI":"10.1016\/B978-0-444-81660-3.50009-5"},{"key":"9_CR23","unstructured":"Puliafito A., Tomarchio O, Vita L., Porting SHARPE on the Web, Proc. TOOL\u201997, Saint Malo, June 1997"},{"key":"9_CR24","volume-title":"Distributed Computing Network Reliability","author":"S. Rai","year":"1990","unstructured":"Rai S., Agrawal D.P., Distributed Computing Network Reliability, IEEE Computer Society Press, Washington, 1990"},{"key":"9_CR25","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0143-8174(87)90039-4","volume":"17","author":"A.M. Rushdi","year":"1987","unstructured":"Rushdi A.M., Efficient computation of k-to-l-out-of-n systems, Reliability Engineering 17, 1987, 157\u2013163","journal-title":"Reliability Engineering"},{"issue":"3","key":"9_CR26","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1002\/net.3230250308","volume":"25","author":"S. Rai","year":"1995","unstructured":"Rai S., Veeraraghavan, Trivedi K.S., A Survey of Efficient Reliability Computation Using Disjoint Products Approach, Networks 25,3, 1995, 147\u2013163","journal-title":"Networks"},{"issue":"2","key":"9_CR27","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1109\/71.89065","volume":"2","author":"S. Soh","year":"1991","unstructured":"Soh S., Rai S., CAREL: computer aided reliability estimator for distributed computing networks, IEEE Trans. Parallel and Distributed Systems 2,2, 1991, 199\u2013213","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"key":"9_CR28","volume-title":"Performance and Reliability Analysis of Computer Systems \u2014 An Example Based Approach Using SHARPE Software Package","author":"R. Sahner","year":"1995","unstructured":"Sahner R., Trivedi K.S., Puliafito A., Performance and Reliability Analysis of Computer Systems \u2014 An Example Based Approach Using SHARPE Software Package, Kluwer Academic Publishers, Massachussetts, 1995"},{"issue":"5","key":"9_CR29","first-page":"1183","volume":"E83","author":"T. Tsuchiya","year":"2000","unstructured":"Tsuchiya T., Kajikawa T., Kikuno T., Parallelizing SDP (Sum of Disjoint Products) Algorithms for fast reliability analysis, IEICE Trans. Inf. & Syst., Vol. E83,No. 5, May 2000, 1183\u20131186","journal-title":"IEICE Trans. Inf. & Syst."},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Trivedi K.S., Malhotra M., Reliability and Performability Techniques and Tools: A Survey Proc. 7th ITG\/GI Conf. Measurement, Modelling and Evaluation of Computer and Communication Systems, Aachen University of Technology, 1993, 27\u201348","DOI":"10.1007\/978-3-642-78495-8_3"},{"key":"9_CR31","first-page":"4","volume":"42","author":"Pham Upadhyaya","year":"1993","unstructured":"Upadhyaya, Pham, Analysis of a class of noncoherent systems and an architecture for the computation of the system reliability, IEEE Trans. Computers 42,4, 1993","journal-title":"IEEE Trans. Computers"},{"key":"9_CR32","unstructured":"Vahl A. Reliability Assessment of Complex System Structures \u2014 A Software Tool for Design Support, Proc. 9th Symp. Quality and Reliability in Electronics, Relectronic\u201995, Budapest, 1995, 161\u2013166"},{"key":"9_CR33","unstructured":"Vahl A., Interaktive Zuverl\u00e4ssigkeitsanalyse von Flugzeug-Systemarchitekturen, PhD Thesis, Technical University Hamburg-Harburg, Flugzeug-Systemtechnik, VDI-Verlag, D\u00fcsseldorf, 1998 (in german)"},{"issue":"3","key":"9_CR34","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1109\/24.85455","volume":"40","author":"Veeraraghavan","year":"1991","unstructured":"Veeraraghavan and Trivedi K.S., An improved algorithm for the symbolic reliability Analysis of Networks,\" IEEE Trans. on Reliability, Vol. 40,No. 3, Aug. 1991, 347\u2013358","journal-title":"IEEE Trans. on Reliability"},{"key":"9_CR35","unstructured":"Ma Yue, Trivedi K.S., An algorithm for reliability analysis of phased mission systems, Intern. Symposium on Software Reliability Engineering, ISSRE 1998"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45732-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:41:03Z","timestamp":1556908863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45732-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441571","9783540457329"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-45732-1_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}