{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:26:43Z","timestamp":1761488803053,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":105,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572015"},{"type":"electronic","value":"9783642784958"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78495-8_3","type":"book-chapter","created":{"date-parts":[[2011,11,18]],"date-time":"2011-11-18T04:02:13Z","timestamp":1321588933000},"page":"27-48","source":"Crossref","is-referenced-by-count":25,"title":["Reliability and Performability Techniques and Tools: A Survey"],"prefix":"10.1007","author":[{"given":"Kishor S.","family":"Trivedi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manish","family":"Malhotra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","first-page":"132","volume-title":"Lecture Notes in Computer Science","author":"M Ajmone-Marsan","year":"1987","unstructured":"M. Ajmone-Marsan and G. Chiola. On Petri nets with deterministic and exponentially distributed firing times. In Lecture Notes in Computer Science, volume 266, pages 132\u2013145. Springer-Verlag, 1987."},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone-Marsan","year":"1984","unstructured":"M. Ajmone-Marsan, G. Conte, and G. Balbo. A class of Generalized Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2 (2): 93\u2013122, 1984.","journal-title":"ACM Transactions on Computer Systems"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0166-5316(89)90034-5","volume":"9","author":"T Altiok","year":"1989","unstructured":"T. Altiok. Queuing modeling of a single processor with failures. Performance Evaluation, 9: 93\u2013102, 1989.","journal-title":"Performance Evaluation"},{"key":"3_CR4","first-page":"221","volume-title":"Proc. of 3rd Intl. Workshop on Petri Nets and Performance Models","author":"H Ammar","year":"1989","unstructured":"H. Ammar, S.M.R. Islam, and S. Deng. Performability analysis of parallel and distributed algorithms. In Proc. of 3rd Intl. Workshop on Petri Nets and Performance Models, pages 221\u2013227. IEEE Computer Society Press, Silver Spring, MD, June 1989."},{"key":"3_CR5","volume-title":"A. Agrawala and S.K. Tripathi, editors, PERFORMANCE 83, pages 457\u2013476. North-Holland","author":"F Baccelli","year":"1983","unstructured":"F. Baccelli and K.S. Trivedi. Analysis of an M\/G\/2 standby redundant system. In A. Agrawala and S.K. Tripathi, editors, PERFORMANCE \u201983, pages 457\u2013476. North-Holland, 1983."},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F Baskett","year":"1975","unstructured":"F. Baskett, K.M. Chandy, R.R. Muntz, and F.G. Palacios. Open, closed, and mixed networks of queues with different classes of customers. Journal of the ACM, 22 (2): 248\u2013260, 1975.","journal-title":"Journal of the ACM"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1109\/TC.1978.1675145","volume":"27","author":"M. Beaudry","year":"1978","unstructured":"M. Beaudry. Performance related reliability for computer systems. IEEE Transactions on Computers, C-27: 540\u2013547, June 1978.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-1-4613-0533-0_5","volume-title":"Modeling Techniques and Tools for Computer Performance Evaluation","author":"H Beilner","year":"1989","unstructured":"H. Beilner, J. Maeter, and N. Weissenberg. Towards a performance modeling environment: News of HIT. In R. Puigjaner and D. Potier, editors, Modeling Techniques and Tools for Computer Performance Evaluation, pages 57\u201375. Plenum Press, 1989."},{"key":"3_CR9","first-page":"11","volume-title":"A methodology for the specification and generation of markov models","author":"S Berson","year":"1991","unstructured":"S. Berson, E. de Souza e Silva, and R.R. Muntz. A methodology for the specification and generation of markov models. In W.J. Stewart, editor, Numerical Solution of Markov Chains, pages 11\u201336. Marcel Dekker, 1991."},{"key":"3_CR10","volume-title":"Modeling Techniques and Tools for Computer Performance Evaluation","author":"A Bobbio","year":"1989","unstructured":"A. Bobbio. Petri nets generating Markov reward models for performance\/reliability analysis of degradable systems. In R. Puigjaner and D. Potier, editors, Modeling Techniques and Tools for Computer Performance Evaluation. Plenum Press, 1989."},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0166-5316(92)90007-4","volume":"14","author":"A Bobbio","year":"1992","unstructured":"A. Bobbio and L. Eoberti. Distribution of the minimal completion time of parallel tasks in multi-reward semi-markov models. Performance Evaluation, 14: 239\u2013256, 1992.","journal-title":"Performance Evaluation"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/15326349908807140","volume":"6","author":"A Bobbio","year":"1990","unstructured":"A. Bobbio and K. Trivedi. Computation of the distribution of the completion time when the work requirement is a PH random variable. Stochastic Models, 6: 133\u2013149, 1990.","journal-title":"Stochastic Models"},{"issue":"10","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1291","DOI":"10.1109\/12.59859","volume":"39","author":"A Bobbio","year":"1990","unstructured":"A. Bobbio and K. Trivedi. Computing cumulative measures of stiff Markov chains using aggregation. IEEE Transactions on Computers, 39 (10): 1291\u20131297, October 1990.","journal-title":"IEEE Transactions on Computers"},{"issue":"9","key":"3_CR14","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1109\/TC.1986.1676840","volume":"C-35","author":"A. Bobbio","year":"1986","unstructured":"A. Bobbio and K.S. Trivedi. An aggregation technique for the transient analysis of stiff Markov chains. IEEE Transactions on Computers, C-35(9): 803\u2013814, Sept 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR15","first-page":"424","volume-title":"Proc. of IEEE 16th Fault-Tolerant Computing Symposium","author":"JA Carrasco","year":"1986","unstructured":"J.A. Carrasco and J. Figueras. METFAC: Design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems. In Proc. of IEEE 16th Fault-Tolerant Computing Symposium, pages 424\u2013429, July 1986."},{"key":"3_CR16","first-page":"187","volume-title":"Proceedings of the 10th International Symposium on Fault-Tolerant Computing","author":"X Castillo","year":"1980","unstructured":"X. Castillo and D. P. Siewiorek. A performance reliability model for computing systems. In Proceedings of the 10th International Symposium on Fault-Tolerant Computing, pages 187\u2013192, June 1980."},{"key":"3_CR17","first-page":"289","volume-title":"Computer Performance Evaluation","author":"R Chakka","year":"1992","unstructured":"R. Chakka and I. Mitrani. A numerical solution method for multiprocessor systems with general breakdowns and repairs. In R. Pooley and J. Hills ton, editors, Computer Performance Evaluation, pages 289\u2013299. September 1992."},{"key":"3_CR18","volume-title":"System performance in a failure-prone environment. PhD thesis, Department of Computer Science","author":"P Chimento","year":"1988","unstructured":"P. Chimento. System performance in a failure-prone environment. PhD thesis, Department of Computer Science, Duke University, Durham, NC, 1988."},{"key":"3_CR19","unstructured":"H. Choi, V. G. Kulkarni, and K. S. Trivedi. Markov Regenerative Stochastic Petri Nets. In 16th IFIP W.G. 7.3 Int\u2019l Sym. on Computer Performance Modelling, Measurement and Evaluation (Performance\u201993), Rome, Italy, Sep. 1993, To appear."},{"key":"3_CR20","first-page":"2306","volume-title":"Proc. of IEEE Infocom","author":"H Choi","year":"1992","unstructured":"H. Choi and K. S. Trivedi. Approximate performance models of polling systems using stochastic Petri nets. In Proc. of IEEE Infocom 92, pages 2306\u20132314, Florence Italy, May 1992."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"G. Ciardo, A. Blakemore, P. F. Chimento, J. K. Muppala, and K. S. Trivedi. Automated generation and analysis of Markov reward models using Stochastic Reward Nets. In C. Meyer and R. J. Plemmons, editors, Linear Algebra, Markov Chains, and Queueing Models IMA Volumes in Mathematics and its Applications, volume 48. Springer-Verlag, Heidelberg, Germany, 1992.","DOI":"10.1007\/978-1-4613-8351-2_11"},{"issue":"10","key":"3_CR22","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1109\/12.59855","volume":"39","author":"G Ciardo","year":"1990","unstructured":"G. Ciardo, R. Marie, B. Sericola, and K. S. Trivedi. Performability analysis using semi-Markov reward processes. IEEE Transactions on Computers, C- 39 (10): 1251\u20131264, Oct. 1990.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR23","first-page":"142","volume-title":"Proc. Intl. Workshop on Petri Nets and Performance Models","author":"G Ciardo","year":"1989","unstructured":"G. Ciardo, J.K. Muppala, and K.S. Trivedi. SPNP: Stochastic Petri Net Package. In Proc. Intl. Workshop on Petri Nets and Performance Models, pages 142\u2013150. IEEE Computer Society Press, Kyoto, Japan, Dec. 1989."},{"key":"3_CR24","unstructured":"G. Ciardo and K.S. Trivedi. A decomposition approach for stochastic reward net models. To appear in Performance Evaluation."},{"issue":"4","key":"3_CR25","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/TCOM.1987.1096790","volume":"35","author":"B Ciciani","year":"1987","unstructured":"B. Ciciani and V. Grassi. Performability evaluation of fault-tolerant satellite systems. IEEE Transactions on Communications, 35 (4): 403\u2013409, 1987.","journal-title":"IEEE Transactions on Communications"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/52.84218","volume":"8","author":"JA Couvillion","year":"1991","unstructured":"J.A. Couvillion, R. Freire, R. Johnson, W.D.Obal II, M.A. Qureshi, M. Rai, W.H. Sanders, and J.E. Trivedi. Performability modeling with UltraSAN. IEEE software., 8: 69\u201380, Sept. 1991.","journal-title":"IEEE software"},{"key":"3_CR27","first-page":"144","volume-title":"Proc. of International Workshop on Timed Petri Nets","author":"A Cumani","year":"1985","unstructured":"A. Cumani. ESP - A package for the evaluation of stochastic Petri nets with phase-type distributed transition times. In Proc. of International Workshop on Timed Petri Nets, pages 144\u2013151, Torino, Italy, July 1985."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"E. de Souza e Silva and H. R. Gail. Calculating cumulative operational time distributions of repairable computer systems. IEEE Transactions on Computers, C-35(4): 322\u2013332, Apr. 1986.","DOI":"10.1109\/TC.1986.1676765"},{"issue":"1","key":"3_CR29","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/58562.59307","volume":"36","author":"E Souza de","year":"1989","unstructured":"E. de Souza e Silva and H. R. Gail. Calculating availability and performability measures of repairable computer systems using randomization. J. ACM., 36 (1): 171\u2013193, Jan. 1989.","journal-title":"J. ACM"},{"key":"3_CR30","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0166-5316(92)90003-Y","volume":"14","author":"E Souza de","year":"1992","unstructured":"E. de Souza e Silva and H. R. Gail. Performability analysis of computer systems: from model specification to solution. Performance Evaluation, 14: 157\u2013196, 1992.","journal-title":"Performance Evaluation"},{"key":"3_CR31","unstructured":"H. DeMeer. Transiente leistungsbewertung und Optimierung rekonfiguier- barer fehlertoleranter rechensysteme. Arbeitsberichte des IMMDder Universit\u00e4t Erlangen-N\u00fcremberg, 25 (10), October 1992."},{"issue":"2","key":"3_CR32","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0166-5316(88)90017-X","volume":"8","author":"NM Dijk Van","year":"1988","unstructured":"N.M. Van Dijk. Simple bounds for queueing systems with breakdowns. Performance Evaluation, 8 (2): 117\u2013128, 1988.","journal-title":"Performance Evaluation"},{"issue":"11","key":"3_CR33","doi-asserted-by":"publisher","first-page":"1301","DOI":"10.1109\/12.102838","volume":"40","author":"L Donatiello","year":"1991","unstructured":"L. Donatiello and V. Grassi. On evaluating the cumulative performance distribution of fault-tolerant computer systems. IEEE Transactions on Computers, 40 (11): 1301\u20131307, 1991.","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"3_CR34","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/7531.7536","volume":"34","author":"L Donatiello","year":"1987","unstructured":"L. Donatiello and B. R. Iyer. Analysis of a composite performance reliability measure for fault-tolerant systems. Journal for the Association of Computing Machinery, 34 (1): 179\u2013199, January 1987.","journal-title":"Journal for the Association of Computing Machinery"},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF01149327","volume":"1","author":"BT Doshi","year":"1986","unstructured":"B.T. Doshi. Queuing systems with vacations. Queuing Systems, 1: 29\u201366, 1986.","journal-title":"Queuing Systems"},{"issue":"2","key":"3_CR36","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1080\/15326349908807149","volume":"6","author":"BT Doshi","year":"1990","unstructured":"B.T. Doshi. Generalizations of the stochastic decomposition results for single server queues with vacations. Stochastic Models, 6 (2): 307\u2013333, 1990.","journal-title":"Stochastic Models"},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0020-0190(83)90093-5","volume":"16","author":"A Duda","year":"1983","unstructured":"A. Duda. The effects of checkpointing on program execution time. Information Processing Letters, 16: 221\u2013229, 1983.","journal-title":"Information Processing Letters"},{"issue":"6","key":"3_CR38","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1109\/TC.1984.1676479","volume":"C-33","author":"D. G. Furchtgott","year":"1984","unstructured":"D. G. Furchtgott and J. F. Meyer. A performability solution method for degradable nonrepayable systems. IEEE Transactions on Computers, C-33(6): 550\u2013554, June 1984.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR39","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1111\/j.2517-6161.1962.tb00438.x","volume":"24","author":"DP Gaver","year":"1962","unstructured":"D.P. Gaver. A waiting line with interrupted service, including priorities. J. R. Statist Soc., B24: 73\u201390, 1962.","journal-title":"J. R. Statist Soc"},{"key":"3_CR40","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1007\/BF00264310","volume":"23","author":"R Geist","year":"1986","unstructured":"R. Geist, M. K. Smotherman, K. S. Trivedi, and J. B. Dugan. The reliability of life-critical systems. Acta Inform\u00e1tica, 23: 621\u2013642, 1986.","journal-title":"Acta Inform\u00e1tica"},{"key":"3_CR41","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/2.56852","volume":"23","author":"R Geist","year":"1990","unstructured":"R. Geist and K.S. Trivedi. Reliability estimation of fault-tolerant systems: Tools and techniques. IEEE Computer, 23: 52\u201361, July 1990.","journal-title":"IEEE Computer"},{"key":"3_CR42","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/BF00264311","volume":"23","author":"E Gelenbe","year":"1986","unstructured":"E. Gelenbe, D. Finkel, and S.K. Tripathi. Availability of a distributed computer system with failures. Acta Inform\u00e1tica, 23: 643\u2013655, 1986.","journal-title":"Acta Inform\u00e1tica"},{"key":"3_CR43","first-page":"84","volume-title":"Proc. of IEEE 16th Fault-Tolerant Computing Symposium","author":"A Goyai","year":"1986","unstructured":"A. Goyai, W.C. Carter, E. de Souza e Silva, S.S, Lavenberg, and K.S. Trivedi. The system availability estimator. In Proc. of IEEE 16th Fault-Tolerant Computing Symposium, pages 84\u201389, July 1986."},{"issue":"6","key":"3_CR44","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1109\/TC.1987.1676966","volume":"36","author":"A Goyai","year":"1987","unstructured":"A. Goyai and A. N. Tantawi. Evaluation of performability for degradable computer systems. IEEE Transactions on Computers, 36 (6): 738\u2013744, June 1987.","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"3_CR45","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/12.75148","volume":"37","author":"A Goyai","year":"1988","unstructured":"A. Goyai and A.N. Tantawi. A measure of guaranteed availability and its numerical evaluation. IEEE Transactions on Computers, 37 (1): 25\u201332, 1988.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"V. Grassi, L. Donatiello, and G. Iazeolla. Performability evaluation of multicom- ponent fault-tolerant systems. IEEE Transactions on Reliability, 37(2):216\u2013222","DOI":"10.1109\/24.3744"},{"key":"3_CR47","volume-title":"Performability Modeling Tools, Evaluation Techniques, and Applications","author":"BR Haverkort","year":"1990","unstructured":"B.R. Haverkort. Performability Modeling Tools, Evaluation Techniques, and Applications. PhD thesis, University of Twente, Netherlands, 1990."},{"key":"3_CR48","first-page":"1","volume":"7","author":"BR Haverkort","year":"1989","unstructured":"B.R. Haverkort and I.G. Niemegeers. A survey of performability modeling tools. Q-Passport, 7: 1\u201312, October 1989.","journal-title":"Q-Passport"},{"key":"3_CR49","first-page":"181","volume-title":"Computer Performance Evaluation, Modelling Techniques and Tools","author":"BR Haverkort","year":"1992","unstructured":"B.R. Haverkort, I.G. Niemegeers, and P.V. van Zanten. DyQNtool - a performability modeling tool based on the dynamic queuing queueing network concept. In G. Balbo and G. Serrazi, editors, Computer Performance Evaluation, Modelling Techniques and Tools, pages 181\u2013195. Elsevier, 1992."},{"key":"3_CR50","unstructured":"B.R. Haverkort and K.S. Trivedi. Specification and generation of markov reward models. To appear."},{"key":"3_CR51","volume-title":"Dynamic Probabilistic Systems","author":"RA Howard","year":"1971","unstructured":"R.A.Howard. Dynamic Probabilistic Systems, Vol.11: Semi-Markov and Decision Processes. John Wiley & Sons, New York, 1971."},{"issue":"4","key":"3_CR52","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1109\/12.2195","volume":"C-37","author":"M. C. Hsueh","year":"1988","unstructured":"M. C. Hsueh, R. K. Iyer, and K. S. Trivedi. Performability modeling based on real data: A case study. IEEE Transactions on Computers, C-37(4): 478\u2013484, April 1988.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR53","doi-asserted-by":"crossref","unstructured":"O. C. Ibe, R. C. Howe, and K. S. Trivedi. Approximate availability analysis of VAXcluster systems. IEEE Transactions on Reliability, R-38(l):146\u2013152, Apr.","DOI":"10.1109\/24.24588"},{"issue":"10","key":"3_CR54","doi-asserted-by":"crossref","first-page":"902","DOI":"10.1109\/TC.1986.1676681","volume":"C-35","author":"B. R. Iyer","year":"1986","unstructured":"B. R. Iyer, L. Donatiello, and P. Heidelberger. Analysis of performability for stochastic models of fault-tolerant systems. IEEE Transactions on Computers, C-35(10): 902\u2013907, October 1986.","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"3_CR55","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/50020.50062","volume":"20","author":"AM Johnson","year":"1988","unstructured":"A.M. Johnson and M. Malek. Survey of software tools for evaluating reliability, availability and serviceability. ACM Computing Surveys, 20 (4): 227\u2013269, December 1988.","journal-title":"ACM Computing Surveys"},{"key":"3_CR56","doi-asserted-by":"crossref","unstructured":"H. Kantz and K.S. Trivedi. Reliability modeling of MARS system: A case study in the use of different tools and techniques. In International Workshop on Petri Nets and Performance Models, Melbourne, Australia, 1991.","DOI":"10.1109\/PNPM.1991.238793"},{"issue":"10","key":"3_CR57","first-page":"96","volume":"C-32","author":"P.J.B. King","year":"1983","unstructured":"P.J.B. King and I. Mitrani. Multiserver systems subject to breakdowns: An empirical study. IEEE Transactions on Computers, C-32(10): 96\u201398, 1983.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR58","unstructured":"V. Kulkarnie V.F. Nicola, R.M. Smith, and K.S. Trivedi. Numerical evaluation of performability measures and job completion time in repairable fault-tolerant systems. In Proc. 16th Intl. Symp. on Fault Tolerant Computing, Vienna, Austria, July 1986. IEEE."},{"key":"3_CR59","doi-asserted-by":"publisher","first-page":"932","DOI":"10.2307\/1427109","volume":"19","author":"VG Kulkarni","year":"1987","unstructured":"V. G. Kulkarni, V. F. Nicola, and K. S. Trivedi. The completion time of a job on multimode systems. Advances in Applied Probability, 19: 932\u2013954, 1987.","journal-title":"Advances in Applied Probability"},{"issue":"4","key":"3_CR60","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1080\/15326349908807166","volume":"6","author":"VG Kulkarni","year":"1990","unstructured":"V. G. Kulkarni, V. F. Nicola, and K. S. Trivedi. Effects of checkpointing and queueing on program performance. Stochastic Models, 6 (4): 615\u2013648, 1990.","journal-title":"Stochastic Models"},{"key":"3_CR61","first-page":"3","volume-title":"Proc. of the First Intl. Workshop on Performability Modelling of Computer and Communication Systems","author":"R Lepold","year":"1992","unstructured":"R. Lepold. Penpet: A new approach to performability modeling using stochastic petri nets. In B.R. Haverkort, I.G. Niemegeers, and N.M. van Dijk, editors, Proc. of the First Intl. Workshop on Performability Modelling of Computer and Communication Systems, pages 3\u201317. 1992."},{"key":"3_CR62","volume-title":"Technical Report DUKE-CCSR-92- 017","author":"C Lindemann","year":"1992","unstructured":"C. Lindemann, M. Malhotra, and K.S. Trivedi. Numerical methods for reliability evaluation of closed fault-tolerant systems. Technical Report DUKE-CCSR-92- 017, Center for Computer Systems Research, Duke University, 1992."},{"key":"3_CR63","volume-title":"IEEE Transactions on Reliability","author":"N Lopez-Benitez","year":"1993","unstructured":"N. Lopez-Benitez and K.S. Trivedi. Multiprocessor performability analysis. IEEE Transactions on Reliability, Dec. 1993. To appear."},{"key":"3_CR64","volume-title":"To appear in Performance Evlauation subject to revision","author":"M Malhotra","year":"1993","unstructured":"M. Malhotra. A computationally efficient technique for transient analysis of repairable Markovian systems. To appear in Performance Evlauation subject to revision, 1993."},{"key":"3_CR65","volume-title":"and K. S. Trivedi. Stiffness-tolerant methods for transient analysis of stiff Markov chains. Technical Report DUKE-CCSR-92-003","author":"M Malhotra","year":"1992","unstructured":"M. Malhotra, J. K. Muppaia, and K. S. Trivedi. Stiffness-tolerant methods for transient analysis of stiff Markov chains. Technical Report DUKE-CCSR-92-003, Center for Computer Systems Research, Duke University, 1992."},{"key":"3_CR66","volume-title":"To appear in Stochastic Models","author":"M Malhotra","year":"1993","unstructured":"M. Malhotra and A.L. Reibman. Selecting and implementing phase approximations for semi-Markov models. To appear in Stochastic Models, 1993."},{"key":"3_CR67","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1006\/jpdc.1993.1013","volume":"17","author":"M Malhotra","year":"1993","unstructured":"M. Malhotra and K. S. Trivedi. Reliability analysis of redundant arrays of inexpensive disks. Journal of Parallel and Distributed Computing, 17: 146\u2013151, Jan. 1993.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"3_CR68","volume-title":"Quality and Reliability in Computer-Based Medical Products","author":"M Malhotra","year":"1993","unstructured":"M. Malhotra, K. S. Trivedi, C. Y. Wang, and M. Veeraraghavan. Reliability modeling with computer-based tools. In H.T. Nagle and R. Schneider, editors, Quality and Reliability in Computer-Based Medical Products. TAB\/IEEE Press, 1993. To appear."},{"key":"3_CR69","unstructured":"M. Malhotra and K.S. Trivedi. Higher-order methods for transient analysis of stiff Markov chains. In Third international conference on Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 1991."},{"key":"3_CR70","first-page":"80","volume-title":"Proceedings of the International Workshop on Timed Petri Nets","author":"MA Marsan","year":"1985","unstructured":"M. Ajmone Marsan, G. Baibo, A. Bobbio, G. Conte, and A. Cumani. On Petri nets with stochastic timing. In Proceedings of the International Workshop on Timed Petri Nets, pages 80\u201387, Torino Italy, July 1985."},{"key":"3_CR71","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/TC.1980.1675654","volume":"-29","author":"J. Meyer","year":"1980","unstructured":"J. Meyer. On evaluating the performability of degradable computer systems. IEEE Transactions on Computers, C-29: 720\u2013731, Aug 1980.","journal-title":"IEEE Transactions on Computers"},{"issue":"7","key":"3_CR72","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1109\/TC.1982.1676062","volume":"31","author":"J. F. Meyer","year":"1982","unstructured":"J. F. Meyer. Closed-form solutions of performability. IEEE Transactions on Computers, C-31(7): 648\u2013657, July 1982.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR73","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0166-5316(92)90002-X","volume":"14","author":"JF Meyer","year":"1992","unstructured":"J.F. Meyer. Performability: a retrospective and some pointers to the future. Performance Evaluation, 14: 139\u2013156, 1992.","journal-title":"Performance Evaluation"},{"key":"3_CR74","first-page":"106","volume-title":"International Workshop on Petri Nets and Performance Models","author":"JF Meyer","year":"1985","unstructured":"J.F. Meyer, A. Movaghar, and W.H. Sanders. Stochastic activity networks: Structure, behavior, and application. In International Workshop on Petri Nets and Performance Models, pages 106\u2013115, Torino, Italy, July 1985."},{"issue":"3","key":"3_CR75","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1287\/opre.16.3.628","volume":"16","author":"I Mitrani","year":"1968","unstructured":"I. Mitrani and B. Avi-Itzhak. A many-server queue with service interruptions. Operations Research, 16 (3): 628\u2013638, 1968.","journal-title":"Operations Research"},{"key":"3_CR76","doi-asserted-by":"crossref","unstructured":"M. Mulazzani and K. S. Trivedi. Dependability prediction: Comparison of tools and techniques. In IFAC SAFECOMP Proc., Toulose, France, 1986.","DOI":"10.1016\/B978-0-08-034801-8.50032-5"},{"key":"3_CR77","first-page":"141","volume-title":"Modeling Techniques and Tools for Performance Analysis","author":"B Muller-Clostermann","year":"1985","unstructured":"B. Muller-Clostermann. NUMAS, a tool for numerical analysis of computer systems. In D. Potier, editor, Modeling Techniques and Tools for Performance Analysis, pages 141\u2013154. North-Holland, Amsterdam, 1985."},{"key":"3_CR78","doi-asserted-by":"crossref","unstructured":"B. Muller-Clostermann. An approximate product form for a class of degradable queuing networks. Performance Evaluation, pages 165\u2013171, 1988.","DOI":"10.1016\/0166-5316(88)90002-8"},{"key":"3_CR79","volume-title":"Technical report","author":"F Munkert","year":"1993","unstructured":"F. Munkert and H. de Meer. XPenelope user guide. Technical report, June 1993."},{"key":"3_CR80","volume-title":"Hardware and Software Fault Tolerance in Parallel Computing Systems","author":"JK Muppaia","year":"1992","unstructured":"J.K. Muppaia, A.S. Sathaye, R.C. Howe, and K.S. Trivedi. Dependability modeling of a heterogenous VAXcluster system using stochastic reward nets. In D. Averesky, editor, Hardware and Software Fault Tolerance in Parallel Computing Systems. Ellis Horwood Ltd., 1992."},{"key":"3_CR81","first-page":"262","volume-title":"Queueing and Related Models","author":"JK Muppaia","year":"1992","unstructured":"J.K. Muppaia and K.S. Trivedi. Numerical transient analysis of finite markovian queueing systems. In U.N. Bhat and I.V. Basawa, editors, Queueing and Related Models, pages 262\u2013284. Oxford University Press, 1992."},{"issue":"9","key":"3_CR82","first-page":"849","volume":"25","author":"MF Neuts","year":"1979","unstructured":"M.F. Neuts and D.M. Lucantoni. A Markovian queue with N servers subject to breakdowns and repairs. Management Science, 25 (9): 849\u2013861, 1979.","journal-title":"N servers subject to breakdowns and repairs. Management Science"},{"key":"3_CR83","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0026-2714(92)90086-Z","volume":"32","author":"VF Nicola","year":"1992","unstructured":"V. F. Nicola, A. Bobbio, and K. S. Trivedi. A unified performance reliability analysis of a system with a cumulative down time constraint. Microelectronics and Reliability, 32: 49\u201365, 1992.","journal-title":"Microelectronics and Reliability"},{"issue":"3","key":"3_CR84","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/TSE.1987.233168","volume":"13","author":"VF Nicola","year":"1987","unstructured":"V. F. Nicola, V. G. Kulkarni, and K. S. Trivedi. Queueing analysis of fault- tolerant computer systems. IEEE Transactions on Software Engineering, 13 (3): 363\u2013375, March 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"3_CR85","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1109\/12.210174","volume":"42","author":"KR Pattipati","year":"1993","unstructured":"K.R. Pattipati, Y. Li, and H.A.P. Blom. A unified framework for the performa- bility evaluation of fault-tolerant computer systems. IEEE Transactions on Computers, 42 (3): 312\u2013325, 1993.","journal-title":"IEEE Transactions on Computers"},{"issue":"7","key":"3_CR86","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1109\/12.53605","volume":"39","author":"KE Pattipati","year":"1990","unstructured":"K.E. Pattipati and S.A. Shah. On the computational aspects of performability models of fault-tolerant computer systems. IEEE Transactions on Computers, 39 (7): 832\u2013836, July 1990.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR87","volume-title":"Submitted for publication","author":"AV Ramesh","year":"1993","unstructured":"A.V. Ramesh and K.S. Trivedi. Semi-numerical transient analysis of markov models. Submitted for publication, 1993."},{"issue":"1","key":"3_CR88","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0305-0548(88)90026-3","volume":"15","author":"A Reibman","year":"1988","unstructured":"A. Reibman and K.S. Trivedi. Numerical transient analysis of Markov models. Computers and Operations Research, 15 (1): 19\u201336, 1988.","journal-title":"Computers and Operations Research"},{"issue":"2","key":"3_CR89","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0377-2217(89)90335-4","volume":"40","author":"A Reibman","year":"1989","unstructured":"A. Reibman, K.S. Trivedi, and R. Smith. Markov and Markov reward model transient analysis: An overview of numerical approaches. European Journal of Operations Research, 40 (2): 257\u2013267, 1989.","journal-title":"European Journal of Operations Research"},{"key":"3_CR90","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0166-5316(92)90008-5","volume":"14","author":"G Rubino","year":"1992","unstructured":"G. Rubino and B. Sericola. Interval availability analysis using operational periods. Performance Evaluation, 14: 257\u2013272, 1992.","journal-title":"Performance Evaluation"},{"issue":"10","key":"3_CR91","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1109\/TSE.1987.232852","volume":"14","author":"RA Sahner","year":"1987","unstructured":"R.A. Sahner and K.S. Trivedi. Performance and reliability analysis using directed acyclic graphs. IEEE Transactions on Software Engineering, 14 (10): 1105\u20131114, Oct. 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"3_CR92","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/TR.1987.5222336","volume":"-36","author":"R.A. Sahner","year":"1987","unstructured":"R.A. Sahner and K.S. Trivedi. Reliability modeling using SHARPE. IEEE Transactions on Reliability, R-36(2): 186\u2013193, June 1987.","journal-title":"IEEE Transactions on Reliability"},{"issue":"1","key":"3_CR93","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/13.204817","volume":"36","author":"RA Sahner","year":"1993","unstructured":"R.A. Sahner and K.S. Trivedi. A software tool for learning about stochastic models. IEEE Transactions on Education, 36 (1): 56\u201361, Feb. 1993.","journal-title":"IEEE Transactions on Education"},{"key":"3_CR94","first-page":"807","volume-title":"Proc. ACM-IEEE Computer Soc. Fall Joint Computer Conf","author":"WH Sanders","year":"1986","unstructured":"W.H. Sanders and J.F. Meyer. METASAN: A performability evaluation tool based on stochastic activity networks. In Proc. ACM-IEEE Computer Soc. Fall Joint Computer Conf., pages 807\u2013816, Los Alamitos, Calif., July 1986."},{"key":"3_CR95","doi-asserted-by":"crossref","unstructured":"W.H. Sanders and J.F. Meyer. Reduced base model construction methods for stochastic activity networks. IEEE Selected Areas of Communications, pages 25\u201336, Jan. 199-1.","DOI":"10.1109\/49.64901"},{"key":"3_CR96","first-page":"90","volume-title":"Proc. FTCS","author":"O Schoen","year":"1986","unstructured":"O. Schoen. On a class of integrated performance\/reliability models based on queuing networks. In Proc. FTCS 16, pages 90\u201395, 1986."},{"issue":"l","key":"3_CR97","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/TR.1977.5220080","volume":"R-26","author":"C. Singh","year":"1977","unstructured":"C. Singh, R. Billinton, and S. Lee. The method of stages for non-Markovian models. IEEE Transactions on Reliability, R-26(l): 135\u2013137, June 1977.","journal-title":"IEEE Transactions on Reliability"},{"issue":"4","key":"3_CR98","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1109\/12.2184","volume":"37","author":"RM Smith","year":"1988","unstructured":"R.M. Smith, K.S. Trivedi, and A.V. Ramesh. Performability analysis: measures, an algorithm, and a case study. IEEE Transactions on Computers, 37 (4): 406\u2013417, April 1988.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR99","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0166-5316(92)90005-2","volume":"14","author":"H Szczerbicka","year":"1992","unstructured":"H. Szczerbicka. A combined queuing network and stochastic Petri net approach for evaluating the performability of fault-tolerant computer systems. Performance Evaluation, 14: 217\u2013226, 1992.","journal-title":"Performance Evaluation"},{"key":"3_CR100","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0166-5316(90)90023-C","volume":"11","author":"J Sztrik","year":"1990","unstructured":"J. Sztrik and T. Gal. A recursive solution of a queuing model for a multi-terminal system subject to breakdowns. Performance Evaluation, 11: 1\u20137, 1990.","journal-title":"Performance Evaluation"},{"key":"3_CR101","volume-title":"Probability and Statistics with Reliability, Queuing, and Computer Science Applications","author":"KS Trivedi","year":"1982","unstructured":"K.S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications. Prentice-Hall, Englewood-Cliffs, NJ, 1982."},{"key":"3_CR102","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0166-5316(92)90004-Z","volume":"14","author":"KS Trivedi","year":"1992","unstructured":"K.S. Trivedi, J.K. Muppala, S.P. Woolet, and B.R. Haverkort. Composite performance and dependability analysis. Performance Evaluation, 14: 197\u2013215, 1992.","journal-title":"Performance Evaluation"},{"key":"3_CR103","unstructured":"M. Veeraraghavan and K.S. Trivedi. Composite performance and reliability analysis using combinatorial multistate models. To appear in IEEE Transactions on Computers."},{"issue":"3","key":"3_CR104","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/24.85455","volume":"-40","author":"M. Veeraraghavan","year":"1991","unstructured":"M. Veeraraghavan and K.S. Trivedi. An improved algorithm for symbolic reliability analysis. IEEE Transactions on Reliability, R-40(3): 347\u2013358, August 1991.","journal-title":"IEEE Transactions on Reliability"},{"key":"3_CR105","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1287\/opre.6.1.79","volume":"6","author":"HC White","year":"1958","unstructured":"H.C. White and L.S. Christie. Queuing with preemptive priorities or breakdown. Operations Research, 6: 79\u201395, 1958.","journal-title":"Operations Research"}],"container-title":["Informatik aktuell","Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78495-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T05:59:04Z","timestamp":1741931944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78495-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572015","9783642784958"],"references-count":105,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78495-8_3","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}