The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kishor S. Trivedi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kishor S. Trivedi
    Prepaging and Applications to Array Algorithms. [Citation Graph (2, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:9, pp:915-921 [Journal]
  2. Manish Malhotra, Kishor S. Trivedi
    Reliability Analysis of Redundant Arrays of Inexpensive Disks. [Citation Graph (1, 0)][DBLP]
    J. Parallel Distrib. Comput., 1993, v:17, n:1-2, pp:146-151 [Journal]
  3. Philip Heidelberger, Kishor S. Trivedi
    Queueing Network Models for Parallel Processing with Asynchronous Tasks. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Computers, 1982, v:31, n:11, pp:1099-1109 [Journal]
  4. Philip Heidelberger, Kishor S. Trivedi
    Analytic Queueing Models for Programs with Internal Concurrency. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Computers, 1983, v:32, n:1, pp:73-82 [Journal]
  5. Kishor S. Trivedi
    On the Paging Performance of Array Algorithms. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Computers, 1977, v:26, n:10, pp:938-947 [Journal]
  6. Victor F. Nicola, Vidyadhar G. Kulkarni, Kishor S. Trivedi
    Queueing Analysis of Fault-Tolerant Computer Systems. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:3, pp:363-375 [Journal]
  7. Jogesh K. Muppala, Kishor S. Trivedi
    GSPM models: sensitivity analysis and applications. [Citation Graph (0, 0)][DBLP]
    ACM Southeast Regional Conference, 1990, pp:25-33 [Conf]
  8. A. V. Ramesh, Kishor S. Trivedi
    Semi-numerical transient analysis of Markov models. [Citation Graph (0, 0)][DBLP]
    ACM Southeast Regional Conference, 1995, pp:13-23 [Conf]
  9. Kishor S. Trivedi
    Proactive Fault-Management in Software System. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2000, pp:3-0 [Conf]
  10. Kishor S. Trivedi, Kalyanaraman Vaidyanathan, Katerina Goseva-Popstojanova
    Modeling and Analysis of Software Aging and Rejuvenation. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2000, pp:270-0 [Conf]
  11. Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi
    Transient Analysis of Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:166-185 [Conf]
  12. Kishor S. Trivedi, Vidyadhar G. Kulkarni
    FSPNs: Fluid Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:24-31 [Conf]
  13. Chang-Yu Wang, Kishor S. Trivedi
    Integration of Specification for Modeling and Specification for System Design. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:473-492 [Conf]
  14. Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi
    An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:120-129 [Conf]
  15. Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi
    Evaluating Performance Attributes of Layered Software Architecture. [Citation Graph (0, 0)][DBLP]
    CBSE, 2005, pp:66-81 [Conf]
  16. Maria Calzarossa, Kishor S. Trivedi
    Performance Analysis Using User Behavior Graphs. [Citation Graph (0, 0)][DBLP]
    Int. CMG Conference, 1986, pp:394-397 [Conf]
  17. Kishor S. Trivedi
    Computer Science and Applied Probability (abstract). [Citation Graph (0, 0)][DBLP]
    Int. CMG Conference, 1983, pp:467- [Conf]
  18. Kishor S. Trivedi, Anneliese von Mayrhauser
    Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection. [Citation Graph (0, 0)][DBLP]
    Int. CMG Conference, 1981, pp:58-69 [Conf]
  19. Kishor S. Trivedi, Anneliese von Mayrhauser
    Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems. [Citation Graph (0, 0)][DBLP]
    Int. CMG Conference, 1982, pp:178-184 [Conf]
  20. Christopher Griffin, Bharat B. Madan, Kishor S. Trivedi
    State Space Approach to Security Quantification. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2005, pp:83-88 [Conf]
  21. Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi
    A Performance Engineering Tool for Tiered Software Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:63-70 [Conf]
  22. Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi
    Reliability and Performability Modeling Using SHARPE 2000. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2000, pp:345-349 [Conf]
  23. Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi
    SPNP: Stochastic Petri Nets. Version 6.0. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2000, pp:354-357 [Conf]
  24. Tong Luo, Kishor S. Trivedi
    An Improved Multiple Variable Inversion Algorithm for Reliability Calculation. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation (Tools), 1998, pp:180-192 [Conf]
  25. Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi
    SREPT: Software Reliability Estimation and Prediction Tool. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation (Tools), 1998, pp:27-36 [Conf]
  26. Srinivasan Ramani, Kishor S. Trivedi
    SREPT: Software Reliability Estimation and Prediction Tool. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2000, pp:358-361 [Conf]
  27. Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew Rindos, Varsha Mainkar
    Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation, 1994, pp:1-24 [Conf]
  28. Bruno Tuffin, Kishor S. Trivedi
    Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2000, pp:216-229 [Conf]
  29. Katerina Goseva-Popstojanova, Kishor S. Trivedi
    Stochastic Modeling Formalisms for Dependability, Performance and Performability. [Citation Graph (0, 0)][DBLP]
    Performance Evaluation, 2000, pp:403-422 [Conf]
  30. Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy
    Reliable Messaging Using the CORBA Notification Service. [Citation Graph (0, 0)][DBLP]
    DOA, 2001, pp:229-238 [Conf]
  31. Alberto Avritzer, Andre B. Bondi, Michael Grottke, Kishor S. Trivedi, Elaine J. Weyuker
    Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:435-444 [Conf]
  32. Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora
    Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:337-344 [Conf]
  33. Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi
    Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:521-0 [Conf]
  34. Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi
    Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:241-248 [Conf]
  35. Michael Grottke, Kishor S. Trivedi
    On a Method for Mending Time to Failure Distributions. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:560-569 [Conf]
  36. Wei Jin, Rakesh D. Barve, Kishor S. Trivedi
    A Simple Characterization of Provably Efficient Prefetching Algorithms. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:571-0 [Conf]
  37. Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi
    Modeling and Quantification of Security Attributes of Software Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:505-514 [Conf]
  38. Dong Tang, Kishor S. Trivedi
    Hierarchical Computation of Interval Availability and Related Metrics. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:693-0 [Conf]
  39. Kishor S. Trivedi
    SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:544- [Conf]
  40. Kishor S. Trivedi
    SREPT: A Tool for Software Reliability Estimation and Prediction. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:546- [Conf]
  41. Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi
    Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. [Citation Graph (0, 0)][DBLP]
    EDCC, 1999, pp:7-23 [Conf]
  42. Robin A. Sahner, Kishor S. Trivedi
    A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models. [Citation Graph (0, 0)][DBLP]
    FJCC, 1986, pp:817-825 [Conf]
  43. Meera Balakrishnan, Kishor S. Trivedi
    Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components. [Citation Graph (0, 0)][DBLP]
    FTCS, 1995, pp:259-268 [Conf]
  44. Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi, Shalini Yajnik
    Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    FTCS, 1999, pp:322-329 [Conf]
  45. Robert Geist, Kishor S. Trivedi
    An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1993, pp:442-450 [Conf]
  46. Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing Zhang
    Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools. [Citation Graph (0, 0)][DBLP]
    FTCS, 1997, pp:37-41 [Conf]
  47. Wei Wang, Kishor S. Trivedi, Babubhai V. Shah, Joseph A. Profeta III
    The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage. [Citation Graph (0, 0)][DBLP]
    FTCS, 1994, pp:330-337 [Conf]
  48. Xinyu Zang, Hairong Sun, Kishor S. Trivedi
    Dependability Analysis of Distributed Computer Systems with Imperfect Coverage. [Citation Graph (0, 0)][DBLP]
    FTCS, 1999, pp:330-337 [Conf]
  49. Swapna S. Gokhale, Kishor S. Trivedi
    Log-Logistic Software Reliability Growth Model. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:34-41 [Conf]
  50. Ann T. Tai, Kishor S. Trivedi, Herbert Hecht
    On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:2-13 [Conf]
  51. Steven W. Hunter, Teebu Philip, Kishor S. Trivedi
    Combined Performance and Availability Analysis of a Switched Network Applications. [Citation Graph (0, 0)][DBLP]
    ICC (1), 1997, pp:241-245 [Conf]
  52. Cheul Woo Ro, Kishor S. Trivedi
    Performability analysis of handoff calls in personal communication networks. [Citation Graph (0, 0)][DBLP]
    ICCCN, 1997, pp:116-121 [Conf]
  53. Varsha Mainkar, Kishor S. Trivedi
    Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1993, pp:466-473 [Conf]
  54. Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi
    IDEA: Integrated Design Environment for Assessment of ATM Networks. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1996, pp:27-34 [Conf]
  55. Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi
    A Framework for Performability Modeling of Messaging Services in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2002, pp:25-34 [Conf]
  56. Lorrie A. Tomek, Kishor S. Trivedi
    Fixed Point Iteration in Availability Modeling. [Citation Graph (0, 0)][DBLP]
    Fault-Tolerant Computing Systems, 1991, pp:229-240 [Conf]
  57. Kishor S. Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman
    Issues in reliability modeling of fault-tolerant computers. [Citation Graph (0, 0)][DBLP]
    Fehlertolerierende Rechensysteme, 1984, pp:228-239 [Conf]
  58. Phillip F. Chimento Jr., Kishor S. Trivedi
    Completion Times of Programs on Concurrent Processors with Failure and Repair. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1989, pp:167-171 [Conf]
  59. Helena Szczerbicka, Kishor S. Trivedi, Pawan K. Choudhary
    Discrete Event Simulation with Applications to Computer Communication Systems Performance. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Tutorials, 2004, pp:271-304 [Conf]
  60. Kishor S. Trivedi, Kalyanaraman Vaidyanathan
    Software Rejuvenation - Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Tutorials, 2004, pp:151-182 [Conf]
  61. Hoon Choi, Kishor S. Trivedi
    Approximate Performance Models of Polling Systems Using Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1992, pp:2306-2314 [Conf]
  62. Dimitris Logothetis, Kishor S. Trivedi
    Reliability Analysis of Various Station Attachment Schemes in an FDDI Token Ring. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1993, pp:201-208 [Conf]
  63. Dimitris Logothetis, Kishor S. Trivedi
    Transient Analysis of the Leaky Bucket Rate Control Scheme Under Poisson and ON-OFF Sources. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1994, pp:490-497 [Conf]
  64. Yue Ma, James J. Han, Kishor S. Trivedi
    Call Admission Control for Reducing Dropped Calls in Code Division Multiple Access (CDMA) Cellular Systems. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 2000, pp:1481-1490 [Conf]
  65. Chang-Yu Wang, Dimitris Logothetis, Kishor S. Trivedi, Yannis Viniotis
    Transient Behavior of ATM Networds under Overloads. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1996, pp:978-985 [Conf]
  66. Srinivasan Ramani, Balakrishnan Dasarathy, Kishor S. Trivedi
    Building a Reliable Message Delivery System Using the CORBA Event Service. [Citation Graph (0, 0)][DBLP]
    IPDPS Workshops, 2000, pp:1276-1280 [Conf]
  67. Dazhi Wang, Kishor S. Trivedi
    Modeling User-Perceived Service Availability. [Citation Graph (0, 0)][DBLP]
    ISAS, 2005, pp:107-122 [Conf]
  68. Kesari Mishra, Kishor S. Trivedi
    Model Based Approach for Autonomic Availability Management. [Citation Graph (0, 0)][DBLP]
    ISAS, 2006, pp:1-16 [Conf]
  69. Kishor S. Trivedi
    Designing Linear Storage Hierarchies so as to Maximize Reliability Subject to Cost and Performance Constraints. [Citation Graph (0, 0)][DBLP]
    ISCA, 1980, pp:211-217 [Conf]
  70. Kishor S. Trivedi, Timothy M. Sigmon
    A Performance Comparison of Optimally Designed Computer Systems with and without Virtual Memory. [Citation Graph (0, 0)][DBLP]
    ISCA, 1979, pp:117-121 [Conf]
  71. Lei Li, Kalyanaraman Vaidyanathan, Kishor S. Trivedi
    An Approach for Estimation of Software Aging in a Web Server. [Citation Graph (0, 0)][DBLP]
    ISESE, 2002, pp:91-102 [Conf]
  72. Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi
    Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:40-51 [Conf]
  73. Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi
    Analysis of Hypergeometric Distribution Software Reliability Model. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2001, pp:166-175 [Conf]
  74. Yun Liu, Veena B. Mendiratta, Kishor S. Trivedi
    Survivability Analysis of Telephone Access Network. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2004, pp:367-378 [Conf]
  75. Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel
    Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2002, pp:159-170 [Conf]
  76. Swapna S. Gokhale, Kishor S. Trivedi
    Reliability Prediction and Sensitivity Analysis Based on Software Architecture. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2002, pp:64-78 [Conf]
  77. Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi
    Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2001, pp:22-33 [Conf]
  78. Vibhu Saujanya Sharma, Kishor S. Trivedi
    Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:299-310 [Conf]
  79. Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi
    Maximizing Interval Reliability in Operational Software System with Rejuvenation. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2003, pp:479-490 [Conf]
  80. Bharat B. Madan, Shashi Phoha, Kishor S. Trivedi
    StackOFFence: A Technique for Defending Against Buffer Overflow Attacks. [Citation Graph (0, 0)][DBLP]
    ITCC (1), 2005, pp:656-661 [Conf]
  81. Kishor S. Trivedi, Selvamuthu Dharmaraja, Xiaomin Ma
    Analytic Modeling of Handoffs in Wireless Cellular Networks. [Citation Graph (0, 0)][DBLP]
    JCIS, 2002, pp:1383-1392 [Conf]
  82. Hoon Choi, Varsha Mainkar, Kishor S. Trivedi
    Sensitivity Analysis of Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1993, pp:271-276 [Conf]
  83. Gianfranco Ciardo, Kishor S. Trivedi
    SPNP: The Stochastic Petri Net Package (Version 3.1). [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1993, pp:390-391 [Conf]
  84. Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi
    Modeling Using Stochastic Reward Nets. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1993, pp:367-372 [Conf]
  85. Kishor S. Trivedi, Manish Malhotra, Ricardo M. Fricks
    Markov Reward Approach to Performability and Reliability Analysis. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1994, pp:7-11 [Conf]
  86. Kishor S. Trivedi, Antonio Puliafito, Dimitris Logothetis
    From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1995, pp:194-198 [Conf]
  87. Kishor S. Trivedi
    Reliability Evaluation for Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    Computer Performance and Reliability, 1983, pp:403-416 [Conf]
  88. Mei-Chen Hsueh, Ravishankar K. Iyer, Kishor S. Trivedi
    A Measurement-Based Performability Model for a Multiprocessor System. [Citation Graph (0, 0)][DBLP]
    Computer Performance and Reliability, 1987, pp:337-352 [Conf]
  89. Kishor S. Trivedi, Andrew L. Reibman, Roger Smith
    Transient Analysis of Markov and Markov Reward Models. [Citation Graph (0, 0)][DBLP]
    Computer Performance and Reliability, 1987, pp:535-545 [Conf]
  90. Günter Haring, Kishor S. Trivedi
    On the Optimal Distribution of Processing Power in a Star Configured System. [Citation Graph (0, 0)][DBLP]
    MMB, 1983, pp:353-365 [Conf]
  91. Yun Liu, Kishor S. Trivedi
    A General Framework for Network Survivability Quantification. [Citation Graph (0, 0)][DBLP]
    MMB, 2004, pp:369-378 [Conf]
  92. Hermann de Meer, Kishor S. Trivedi
    Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems. [Citation Graph (0, 0)][DBLP]
    MMB, 1993, pp:159-172 [Conf]
  93. Miklós Telek, Andrea Bobbio, László Jereb, Antonio Puliafito, Kishor S. Trivedi
    Steady State Analysis of Markov Regenerative SPN with Age Memory Policy. [Citation Graph (0, 0)][DBLP]
    MMB, 1995, pp:165-179 [Conf]
  94. Kishor S. Trivedi, Manish Malhotra
    Reliability and Performability Techniques and Tools: A Survey. [Citation Graph (0, 0)][DBLP]
    MMB, 1993, pp:27-48 [Conf]
  95. Dongyan Chen, Sachin Garg, Kishor S. Trivedi
    Network survivability performance evaluation: : a quantitative approach with applications in wireless ad-hoc networks. [Citation Graph (0, 0)][DBLP]
    MSWiM, 2002, pp:61-68 [Conf]
  96. Joanne Bechta Dugan, Kishor S. Trivedi, Robert Geist, Victor F. Nicola
    Extended Stochastic Petri Nets: Applications and Analysis. [Citation Graph (0, 0)][DBLP]
    Performance, 1984, pp:507-519 [Conf]
  97. François Baccelli, Kishor S. Trivedi
    Analysis of M/G/2 - Standby Redundant System. [Citation Graph (0, 0)][DBLP]
    Performance, 1983, pp:457-476 [Conf]
  98. Robert Geist, Kishor S. Trivedi
    The Integration of User Perception in the Heterogeneous M/M/2 Queue. [Citation Graph (0, 0)][DBLP]
    Performance, 1983, pp:203-216 [Conf]
  99. Kishor S. Trivedi, Kalyanaraman Vaidyanathan
    Software Reliability and Rejuvenation: Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
    Performance, 2002, pp:318-345 [Conf]
  100. Heinz Kantz, Kishor S. Trivedi
    Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:268-277 [Conf]
  101. Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
    SPNP: Stochastic Petri Net Package. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:142-151 [Conf]
  102. Gianfranco Ciardo, Kishor S. Trivedi
    A Decomposition Approach for Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:74-83 [Conf]
  103. Joanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi
    The Design of a Unified Package for the Solution of Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP]
    PNPM, 1985, pp:6-13 [Conf]
  104. Oliver C. Ibe, Archana Sathaye, Richard C. Howe, Kishor S. Trivedi
    Stochastic Petri Net Modeling of VAXcluster System Availability. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:112-121 [Conf]
  105. Dongyan Chen, Kishor S. Trivedi
    Analysis of Periodic Preventive Maintenance with General System Failure Distribution. [Citation Graph (0, 0)][DBLP]
    PRDC, 2001, pp:103-110 [Conf]
  106. Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi
    Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule. [Citation Graph (0, 0)][DBLP]
    PRDC, 2000, pp:77-84 [Conf]
  107. Katerina Goseva-Popstojanova, Kishor S. Trivedi
    Effects of failure correlation on software in operation. [Citation Graph (0, 0)][DBLP]
    PRDC, 2000, pp:69-76 [Conf]
  108. Wei Xie, Yiguang Hong, Kishor S. Trivedi
    Software Rejuvenation Policies for Cluster Systems under Varying Workload. [Citation Graph (0, 0)][DBLP]
    PRDC, 2004, pp:122-129 [Conf]
  109. Kishor S. Trivedi, Ranjith Vasireddy, David Trindale, Swami Nathan, Rick Castro
    Modeling High Availability. [Citation Graph (0, 0)][DBLP]
    PRDC, 2006, pp:154-164 [Conf]
  110. Günther A. Hoffmann, Kishor S. Trivedi, Miroslaw Malek
    A Best Practice Guide to Resources Forecasting for the Apache Webserver. [Citation Graph (0, 0)][DBLP]
    PRDC, 2006, pp:183-193 [Conf]
  111. Philip M. Thambidurai, Kishor S. Trivedi
    Transient Overloads in Fault-Tolerant Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1989, pp:126-133 [Conf]
  112. Swapna S. Gokhale, Peter N. Marinos, Kishor S. Trivedi
    Important Milestones in Software Reliability Modeling. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:345-352 [Conf]
  113. James T. Blake, Andrew L. Reibman, Kishor S. Trivedi
    Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1988, pp:177-186 [Conf]
  114. Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi
    Minimizing Completion Time of a Program by Checkpointing and Rejuvenation. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1996, pp:252-261 [Conf]
  115. Victor F. Nicola, Vidyadhar G. Kulkarni, Kishor S. Trivedi
    Queueing Analysis of Fault-Tolerant Computer Systems. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1986, pp:203- [Conf]
  116. A. V. Ramesh, Kishor S. Trivedi
    On the Sensitivity of Transient Solutions of Markov Models. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1993, pp:122-134 [Conf]
  117. Arun K. Somani, Kishor S. Trivedi
    Phased-Mission System Analysis Using Boolean Algebraic Methods. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1994, pp:98-107 [Conf]
  118. Kishor S. Trivedi, Andrea Bobbio, Miklós Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito
    Non-Markovian Petri Nets (Panel). [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1995, pp:263-264 [Conf]
  119. Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner
    Dependability and Performability Analysis. [Citation Graph (0, 0)][DBLP]
    Performance/SIGMETRICS Tutorials, 1993, pp:587-612 [Conf]
  120. Kalyanaraman Vaidyanathan, Richard E. Harper, Steven W. Hunter, Kishor S. Trivedi
    Analysis and implementation of software rejuvenation in cluster systems. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS/Performance, 2001, pp:62-71 [Conf]
  121. Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi
    Availability Models with Age-Dependent Checkpointing. [Citation Graph (0, 0)][DBLP]
    SRDS, 2002, pp:130-139 [Conf]
  122. Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy
    Performance Analysis of the CORBA Event Service using Stochastic Reward Nets. [Citation Graph (0, 0)][DBLP]
    SRDS, 2000, pp:238-247 [Conf]
  123. Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy
    Performance Analysis of the CORBA Notification Service . [Citation Graph (0, 0)][DBLP]
    SRDS, 2001, pp:227-0 [Conf]
  124. Kalyanaraman Vaidyanathan, Dharmaraja Selvamuthu, Kishor S. Trivedi
    Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems. [Citation Graph (0, 0)][DBLP]
    SRDS, 2002, pp:286-295 [Conf]
  125. Malathi Veeraraghavan, Kishor S. Trivedi
    An Improved ALgorithm for the Symbolic Reliability Analysis of Networks. [Citation Graph (0, 0)][DBLP]
    SRDS, 1990, pp:34-43 [Conf]
  126. Malathi Veeraraghavan, Kishor S. Trivedi
    An Approach for Combinatorial Performance and Availability Analysis. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1993, pp:24-33 [Conf]
  127. Vibhu Saujanya Sharma, Kishor S. Trivedi
    Architecture based analysis of performance, reliability and security of software systems. [Citation Graph (0, 0)][DBLP]
    WOSP, 2005, pp:217-227 [Conf]
  128. Pawan K. Choudhary, Bharat B. Madan, Kishor S. Trivedi
    Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2005, pp:412-418 [Conf]
  129. David I. Heimann, Nitin Mittal, Kishor S. Trivedi
    Availability and Reliability Modeling for Computer Systems. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 1990, v:31, n:, pp:175-233 [Journal]
  130. Joseph A. Bannister, Kishor S. Trivedi
    Task Allocation in Fault-Tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:261-281 [Journal]
  131. Robert Geist, Mark Smotherman, Kishor S. Trivedi, Joanne Bechta Dugan
    The Reliability of Life-Critical Computer Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1986, v:23, n:6, pp:621-642 [Journal]
  132. Swapna S. Gokhale, Kishor S. Trivedi
    A time/structure based software reliability model. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:8, n:, pp:85-121 [Journal]
  133. Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi
    Estimating Software Rejuvenation Schedules in High-Assurance Systems. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:6, pp:473-485 [Journal]
  134. Selvamuthu Dharmaraja, Kishor S. Trivedi, Dimitris Logothetis
    Performance modeling of wireless networks with generally distributed handoff interarrival times. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2003, v:26, n:15, pp:1747-1755 [Journal]
  135. Yun Liu, Yue Ma, James J. Han, Haim Levendel, Kishor S. Trivedi
    A proactive approach towards always-on availability in broadband cable networks. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2005, v:28, n:1, pp:51-64 [Journal]
  136. Yue Ma, James J. Han, Kishor S. Trivedi
    Call admission control for reducing dropped calls in CDMA cellular systems. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2002, v:25, n:7, pp:689-699 [Journal]
  137. Hairong Sun, Xinyu Zang, Kishor S. Trivedi
    A stochastic reward net model for performance analysis of prioritized DQDB MAN. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1999, v:22, n:9, pp:858-870 [Journal]
  138. Hairong Sun, Xinyu Zang, Kishor S. Trivedi
    The effect of Web caching on network planning. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1999, v:22, n:14, pp:1343-1350 [Journal]
  139. Robert Geist, Kishor S. Trivedi
    Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1990, v:23, n:7, pp:52-61 [Journal]
  140. Jogesh K. Muppala, Steven P. Woolet, Kishor S. Trivedi
    Real-Time-Systems Performance in the Presence of Failures. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1991, v:24, n:5, pp:37-47 [Journal]
  141. Andrew L. Reibman, Kishor S. Trivedi
    Numerical transient analysis of markov models. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 1988, v:15, n:1, pp:19-36 [Journal]
  142. Vittorio Castelli, Richard E. Harper, Philip Heidelberger, Steven W. Hunter, Kishor S. Trivedi, Kalyanaraman Vaidyanathan, William P. Zeggert
    Proactive management of software aging. [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 2001, v:45, n:2, pp:311-332 [Journal]
  143. W. Earl Smith, Kishor S. Trivedi
    Dependability Evaluation of a Class of Multi-Loop Topologies for Local Area Networks. [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 1989, v:33, n:5, pp:511-423 [Journal]
  144. Antonio Puliafito, Orazio Tomarchio, Lorenzo Vita, Kishor S. Trivedi
    Increasing Application Accessibility through Java. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 1998, v:2, n:4, pp:70-77 [Journal]
  145. Raymond A. Marie, Kishor S. Trivedi
    A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:24, n:6, pp:397-401 [Journal]
  146. Kishor S. Trivedi
    On a Semaphore Anomaly. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1976, v:5, n:3, pp:88-89 [Journal]
  147. Kishor S. Trivedi, Selvamuthu Dharmaraja, Xiaomin Ma
    Analytic modeling of handoffs in wireless cellular networks. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2002, v:148, n:1-4, pp:155-166 [Journal]
  148. Kishor S. Trivedi, Timothy M. Sigmon
    Optimal Design of Linear Storage Hierarchies. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1981, v:28, n:2, pp:270-288 [Journal]
  149. Kishor S. Trivedi, Robert A. Wagner, Timothy M. Sigmon
    Optimal Selection of CPU Speed, Device Capacities, and File Assignments. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1980, v:27, n:3, pp:457-473 [Journal]
  150. Andrea Bobbio, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
    Recent Developments in Non-Markovian Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Journal of Circuits, Systems, and Computers, 1998, v:8, n:1, pp:119-158 [Journal]
  151. Bharat B. Madan, Kishor S. Trivedi
    Security modeling and quantification of intrusion tolerant systems using attack-response graph. [Citation Graph (0, 0)][DBLP]
    J. High Speed Networks, 2004, v:13, n:4, pp:297-308 [Journal]
  152. D. Logothesis, Kishor S. Trivedi
    The Effect of Detection and Restoration Times on Error Recovery in Communication Networks. [Citation Graph (0, 0)][DBLP]
    J. Network Syst. Manage., 1997, v:5, n:2, pp:- [Journal]
  153. Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
    Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1992, v:15, n:3, pp:255-269 [Journal]
  154. Oliver C. Ibe, Kishor S. Trivedi
    Stochastic Petri Net Models of Polling Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Journal on Selected Areas in Communications, 1990, v:8, n:9, pp:1649-1657 [Journal]
  155. Vidyadhar G. Kulkarni, Victor F. Nicola, Kishor S. Trivedi
    On modelling the performance and reliability of multimode computer systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1986, v:6, n:1-2, pp:175-182 [Journal]
  156. Vibhu Saujanya Sharma, Kishor S. Trivedi
    Quantifying software performance, reliability and security: An architecture-based approach. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:4, pp:493-509 [Journal]
  157. Maria Calzarossa, Raymond A. Marie, Kishor S. Trivedi
    System Performance with User Behavior Graphs. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1990, v:11, n:3, pp:155-164 [Journal]
  158. Yonghuan Cao, Hairong Sun, Kishor S. Trivedi
    The effect of access delay in capacity-on-demand access over a wireless link under bursty packet-switched data. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2004, v:57, n:1, pp:69-87 [Journal]
  159. Dongyan Chen, Yiguang Hong, Kishor S. Trivedi
    Second-order stochastic fluid models with fluid-dependent flow rates. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2002, v:49, n:1/4, pp:341-358 [Journal]
  160. Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi
    Markov Regenerative Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1994, v:20, n:1-3, pp:337-357 [Journal]
  161. Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
    On the Solution of GSPN Reward Models. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1991, v:12, n:4, pp:237-253 [Journal]
  162. Gianfranco Ciardo, Kishor S. Trivedi
    A Decomposition Approach for Stochastic Reward Net Models. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1993, v:18, n:1, pp:37-59 [Journal]
  163. Ricardo M. Fricks, Antonio Puliafito, Kishor S. Trivedi
    Performance Analysis of Distributed Real-Time Databased. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1999, v:35, n:3-4, pp:145-169 [Journal]
  164. Philip Heidelberger, Jogesh K. Muppala, Kishor S. Trivedi
    Accelerating Mean Time to Failure Computations. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1996, v:27, n:4, pp:627-645 [Journal]
  165. Swapna S. Gokhale, W. Eric Wong, Joseph Robert Horgan, Kishor S. Trivedi
    An analytical approach to architecture-based software performance and reliability prediction. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2004, v:58, n:4, pp:391-412 [Journal]
  166. Katerina Goseva-Popstojanova, Kishor S. Trivedi
    Architecture-based approach to reliability assessment of software systems. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2001, v:45, n:2-3, pp:179-204 [Journal]
  167. Raymond A. Marie, Andrew L. Reibman, Kishor S. Trivedi
    Transient Analysis of Acyclic Markov Chains. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1987, v:7, n:3, pp:175-194 [Journal]
  168. Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi
    A method for modeling and quantifying the security attributes of intrusion tolerant systems. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2004, v:56, n:1-4, pp:167-186 [Journal]
  169. Manish Malhotra, Kishor S. Trivedi
    Data Integrity Analysis of Disk Array Systems with Analytic Modeling of Coverage. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1995, v:22, n:1, pp:111-133 [Journal]
  170. András Pfening, Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
    Optimal Software Rejuvenation for Tolerating Soft Failures. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1996, v:27, n:4, pp:491-506 [Journal]
  171. Antonio Puliafito, Marco Scarpa, Kishor S. Trivedi
    Petri Nets with k Simultaneously Enabled Generally Distributed Timed Transitions. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1998, v:32, n:1, pp:1-34 [Journal]
  172. Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi
    SREPT: software reliability estimation and prediction tool. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2000, v:39, n:1-4, pp:37-60 [Journal]
  173. Kishor S. Trivedi, Jogesh K. Muppala, Steven P. Woolet, Boudewijn R. Haverkort
    Composite Performance and Dependability Analysis. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1992, v:14, n:3-4, pp:197-215 [Journal]
  174. Dazhi Wang, Wei Xie, Kishor S. Trivedi
    Performability analysis of clustered systems with rejuvenation under varying workload. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2007, v:64, n:3, pp:247-265 [Journal]
  175. Kishor S. Trivedi, Srinivasan Ramani, Ricardo M. Fricks
    Recent advances in modeling response-time distributions in real-time systems. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:7, pp:1023-1037 [Journal]
  176. Oliver C. Ibe, Kishor S. Trivedi
    Two Queues with Alternating Service and Server Breakdown. [Citation Graph (0, 0)][DBLP]
    Queueing Syst., 1990, v:7, n:3, pp:253-268 [Journal]
  177. Oliver C. Ibe, Kishor S. Trivedi
    Stochastic Petri Net Analysis of Finite-Population Vacation Queueing Systems. [Citation Graph (0, 0)][DBLP]
    Queueing Syst., 1991, v:8, n:2, pp:111-127 [Journal]
  178. Ricardo M. Fricks, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
    Applications of non-Markovian stochastic Petri nets. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 1998, v:26, n:2, pp:15-27 [Journal]
  179. Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi
    Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain. [Citation Graph (0, 0)][DBLP]
    Software Quality Journal, 2004, v:12, n:3, pp:211-230 [Journal]
  180. James T. Blake, Kishor S. Trivedi
    Multistage Interconnection Network Reliability. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1989, v:38, n:11, pp:1600-1604 [Journal]
  181. Andrea Bobbio, Kishor S. Trivedi
    An Aggregation Technique for the Transient Analysis of Stiff Markov Chains. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1986, v:35, n:9, pp:803-814 [Journal]
  182. Andrea Bobbio, Kishor S. Trivedi
    Computing Cumulative Measures of Stiff Markov Chains Using Aggregation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1990, v:39, n:10, pp:1291-1298 [Journal]
  183. Phillip F. Chimento Jr., Kishor S. Trivedi
    The Completion Time of Programs on Processors Subject to Failure and Repair. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1993, v:42, n:10, pp:1184-1194 [Journal]
  184. Gianfranco Ciardo, Raymond A. Marie, Bruno Sericola, Kishor S. Trivedi
    Performability Analysis Using Semi-Markov Reard Processes. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1990, v:39, n:10, pp:1251-1264 [Journal]
  185. Joanne Bechta Dugan, Kishor S. Trivedi
    Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1989, v:38, n:6, pp:775-787 [Journal]
  186. Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi
    Analysis of Preventive Maintenance in Transactions Based Software Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1998, v:47, n:1, pp:96-107 [Journal]
  187. Robert Geist, Kishor S. Trivedi
    Optimal Design of Multilevel Storage Hierarchies. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1982, v:31, n:3, pp:249-260 [Journal]
  188. Robert Geist, Kishor S. Trivedi
    Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1983, v:32, n:12, pp:1118-1127 [Journal]
  189. Mei-Chen Hsueh, Ravishankar K. Iyer, Kishor S. Trivedi
    Performability Modeling Based on Real Data: A Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1988, v:37, n:4, pp:478-484 [Journal]
  190. John McGough, Mark Smotherman, Kishor S. Trivedi
    The Conservativeness of Reliability Estimates Based on Instantaneous Coverage. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1985, v:34, n:7, pp:602-609 [Journal]
  191. R. M. Smith, Kishor S. Trivedi, A. V. Ramesh
    Performability Analysis: Measures, an Algorithm, and a Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1988, v:37, n:4, pp:406-417 [Journal]
  192. Mark Smotherman, Robert Geist, Kishor S. Trivedi
    Provably Conservative Approximations to Complex Reliability Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1986, v:35, n:4, pp:333-338 [Journal]
  193. Kishor S. Trivedi
    On the Use of Continued Fractions for Digital Computer Arithmetic. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1977, v:26, n:7, pp:700-704 [Journal]
  194. Kishor S. Trivedi, Milos D. Ercegovac
    On-Line Algorithms for Division and Multiplication. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1977, v:26, n:7, pp:681-687 [Journal]
  195. Malathi Veeraraghavan, Kishor S. Trivedi
    A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1994, v:43, n:2, pp:229-234 [Journal]
  196. Xinyu Zang, Dazhi Wang, Hairong Sun, Kishor S. Trivedi
    A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2003, v:52, n:12, pp:1608-1618 [Journal]
  197. Yuan-Shun Dai, Gregory Levitin, Kishor S. Trivedi
    Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2007, v:56, n:7, pp:925-936 [Journal]
  198. Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin
    Guarded Repair of Dependable Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:179-210 [Journal]
  199. David M. Nicol, William H. Sanders, Kishor S. Trivedi
    Model-Based Evaluation: From Dependability to Security. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2004, v:1, n:1, pp:48-65 [Journal]
  200. Kalyanaraman Vaidyanathan, Kishor S. Trivedi
    A Comprehensive Model for Software Rejuvenation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2005, v:2, n:2, pp:124-137 [Journal]
  201. Meera Balakrishnan, Antonio Puliafito, Kishor S. Trivedi, Yannis Viniotis
    Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach. [Citation Graph (0, 0)][DBLP]
    Telecommunication Systems, 1997, v:7, n:1-3, pp:105-123 [Journal]
  202. Dimitris Logothetis, Kishor S. Trivedi
    Reliability analysis of the double counter-rotating ring with concentrator attachments. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 1994, v:2, n:5, pp:520-532 [Journal]
  203. Hairong Sun, Xinyu Zang, Kishor S. Trivedi
    Performance of broadcast and unknown server (BUS) in ATM LAN emulation. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 2001, v:9, n:3, pp:361-372 [Journal]
  204. Oliver C. Ibe, Hoon Choi, Kishor S. Trivedi
    Performance Evaluation of Client-Server Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1993, v:4, n:11, pp:1217-1229 [Journal]
  205. Ravishankar K. Iyer, Kishor S. Trivedi
    Guest Editors' Introduction. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1992, v:3, n:6, pp:641-642 [Journal]
  206. Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi
    Discrete-Event Simulation of Fluid Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:2, pp:207-217 [Journal]
  207. Varsha Mainkar, Kishor S. Trivedi
    Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:9, pp:640-653 [Journal]
  208. Robin A. Sahner, Kishor S. Trivedi
    Performance and Reliability Analysis Using Directed Acyclic Graphs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:10, pp:1105-1114 [Journal]
  209. Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi
    Modeling Correlation in Software Recovery Blocks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:11, pp:1071-1086 [Journal]
  210. Kishor S. Trivedi, Robert A. Wagner
    A Decision Model for Closed Queuing Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:4, pp:328-332 [Journal]
  211. N. Sato, Kishor S. Trivedi
    Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations. [Citation Graph (0, 0)][DBLP]
    IEEE SCC, 2007, pp:114-121 [Conf]
  212. Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, Kishor S. Trivedi
    Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:698-707 [Conf]
  213. Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi
    Specification-Level Integration of Simulation and Dependability Analysis. [Citation Graph (0, 0)][DBLP]
    WADS, 2002, pp:245-266 [Conf]
  214. N. Sato, Kishor S. Trivedi
    Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2007, pp:107-118 [Conf]
  215. Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi
    Incorporating fault debugging activities into software reliability models: a simulation approach. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2006, v:55, n:2, pp:281-292 [Journal]
  216. Swapna S. Gokhale, Kishor S. Trivedi
    Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2006, v:55, n:4, pp:578-590 [Journal]
  217. Michael Grottke, Lei Li, Kalyanaraman Vaidyanathan, Kishor S. Trivedi
    Analysis of Software Aging in a Web Server. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2006, v:55, n:3, pp:411-420 [Journal]
  218. Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi
    A workload-based analysis of software aging, and rejuvenation. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2005, v:54, n:3, pp:541-548 [Journal]
  219. Dazhi Wang, Kishor S. Trivedi
    Computing steady-state mean time to failure for non-coherent repairable systems. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2005, v:54, n:3, pp:506-516 [Journal]
  220. M. Lanus, Liang Yin, Kishor S. Trivedi
    Hierarchical composition and aggregation of state-based availability and performability models. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2003, v:52, n:1, pp:44-52 [Journal]

  221. Analyzing the Hold Time Schemes to Limit the Routing Table Calculations in OSPF Protocol. [Citation Graph (, )][DBLP]


  222. Survivability Quantification - Keynote. [Citation Graph (, )][DBLP]


  223. Survivability quantification of communication services. [Citation Graph (, )][DBLP]


  224. Workshop on proactive failure avoidance, recovery and maintenance (PFARM). [Citation Graph (, )][DBLP]


  225. Online Monitoring of Software System Reliability. [Citation Graph (, )][DBLP]


  226. Availability Monitor for a Software Based System. [Citation Graph (, )][DBLP]


  227. Reliable system design: models, metrics and design techniques. [Citation Graph (, )][DBLP]


  228. Resilience in computer systems and networks. [Citation Graph (, )][DBLP]


  229. Achieving and assuring high availability. [Citation Graph (, )][DBLP]


  230. Achieving and Assuring High Availability. [Citation Graph (, )][DBLP]


  231. Ten Fallacies of Availability and Reliability Analysis. [Citation Graph (, )][DBLP]


  232. Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System. [Citation Graph (, )][DBLP]


  233. Availability Modeling and Analysis of a Virtualized System. [Citation Graph (, )][DBLP]


  234. Availability Modeling of SIP Protocol on IBM(c) WebSphere(c). [Citation Graph (, )][DBLP]


  235. Survivability Modeling with Stochastic Reward Nets. [Citation Graph (, )][DBLP]


  236. Simulation versus analytic-numeric methods: illustrative examples. [Citation Graph (, )][DBLP]


  237. Network survivability modeling. [Citation Graph (, )][DBLP]


  238. Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate. [Citation Graph (, )][DBLP]


Search in 0.750secs, Finished in 0.762secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002