Pratt School of Engineering
Home

Publications by Kishor S Trivedi

Papers Published

  1. Wang, Dazhi and Xie, Wei and Trivedi, Kishor S., Performability analysis of clustered systems with rejuvenation under varying workload, Performance Evaluation, (2007), 247 - 265, [002], [abs]
  2. Trivedi, K.S. and Ranjith Vasireddy and Trindade, D. and Swami Nathan and Castro, R., Modelling high availability systems, 2006 IEEE Pacific Rim International Symposium on Dependable Computing, (2006), 9 pp. -, [abs]
  3. Hoffmann, G.A. and Trivedi, K.S. and Malek, M., A best practice guide to resource forecasting for the Apache Webserver, 2006 IEEE Pacific Rim International Symposium on Dependable Computing, (2006), 11 pp. -, [abs]
  4. Grottke, M. and Trivedi, K.S., Truncated non-homogeneous Poisson process models - properties and performance, Opsearch (India), (2005), 310 - 21, [abs]
  5. Choudhary, P.K. and Madan, B. and Trivedi, K.S., Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls, Proceedings of the 2005 Winter Simulation Conference (IEEE Cat. No.05CH37732C), (2005), 7 pp. -, [abs]
  6. Trivedi, Kishor S. and Yang, Laurence T. and Parashar, Manish and Dai, Yuanshun and Pan, Yi and Ma, Jianhua and Hariri, Salim, Message from the RAMPDS-2005 chairs, Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS, (2005), -,
  7. Dazhi Wang and Trivedi, K.S., Modeling user-perceived service availability, Service Availability. Second International Service Availability Symposium, ISAS 2005. Revised Selected Papers (Lecture Notes in Computer Science Vol.3694), (2005), 107 - 22, [abs]
  8. Grottke, M. and Trivedi, K.S., On a method for mending time to failure distributions, Proceedings. 2005 International Conference on Dependable Systems and Networks, (2005), 560 - 9, [abs]
  9. Bao, Yujuan and Sun, Xiaobai and Trivedi, Kishor S., A workload-based analysis of software aging, and rejuvenation, IEEE Transactions on Reliability, (2005), 541 - 548, [TR.2005.853442], [abs]
  10. Liu, Yun and Ma, Yue and Han, James J. and Levendel, Haim and Trivedi, Kishor S., A proactive approach towards always-on availability in broadband cable networks, Computer Communications, (2005), 51 - 64, [022], [abs]
  11. Choudhary, Pawan K. and Madan, Bharat and Trivedi, Kishor S., Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls, Proceedings - Winter Simulation Conference, (2005), 412 - 418, [WSC.2005.1574276], [abs]
  12. Wei Xie and Yiguang Hong and Trivedi, K., Analysis of a two-level software rejuvenation policy, Reliab. Eng. Syst. Saf. (UK), (2005), 13 - 22, [011], [abs]
  13. Liu, Yun and Mendiratta, Veena B. and Trivedi, Kishor S., Survivability analysis of telephone access network, Proceedings - International Symposium on Software Reliability Engineering, ISSRE, (2004), 367 - 378, [abs]
  14. Cao, Yonghuan and Sun, Hairong and Trivedi, Kishor S., The effect of access delay in capacity-on-demand access over a wireless link under bursty packet-switched data, Performance Evaluation, (2004), 69 - 87, [003], [abs]
  15. Xie, Wei and Hong, Yiguang and Trivedi, Kishor S., Software rejuvenation policies for cluster systems under varying workload, Proceedings - IEEE Pacific Rim International Symposium on Dependable Computing, (2004), 122 - 129, [PRDC.2004.1276563], [abs]
  16. Madan, Bharat B. and Goseva-Popstojanova, Katerina and Vaidyanathan, Kalyanaraman and Trivedi, Kishor S., A method for modeling and quantifying the security attributes of intrusion tolerant systems, Performance Evaluation, (2004), 167 - 186, [008], [abs]
  17. Liu, Y. and Mendiratta, V.B. and Trivedi, K.S., Survivability analysis of telephone access network, 15th International Symposium on Software Reliability Engineering, (2004), 367 - 77, [abs]
  18. Madan, B.B. and Trivedi, K.S., Security modeling and quantification of intrusion tolerant systems using attack-response graph, J. High Speed Netw. (Netherlands), (2004), 297 - 308, [abs]
  19. Yonghuan Cao and Sun, H.R. and Trivedi, K.S., Performance analysis of reservation media-access protocol with access and serving queues under bursty traffic in GPRS/EGPRS, IEEE Trans. Veh. Technol. (USA), (2003), 1627 - 41, [TVT.2003.819620], [abs]
  20. Zang, Xinyu and Wang, Dazhi and Sun, Hairong and Trivedi, Kishor S., A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components, IEEE Transactions on Computers, (2003), 1608 - 1618, [TC.2003.1252856], [abs]
  21. Wang, Dazhi and Madan, Bharat B. and Trivedi, Kishor S., Security analysis of SITAR intrusion tolerance system, Proceedings of the ACM Workshop on Survivable and Self-Regenerative Systems, (2003), 23 - 32, [abs]
  22. Hong, Yiguang and Trivedi, Kishor S. and Ray, Asok and Phoha, Shashi, Software Performance Analysis Using a Language Measure, Proceedings of the American Control Conference, (2003), 2258 - 2263, [ACC.2003.1243410], [abs]
  23. Xie, Wei and Sun, Hairong and Cao, Yonghuan and Trivedi, Kishor S., Modeling of user perceived webserver availability, IEEE International Conference on Communications, (2003), 1796 - 1800, [ICC.2003.1203909], [abs]
  24. Bao, Yujuan and Sun, Xiaobai and Trivedi, Kishor S., Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme, Proceedings of the International Conference on Dependable Systems and Networks, (2003), 241 - 248, [abs]
  25. Dharmaraja, S. and Trivedi, K.S. and Logothetis, D., Performance modeling of wireless networks with generally distributed handoff interarrival times, Computer Communications, (2003), 1747 - 1755, [S0140-3664(03)00044-6], [abs]
  26. Trivedi, Kishor S. and Ramani, Srinivasan and Fricks, Ricardo, Recent advances in modeling response-time distributions in real-time systems, Proceedings of the IEEE, (2003), 1023 - 1036, [JPROC.2003.814619], [abs]
  27. Trivedi, K.S. and Ma, X. and Dharmaraja, S., Performability modelling of wireless communication systems, Int. J. Commun. Syst. (UK), (2003), 561 - 77, [605], [abs]
  28. Vaidyanathan, Kalyanaraman and Selvamuthu, Dharmaraja and Trivedi, Kishor S., Analysis of inspection-based preventive maintenance in operational software systems, Proceedings of the IEEE Symposium on Reliable Distributed Systems, (2002), 286 - 295, [RELDIS.2002.1180199], [abs]
  29. Jin, Wei and Barve, Rakesh D. and Trivedi, Kishor S., A simple characterization of provably efficient prefetching algorithms, Proceedings of the 2002 International Conference on Dependable Systems and Networks, (2002), 571 - 580, [DSN.2002.1029003], [abs]
  30. Trivedi, K.S., SREPT: a tool for Software Reliability Estimation and Prediction, Proceedings International Conference on Dependable Systems and Networks, (2002), 546 -, [DSN.2002.1028977], [abs]
  31. Trivedi, K.S. and Vaidyanathan, K., Software reliability and rejuvenation: modeling and analysis, (2002), 318 - 45, [abs]
  32. Trivedi, Kishor S. and Ma, Xiaomin and Dharmaraja, S., Analytic modeling of handoffs in wireless cellular networks, Information Sciences, (2002), 155 - 166, [S0020-0255(02)00292-X], [abs]
  33. Yun Liu and Trivedi, K.S. and Yue Ma and Han, J.J. and Levendel, H., Modeling and analysis of software rejuvenation in cable modem termination systems, Proceedings 13th International Symposium on Software Reliability Engineering, (2002), 159 - 70, [ISSRE.2002.1173239], [abs]
  34. Chen, Dong and Chen, Dongyan and Li, Lei and Trivedi, Kishor S. and Some, Raphael R. and Nikora, Allen P. and Dharmaraja, S., Reliability and availability analysis for the JPL remote exploration and experimentation system, Proceedings of the 2002 International Conference on Dependable Systems and Networks, (2002), 337 - 342, [abs]
  35. Madan, Bharat B. and Goseva-Popstojanova, Katerina and Vaidyanathan, Kalyanaraman and Trivedi, Kishor S., Modeling and quantification of security attributes of software systems, Proceedings of the 2002 International Conference on Dependable Systems and Networks, (2002), 505 - 514, [DSN.2002.1028941], [abs]
  36. Ramani, S. and Goseva-Popstojanova, K. and Trivedi, K.S., A framework for performability modeling of messaging services in distributed systems, Proceedings Eighth IEEE International Conference on Engineering of Complex Computer Systems, (2002), 25 - 34, [ICECCS.2002.1181495], [abs]
  37. Chen, Dongyan and Hong, Yiguang and Trivedi, Kishor S., Second-order stochastic fluid models with fluid-dependent flow rates, Performance Evaluation, (2002), 341 - 358, [S0166-5316(02)00113-X], [abs]
  38. Dong Chen and Dharmaraja, S. and Dongyan Chen and Lei Li and Trivedi, K.S. and Some, R.R. and Nikora, A.P., Reliability and availability analysis for the JPL Remote Exploration and Experimentation System, Proceedings International Conference on Dependable Systems and Networks, (2002), 337 - 42, [DSN.2002.1028918], [abs]
  39. Lei Li and Vaidyanathan, K. and Trivedi, K.S., An approach for estimation of software aging in a Web server, 2002 International Symposium on Empirical Software Engineering Proceedings, (2002), 91 - 100, [ISESE.2002.1166929], [abs]
  40. Trivedi, Kishor S. and Selvamuthu, Dharmaraja and Ma, Xiaomin, Analytic Modeling of Handoffs in Wireless Cellular Networks, Proceedings of the Joint Conference on Information Sciences, (2002), 1383 - 1392, [abs]
  41. Trivedi, K.S., SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator, Proceedings International Conference on Dependable Systems and Networks, (2002), 544 -, [DSN.2002.1028975], [abs]
  42. Liang Yin and Fricks, R.M. and Trivedi, K.S., Application of semi-Markov process and CTMC to evaluation of UPS system availability, Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02CH37318), (2002), 584 - 91, [RAMS.2002.981706], [abs]
  43. Ming Qian and Logothetis, D. and Trivedi, K.S., All-terminal reliability analysis of the SRP-ring: the effect of enhanced intelligent protection switching, Proceedings Eleventh International Conference on Computer Communications and Networks (Cat. No.02EX594), (2002), 52 - 7, [ICCCN.2002.1043045], [abs]
  44. Yonghuan Cao and Hairong Sun and Trivedi, K.S. and Han, J.J., System availability with non-exponentially distributed outages, IEEE Trans. Reliab. (USA), (2002), 193 - 8, [TR.2002.1011525], [abs]
  45. Dongyan Chen and Trivedi, K.S., Closed-form analytical results for condition-based maintenance, Reliab. Eng. Syst. Saf. (UK), (2002), 43 - 51, [abs]
  46. Pauca, V.P. and Rodriguez, A.F. and Sun, X. and Trivedi, K.S., A methodology towards automatic implementation of N-body algorithms, Appl. Numer. Math. (Netherlands), (2002), 3 - 21, [S0168-9274(01)00061-7], [abs]
  47. Hairong Sun and Xinyu Zang and Trivedi, K.S., A performance model of partial packet discard and early packet discard schemes in ATM switches, Comput. Commun. (Netherlands), (2001), 1540 - 53, [S0140-3664(01)00310-3], [abs]
  48. Dongyan Chen and Trivedi, K.S., Analysis of periodic preventive maintenance with general system failure distribution, Proceedings 2001 Pacific Rim International Symposium on Dependable Computing, (2001), 103 - 7, [PRDC.2001.992686], [abs]
  49. Goseva-Popstojanova, K. and Trivedi, K.S., Architecture-based approach to reliability assessment of software systems, Performance Evaluation, (2001), 179 - 204, [S0166-5316(01)00034-7], [abs]
  50. Liang Yin and Smith, M.A.J. and Trivedi, K.S., Uncertainty analysis in reliability modeling, Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179), (2001), 229 - 34, [RAMS.2001.902472], [abs]
  51. Xiaomin Ma and Yun Liu and Trivedi, K.S. and Yue Ma and Han, J.J., A new handoff scheme for decreasing both dropped calls and blocked calls in CDMA system, EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439), (2001), 115 - 19, [EURCON.2001.937777], [abs]
  52. Ramani, S. and Dasarathy, B. and Trivedi, K.S., Reliable messaging using the CORBA Notification Service, Proceedings 3rd International Symposium on Distributed Objects and Applications, (2001), 229 - 38, [DOA.2001.954088], [abs]
  53. Tuffin, Bruno and Chen, Dong S. and Trivedi, Kishor S., Comparison of Hybrid Systems and Fluid Stochastic Petri Nets, Discrete Event Dynamic Systems: Theory and Applications, (2001), 77 - 95, [A:1008387132533], [abs]
  54. Hong, Y. and Cao, Y. and Sun, H. and Trivedi, K.S., RED parameters and performance of TCP connections, Electronics Letters, (2001), 1489 - 1491, [el:20010984], [abs]
  55. Goseva-Popstojanova, K. and Feiyi Wang and Rong Wang and Fengmin Gong and Vaidyanathan, K. and Trivedi, K. and Muthusamy, B., Characterizing intrusion tolerant systems using a state transition model, Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01, (2001), 211 - 21, [DISCEX.2001.932173], [abs]
  56. Vaidyanathan, K. and Harper, R.E. and Hunter, S.W. and Trivedi, K.S., Analysis and implementation of software rejuvenation in cluster systems, Perform. Eval. Rev. (USA), (2001), 62 - 71, [abs]
  57. Ramani, Srinivasan and Gokhale, Swapna S. and Trivedi, Kishor S., SREPT: Software Reliability Estimation and Prediction Tool, Performance Evaluation, (2000), 37 - 60, [S0166-5316(99)00057-7], [abs]
  58. Ramani, Srinivasan and Trivedi, Kishor S. and Dasarathy, Balakrishnan, Performance analysis of the CORBA event service using stochastic reward nets, Proceedings of the IEEE Symposium on Reliable Distributed Systems, (2000), 238 - 247, [RELDI.2000.885411], [abs]
  59. Goseva-Popstojanova, K. and Trivedi, K., Effects of failure correlation on software in operation, Proceedings. 2000 Pacific Rim International Symposium on Dependable Computing, (2000), 69 - 76, [PRDC.2000.897286], [abs]
  60. Goseva-Popstojanova, Katerina and Trivedi, Kishor S., Failure correlation in software reliability models, IEEE Transactions on Reliability, (2000), 37 - 48, [24.855535], [abs]
  61. Trivedi, Kishor S. and Vaidyanathan, Kalyanaraman and Goseva-Popstojanova, Katerina, Modeling and analysis of software aging and rejuvenation, Proceedings of the IEEE Annual Simulation Symposium, (2000), 270 - 279, [SIMSYM.2000.844925], [abs]
  62. Trivedi, K.S. and Ma, Y. and Han, J.J., Performability analysis of fault tolerant RF link design in wireless communications networks, Modelling and Simulation: A Tool for the Next Millennium. 13th European Simulation Multiconference 1999. ESM'99, (1999), 33 - 40, [abs]
  63. Yue Ma and Han, J.J. and Trivedi, K.S., Transient analysis of minimum duration outage for RF channel in cellular systems, 1999 IEEE 49th Vehicular Technology Conference (Cat. No.99CH36363), (1999), 1698 - 702, [VETEC.1999.780699], [abs]
  64. Xinyu Zang and Hairong Sun and Trivedi, K.S., Dependability analysis of distributed computer systems with imperfect coverage, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352), (1999), 330 - 7, [FTCS.1999.781068], [abs]
  65. Goseva-Popstojanova, Katerina and Trivedi, Kishor, Failure correlation in software reliability models, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, (1999), 232 - 241, [ISSRE.1999.809328], [abs]
  66. Zang, Xinyu and Sun, Hairong and Trivedi, Kishor S., Dependability analysis of distributed computer systems with imperfect coverage, Proceedings - Annual International Conference on Fault-Tolerant Computing, (1999), 330 - 337, [abs]
  67. Yin, Liang and Trivedi, Kishor S., Confidence interval estimation of NHPP-based software reliability models, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, (1999), 6 - 11, [abs]
  68. Yue Ma and Han, J.J. and Trivedi, K.S., A channel recovery method for RF channel failure in wireless communications systems, WCNC. 1999 IEEE Wireless Communications and Networking Conference (Cat. No.99TH8466), (1999), 1075 - 9, [WCNC.1999.796838], [abs]
  69. Sun, H. and Zang, X. and Trivedi, K.S., Stochastic reward net model for performance analysis of prioritized DQDB MAN, Computer Communications, (1999), 858 - 870, [S0140-3664(99)00055-9], [abs]
  70. Hairong Sun and Yonghuan Cao and Trivedi, K.S. and Han, J.J., Availability and performance evaluation for automatic protection switching in TDMA wireless system, Proceedings 1999 Pacific Rim International Symposium on Dependable Computing, (1999), 15 - 22, [PRDC.1999.816207], [abs]
  71. Ma, Yue and Han, James J. and Trivedi, Kishor S., Transient analysis of minimum duration outage for RF channel in cellular systems, IEEE Vehicular Technology Conference, (1999), 1698 - 1702, [abs]
  72. Vaidyanathan, Kalyanaraman and Trivedi, Kishor S., Measurement-based model for estimation of resource exhaustion in operational software systems, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, (1999), 84 - 93, [ISSRE.1999.809313], [abs]
  73. Ma, Y. and Han, J.J. and Trivedi, K.S., A channel recovery method in TDMA wireless systems, Gateway to 21st Century Communications Village. VTC 1999-Fall. IEEE VTS 50th Vehicular Technology Conference (Cat. No.99CH36324), (1999), 1750 - 4, [VETECF.1999.801697], [abs]
  74. Sun, H. and Zang, X. and Trivedi, K.S., Effect of Web caching on network planning, Computer Communications, (1999), 1343 - 1350, [S0140-3664(99)00131-0], [abs]
  75. Liang Yin and Trivedi, K.S., Confidence interval estimation of NHPP-based software reliability models, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), (1999), 6 - 11, [ISSRE.1999.809305], [abs]
  76. Zang, Xinyu and Sun, Hairong and Trivedi, Kishor S., BDD-based algorithm for reliability analysis of phased-mission systems, IEEE Transactions on Reliability, (1999), 50 - 60, [24.765927], [abs]
  77. Ma, Y. and Trivedi, K.S., Algorithm for reliability analysis of phased-mission systems, Reliability Engineering and System Safety, (1999), 157 - 170, [S0951-8320(99)00033-2], [abs]
  78. Gokhale, S.S. and Wong, W.E. and Trivedi, K.S. and Horgan, J.R., An analytical approach to architecture-based software reliability prediction, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248), (1998), 13 - 22, [IPDS.1998.707705], [abs]
  79. Gokhale, S.S. and Lyu, M.R. and Trivedi, K.S., Model validation using simulated data, Proceedings. 1998 IEEE Workshop on Application-Specific Software Engineering and Technology. ASSET-98 (Cat. No.98EX183), (1998), 22 - 7, [ASSET.1998.688228], [abs]
  80. Garg, Sachin and Puliafito, Antonio and Telek, Miklos and Trivedi, Kishor, Analysis of preventive maintenance in transactions based software systems, IEEE Transactions on Computers, (1998), 96 - 107, [12.656092], [abs]
  81. Yue Ma and Cheul Woo Ro and Trivedi, K.S., Performability analysis of channel allocation with channel recovery strategy in cellular networks, ICUPC '98. IEEE 1998 International Conference on Universal Personal Communications. Conference Proceedings (Cat. No.98TH8384), (1998), 71 - 5, [ICUPC.1998.732808], [abs]
  82. Gokhale, S.S. and Trivedi, K.S., Dependency characterization in path-based approaches to architecture-based software reliability prediction, Proceedings. 1998 IEEE Workshop on Application-Specific Software Engineering and Technology. ASSET-98 (Cat. No.98EX183), (1998), 86 - 9, [ASSET.1998.688239], [abs]
  83. Garg, Sachin and Telek, Miklos and Puliafito, Antonio and Trivedi, Kishor S., On the analysis of software rejuvenation policies, COMPASS - Proceedings of the Annual Conference on Computer Assurance, (1997), 88 - 96, [CMPASS.1997.613248], [abs]
  84. Logothetis, Dimitris and Trivedi, Kishor, Effect of detection and restoration times for error recovery in communication networks, Journal of Network and Systems Management, (1997), 173 - 195, [A:1018722928191], [abs]
  85. Hunter, Steve and Philip, Teebu and Trivedi, Kishor, Combined performance and availability analysis of a switched network application, Journal of Engineering and Applied Science, (1997), 241 - 245, [ICC.1997.605215], [abs]
  86. Gokhale, Swapna S. and Marinos, Peter N. and Lyu, Michael R. and Trivedi, Kishor S., Effect of repair policies on software reliability, COMPASS - Proceedings of the Annual Conference on Computer Assurance, (1997), 105 - 116, [CMPASS.1997.613262], [abs]
  87. Gokhale, S.S. and Lyu, M.R. and Trivedi, K.S., Reliability simulation of fault-tolerant software and systems, Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, PRFTS, (1997), 167 - 173, [PRFTS.1997.640143], [abs]
  88. Fricks, Ricardo and Hunter, Steve and Garg, Sachin and Trivedi, Kishor S., IDEA: Integrated design environment for assessment of ATM networks, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, (1996), 27 - 34, [ICECCS.1996.558327], [abs]
  89. Chang-Yu Wang and Logothetis, D. and Trivedi, K.S. and Viniotis, I., Transient behavior of ATM networks under overloads, Proceedings IEEE INFOCOM '96. The Conference on Computer Communications. Fifteenth Annual Joint Conference of the IEEE Computer Societies. Networking the Next Generation (Cat. No.96CB35887), (1996), 978 - 85, [INFCOM.1996.493039], [abs]
  90. Balakrishnan, Meera and Trivedi, Kishor S., Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing, Reliability Engineering & System Safety, (1996), 243 - 259, [0951-8320(95)00132-8], [abs]
  91. Garg, Sachin and Kintala, Chandra and Huang, Yennun and Trivedi, Kishor S., Minimizing completion time of a program by checkpointing and rejuvenation, Performance Evaluation Review, (1996), 252 - 261, [abs]
  92. Gokhale, Swapna S. and Philip, Teebu and Marinos, Peter N. and Trivedi, Kishor S., Unification of finite failure non-homogeneous Poisson process models through test coverage, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, (1996), 299 - 307, [ISSRE.1996.558886], [abs]
  93. Ramesh, A.V. and Trivedi, Kishor, Semi-numerical transient analysis of Markov models, Proceedings of the Annual Southeast Conference, (1995), 13 - 23, [abs]
  94. Bottomley, L.J. and Hunter, S. and Trivedi, K. and Nilsson, A.A., Traffic measurements from a working ATM network, IFIP Workshop TC6, IFIP Working Groups 6.3 and 6.4. Third Workshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings, (1995), 35 - 1, [abs]
  95. Trivedi, K.S. and Puliafito, A. and Logothetis, D., From stochastic Petri Nets to Markov regenerative stochastic Petri Nets, IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Proceedings, (1995), 194 - 198, [MASCOT.1995.378688], [abs]
  96. Ramesh, A.V. and Trivedi, K., Semi-numerical transient analysis of Markov models, Proceedings of the 33rd Annual Southeast Conference, (1995), 13 - 23, [abs]
  97. Balakrishnan, Meera and Trivedi, Kishor, Componentwise decomposition for an efficient reliability computation of systems with repairable components, Digest of Papers - International Symposium on Fault-Tolerant Computing, (1995), 259 - 268, [FTCS.1995.466972], [abs]
  98. Constantinescu, Cristian and Trivedi, Kishor, Dependability modeling of real-time systems using stochastic reward nets, Microelectronics and Reliability, (1995), 903 - 914, [0026-2714(94)00150-M], [abs]
  99. Mainkar, V. and Trivedi, K.S., Transient analysis of real-time systems using deterministic and stochastic Petri nets, Quality of Communication-Based Systems. Proceedings of an International Workshop, (1995), 69 - 84, [abs]
  100. Balakrishnan, Meera and Trivedi, Kishor, Componentwise decomposition for an efficient reliability computation of systems with repairable components, Proceedings - Annual International Conference on Fault-Tolerant Computing, (1995), 259 - 268, [FTCS.1995.466972], [abs]
  101. Greiner, Stefan and Puliafito, Antonio and Bolch, Gunter and Trivedi, Kishor S., Performance evaluation of dynamic priority operating systems, International Workshop on Petri Nets and Performance Models, (1995), 241 - 250, [PNPM.1995.524340], [abs]
  102. Garg, Sachin and Telek, Miklos and Puliafito, Antonio and Trivedi, Kishor S., Analysis of software rejuvenation using Markov regenerative stochastic petri net, Proceedings of the International Symposium on Software Reliability Engineering, (1995), 180 - 187, [ISSRE.1995.497656], [abs]
  103. Malhotra, M. and Trivedi, K.S., Data integrity analysis of disk array systems with analytic modeling of coverage, Perform. Eval. (Netherlands), (1995), 111 - 33, [0166-5316(93)E0041-3], [abs]
  104. Logothetis, Dimitris and Trivedi, Kishor S., Reliability analysis of the double counter-rotating ring with concentrator attachments, IEEE/ACM Transactions on Networking, (1994), 520 - 532, [90.336320], [abs]
  105. Wei, Wang and Shah, Babubhai V. and Trivedi, Kishor S. and Profeta, Joseph A. III, Impact of fault expansion on the interval estimate for fault detection coverage, Digest of Papers - International Symposium on Fault-Tolerant Computing, (1994), 330 - 337, [abs]
  106. Trivedi, K.S. and Malhotra, M. and Fricks, R.M., Markov reward approach to performability and reliability analysis, Proceedings of the IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, (1994), 7 - 11, [MASCOT.1994.284455], [abs]
  107. Logothetis, Dimitris and Trivedi, K., Transient analysis of the leaky bucket rate control scheme under poisson and on-off sources, Proceedings - IEEE INFOCOM, (1994), 490 - 497, [INFCOM.1994.337694], [abs]
  108. Wang, W. and Trivedi, K.S. and Shah, B.V. and Profeta, J.A., III, The impact of fault expansion on the interval estimate for fault detection coverage, Digest of Papers. The Twenty-Fourth International Symposium on Fault-Tolerant Computing (Cat. No.94CH3441-3), (1994), 330 - 7, [FTCS.1994.315627], [abs]
  109. Tomek, Lorrie and Mainkar, Varsha and Geist, Robert M. and Trivedi, Kishor S., Reliability modeling of life-critical, real-time systems, Proceedings of the IEEE, (1994), 108 - 121, [5.259430], [abs]
  110. Constazltinescu, C. and Trivedi, K., A stochastic reward net model for dependability analysis of real-time computing systems, Proceedings of the IEEE Workshop on Real-Time Applications (Cat. No.94TH0663-5), (1994), 142 - 6, [RTA.1994.316162], [abs]
  111. Trivedi, K.S. and Haverkort, B.R. and Rindos, A. and Mainkar, V., Techniques and tools for reliability and performance evaluation: problems and perspectives, Computer Performance Evaluation. Modelling Techniques and Tools. 7th International Conference Proceedings, (1994), 1 - 24, [abs]
  112. de Meer, H. and Trivedi, K.S. and Dal Cin, M., Guarded repair of dependable systems, Theor. Comput. Sci. (Netherlands), (1994), 179 - 210, [0304-3975(94)90169-4], [abs]
  113. Chimento, P.F. and Trivedi, K.S., The completion time of programs on processors subject to failure and repair, IEEE Trans. Comput. (USA), (1993), 1184 - 94, [12.257705], [abs]
  114. Trivedi, K.S. and Ciardo, G. and Malhotra, M. and Sahner, R.A., Dependability and performability analysis, Performance Evaluation of Computer and Communication Systems. Joint Tutorial Papers Performance '93 and Sigmetrics '93, (1993), 587 - 612, [abs]
  115. Trivedi, K.S. and Kulkarni, V.G., FSPNs: fluid stochastic Petri nets, Applications and Theory of Petri Nets 1993. 14th International Conference Proceedings, (1993), 24 - 31, [abs]
  116. Tomek, Lorrie A. and Muppala, Jogesh K. and Trivedi, Kishor S., Modeling correlation in software recovery blocks, IEEE Transactions on Software Engineering, (1993), 1071 - 1080, [32.256854], [abs]
  117. Ramesh, A.V. and Trivedi, Kishor, On the sensitivity of transient solutions of Markov models, Performance Evaluation Review, (1993), 122 -,
  118. Sahner, Robin A. and Trivedi, Kishor S., Software tool for learning about stochastic models, IEEE Transactions on Education, (1993), 56 - 61, [13.204817], [abs]
  119. Hoon Choi and Kulkarni, V.G. and Trivedi, K.S., Transient analysis of deterministic and stochastic Petri nets, Applications and Theory of Petri Nets 1993. 14th International Conference Proceedings, (1993), 166 - 85, [abs]
  120. Choi, H. and Mainkar, V. and Trivedi, K.S., Sensitivity analysis of deterministic and stochastic Petri nets, MASCOTS '93. International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (IEEE Cat. No.93TH0514-0), (1993), 271 - 6, [abs]
  121. Mainkar, Varsha and Trivedi, Kishor S., Approximate analysis of priority scheduling systems using stochastic reward nets, Proceedings - International Conference on Distributed Computing Systems, (1993), 466 - 473, [ICDCS.1993.287678], [abs]
  122. Logothetis, Dimitris and Trivedi, Kishor, Reliability analysis of various station attachment schemes in a FDDI token ring, Proceedings - IEEE INFOCOM, (1993), 201 - 205, [INFCOM.1993.253232], [abs]
  123. Choi, Hoon and Trivedi, Kishor S., Conditional MTTF and its computation in Markov reliability models, Proceedings of the Annual Reliability and Maintainability Symposium, (1993), 56 - 63, [RAMS.1993.296876], [abs]
  124. Chang-Yu Wang and Trivedi, K.S., Integration of specification for modeling and specification for system design, Applications and Theory of Petri Nets 1993. 14th International Conference Proceedings, (1993), 473 - 92, [abs]
  125. Mainkar, V. and Choi, H. and Trivedi, K., Sensitivity analysis of Markov regenerative stochastic Petri nets, Proceedings. 5th International Workshop on Petri Nets and Performance Models (Cat. No.93TH0558-7), (1993), 180 - 1, [PNPM.1993.393452], [abs]
  126. Choi, H. and Trivedi, K.S., Approximate performance models of polling systems using stochastic Petri nets, IEEE INFOCOM '92: Conference on Computer Communications. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.92CH3133-6), (1992), 2306 - 14, [INFCOM.1992.263520], [abs]
  127. Muppala, J.K. and Trivedi, K.S., Composite performance and availability analysis using a hierarchy of stochastic reward nets, Computer Performance Evaluation. Modelling Techniques and Tools. Proceedings of the Fifth International Conference, (1992), 335 - 49, [abs]
  128. Logothetis, D. and Trivedi, K., Reliability analysis of the FDDI token ring, Proceedings. 16th Conference on Local Computer Networks (Cat. No.91TH0397-0), (1991), 41 - 51, [LCN.1991.208046], [abs]
  129. Tomek, L.A. and Trivedi, K.S., Fixed point iteration in availability modeling, Fault-Tolerant Computing Systems. Tests, Diagnosis, Fault Treatment. 5th International GI/ITG/GMA Conference Proceedings, (1991), 229 - 40, [abs]
  130. Muppala, J.K. and Woolet, S.P. and Trivedi, K.S., Real-time systems performance in the presence of failures, Computer (USA), (1991), 37 - 47, [2.76285], [abs]
  131. Bobbio, Andrea and Trivedi, Kishor, Computing cumulative measures of stiff Markov chains using aggregation, IEEE Transactions on Computers, (1990), 1291 - 1298, [12.59859], [abs]
  132. Ciardo, Gianfranco and Marie, Raymond A. and Sericola, Bruno and Trivedi, Kishor S., Performability analysis using semi-Markov reward processes, IEEE Transactions on Computers, (1990), 1251 - 1264, [12.59855], [abs]
  133. Ciardo, G. and Muppala, J. and Trivedi, K., SPNP: stochastic Petri net package, Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM89) (Cat. No.89TH0288-1), (1990), 142 - 51, [PNPM.1989.68548], [abs]
  134. Trivedi, K.S. and Sathaye, A.S. and Ibe, O.C. and Howe, R.C., Should I add a processor? [performance evaluation], Proceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences, (1990), 214 - 21, [HICSS.1990.205119], [abs]
  135. Trivedi, Kishor S. and Sathaye, Archana S. and Ibe, Oliver C. and Howe, Richard C., Should I add a processor?, Proceedings of the Hawaii International Conference on System Science, (1990), 214 - 221, [abs]
  136. Chimento, P.F. and Trivedi, K.S., Completion time of programs on concurrent processors with failure and repair, Proceedings of the 1989 International Conference on Parallel Processing (Cat. No.89CH2701-1), (1989), 167 - 71, [abs]
  137. Reibman, Andrew and Smith, Roger and Trivedi, Kishor, Markov and Markov reward model transient analysis: an overview of numerical approaches, European Journal of Operational Research, (1989), 257 - 267, [0377-2217(89)90335-4], [abs]
  138. Dugan, Joanne Bechta and Trivedi, Kishor S., Coverage modeling for dependability analysis of fault-tolerant systems, IEEE Transactions on Computers, (1989), 775 - 787, [12.24286], [abs]
  139. Trivedi, K. and Reibman, A. and Smith, R., Transient analysis of Markov and Markov reward models, Computer Performance and Reliability. Proceedings of the Second International MCPR Workshop, (1988), 535 - 45, [abs]
  140. Blake, James T. and Trivedi, Kishor S., RELIABILITY OF THE SHUFFLE-EXCHANGE NETWORK AND ITS VARIANTS., Proceedings of the Hawaii International Conference on System Science, (1988), 174 - 182, [HICSS.1988.11763], [abs]
  141. Blake, James T. and Trivedi, Kishor S., Reliabilities of two fault-tolerant interconnection networks., Digest of Papers - FTCS (Fault-Tolerant Computing Symposium), (1988), 300 - 305, [5335], [abs]
  142. Reibman, Andrew and Trivedi, Kishor, NUMERICAL TRANSIENT ANALYSIS OF MARKOV MODELS., Computers & Operations Research, (1988), 19 - 36, [0305-0548(88)90026-3], [abs]
  143. Smith, R. M. and Trivedi, Kishor S. and Ramesh, A. V., PERFORMABILITY ANALYSIS: MEASURES, AN ALGORITHM, AND A CASE STUDY., IEEE Transactions on Computers, (1988), 406 - 417, [2184], [abs]
  144. Chimento, P.F., Jr. and Trivedi, K.S., The performance of block structured programs on processors subject to failure and repair, High Performance Computer Systems. Proceedings of the International Symposium, (1988), 269 - 80, [abs]
  145. Blake, J.T. and Reibman, A.L. and Trivedi, K.S., Sensitivity analysis of reliability and performability measures for multiprocessor systems, Perform. Eval. Rev. (USA), (1988), 177 - 86, [abs]
  146. Trivedi, K.S. and Dugan, J.B., Computer-aided reliability analysis of fault-tolerant systems, Sadhana (India), (1987), 209 - 20, [abs]
  147. Smith, R.M. and Trivedi, K.S., A performability analysis of two multi-processor systems, FTCS 17: Digest of Papers. The Seventeenth International Symposium on Fault-Tolerant Computing (Cat. No.87CH2418-2), (1987), 224 - 9, [abs]
  148. Nicola, Victor F. and Kulkarni, Vidyadhar G. and Trivedi, Kishor S., QUEUEING ANALYSIS OF FAULT-TOLERANT COMPUTER SYSTEMS., IEEE Transactions on Software Engineering, (1987), 363 - 375, [abs]
  149. Dugan, Joanne Bechta and Trivedi, Kishor S. and Smotherman, Mark K. and Geist, Robert M., HYBRID AUTOMATED RELIABILITY PREDICTOR., Journal of Guidance, Control, and Dynamics, (1986), 319 - 331, [abs]
  150. Bobbio, Andrea and Trivedi, Kishor S., AGGREGATION TECHNIQUE FOR THE TRANSIENT ANALYSIS OF STIFF MARKOV CHAINS., IEEE Transactions on Computers, (1986), 803 - 814, [abs]
  151. Kulkarni, V. G. and Nicola, V. F. and Smith, R. M. and Trivedi, K. S., NUMERICAL EVALUATION OF PERFORMABILITY AND JOB COMPLETION TIME IN REPAIRABLE FAULT-TOLERANT SYSTEMS., Digest of Papers - FTCS (Fault-Tolerant Computing Symposium), (1986), 252 - 257, [abs]
  152. Dugan, J.B. and Bobbio, A. and Ciardo, G. and Trivedi, K., The design of a unified package for the solution of stochastic Petri net models, International Workshop on Timed Petri Nets (Cat. No. 2187-3), (1985), 6 - 13, [abs]
  153. Trivedi, K.S., Modeling and analysis of fault-tolerant systems, Modelling Techniques and Tools for Performance Analysis. Proceedings of the International Conference, (1985), 463 - 82, [abs]
  154. Dugan, Joanne Bechta and Bobbio, Andrea and Ciardo, Gianfranco and Trivedi, Kishor, DESIGN OF A UNIFIED PACKAGE FOR THE SOLUTION OF STOCHASTIC PETRI NET MODELS., (1985), 6 - 13, [abs]
  155. Trivedi, K. and Dugan, J.B. and Geist, R. and Smotherman, M., Modeling imperfect coverage in fault-tolerant systems, Fourteenth International Conference on Fault-Tolerant Computing. Digest of Papers (Cat. No. 84CH2050-3), (1984), 77 - 82, [abs]
  156. Kulkarni, V. G. and Nicola, V. F. and Trivedi, K. S., ON MODELLING THE PERFORMANCE AND RELIABILITY OF MULTIMODE COMPUTER SYSTEMS., Journal of Systems and Software, (1984), 175 - 182, [0164-1212(86)90038-5], [abs]
  157. Trivedi, K. and Dugan, J.B. and Geist, R. and Smotherman, M., Issues in reliability modeling of fault-tolerant computers, Fault-Tolerant Computing Systems. 2nd GI/NTG/GMR Conference, (1984), 228 - 39, [abs]
  158. Dugan, J.B. and Trivedi, K.S. and Geist, R.M. and Nicola, V.F., Extended stochastic Petri nets: applications and analysis, PERFORMANCE '84: Models of Computer System Performance. Proceedings of the Tenth International Symposium, (1984), 507 - 19, [abs]
  159. Trivedi, Kishor S., RELIABILITY EVALUATION FOR FAULT-TOLERANT SYSTEMS., (1984), 403 - 414, [abs]
  160. Trivedi, K.S. and Haring, G., Load distribution in a star configured system with error-prone channels, Mat. Apl. Comput. (Brazil), (1984), 23 - 40, [abs]
  161. Trivedi, Kishor and Dugan, Joanne Bechta and Geist, Robert and Smotherman, Mark, HYBRID RELIABILITY MODELING OF FAULT-TOLERANT COMPUTER SYSTEMS., Computers & Electrical Engineering, (1984), 87 - 108, [0045-7906(84)90004-1], [abs]
  162. Trivedi, Kishor S., COMPUTER SYSTEMS ANALYSIS., Modeling and Simulation, Proceedings of the Annual Pittsburgh Conference, (1984), 1709 - 1714, [abs]
  163. Trivedi, Kishor S. and Geist, Robert M., DECOMPOSITION IN RELIABILITY ANALYSIS OF FAULT-TOLERANT SYSTEMS., IEEE Transactions on Reliability, (1983), 463 - 468, [abs]
  164. Geist, Robert M. and Trivedi, Kishor S., ULTRAHIGH RELIABILITY PREDICTION FOR FAULT-TOLERANT COMPUTER SYSTEMS., IEEE Transactions on Computers, (1983), 1118 - 1127, [abs]
  165. Trivedi, K.S., Analysis of computer performance and reliability, Proceedings IEEE International Conference on Computer Design: VLSI in Computers (ICCD '83), (1983), 464 - 7, [abs]
  166. Trivedi, K.S. and von Mayrhauser, A., Optimal file allocation, device capacity and CPU speed selection during the design of interactive computer systems, Proceedings of the CMG XIII International Conference, (1982), 178 - 84, [abs]
  167. Geist, Robert M. and Trivedi, Kishor S., OPTIMAL DESIGN OF MULTILEVEL STORAGE HIERARCHIES., IEEE Transactions on Computers, (1982), 249 - 260, [abs]
  168. Trivedi, Kishor S. and Sigmon, Timothy M., OPTIMAL DESIGN OF LINEAR STORAGE HIERARCHIES., Journal of the Association for Computing Machinery, (1981), 270 - 288, [322248.322253], [abs]
  169. Trivedi, Kishor S. and Geist, Robert M., TUTORIAL ON THE CARE III APPROACH TO RELIABILITY MODELING., Hutnik, (1981), 60 -, [abs]
  170. Trivedi, K.S. and Wagner, R.A., Optimal selection of CPU speed, device capacities, and allocation of files with variable record size, Computer Performance Evaluation Users Group (CPEUG) 16th meeting (NBS-SP-500-65), (1980), 129 - 35, [abs]
  171. Trivedi, K.S., Designing linear storage hierarchies so as to maximize reliability subject to cost and performance constraints, Conference Proceedings of the 7th Annual Symposium on Computer Architecture, (1980), 211 - 17, [800053.801928], [abs]
  172. Trivedi, K.S. and Gault, J.W. and Clary, J.B., Reliability validation of systems for life-critical applications, EASCON'80 Record. IEEE Electronics and Aerospace Systems Conventions, (1980), 406 - 9, [abs]
  173. Trivedi, K.S. and Wagner, R.A., Optimum computer configuration selection, Proceedings of the IEEE International Conference on Circuits and Computers ICCC 80, (1980), 383 - 5, [abs]
  174. Wagner, Robert A. and Trivedi, Kishor S., HARDWARE CONFIGURATION SELECTION THROUGH DISCRETIZING A CONTINUOUS VARIABLE SOLUTION., Performance Evaluation Review, (1980), 127 - 142, [abs]
  175. Trivedi, Kishor S. and Kinicki, Robert E., MODEL FOR COMPUTER CONFIGURATION DESIGN., Computer, (1980), 47 - 54, [abs]
  176. Trivedi, K.S. and Wagner, R.A. and Sigmon, T.M., Optimal selection of CPU speed, device capacities, and file assignments, J. Assoc. Comput. Mach. (USA), (1980), 457 - 73, [322203.322208], [abs]
  177. Trivedi, K.S. and Sigmon, T.M., A performance comparison of optimally designed computer systems with and without virtual memory, Proceedings of the 6th Annual Symposium on Computer Architecture, (1979), 117 - 21, [800090.802900], [abs]
  178. Trivedi, K.S., An analysis of prepaging, Computing (Austria), (1979), 191 - 210, [abs]
  179. Trivedi, K.S. and Wagner, R.A., A decision model for closed queuing networks, IEEE Trans. Softw. Eng. (USA), (1979), 328 - 32, [abs]
  180. Trivedi, K.S., Analytic modelling of computer systems, Computer (USA), (1978), 38 - 56, [abs]
  181. Trivedi, K.S. and Leech, R.L., The design and analysis of a functionally distributed computer system, Proceedings of the 1978 International Conference on Parallel Processing, (1978), 125 - 21, [abs]
  182. Trivedi, K.S. and Kinicki, R.E., A mathematical model for computer system configuration planning, Performance of computer installations. Evaluation and management, (1978), 323 - 32, [abs]
  183. Trivedi, K.S. and Rusnak, J.G., Higher radix on-line division, Proceedings of the 4th Symposium on Computer Arithmetic, (1978), 164 - 73, [abs]
  184. Trivedi, K.S., On the paging performance of array algorithms, IEEE Trans. Comput. (USA), (1977), 938 - 47, [abs]
  185. Trivedi, K.S., Prepaging and applications to the STAR-100 computer, High Speed Computer and Algorithm Organization, (1977), 435 - 46, [abs]
  186. Trivedi, K.S., On a semaphore anomaly, Inf. Process. Lett. (Netherlands), (1976), 88 - 9, [0020-0190(76)90072-7], [abs]
  187. Trivedi, K.S. and Ercegovac, M.D., On-line algorithms for division and multiplication, 3rd Symposium on Computer Arithmetic, (1975), 161 - 7, [abs]
  188. Grottke, M. and Lei Li and Vaidyanathan, K. and Trivedi, K.S., Analysis of software aging in a web server, IEEE Trans. Reliab. (USA), (0), 411 - 20, [TR.2006.879609], [abs]
  189. Trivedi, K.S., Prepaging and applications to array algorithms, IEEE Trans. Comput. (USA), (0), 915 - 21, [abs]
  190. Wagner, R.A. and Trivedi, K.S., Hardware configuration selection through discretizing a continuous variable solution, Perform. Eval. Rev. (USA), (0), 127 - 42, [abs]