People at CTMS

 » Search People

Publications of Kishor S. Trivedi    :chronological  alphabetical  combined  bibtex listing:

search .

Books

  1. Dohi, T; Trivedi, K; Avritzer, A, Handbook of software aging and rejuvenation: Fundamentals, methods, applications, and future directions (January, 2020), pp. 1-411, ISBN 9789811214578 [doi]  [abs]
  2. Dohi, T; Avritzer, A; Trivedi, K, Preface (January, 2020), pp. v, ISBN 9789811214578
  3. Trivedi, KS; Bobbio, A, Reliability and Availability Engineering Modeling, Analysis, and Applications (August, 2017), Cambridge University Press, ISBN 9781108509008  [abs]
  4. Trivedi, KS, Probability and Statistics with Reliability, Queuing and Computer Science Applications (September, 2016), pp. 1-857, JOHN WILEY & SONS INC, ISBN 9781119285427 [doi]  [abs]
  5. Sahner, RA; Trivedi, K; Puliafito, A, Performance and Reliability Analysis of Computer Systems An Example-Based Approach Using the SHARPE Software Package (December, 2012), pp. 404 pages, Springer Science & Business Media, ISBN 9781461523673  [abs]
  6. Bolch, G; Greiner, S; de Meer, H; Trivedi, KS, Queueing Networks and Markov Chains: Modeling and Performance Evaluation With Computer Science Applications: Second Edition (April, 2006), pp. 1-878, JOHN WILEY & SONS INC, ISBN 9780471565253 [doi]  [abs]
  7. Haverkort, BR; Marie, R; Rubino, G; Trivedi, K, Performability modelling techniques and tools (June, 2001), pp. 320 pages, John Wiley & Sons Inc, ISBN 9780471491958  [abs]
  8. Zobrist, G; Bagchi, K; Trivedi, K, Advanced Computer System Design (January, 1999), pp. 312 pages, CRC Press, ISBN 9789056996345  [abs]
  9. Trivedi, KS, Probability and statistics with reliability, queuing, and computer science applications., vol. R-31 (1982), pp. 484, Prentice Hall, ISBN 978-0-13-711564-8 [doi]

Papers Published

  1. Trivedi, K, Reliability and Availability Assessment, edited by Derango, F; Calafate, CT; Voznak, M; Garro, A; Troppea, M, IEEE Transactions on Reliability, vol. 73 no. 1 (March, 2024), pp. 17-18, IEEE [doi]  [abs]
  2. Trivedi, KS; Grottke, M; Lopez, JA, Rethinking Software Fault Tolerance, IEEE Transactions on Reliability, vol. 73 no. 1 (March, 2024), pp. 67-72 [doi]  [abs]
  3. Bai, J; Li, Y; Chang, X; Machida, F; Trivedi, KS, Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View, IEEE Transactions on Cloud Computing, vol. 11 no. 4 (October, 2023), pp. 3367-3380 [doi]  [abs]
  4. Bai, J; Chang, X; Machida, F; Jiang, L; Han, Z; Trivedi, KS, Impact of Service Function Aging on the Dependability for MEC Service Function Chain, IEEE Transactions on Dependable and Secure Computing, vol. 20 no. 4 (July, 2023), pp. 2811-2824 [doi]  [abs]
  5. Bai, J; Chang, X; MacHida, F; Trivedi, KS; Li, Y, Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT, IEEE Transactions on Services Computing, vol. 16 no. 4 (July, 2023), pp. 2769-2785 [doi]  [abs]
  6. Zheng, Z; Strigini, L; Antunes, N; Trivedi, K, Editorial: Software Reliability and Dependability Engineering, IEEE Transactions on Dependable and Secure Computing, vol. 20 no. 4 (July, 2023), pp. 2674-2676 [doi]  [abs]
  7. Grottke, M; Avritzer, A; Washizaki, H; Trivedi, K, Guest Editorial Special Section on Applied Software Aging and Rejuvenation, IEEE Transactions on Emerging Topics in Computing, vol. 11 no. 3 (July, 2023), pp. 550-552 [doi]
  8. Bai, J; Chang, X; Rodriguez, RJ; Trivedi, KS; Li, S, Towards UAV-Based MEC Service Chain Resilience Evaluation: A Quantitative Modeling Approach, IEEE Transactions on Vehicular Technology, vol. 72 no. 4 (April, 2023), pp. 5181-5194 [doi]  [abs]
  9. Du, X; Zheng, Z; Xiao, G; Zhou, Z; Trivedi, KS, DeepSIM: Deep Semantic Information-Based Automatic Mandelbug Classification, IEEE Transactions on Reliability, vol. 71 no. 4 (December, 2022), pp. 1540-1554 [doi]  [abs]
  10. Bai, J; Chang, X; Machida, F; Han, Z; Xu, Y; Trivedi, KS, Quantitative understanding serial-parallel hybrid sfc services: a dependability perspective, Peer-to-Peer Networking and Applications, vol. 15 no. 4 (July, 2022), pp. 1923-1938 [doi]  [abs]
  11. Grottke, M; Trivedi, KS, Aging, Fast and Slow, Computer, vol. 55 no. 5 (May, 2022), pp. 73-75 [doi]  [abs]
  12. Chang, X; Shi, Y; Zhang, Z; Xu, Z; Trivedi, KS, Job Completion Time Under Migration-Based Dynamic Platform Technique, IEEE Transactions on Services Computing, vol. 15 no. 3 (January, 2022), pp. 1345-1357 [doi]  [abs]
  13. Bai, J; Chang, X; Ning, G; Zhang, Z; Trivedi, KS, Service Availability Analysis in a Virtualized System: A Markov Regenerative Model Approach, IEEE Transactions on Cloud Computing, vol. 10 no. 3 (January, 2022), pp. 2118-2130 [doi]  [abs]
  14. Qiu, K; Zheng, Z; Trivedi, KS; Mura, I, Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods, IEEE Transactions on Reliability, vol. 70 no. 3 (September, 2021), pp. 1126-1142 [doi]  [abs]
  15. Ma, X; Trivedi, KS, SINR-Based Analysis of IEEE 802.11p/bd Broadcast VANETs for Safety Services, IEEE Transactions on Network and Service Management, vol. 18 no. 3 (September, 2021), pp. 2672-2686 [doi]  [abs]
  16. Cai, KY; Trivedi, KS; Yin, B, S-ADA: Software as an Autonomous, Dependable and Affordable System, Proceedings - 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2021 (June, 2021), pp. 17-18, ISBN 9781665435666 [doi]  [abs]
  17. Zheng, J; Okamura, H; Dohi, T; Trivedi, KS, Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals, IEEE Transactions on Reliability, vol. 70 no. 2 (June, 2021), pp. 547-562 [doi]  [abs]
  18. Bai, J; Chang, X; Trivedi, KS; Han, Z, Resilience-Driven Quantitative Analysis of Vehicle Platooning Service, IEEE Transactions on Vehicular Technology, vol. 70 no. 6 (June, 2021), pp. 5378-5389 [doi]  [abs]
  19. Vizarreta, P; Sieber, C; Blenk, A; Van Bemten, A; Ramachandra, V; Kellerer, W; Mas-Machuca, C; Trivedi, K, ARES: A Framework for Management of Aging and Rejuvenation in Softwarized Networks, IEEE Transactions on Network and Service Management, vol. 18 no. 2 (June, 2021), pp. 1389-1400 [doi]  [abs]
  20. Entezari-Maleki, R; Gharib, M; Rezaei, S; Trivedi, KS; Movaghar, A, Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs, IEEE Transactions on Network Science and Engineering, vol. 8 no. 1 (January, 2021), pp. 662-679 [doi]  [abs]
  21. Liu, B; Bobbio, A; Bai, J; Martinez, J; Chang, X; Trivedi, KS, Transient Security and Dependability Analysis of MEC Micro Datacenter under Attack, Proceedings - Annual Reliability and Maintainability Symposium, vol. 2021-May (January, 2021), ISBN 9781728180175 [doi]  [abs]
  22. Dos Santos, CAR; Matias, R; Trivedi, KS, A Multisite Characterization Study on Failure Causes in System and Applications Software, Brazilian Symposium on Computing System Engineering, SBESC, vol. 2021-November (January, 2021), ISBN 9781665443111 [doi]  [abs]
  23. Dos Santos, CAR; Matias, R; Trivedi, KS, A Statistical Approach to Predict Operating System Failures Based on Multiple Failures Association, Brazilian Symposium on Computing System Engineering, SBESC, vol. 2020-November (November, 2020), ISBN 9781728182865 [doi]  [abs]
  24. Avritzer, A; Cotroneo, D; Huang, Y; Trivedi, K, Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract, Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 (October, 2020), pp. 319-320, ISBN 9781728198705 [doi]  [abs]
  25. Vizarreta, P; Trivedi, K; Mendiratta, V; Kellerer, W; Mas-Machuca, C, DASON: Dependability Assessment Framework for Imperfect Distributed SDN Implementations, IEEE Transactions on Network and Service Management, vol. 17 no. 2 (June, 2020), pp. 652-667 [doi]  [abs]
  26. Qiu, K; Zheng, Z; Trivedi, KS; Yin, B, Stress Testing with Influencing Factors to Accelerate Data Race Software Failures, IEEE Transactions on Reliability, vol. 69 no. 1 (March, 2020), pp. 3-21 [doi]  [abs]
  27. Zheng, Z; Trivedi, KS, Guest editorial: special issue on modeling and mitigation techniques for software aging, Software Quality Journal, vol. 28 no. 1 (March, 2020), pp. 3-5 [doi]
  28. Zheng, Z; Trivedi, KS; Wang, N; Qiu, K, Markov Regenerative Models of WebServers for Their User-Perceived Availability and Bottlenecks, IEEE Transactions on Dependable and Secure Computing, vol. 17 no. 1 (January, 2020), pp. 92-105, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  29. Antonelli, F; Cortellessa, V; Gribaudo, M; Pinciroli, R; Trivedi, KS; Trubiani, C, Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems, Future Generation Computer Systems, vol. 102 (January, 2020), pp. 746-761 [doi]  [abs]
  30. Bai, J; Chang, X; Machida, F; Trivedi, KS; Han, Z, Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views, IEEE Access, vol. 8 (January, 2020), pp. 6448-6459 [doi]  [abs]
  31. Xiao, G; Zheng, Z; Yin, B; Trivedi, KS; Du, X; Cai, KY, An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective, IEEE Transactions on Reliability, vol. 68 no. 4 (December, 2019), pp. 1356-1383 [doi]  [abs]
  32. Dos Santos, CAR; Matias, R; Trivedi, KS, An Empirical Exploratory Analysis of Failure Sequences in a Commodity Operating System, Brazilian Symposium on Computing System Engineering, SBESC, vol. 2019-November (November, 2019), ISBN 9781728163185 [doi]  [abs]
  33. Ataie, E; Entezari-Maleki, R; Rashidi, L; Trivedi, KS; Ardagna, D; Movaghar, A, Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds, IEEE Transactions on Cloud Computing, vol. 7 no. 4 (October, 2019), pp. 1039-1056, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  34. Wan, X; Zheng, Z; Qin, F; Qiao, Y; Trivedi, KS, Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction, Proceedings - International Symposium on Software Reliability Engineering, ISSRE, vol. 2019-October (October, 2019), pp. 163-172, ISBN 9781728149813 [doi]  [abs]
  35. Menasche, D; Trivedi, K; Altman, E, Rejuvenation and the age of information, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 (October, 2019), pp. 225-231, ISBN 9781728151380 [doi]  [abs]
  36. Qin, F; Zheng, Z; Qiao, SY; Trivedi, KS, Studying Aging-Related Bug Prediction Using Cross-Project Models, IEEE Transactions on Reliability, vol. 68 no. 3 (September, 2019), pp. 1134-1153 [doi]  [abs]
  37. Qiao, Y; Zheng, Z; Fang, Y; Qin, F; Trivedi, KS; Cai, KY, Two-level rejuvenation for android smartphones and its optimization, IEEE Transactions on Reliability, vol. 68 no. 2 (June, 2019), pp. 633-652 [doi]  [abs]
  38. Rashidi, L; Entezari-Maleki, R; Chatzopoulos, D; Hui, P; Trivedi, KS; Movaghar, A, Performance evaluation of epidemic content retrieval in DTNs with restricted mobility, IEEE Transactions on Network and Service Management, vol. 16 no. 2 (June, 2019), pp. 701-714 [doi]  [abs]
  39. Avritzer, A; Trivedi, K, 2nd Workshop on Education and Practice ofPerformance Engineering: WEPPE'19 Chairs' Welcome, ICPE 2019 - Companion of the 2019 ACM/SPEC International Conference on Performance Engineering (April, 2019), pp. 57, ISBN 9781450362863 [doi]
  40. Trivedi, K, Software Aging and Software Rejuvenation, Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering (April, 2019), ACM, ISBN 9781450362399 [doi]
  41. Trivedi, K, Performance Engineering Education, Companion of the 2019 ACM/SPEC International Conference on Performance Engineering (March, 2019), ACM, ISBN 9781450362863 [doi]
  42. Shi, Y; Chang, X; Rodríguez, RJ; Zhang, Z; Trivedi, KS, Quantitative security analysis of a dynamic network system under lateral movement-based attacks, Reliability Engineering and System Safety, vol. 183 (March, 2019), pp. 213-225 [doi]  [abs]
  43. Dohi, T; Zheng, J; Okamura, H; Trivedi, KS, Optimal periodic software rejuvenation policies based on interval reliability criteria, Reliability Engineering and System Safety, vol. 180 (December, 2018), pp. 463-475 [doi]  [abs]
  44. Sukhwani, H; Wang, N; Trivedi, KS; Rindos, A, Performance modeling of hyperledger fabric (permissioned blockchain network), NCA 2018 - 2018 IEEE 17th International Symposium on Network Computing and Applications (November, 2018), ISBN 9781538676592 [doi]  [abs]
  45. Chang, X; Lv, S; Rodriguez, RJ; Trivedi, K, Survivability model for security and dependability analysis of a vulnerable critical system, Proceedings - International Conference on Computer Communications and Networks, ICCCN, vol. 2018-July (October, 2018), ISBN 9781538651568 [doi]  [abs]
  46. Sebastio, S; Trivedi, KS; Alonso, J, Characterizing machines lifecycle in Google data centers, Performance Evaluation, vol. 126 (October, 2018), pp. 39-63 [doi]  [abs]
  47. Entezari-Maleki, R; Trivedi, KS; Sousa, L; Movaghar, A, Performability-based workflow scheduling in grids, Computer Journal, vol. 61 no. 10 (October, 2018), pp. 1479-1495 [doi]  [abs]
  48. Chang, X; Xia, R; Muppala, JK; Trivedi, KS; Liu, J, Effective modeling approach for iaas data center performance analysis under heterogeneous workload, IEEE Transactions on Cloud Computing, vol. 6 no. 4 (October, 2018), pp. 991-1003 [doi]  [abs]
  49. Vizarreta, P; Trivedi, K; Helvik, B; Heegaard, P; Blenk, A; Kellerer, W; Mas Machuca, C, Assessing the Maturity of SDN Controllers with Software Reliability Growth Models, IEEE Transactions on Network and Service Management, vol. 15 no. 3 (September, 2018), pp. 1090-1104, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  50. Okamura, H; Dohi, T; Trivedi, K, Keynote Paper: Parametric Uncertainty Propagation through Dependability Models, Proceedings - 8th Latin-American Symposium on Dependable Computing, LADC 2018 (July, 2018), pp. 10-18, ISBN 9781538684894 [doi]  [abs]
  51. Fricks, RB; Tseng, H; Veihl, M; Trivedi, KS; Barr, RC, Robust Prediction Of Treatment Times In Concurrent Patient Care., Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference, vol. 2018 (July, 2018), pp. 5370-5373 [doi]  [abs]
  52. Liu, B; Chang, X; Han, Z; Trivedi, K; Rodríguez, RJ, Model-based sensitivity analysis of IaaS cloud availability, Future Generation Computer Systems, vol. 83 (June, 2018), pp. 1-13, Elsevier BV [doi]  [abs]
  53. Gribaudo, M; Pinciroli, R; Trivedi, K, Epistemic Uncertainty Propagation in Power Models, Electronic Notes in Theoretical Computer Science, vol. 337 (May, 2018), pp. 67-86 [doi]  [abs]
  54. Machida, F; Xia, R; Trivedi, KS, Performability Modeling for RAID Storage Systems by Markov Regenerative Process, IEEE Transactions on Dependable and Secure Computing, vol. 15 no. 1 (January, 2018), pp. 138-150, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  55. Chang, X; Martinez, JM; Trivedi, KS, Transient performance analysis of smart grid with dynamic power distribution, Information Sciences, vol. 422 (January, 2018), pp. 98-109, Elsevier BV [doi]  [abs]
  56. Sukhwani, H; Matias, R; Trivedi, KS; Rindos, A, Monitoring and mitigating software aging on IBM cloud controller system, Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017 (November, 2017), pp. 266-272, IEEE, ISBN 9781538623879 [doi]  [abs]
  57. Qiu, K; Zheng, Z; Trivedi, KS; Yin, B, Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure, Proceedings - International Symposium on Software Reliability Engineering, ISSRE, vol. 2017-October (November, 2017), pp. 56-66, IEEE, ISBN 9781538609415 [doi]  [abs]
  58. Xiao, G; Zheng, Z; Yin, B; Trivedi, KS; Du, X; Cai, K, Experience Report: Fault Triggers in Linux Operating System: From Evolution Perspective, Proceedings - International Symposium on Software Reliability Engineering, ISSRE, vol. 2017-October (November, 2017), pp. 101-111, IEEE, ISBN 9781538609415 [doi]  [abs]
  59. Sukhwani, H; Martínez, JM; Chang, X; Trivedi, KS; Rindos, A, Performance modeling of PBFT consensus process for permissioned blockchain network (hyperledger fabric), Proceedings of the IEEE Symposium on Reliable Distributed Systems, vol. 2017-September (October, 2017), pp. 253-255, IEEE, ISBN 9781538616796 [doi]  [abs]
  60. Pinciroli, R; Bobbio, A; Bolchini, C; Cerotti, D; Gribaudo, M; Miele, A; Trivedi, K, Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip, 2017 2nd International Conference on System Reliability and Safety, ICSRS 2017, vol. 2018-January (July, 2017), pp. 516-520, IEEE, ISBN 9781538633229 [doi]  [abs]
  61. Vizarreta, P; Trivedi, K; Helvik, B; Heegaard, P; Kellerer, W; MacHuca, CM, An empirical study of software reliability in SDN controllers, 2017 13th International Conference on Network and Service Management, CNSM 2017, vol. 2018-January (July, 2017), pp. 1-9, IEEE, ISBN 9783901882982 [doi]  [abs]
  62. Qin, F; Zheng, Z; Li, X; Qiao, Y; Trivedi, KS, An empirical investigation of fault triggers in android operating system, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC (May, 2017), pp. 135-144, IEEE, ISBN 9781509056514 [doi]  [abs]
  63. Li, X; Chang, X; Board, JA; Trivedi, KS, A novel approach for software vulnerability classification, Proceedings - Annual Reliability and Maintainability Symposium (March, 2017), IEEE, ISBN 9781509052844 [doi]  [abs]
  64. Fricks, RWB; Tseng, HH; Pajic, M; Trivedi, KS, Transient performance & availability modeling in high volume outpatient clinics, Proceedings - Annual Reliability and Maintainability Symposium (March, 2017), IEEE, ISBN 9781509052844 [doi]  [abs]
  65. Fricks, RB; Trivedi, KS, Automated life cycle processing for complex medical imaging devices, Proceedings - Annual Reliability and Maintainability Symposium (March, 2017), IEEE, ISBN 9781509052844 [doi]  [abs]
  66. Kim, DS; Hong, JB; Nguyen, TA; Machida, F; Park, JS; Trivedi, KS, Availability modeling and analysis of a virtualized system using stochastic reward nets, Proceedings - 2016 16th IEEE International Conference on Computer and Information Technology, CIT 2016, 2016 6th International Symposium on Cloud and Service Computing, IEEE SC2 2016 and 2016 International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2016 (March, 2017), pp. 210-218, IEEE, ISBN 9781509043149 [doi]  [abs]
  67. Ma, X; Kanelopoulos, G; Trivedi, KS, Application-level scheme to enhance VANET event-driven multi-hop safety-related services, 2017 International Conference on Computing, Networking and Communications, ICNC 2017 (March, 2017), pp. 860-864, IEEE, ISBN 9781509045884 [doi]  [abs]
  68. Matos, R; Dantas, J; Araujo, J; Trivedi, KS; Maciel, P, Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis, Journal of Grid Computing, vol. 15 no. 1 (March, 2017), pp. 1-22, Springer Nature [doi]  [abs]
  69. Longo, F; Ghosh, R; Naik, VK; Rindos, AJ; Trivedi, KS, An approach for resiliency quantification of large scale systems, Performance Evaluation Review, vol. 44 no. 4 (March, 2017), pp. 37-48, Association for Computing Machinery (ACM) [doi]  [abs]
  70. Li, W; Ma, X; Wu, J; Trivedi, KS; Huang, XL; Liu, Q, Analytical Model and Performance Evaluation of Long-Term Evolution for Vehicle Safety Services, IEEE Transactions on Vehicular Technology, vol. 66 no. 3 (March, 2017), pp. 1926-1939, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  71. Martinez, JM; Trivedi, KS; Cheng, BN, Efficient computation of the mean time to security failure in cyber physical systems, ValueTools 2016 - 10th EAI International Conference on Performance Evaluation Methodologies and Tools (January, 2017), pp. 109-115, ACM, ISBN 9781631901416 [doi]  [abs]
  72. Pinciroli, R; Trivedi, KS; Bobbio, A, Parametric sensitivity and uncertainty propagation in dependability models, ValueTools 2016 - 10th EAI International Conference on Performance Evaluation Methodologies and Tools (January, 2017), pp. 44-51, ACM, ISBN 9781631901416 [doi]  [abs]
  73. Ghosh, R; Longo, F; Naik, VK; Rindos, AJ; Trivedi, KS, Resiliency quantification for large scale systems: An IaaS cloud use case, ValueTools 2016 - 10th EAI International Conference on Performance Evaluation Methodologies and Tools (January, 2017), pp. 227-234, ACM, ISBN 9781631901416 [doi]  [abs]
  74. Chang, X; Zhang, Z; Li, X; Trivedi, KS, Model-Based Survivability Analysis of a Virtualized System, Proceedings - Conference on Local Computer Networks, LCN (December, 2016), pp. 611-614, IEEE, ISBN 9781509020546 [doi]  [abs]
  75. Ratliff, ZB; Kuhn, DR; Kacker, RN; Lei, Y; Trivedi, KS, The Relationship between Software Bug Type and Number of Factors Involved in Failures, Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering Workshops, ISSREW 2016 (December, 2016), pp. 119-124, IEEE, ISBN 9781509036011 [doi]  [abs]
  76. Matias, R; De Sena, GO; Andrzejak, A; Trivedi, KS, Software Aging Detection Based on Differential Analysis: An Experimental Study, Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering Workshops, ISSREW 2016 (December, 2016), pp. 71-77, IEEE, ISBN 9781509036011 [doi]  [abs]
  77. Ning, G; Zhao, J; Lou, Y; Alonso, J; Matias, R; Trivedi, KS; Yin, BB; Cai, KY, Optimization of two-granularity software rejuvenation policy based on the markov regenerative process, IEEE Transactions on Reliability, vol. 65 no. 4 (December, 2016), pp. 1630-1646, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  78. Koziolek, A; Avritzer, A; Suresh, S; Menasché, DS; Diniz, M; de Souza e Silva, E; Leão, RM; Trivedi, K; Happe, L, Assessing survivability to support power grid investment decisions, Reliability Engineering and System Safety, vol. 155 (November, 2016), pp. 30-43, Elsevier BV [doi]  [abs]
  79. Trivedi, KS; Bobbio, A, DSN 2016 Tutorial: Reliability and Availability Modeling in Practice, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016 (September, 2016), pp. 263, IEEE, ISBN 9781467388917 [doi]
  80. Dharmaraja, S; Vinayak, R; Trivedi, KS, Reliability and survivability of vehicular ad hoc networks: An analytical approach, Reliability Engineering and System Safety, vol. 153 (September, 2016), pp. 28-38, Elsevier BV [doi]  [abs]
  81. Fricks, RB; Bobbio, A; Trivedi, KS, Reliability models of chronic kidney disease, Proceedings - Annual Reliability and Maintainability Symposium, vol. 2016-April (April, 2016), ISBN 9781509002481 [doi]  [abs]
  82. Fricks, RB; Trivedi, KS, Analysis methods for performance & availability in critical care medicine, Proceedings - Annual Reliability and Maintainability Symposium, vol. 2016-April (April, 2016), ISBN 9781509002481 [doi]  [abs]
  83. Grottke, M; Kim, DS; Mansharamani, R; Nambiar, M; Natella, R; Trivedi, KS, Recovery from Software Failures Caused by Mandelbugs, IEEE Transactions on Reliability, vol. 65 no. 1 (March, 2016), pp. 70-87, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [doi]  [abs]
  84. Trivedi, KS; Controneo, D; Pietrantuono, R; Russo, S, How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation, Journal of Systems and Software, vol. 113 no. March 2016 (March, 2016), pp. 27-43, Elsevier, ISSN 0164-1212 [doi]  [abs]
  85. Xia, R; Machida, F; Trivedi, K, A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes, Proceedings - 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing, PRDC 2015 (January, 2016), pp. 169-178, IEEE, ISBN 9781467393768 [doi]  [abs]
  86. Ma, X; Trivedi, KS, Reliability and performance of general two-dimensional broadcast wireless network, Performance Evaluation, vol. 95 (January, 2016), pp. 41-59, Elsevier BV, ISSN 0166-5316 [doi]  [abs]
  87. Rodríguez, RJ; Chang, X; Li, X; Trivedi, KS, Survivability analysis of a computer system under an advanced persistent threat attack, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9987 LNCS (January, 2016), pp. 134-149, Springer International Publishing, ISBN 9783319462622 [doi]  [abs]
  88. Trivedi, KS, Survivability quantification for networks, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9951 LNCS (January, 2016), pp. XI-XII, ISBN 9783319464329  [abs]
  89. Sukhwani, H; Alonso, J; Trivedi, KS; Mcginnis, I, Software Reliability Analysis of NASA Space Flight Software: A Practical Experience., IEEE International Conference on Software Quality, Reliability and Security : proceedings. IEEE International Conference on Software Quality, Reliability and Security, vol. 3 (January, 2016), pp. 386-397, ISBN 9781509041275 [doi]  [abs]
  90. Ma, X; Butron, G; Trivedi, K, Modeling of VANET for BSM safety messaging at intersections with non-homogeneous node distribution, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9669 (January, 2016), pp. 149-162, Springer International Publishing, ISBN 9783319389202 [doi]  [abs]
  91. Trivedi, KS, SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment (December, 2015)
  92. Trivedi, KS, Largeness Avoidance in Availability Modeling using Hierarchical and Fixed-point Iterative Techniques, International Journal of Performability Engineering, vol. 11 no. 4 (December, 2015), pp. 305-319, RAMS Consultants, ISSN 0973-1318 (translated by Sukhwani, H; Bobbio, A.)  [abs]
  93. Trivedi, KS; Xia, R, Quantification of system survivability, Telecommunication Systems, vol. 60 no. 4 (December, 2015), pp. 451-470, Springer Nature, ISSN 1018-4864 [doi]  [abs]
  94. Avritzer, A; Menasche, DS; Trivedi, K; Happe, L; Sarvestani, SS, Workshop on Model Based Design for Cyber-Physical Systems (MB4CP), Proceedings of the International Conference on Dependable Systems and Networks, vol. 2015-September (September, 2015), pp. 565-566, IEEE, ISBN 9781479986293 [doi]  [abs]
  95. Pietrantuono, R; Russo, S; Trivedi, K, Emulating environment-dependent software faults, Proceedings - 1st International Workshop on Complex Faults and Failures in Large Software Systems, COUFLESS 2015 (August, 2015), pp. 34-40, IEEE, ISBN 9781479919345 [doi]  [abs]
  96. Heegaard, PE; Helvik, BE; Trivedi, KS; Machida, F, Survivability as a generalization of recovery, 2015 11th International Conference on the Design of Reliable Communication Networks, DRCN 2015 (July, 2015), pp. 133-140, IEEE, ISBN 9781479977956 [doi]  [abs]
  97. Trivedi, KS; Chung, CJ; Xing, T; Huang, D; Medhi, D, SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment (June, 2015), pp. 4-11, IEEE, ISBN 9781467380447 [doi]  [abs]
  98. Rak, J; Pickavet, M; Trivedi, KS; Lopez, JA; Koster, AMCA; Sterbenz, JPG; Çetinkaya, EK; Gomes, T; Gunkel, M; Walkowiak, K; Staessens, D, Future research directions in design of reliable communication systems, Telecommunication Systems, vol. 60 no. 4 (March, 2015), pp. 423-450, Springer Nature, ISSN 1018-4864 [doi]  [abs]
  99. Entezari-Maleki, R; Trivedi, KS; Movaghar, A, Performability evaluation of grid environments using stochastic reward nets, IEEE Transactions on Dependable and Secure Computing, vol. 12 no. 2 (March, 2015), pp. 204-216, Institute of Electrical and Electronics Engineers (IEEE), ISSN 1545-5971 [doi]  [abs]
  100. Bruneo, D; Longo, F; Scarpa, M; Puliafito, A; Ghosh, R; Trivedi, KS, An SRN-based resiliency quantification approach, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9115 (January, 2015), pp. 98-116, Springer International Publishing, ISSN 0302-9743, ISBN 9783319194875 [doi]  [abs]
  101. Mondal, SK; Yin, X; Muppala, JK; Alonso Lopez, J; Trivedi, KS, Defects per million computation in service-oriented environments, IEEE Transactions on Services Computing, vol. 8 no. 1 (January, 2015), pp. 32-46, Institute of Electrical and Electronics Engineers (IEEE), ISSN 1939-1374 [doi]  [abs]
  102. Zheng, Z; Trivedi, KS; Qiu, K; Xia, R, Semi-Markov models of composite web services for their performance, reliability and bottlenecks, IEEE Transactions on Services Computing, vol. PP no. 99 (January, 2015), pp. 448-460, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  103. Trivedi, KS; Bruneo, D; Longo, F; Ghosh, R; Scarpa, M; Puliafito, A, Analytical Modeling of Reactive Autonomic Management Techniques in IaaS Clouds (2015), pp. 797-804, IEEE, ISBN 9781467372879 [doi]  [abs]
  104. Singhal, R; Nambiar, M; Sukhwani, H; Trivedi, K, Performability comparison of lustre and HDFS for MR applications, Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 (December, 2014), pp. 51, IEEE [doi]  [abs]
  105. Zhao, J; Wang, YB; Ning, GR; Wang, CH; Trivedi, KS; Cai, KY; Zhang, ZY, Software maintenance optimization based on stackelberg game methods, Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 (December, 2014), pp. 426-430, IEEE, ISBN 9781479973774 [doi]  [abs]
  106. Cavezza, DG; Pietrantuono, R; Russo, S; Alonso, J; Trivedi, KS, Reproducibility of environment-dependent software failures: An experience report, Proceedings - International Symposium on Software Reliability Engineering, ISSRE (December, 2014), pp. 267-276, IEEE, ISSN 1071-9458, ISBN 9781479960323 [doi]  [abs]
  107. Mondal, SK; Muppala, JK; Machida, F; Trivedi, KS, Computing defects per million in cloud caused by virtual machine failures with replication, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC (December, 2014), pp. 161-168, IEEE, ISSN 1541-0110, ISBN 9781479964741 [doi]  [abs]
  108. Yin, X; Ma, X; Trivedi, KS; Vinel, A, Performance and reliability evaluation of BSM broadcasting in DSRC with multi-channel schemes, IEEE Transactions on Computers, vol. 63 no. 12 (December, 2014), pp. 3101-3113, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9340 [doi]  [abs]
  109. Sebastio, S; Trivedi, KS; Wang, D; Yin, X, Fast computation of bounds for two-terminal network reliability, European Journal of Operational Research, vol. 238 no. 3 (November, 2014), pp. 810-823, ISSN 0377-2217 [doi]  [abs]
  110. Xia, R; Machida, F; Trivedi, K, A markov decision process approach for optimal data backup scheduling, Proceedings of the International Conference on Dependable Systems and Networks (September, 2014), pp. 660-665, IEEE [doi]  [abs]
  111. Hong, S; Yang, H; Li, G; Huang, N; Ma, X; Trivedi, KS, Analysis of propagation dynamics in complex dynamical network based on disturbance propagation model, International Journal of Modern Physics B, vol. 28 no. 22 (September, 2014), ISSN 0217-9792 [doi]  [abs]
  112. Koziolek, A; Trivedi, K; Pindoriya, N, Message from the chairs, 3rd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2014 - Proceedings (June, 2014), pp. iii, ISBN 9781450328425
  113. Mondal, SK; Muppala, JK; Trivedi, KS, Defects per Million (DPM): A user-oriented perspective of telecommunication systems, 2014 IEEE Globecom Workshops, GC Wkshps 2014 (March, 2014), pp. 711-716, IEEE, ISBN 9781479974702 [doi]  [abs]
  114. Matias, R; Andrzejak, A; Machida, F; Elias, D; Trivedi, K, A systematic differential analysis for fast and robust detection of software aging, Proceedings of the IEEE Symposium on Reliable Distributed Systems, vol. 2014-January (January, 2014), pp. 311-320, IEEE, ISSN 1060-9857 [doi]  [abs]
  115. Ghosh, R; Longo, F; Frattini, F; Russo, S; Kishor, ST, Scalable analytics for IaaS cloud availability, IEEE Transactions on Cloud Computing, vol. 2 no. 1 (January, 2014), pp. 57-70, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  116. Ghosh, R; Longo, F; Xia, R; Naik, VK; Trivedi, KS, Stochastic model driven capacity planning for an infrastructure-as-a-service cloud, IEEE Transactions on Services Computing, vol. 7 no. 4 (January, 2014), pp. 667-680, Institute of Electrical and Electronics Engineers (IEEE), ISSN 1939-1374 [doi]  [abs]
  117. Xia, R; Yin, X; Alonso Lopez, J; Machida, F; Trivedi, KS, Performance and availability modeling of IT systems with data backup and restore, IEEE Transactions on Dependable and Secure Computing, vol. 11 no. 4 (January, 2014), pp. 375-389, Institute of Electrical and Electronics Engineers (IEEE), ISSN 1545-5971 [doi]  [abs]
  118. Koziolek, A; Trivedi, K; Pindoriya, N, Message from the chairs, 3rd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2014 - Proceedings (January, 2014), pp. iii, ISBN 9781450328425
  119. Xia, R; Machida, F; Trivedi, K, A Markov Decision Process Approach for Optimal Data Backup Scheduling, 2014 44TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN) (January, 2014), pp. 660-665, IEEE [doi]
  120. Sebastio, S; Trivedi, KS; Wang, D; Yin, X, Fast computation of bounds for two-terminal network reliability, European Journal of Operational Research, vol. 238 no. 3 (2014), pp. 810-823, Elsevier BV, ISSN 0377-2217 [doi]
  121. Swaminathan, MS, Foreword, Ecosystem Services in Agricultural and Urban Landscapes, vol. 31 no. 4 (January, 2013), pp. R3-R9, ISSN 0023-8791 [Gateway.cgi], [doi]
  122. Alonso, J; Grottke, M; Nikora, AP; Trivedi, KS, The nature of the times to flight software failure during space missions, Proceedings - International Symposium on Software Reliability Engineering, ISSRE (December, 2012), pp. 331-340, IEEE, ISBN 9780769548883 [mostRecentIssue.jsp], [doi]  [abs]
  123. Mitton, N; Papavassiliou, S; Puliafito, A; Trivedi, KS, Combining cloud and sensors in a smart city environment, Eurasip Journal on Wireless Communications and Networking, vol. 2012 no. 1 (December, 2012), pp. 247-247, Springer Nature [doi]  [abs]
  124. Distefano, S; Puliafito, A; Trivedi, KS, Dynamic aspects and behaviors of complex systems in performance and reliability assessment, ACM SIGMETRICS Performance Evaluation Review, vol. 39 no. 4 (March, 2012), pp. 71-78, Association for Computing Machinery (ACM) [doi]  [abs]
  125. Ma, X; Yin, X; Trivedi, K, A robust broadcast scheme for VANET one-hop emergency services, IEEE Vehicular Technology Conference (December, 2011), IEEE, ISSN 1550-2252 [doi]  [abs]
  126. Machida, F; Andrade, E; Kim, DS; Trivedi, KS, Candy: Component-based availability modeling framework for cloud service management using SysML, Proceedings of the IEEE Symposium on Reliable Distributed Systems (December, 2011), pp. 209-218, IEEE, ISSN 1060-9857 [doi]  [abs]
  127. Matos, RDS; Guimarães, AP; Camboim, KMA; Maciel, PRM; Trivedi, KS, Sensitivity analysis of availability of redundancy in computer networks, CTRQ 2011 - 4th International Conference on Communication Theory, Reliability, and Quality of Service (December, 2011), pp. 115-121  [abs]
  128. Yin, X; Ma, X; Trivedi, KS, Performance evaluation for DSRC vehicular safety communication: A semi-Markov process approach, CTRQ 2011 - 4th International Conference on Communication Theory, Reliability, and Quality of Service (December, 2011), pp. 9-14  [abs]
  129. Machida, F; Nicola, VF; Trivedi, KS, Job completion time on a virtualized server subject to software aging and rejuvenation, Proceedings - 2011 3rd International Workshop on Software Aging and Rejuvenation, WoSAR 2011 (December, 2011), pp. 44-49 [doi]  [abs]
  130. Mishra, K; Trivedi, KS, Uncertainty propagation through software dependability models, Proceedings - International Symposium on Software Reliability Engineering, ISSRE (December, 2011), pp. 80-89, IEEE, ISSN 1071-9458 [repository], [doi]  [abs]
  131. Ning, G; Trivedi, KS; Hu, H; Cai, KY, Multi-granularity software rejuvenation policy based on continuous time markov chain, Proceedings - 2011 3rd International Workshop on Software Aging and Rejuvenation, WoSAR 2011 (December, 2011), pp. 32-37, IEEE [doi]  [abs]
  132. Alonso, J; Matias, R; Vicente, E; Carvalho, AM; Trivedi, K, A comparative evaluation of software rejuvenation strategies, Proceedings - 2011 3rd International Workshop on Software Aging and Rejuvenation, WoSAR 2011 (December, 2011), pp. 26-31, IEEE [doi]  [abs]
  133. Zhao, J; Jin, Y; Trivedi, KS; Matias, R, Injecting memory leaks to accelerate software failures, Proceedings - International Symposium on Software Reliability Engineering, ISSRE (December, 2011), pp. 260-269, IEEE, ISSN 1071-9458 [doi]  [abs]
  134. Araujo, J; Matos, R; Maciel, P; Vieira, F; Matias, R; Trivedi, KS, Software rejuvenation in eucalyptus cloud computing infrastructure: A method based on time series forecasting and multiple thresholds, Proceedings - 2011 3rd International Workshop on Software Aging and Rejuvenation, WoSAR 2011 (December, 2011), pp. 38-43, IEEE [doi]  [abs]
  135. Trivedi, KS; Mansharamani, R; Kim, DS; Grottke, M; Nambiar, M, Recovery from failures due to Mandelbugs in IT systems, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC (December, 2011), pp. 224-233, IEEE, ISSN 1541-0110 [doi]  [abs]
  136. Zhao, J; Trivedi, KS, Performance modeling of apache web server affected by aging, Proceedings - 2011 3rd International Workshop on Software Aging and Rejuvenation, WoSAR 2011 (December, 2011), pp. 56-61, IEEE [doi]  [abs]
  137. Andrade, EC; MacHida, F; Kim, DS; Trivedi, KS, Modeling and analyzing server system with rejuvenation through SysML and stochastic reward nets, Proceedings of the 2011 6th International Conference on Availability, Reliability and Security, ARES 2011 (November, 2011), pp. 161-168, IEEE [doi]  [abs]
  138. Bode, A; Bouissou, M; Distefano, S; Puliafito, A; Trivedi, K; Walter, M, Message from the DYADEM-FTS 2011 workshop organizers, Proceedings of the 2011 6th International Conference on Availability, Reliability and Security, ARES 2011 (November, 2011), pp. xix, IEEE [doi]
  139. Okamura, H; Dohi, T; Trivedi, KS, A refined em algorithm for PH distributions, Performance Evaluation, vol. 68 no. 10 (October, 2011), pp. 938-954, Elsevier BV, ISSN 0166-5316 [doi]  [abs]
  140. Qian, H; Medhi, D; Trivedi, K, A hierarchical model to evaluate quality of experience of online services hosted by cloud computing, Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, IM 2011 (September, 2011), pp. 105-112, IEEE [doi]  [abs]
  141. Malek, M; Salfner, F; Trivedi, KS, Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM), Proceedings of the International Conference on Dependable Systems and Networks (September, 2011), pp. 257-258, IEEE [doi]  [abs]
  142. Ghosh, R; Naik, VK; Trivedi, KS, Power-performance trade-offs in IaaS cloud: A scalable analytic approach, Proceedings of the International Conference on Dependable Systems and Networks (September, 2011), pp. 152-157, IEEE [doi]  [abs]
  143. Longo, F; Ghosh, R; Naik, VK; Trivedi, KS, A scalable availability model for Infrastructure-as-a-Service cloud, Proceedings of the International Conference on Dependable Systems and Networks (August, 2011), pp. 335-346, IEEE [doi]  [abs]
  144. Malek, M; Salfner, F; Trivedi, KS, Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM), Proceedings of the International Conference on Dependable Systems and Networks (August, 2011), pp. 595-596, IEEE [doi]  [abs]
  145. Zhao, Y; Yin, X; Kang, R; Trivedi, KS, A review of the research on quantitative reliability prediction and assessment for electronic components, 2011 Prognostics and System Health Management Conference, PHM-Shenzhen 2011 (August, 2011), IEEE [doi]  [abs]
  146. Goyal, M; Rohm, D; Xie, W; Hosseini, SH; Trivedi, KS; Bashir, Y; Divjak, A, A stochastic model for beaconless IEEE 802.15.4 MAC operation, Computer Communications, vol. 34 no. 12 (August, 2011), pp. 1460-1474, Elsevier BV, ISSN 0140-3664 [doi]  [abs]
  147. Trivedi, KS; Ghosh, R; Naik, VK, Performance and availability analysis for infrastructure-as-a-service cloud, Proceedings of International Conference on Software Engineering: Software Quality: The Road Ahead, CONSEG 2011 (January, 2011), pp. 106-111  [abs]
  148. Jindal, V; Dharmaraja, S; Trivedi, KS, Markov Modeling Approach for survivability analysis of cellular networks, International Journal of Performability Engineering, vol. 7 no. 5 (January, 2011), pp. 429-440, ISSN 0973-1318  [abs]
  149. Distefano, S; Puliafito, A; Trivedi, KS, Dynamic aspects and behaviors in system reliability evaluation, International Journal of Performability Engineering, vol. 7 no. 5 (January, 2011), pp. 493-498, ISSN 0973-1318  [abs]
  150. Salvatore, D; Puliafito, A; Trivedi, KS, Guest Editorial: Performance and dependability modeling of dynamic systems, International Journal of Performability Engineering, vol. 7 no. 5 (January, 2011), pp. 402-404, ISSN 0973-1318
  151. Ghosh, R; Longo, F; Naikz, VK; Trivedi, KS, Quantifying resiliency of IaaS cloud, Proceedings of the IEEE Symposium on Reliable Distributed Systems (December, 2010), pp. 343-347, IEEE, ISSN 1060-9857 [doi]  [abs]
  152. Devaraj, A; Mishra, K; Trivedi, KS, Uncertainty propagation in analytic availability models, Proceedings of the IEEE Symposium on Reliable Distributed Systems (December, 2010), pp. 121-130, IEEE, ISSN 1060-9857 [doi]  [abs]
  153. Okamura, H; Dohi, T; Trivedi, KS, On-line adaptive algorithms in autonomic restart control, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6407 LNCS (December, 2010), pp. 32-46, Springer Berlin Heidelberg, ISSN 0302-9743 [doi]  [abs]
  154. Ghosh, R; Trivedi, KS; Naik, VK; Kim, DS, End-to-end performability analysis for Infrastructure-as-a-Service cloud: An interacting stochastic models approach, Proceedings - 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010 (December, 2010), pp. 125-132, IEEE [doi]  [abs]
  155. Kim, DS; Ghosh, R; Trivedi, KS, A hierarchical model for reliability analysis of sensor networks, Proceedings - 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010 (December, 2010), pp. 247-248, IEEE [doi]  [abs]
  156. Matias, R; Trivedi, KS; Maciel, PRM, Using accelerated life tests to estimate time to software aging failure, Proceedings - International Symposium on Software Reliability Engineering, ISSRE (December, 2010), pp. 211-219, IEEE, ISSN 1071-9458 [doi]  [abs]
  157. Trivedi, KS; Wang, D; Hunta, J, Computing the number of calls dropped due to failures, Proceedings - International Symposium on Software Reliability Engineering, ISSRE (December, 2010), pp. 11-20, IEEE, ISSN 1071-9458 [doi]  [abs]
  158. Roy, A; Kim, DS; Trivedi, KS, Cyber security analysis using attack countermeasure trees, ACM International Conference Proceeding Series (November, 2010), ACM Press [doi]  [abs]
  159. Malek, M; Salfner, F; Trivedi, KS, Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM), Proceedings of the International Conference on Dependable Systems and Networks (September, 2010), pp. 616-618, IEEE [doi]  [abs]
  160. Malek, M; Salfner, F; Trivedi, KS, Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM), Proceedings of the International Conference on Dependable Systems and Networks (September, 2010), pp. 35-37, IEEE [doi]  [abs]
  161. Grottke, M; Nikora, AP; Trivedi, KS, An empirical investigation of fault types in space mission system software, Proceedings of the International Conference on Dependable Systems and Networks (September, 2010), pp. 447-456, IEEE [doi]  [abs]
  162. Trivedi, KS; Garg, S, In Memoriam: Dr. Chandra Kintala, Journal of Systems and Software, vol. 83 no. 9 (September, 2010), pp. 1555-1555, Elsevier BV [doi]
  163. Bode, A; Bouissou, M; Distefano, S; Puliafito, A; Trivedi, K; Walter, M, Message from the organizers, ACM International Conference Proceeding Series (July, 2010), pp. vii-ix
  164. Pietrantuono, R; Russo, S; Trivedi, KS, Online monitoring of software system reliability, EDCC-8 - Proceedings of the 8th European Dependable Computing Conference (July, 2010), pp. 209-218, IEEE [doi]  [abs]
  165. Roy, A; Kim, DS; Trivedi, KS, Poster abstract: ACT: Attack countermeasure trees for information assurance analysis, Proceedings - IEEE INFOCOM (June, 2010), IEEE, ISSN 0743-166X [doi]
  166. Pietrantuono, R; Russo, S; Trivedi, KS, Software reliability and testing time allocation: An architecture-based approach, IEEE Transactions on Software Engineering, vol. 36 no. 3 (March, 2010), pp. 323-337, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0098-5589 [doi]  [abs]
  167. Matias, R; Barbetta, PA; Trivedi, KS; Filho, PJF, Accelerated degradation tests applied to software aging experiments, IEEE Transactions on Reliability, vol. 59 no. 1 (January, 2010), pp. 102-114, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [doi]  [abs]
  168. Amari, SV; Xing, L; Shrestha, A; Akers, J; Trivedi, KS, Performability analysis of multistate computing systems using multivalued decision diagrams, IEEE Transactions on Computers, vol. 59 no. 10 (January, 2010), pp. 1419-1433, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9340 [doi]  [abs]
  169. Machida, F; Kim, DS; Trivedi, KS, Modeling and analysis of software rejuvenation in a server virtualized system, Proceedings - International Symposium on Software Reliability Engineering, ISSRE (January, 2010), IEEE, ISSN 1071-9458 [doi]  [abs]
  170. Zhao, J; Trivedi, KS; Wang, YB; Chen, XY, Evaluation of software performance affected by aging, Proceedings - International Symposium on Software Reliability Engineering, ISSRE (January, 2010), IEEE, ISSN 1071-9458 [doi]  [abs]
  171. Trivedi, KS; Grottke, M; Andrade, E, Software fault mitigation and availability assurance techniques, International Journal of System Assurance Engineering and Management, vol. 1 no. 4 (January, 2010), pp. 340-350, Springer Nature, ISSN 0975-6809 [doi]  [abs]
  172. Trivedi, KS; Kim, DS; Roy, A; Medhi, D, Dependability and security models, Proceedings of the 2009 7th International Workshop on the Design of Reliable Communication Networks, DRCN 2009 (December, 2009), pp. 11-20, IEEE [doi]  [abs]
  173. Grottke, M; Matias, R; Trivedi, KS, The fundamentals of software aging, 2008 IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Wksp 2008 (December, 2009), IEEE [doi]  [abs]
  174. Machida, F; Kim, DS; Park, JS; Trivedi, KS, Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center, 2008 IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Wksp 2008 (December, 2009), IEEE [doi]  [abs]
  175. Heegaard, PE; Trivedi, KS, Survivability modeling with stochastic reward nets, Proceedings - Winter Simulation Conference (December, 2009), pp. 807-818, IEEE, ISSN 0891-7736 [doi]  [abs]
  176. Goyal, M; Rohm, D; Hosseini, H; Trivedi, KS; Divjak, A; Bashir, Y, A stochastic model for beaconless IEEE 802.15.4 MAC operation, International Symposium on Performance Evaluation of Computer and Telecommunication Systems 2009, SPECTS 2009, Part of the 2009 Summer Simulation Multiconference, SummerSim 2009 (December, 2009), pp. 199-207  [abs]
  177. Kim, DS; Machida, F; Trivedi, KS, Availability modeling and analysis of a virtualized system, 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2009 (December, 2009), pp. 365-371, IEEE [doi]  [abs]
  178. Malek, M; Salfner, F; Trivedi, KS, Workshop on Proactive Failure Avoidance, Recovery and Maintenance (PFARM), Proceedings of the International Conference on Dependable Systems and Networks (November, 2009), pp. 590-591, IEEE [doi]  [abs]
  179. Goyal, M; Rohm, D; Hosseini, H; Trivedi, KS; Divjak, A; Bashir, Y, A sctochastic model for beaconless IEEE 802.15.4 MAC operation, Proceedings of the 2009 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2009 (November, 2009), pp. 199-207  [abs]
  180. Goyal, M; Soperi, M; Hosseini, H; Shaikh, A; Trivedi, KS; Choudhury, G, Analyzing the hold time schemes to limit the routing table calculations in OSPF protocol, Proceedings - International Conference on Advanced Information Networking and Applications, AINA (October, 2009), pp. 74-81, IEEE, ISSN 1550-445X [doi]  [abs]
  181. Wang, D; Trivedi, KS, Modeling user-perceived reliability based on user behavior graphs, International Journal of Reliability, Quality and Safety Engineering, vol. 16 no. 4 (August, 2009), pp. 303-329, World Scientific Pub Co Pte Lt, ISSN 0218-5393 [doi]  [abs]
  182. Okamura, H; Dohi, T; Trivedi, KS, Markovian arrival process parameter estimation with group data, IEEE/ACM Transactions on Networking, vol. 17 no. 4 (July, 2009), pp. 1326-1339, Institute of Electrical and Electronics Engineers (IEEE), ISSN 1063-6692 [doi]  [abs]
  183. Heegaard, PE; Trivedi, KS, Network survivability modeling, Computer Networks, vol. 53 no. 8 (June, 2009), pp. 1215-1234, Elsevier BV, ISSN 1389-1286 [doi]  [abs]
  184. Trivedi, KS; Sahner, R, SHARPE at the age of twenty two, ACM SIGMETRICS Performance Evaluation Review, vol. 36 no. 4 (March, 2009), pp. 52-57, Association for Computing Machinery (ACM) [doi]  [abs]
  185. Heegaard, PE; Trivedi, KS, SURVIVABILITY MODELING WITH STOCHASTIC REWARD NETS, PROCEEDINGS OF THE 2009 WINTER SIMULATION CONFERENCE (WSC 2009 ), VOL 1-4 (January, 2009), pp. 822-+, IEEE, ISSN 0891-7736, ISBN 978-1-4244-5770-0 [Gateway.cgi]
  186. Trivedi, KS; Kim, DS; Ghosh, R, Resilience in computer systems and networks, IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD (January, 2009), pp. 74-77, ISSN 1092-3152 [doi]  [abs]
  187. Okamura, H; Dohi, T; Trivedi, KS, Markovian arrival process parameter estimation with group data., IEEE/ACM Trans. Netw., vol. 17 (2009), pp. 1326-1339 [doi]
  188. Trivedi, KS; Jindal, V; Dharmaraja, S, Stochastic Modeling Techniques for Secure and Survivable Systems (December, 2008), pp. 171-207, Elsevier [doi]
  189. Heegaard, PE; Trivedi, KS, Survivability quantification of real-sized networks including end-to-end delay distributions, Proc. - The 3rd Int. Conf. Systems and Networks Communications, ICSNC 2008 - Includes I-CENTRIC 2008: Int. Conf. Advances in Human-Oriented and Personalized Mechanisms, Technologies, and Services (December, 2008), pp. 50-55, IEEE [doi]  [abs]
  190. Smith, WE; Trivedi, KS; Tomek, LA; Ackaret, J, Availability analysis of blade server systems, IBM Systems Journal, vol. 47 no. 4 (December, 2008), pp. 621-640, IBM, ISSN 0018-8670 [doi]  [abs]
  191. Trivedi, K; Wang, D; Hunt, DJ; Rindos, A; Smith, WE; Vashaw, B, Availability Modeling of SIP Protocol on IBM© WebSphere©, Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008 (December, 2008), pp. 323-330, IEEE [doi]  [abs]
  192. Mitra, S; Iyer, RK; Trivedi, K; Tschanz, JW, Reliable system design: Models, metrics and design techniques, edited by Nassif, SR; Roychowdhury, JS, 2008 IEEE/ACM International Conference on Computer-Aided Design (November, 2008), pp. 3-3, IEEE, ISBN 9781424428199 [mostRecentIssue.jsp], [doi]
  193. Heegaard, PE; Trivedi, KS, Survivability quantification of communication services, Proceedings of the International Conference on Dependable Systems and Networks (October, 2008), pp. 462-471, IEEE [doi]  [abs]
  194. Trivedi, K; Ciardo, G; Dasarathy, B; Grottke, M; Rindos, A; Varshaw, B, Achieving and assuring high availability, IPDPS Miami 2008 - Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium, Program and CD-ROM (September, 2008), IEEE [doi]  [abs]
  195. Trivedi, K; Ciardo, G; Dasarathy, B; Grottke, M; Matias, R; Rindos, A; Vashaw, B, Achieving and assuring high availability, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5017 LNCS (June, 2008), pp. 20-25, Springer Berlin Heidelberg, ISSN 0302-9743 [doi]  [abs]
  196. Grottke, M; Sun, H; Fricks, RM; Trivedi, KS, Ten fallacies of availability and reliability analysis, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5017 LNCS (June, 2008), pp. 187-206, Springer Berlin Heidelberg, ISSN 0302-9743 [doi]  [abs]
  197. Madan, BB; Dharmaraja, S; Trivedi, KS, Combined guard channel and mobile-assisted handoff for cellular networks, IEEE Transactions on Vehicular Technology, vol. 57 no. 1 (January, 2008), pp. 502-510, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9545 [doi]  [abs]
  198. Bao, Y; Bozkur, IN; Dayar, T; Sun, X; Trivedi, KS, Decompositional analysis of Kronecker structured Markov chains, Electronic Transactions on Numerical Analysis, vol. 31 (January, 2008), pp. 271-294, ISSN 1068-9613  [abs]
  199. Trivedi, K; Ciardo, G; Dasarathy, B; Grottke, M; Rindos, A; Varshaw, B, Achieving and assuring high availability, 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8 (January, 2008), pp. 252-+, IEEE, ISBN 978-1-4244-1693-6
  200. Haberkorn, M; Trivedi, K, Availability monitor for a software based system, Proceedings of IEEE International Symposium on High Assurance Systems Engineering (December, 2007), pp. 321-328, ISSN 1530-2059, ISBN 978-0-7695-3043-7 [doi]  [abs]
  201. Hoffmann, GA; Trivedi, KS; Malek, M, A best practice guide to resource forecasting for computing systems, IEEE Transactions on Reliability, vol. 56 no. 4 (December, 2007), pp. 615-628, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [doi]  [abs]
  202. Okamura, H; Grottke, M; Dohi, T; Trivedi, KS, Variational Bayesian approach for interval estimation of NHPP-based software reliability models, Proceedings of the International Conference on Dependable Systems and Networks (November, 2007), pp. 698-707, IEEE [doi]  [abs]
  203. Haberkorn, M; Trivedi, K, Availability Monitor for a Software Based System, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (November, 2007), pp. 321-+, IEEE, ISBN 9780769530437 [doi]
  204. Sato, N; Trivedi, KS, Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations, Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007 (October, 2007), pp. 114-121, IEEE [doi]  [abs]
  205. Wang, D; Trivedi, KS, Reliability analysis of phased-mission system with independent component repairs, IEEE Transactions on Reliability, vol. 56 no. 3 (September, 2007), pp. 540-551, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [doi]  [abs]
  206. Dai, YS; Levitin, G; Trivedi, KS, Performance and reliability of tree-structured grid services considering data dependence and failure correlation, IEEE Transactions on Computers, vol. 56 no. 7 (July, 2007), pp. 925-936, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9340 [doi]  [abs]
  207. Sharma, VS; Trivedi, KS, Quantifying software performance, reliability and security: An architecture-based approach, Journal of Systems and Software, vol. 80 no. 4 (April, 2007), pp. 493-509, Elsevier BV, ISSN 0164-1212 [doi]  [abs]
  208. Wang, D; Xie, W; Trivedi, KS, Performability analysis of clustered systems with rejuvenation under varying workload, Performance Evaluation, vol. 64 no. 3 (March, 2007), pp. 247-265, Elsevier BV, ISSN 0166-5316 [002], [doi]  [abs]
  209. Grottke, M; Trivedi, KS, Fighting bugs: Remove, retry, replicate, and rejuvenate, Computer, vol. 40 no. 2 (February, 2007), pp. 107-109, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9162 [doi]  [abs]
  210. Sato, N; Trivedi, KS, Stochastic modeling of composite Web services for closed-form analysis of their performance and reliability bottlenecks, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4749 LNCS (January, 2007), pp. 107-118, ISSN 0302-9743 [doi]  [abs]
  211. Tuffin, B; Choudhary, PK; Hirel, C; Trivedi, KS, Simulation versus analytic-numeric methods: Illustrative examples, VALUETOOLS 2007 - 2nd International ICST Conference on Performance Evaluation Methodologies and Tools (January, 2007), ISBN 9789639799004 [doi]  [abs]
  212. Grottke, M; Trivedi, KS, Fighting bugs - Response, COMPUTER, vol. 40 no. 5 (2007), pp. 7-7, ISSN 0018-9162 [Gateway.cgi]
  213. Tuffin, B; Choudhary, PK; Hirel, C; Trivedi, KS, Simulation versus analytic-numeric methods: illustrative examples., edited by Glynn, PW, VALUETOOLS (2007), pp. 63-63, ICST/ACM, ISBN 978-963-9799-00-4 [2007], [doi]  [abs]
  214. Trivedi, KS, Survivability Quantification - Keynote., BROADNETS (2007), pp. 961-961, IEEE, ISBN 978-1-4244-1432-1 [mostRecentIssue.jsp], [doi]
  215. Avritzer, A; Bondi, A; Grottke, M; Trivedi, KS; Weyuker, EJ, Performance assurance via software rejuvenation: Monitoring, statistics and algorithms, Proceedings of the International Conference on Dependable Systems and Networks, vol. 2006 (December, 2006), pp. 435-444, IEEE [doi]  [abs]
  216. Sharma, VS; Trivedi, KS, Reliability and performance of component based software systems with restarts, retries, reboots and repairs, Proceedings - International Symposium on Software Reliability Engineering, ISSRE (December, 2006), pp. 299-308, IEEE, ISSN 1071-9458 [doi]  [abs]
  217. Sharma, VS; Jalote, P; Trivedi, KS, A performance engineering tool for tiered software systems, Proceedings - International Computer Software and Applications Conference, vol. 1 (December, 2006), pp. 63-70, IEEE, ISSN 0730-3157 [doi]  [abs]
  218. Hoffmann, GA; Trivedi, KS; Malek, M, A best practice guide to resource forecasting for the apache webserver, Proceedings - 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006 (December, 2006), pp. 183-193, IEEE, Riverside, CA, USA [doi]  [abs]
  219. Trivedi, KS; Vasireddy, R; Trindade, D; Nathan, S; Castro, R, Modeling high availability systems, Proceedings - 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006 (December, 2006), pp. 154-162, IEEE, Riverside, CA, USA [doi]  [abs]
  220. Jindal, V; Dharmaraja, S; Trivedi, KS, Analytical survivability model for fault tolerant cellular networks supporting multiple services, International Symposium on Performance Evaluation of Computer and Telecommunication Systems 2006, SPECTS'06, Part of the 2006 Summer Simulation Multiconference, SummerSim'06 (December, 2006), pp. 505-512  [abs]
  221. Patnaik, LM; Trivedi, KS; Misra, S; Venugopal, KR; Sekaran, KC, Welcome message, ISAHUC' 06 - Proceedings of 2006 International Symposium on Ad Hoc and Ubiquitous Computing (December, 2006), IEEE [doi]
  222. Patniak, LM; Trivedi, KS; Sivakumar, G; Ray, I; Misra, S; Venugopal, KR; Sekaran, KC, Welcome message, Proceedings - 2006 14th International Conference on Advanced Computing and Communications, ADCOM 2006 (December, 2006) [doi]
  223. Gokhale, SS; Trivedi, KS, Analytical models for architecture-based software reliability prediction: A unification framework, IEEE Transactions on Reliability, vol. 55 no. 4 (December, 2006), pp. 578-590, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [doi]  [abs]
  224. Ma, X; Liu, Y; Trivedi, KS, Design and performance analysis of a new soft handoff scheme for CDMA cellular systems, IEEE Transactions on Vehicular Technology, vol. 55 no. 5 (September, 2006), pp. 1603-1612, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9545 [doi]  [abs]
  225. Grottke, M; Li, L; Vaidyanathan, K; Trivedi, KS, Analysis of software aging in a Web server, IEEE Transactions on Reliability, vol. 55 no. 3 (September, 2006), pp. 411-420, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [TR.2006.879609], [doi]  [abs]
  226. Gokhale, SS; Lyu, MR; Trivedi, KS, Incorporating fault debugging activities into software reliability models: A simulation approach, IEEE Transactions on Reliability, vol. 55 no. 2 (June, 2006), pp. 281-292, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [doi]  [abs]
  227. Ma, X; Cao, Y; Liu, Y; Trivedi, KS, Modeling and performance analysis for soft handoff schemes in CDMA cellular systems, IEEE Transactions on Vehicular Technology, vol. 55 no. 2 (March, 2006), pp. 670-680, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9545 [doi]  [abs]
  228. Liu, Y; Trivedi, KS, Survivability quantification: The analytical modeling approach, International Journal of Performability Engineering, vol. 2 no. 1 (January, 2006), pp. 29-44, ISSN 0973-1318  [abs]
  229. Mishra, K; Trivedi, KS, Model Based Approach for Autonomic Availability Management., edited by Penkler, D; Reitenspieß, M; Tam, F, ISAS, vol. 4328 (2006), pp. 1-16, Springer, ISBN 3-540-68724-6 [html], [doi]  [abs]
  230. Choudhary, PK; Madan, B; Trivedi, KS, Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls, Proceedings - Winter Simulation Conference, vol. 2005 (December, 2005), pp. 412-418, IEEE, Orlando, FL, United States, ISSN 0891-7736, ISBN 0-7803-9519-0 [mostRecentIssue.jsp], [doi]  [abs]
  231. Griffin, C; Madan, B; Trivedi, K, State space approach to security quantification, Proceedings - International Computer Software and Applications Conference, vol. 2 (December, 2005), pp. 83-88, IEEE, ISSN 0730-3157 [doi]  [abs]
  232. Grottke, M; Trivedi, KS, On a method for mending time to failure distributions, Proceedings of the International Conference on Dependable Systems and Networks (November, 2005), pp. 560-569, IEEE, Yokohama, Japan [doi]  [abs]
  233. Chen, D; Trivedi, KS, Optimization for condition-based maintenance with semi-Markov decision process, Reliability Engineering and System Safety, vol. 90 no. 1 (October, 2005), pp. 25-29, Elsevier BV [doi]  [abs]
  234. Wang, D; Trivedi, KS, Computing steady-state mean time to failure for non-coherent repairable systems, IEEE Transactions on Reliability, vol. 54 no. 3 (September, 2005), pp. 506-516, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [doi]  [abs]
  235. Bao, Y; Sun, X; Trivedi, KS, A workload-based analysis of software aging, and rejuvenation, IEEE Transactions on Reliability, vol. 54 no. 3 (September, 2005), pp. 541-548, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, ISSN 0018-9529 [Gateway.cgi], [doi]  [abs]
  236. Trivedi, KS; Yang, LT; Parashar, M; Dai, Y; Pan, Y; Ma, J; Hariri, S, Message from the RAMPDS-2005 chairs, Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS, vol. 2 (January, 2005), pp. 44, IEEE, Fukuoka, Japan, ISSN 1521-9097 [doi]
  237. Sharma, VS; Jalote, P; Trivedi, KS, Evaluating performance attributes of layered software architecture, Lecture Notes in Computer Science, vol. 3489 (January, 2005), pp. 66-81 [doi]  [abs]
  238. Madan, BB; Phoha, S; Trivedi, KS, StackOFFence: A technique for defending against buffer overflow attacks, International Conference on Information Technology: Coding and Computing, ITCC, vol. 1 (January, 2005), pp. 656-661, IEEE [doi]  [abs]
  239. Vaidyanathan, K; Trivedi, KS, A comprehensive model for software rejuvenation, IEEE Transactions on Dependable and Secure Computing, vol. 2 no. 2 (January, 2005), pp. 124-137, Institute of Electrical and Electronics Engineers (IEEE), ISSN 1545-5971 [doi]  [abs]
  240. Wang, D; Trivedi, KS, Modeling user-perceived service availability, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3694 LNCS (January, 2005), pp. 107-122, Berlin, Germany, ISSN 0302-9743 [doi]  [abs]
  241. Sharma, VS; Trivedi, KS, Architecture based analysis of performance, reliability and security of software systems, Proceedings of the Fifth International Workshop on Software and Performance, WOSP'05 (January, 2005), pp. 217-227 [doi]  [abs]
  242. Xie, W; Hong, Y; Trivedi, K, Analysis of a two-level software rejuvenation policy, Reliability Engineering and System Safety, vol. 87 no. 1 (January, 2005), pp. 13-22, Elsevier BV [011], [doi]  [abs]
  243. Liu, Y; Ma, Y; Han, JJ; Levendel, H; Trivedi, KS, A proactive approach towards always-on availability in broadband cable networks, Computer Communications, vol. 28 no. 1 (2005), pp. 51-64, Elsevier BV, ISSN 0140-3664 [022], [doi]  [abs]
  244. Grottke, M; Trivedi, KS, Truncated non-homogeneous Poisson process models - properties and performance, Opsearch (India), vol. 42 no. 4 (2005), pp. 310-321  [abs]
  245. Choudhary, PK; Madan, BB; Trivedi, KS, Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls., WSC (2005), pp. 412-418, IEEE Computer Society, Orlando, FL, USA, ISBN 0-7803-9519-0 [doi]  [abs]
  246. Madan, BB; Trivedi, KS, Security modeling and quantification of intrusion tolerant systems using attack-response graph, Journal of High Speed Networks, vol. 13 no. 4 (December, 2004), pp. 297-308, ISSN 0926-6801  [abs]
  247. Dohi, T; Osaki, S; Trivedi, KS, An infinite server queueing approach for describing software reliability growth ∼ - Unified modeling and estimation framework, Proceedings - Asia-Pacific Software Engineering Conference, APSEC (December, 2004), pp. 110-119, IEEE, ISSN 1530-1362 [doi]  [abs]
  248. Liu, Y; Mendiratta, VB; Trivedi, KS, Survivability analysis of telephone access network, Proceedings - International Symposium on Software Reliability Engineering, ISSRE (December, 2004), pp. 367-378, IEEE, Saint-Malo, France [doi]  [abs]
  249. Gokhale, SS; Wong, WE; Horgan, JR; Trivedi, KS, An analytical approach to architecture-based software performance and reliability prediction, Performance Evaluation, vol. 58 no. 4 (December, 2004), pp. 391-412, Elsevier BV [doi]  [abs]
  250. Tang, D; Trivedi, KS, Hierarchical computation of interval availability and related metrics, Proceedings of the International Conference on Dependable Systems and Networks (October, 2004), pp. 693-698, IEEE [doi]  [abs]
  251. Chen, D; Hong, Y; Trivedi, KS, Optimal estimation of training interval for channel equalization, IEEE Transactions on Wireless Communications, vol. 3 no. 5 (September, 2004), pp. 1844-1853, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  252. Xie, W; Hong, Y; Trivedi, KS, Software rejuvenation policies for cluster systems under varying workload, Proceedings - IEEE Pacific Rim International Symposium on Dependable Computing (June, 2004), pp. 122-129, IEEE, Papeete Tahiti, French Polynesia [PRDC.2004.1276563], [doi]  [abs]
  253. Cao, Y; Sun, H; Trivedi, KS, The effect of access delay in capacity-on-demand access over a wireless link under bursty packet-switched data, Performance Evaluation, vol. 57 no. 1 (May, 2004), pp. 69-87, Elsevier BV [003], [doi]  [abs]
  254. Madan, BB; Goševa-Popstojanova, K; Vaidyanathan, K; Trivedi, KS, A method for modeling and quantifying the security attributes of intrusion tolerant systems, Performance Evaluation, vol. 56 no. 1-4 (March, 2004), pp. 167-186, Elsevier BV [008], [doi]  [abs]
  255. Trivedi, KS; Vaidyanathan, K, Software rejuvenation - modeling and analysis, edited by Reis, R, IFIP Advances in Information and Communication Technology, vol. 157 (January, 2004), pp. 151-182, Kluwer Academic Publishers, ISBN 9781402081583 [html], [doi]  [abs]
  256. Nicol, DM; Sanders, WH; Trivedi, KS, Model-based evaluation: From dependability to security, IEEE Transactions on Dependable and Secure Computing, vol. 1 no. 1 (January, 2004), pp. 48-64, Institute of Electrical and Electronics Engineers (IEEE), ISSN 1545-5971 [doi]  [abs]
  257. Gokhale, SS; Lyu, MR; Trivedi, KS, Analysis of software fault removal policies using a non-homogeneous continuous time Markov chain, Software Quality Journal, vol. 12 no. 3 (January, 2004), pp. 211-230, Springer Nature, ISSN 0963-9314 [doi]  [abs]
  258. Dohi, T; Suzuki, H; Trivedi, KS, Comparing software rejuvenation policies under different dependability measures, IEICE Transactions on Information and Systems, vol. E87-D no. 8 (January, 2004), pp. 2078-2085  [abs]
  259. Liu, Y. and Mendiratta, V.B. and Trivedi, K.S., Survivability analysis of telephone access network, 15th International Symposium on Software Reliability Engineering (2004), pp. 367 - 77, Saint-Malo, Bretagne, France  [abs]
  260. Szczerbicka, H; Trivedi, KS; Choudhary, PK, Discrete event simulation with application to computer communication systems performance - Introduction to simulation, INFORMATION TECHNOLOGY: SELECTED TUTORIALS, vol. 157 (2004), pp. 271-304, Kluwer Academic Publishers, ISSN 1571-5736, ISBN 1-4020-8158-8 [Gateway.cgi], [doi]  [abs]
  261. Liu, Y; Trivedi, KS, A General Framework for Network Survivability Quantification., edited by Buchholz, P; Lehnert, R; Pióro, M, MMB (2004), pp. 369-378, VDE Verlag, ISBN 3-8007-2851-6 [html]
  262. Szczerbicka, H; Trivedi, KS; Choudhary, PK, Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation., edited by Reis, R, IFIP Congress Tutorials, vol. 157 (2004), pp. 271-304, Kluwer/Springer, ISBN 1-4020-8158-8 [html], [doi]
  263. Chen, D; Kintala, C; Garg, S; Trivedi, KS, Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques, Proceedings of the International Conference on Dependable Systems and Networks (December, 2003), pp. 521-528, IEEE [doi]  [abs]
  264. Bao, Y; Sun, X; Trivedi, KS, Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme, Proceedings of the International Conference on Dependable Systems and Networks (December, 2003), pp. 241-248, IEEE, San Francisco, CA, United States [doi]  [abs]
  265. Zang, X; Wang, D; Sun, H; Trivedi, KS, A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components, IEEE Transactions on Computers, vol. 52 no. 12 (December, 2003), pp. 1608-1618, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9340 [TC.2003.1252856], [doi]  [abs]
  266. Hong, Y; Trivedi, KS; Ray, A; Phoha, S, Software Performance Analysis Using a Language Measure, Proceedings of the American Control Conference, vol. 3 (November, 2003), pp. 2258-2263, Denver, CO, United States [ACC.2003.1243410]  [abs]
  267. Cao, Y; Sun, HR; Trivedi, KS, Performance Analysis of Reservation Media-Access Protocol with Access and Serving Queues Under Bursty Traffic in GPRS/EGPRS, IEEE Transactions on Vehicular Technology, vol. 52 no. 6 (November, 2003), pp. 1627-1641, Institute of Electrical and Electronics Engineers (IEEE) [TVT.2003.819620], [doi]  [abs]
  268. Dharmaraja, S; Trivedi, KS; Logothetis, D, Performance modeling of wireless networks with generally distributed handoff interarrival times, Computer Communications, vol. 26 no. 15 (September, 2003), pp. 1747-1755, Elsevier BV [S0140-3664(03)00044-6], [doi]  [abs]
  269. Chen, D; Cao, Y; Trivedi, KS; Hong, Y, Preventive maintenance of multi-state system with phase-type failure time distribution and non-zero inspection time, International Journal of Reliability, Quality and Safety Engineering, vol. 10 no. 3 (September, 2003), pp. 323-344, World Scientific Pub Co Pte Lt [doi]  [abs]
  270. Trivedi, KS; Ma, X; Dharmaraja, S, Performability modelling of wireless communication systems, International Journal of Communication Systems, vol. 16 no. 6 (August, 2003), pp. 561-577, WILEY [605], [doi]  [abs]
  271. Xie, W; Sun, H; Cao, Y; Trivedi, KS, Modeling of user perceived webserver availability, IEEE International Conference on Communications, vol. 3 (July, 2003), pp. 1796-1800, Anchorage, AK, United States [ICC.2003.1203909]  [abs]
  272. Lanus, M; Yin, L; Trivedi, KS, Hierarchical composition and aggregation of state-based availability and performability models, IEEE Transactions on Reliability, vol. 52 no. 1 (March, 2003), pp. 44-52, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  273. Gokhale, SS; Horgan, JR; Trivedi, KS, Specification-level integration of simulation and dependability analysis, edited by Lemos, RD; Gacek, C; Romanovsky, AB, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2677 LNCS (January, 2003), pp. 245-266, SPRINGER, ISBN 9783540407270 [html], [doi]  [abs]
  274. Suzuki, H; Dohi, T; Kaio, N; Trivedi, KS, Maximizing interval reliability in operational software system with rejuvenation, Proceedings - International Symposium on Software Reliability Engineering, ISSRE, vol. 2003-January (January, 2003), pp. 479-490, IEEE, ISBN 0769520073 [mostRecentIssue.jsp], [doi]  [abs]
  275. Fricks, RM; Trivedi, KS, Importance analysis with Markov chains, Proceedings of the Annual Reliability and Maintainability Symposium (January, 2003), pp. 89-95, IEEE [doi]  [abs]
  276. Wang, D; Madan, BB; Trivedi, KS, Security analysis of SITAR intrusion tolerance system, Proceedings of the ACM Workshop on Survivable and Self-Regenerative Systems (January, 2003), pp. 23-32, Fairfax, VA, United States [doi]  [abs]
  277. Goševa-Popstojanova, K; Trivedi, KS, Architecture-Based Approaches to Software Reliability Prediction, Computers and Mathematics with Applications, vol. 46 no. 7 (January, 2003), pp. 1023-1036, Elsevier BV [doi]  [abs]
  278. Trivedi, KS; Ramani, S; Fricks, R, Recent advances in modeling response-time distributions in real-time systems, Proceedings of the IEEE, vol. 91 no. 7 (January, 2003), pp. 1023-1036, Institute of Electrical and Electronics Engineers (IEEE) [JPROC.2003.814619], [doi]  [abs]
  279. Wang, F; Jou, F; Gong, F; Sargor, C; Goseva-Popstojanova, K; Trivedi, K, SITAR: A scalable intrusion-tolerant architecture for distributed services, Foundations of Intrusion Tolerant Systems, OASIS 2003 (January, 2003), pp. 359-367, IEEE, ISBN 9780769520575 [doi]  [abs]
  280. Vaidyanathan, K; Selvamuthu, D; Trivedi, KS, Analysis of inspection-based preventive maintenance in operational software systems, Proceedings of the IEEE Symposium on Reliable Distributed Systems (December, 2002), pp. 286-295, IEEE Comput. Soc, Suita, Japan, ISSN 1060-9857 [RELDIS.2002.1180199], [doi]  [abs]
  281. Trivedi, KS, SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator, Proceedings of the 2002 International Conference on Dependable Systems and Networks (December, 2002), pp. 544, IEEE Comput. Soc, Washington, DC, USA [DSN.2002.1028975], [doi]  [abs]
  282. Jin, W; Barve, RD; Trivedi, KS, A simple characterization of provably efficient prefetching algorithms, Proceedings of the 2002 International Conference on Dependable Systems and Networks (December, 2002), pp. 571-580, IEEE Comput. Soc, Washington, DC, United States [DSN.2002.1029003], [doi]  [abs]
  283. Madan, BB; Goševa-Popstojanova, K; Vaidyanathan, K; Trivedi, KS, Modeling and quantification of security attributes of software systems, Proceedings of the 2002 International Conference on Dependable Systems and Networks (December, 2002), pp. 505-514, IEEE Comput. Soc, Washington, DC, United States [DSN.2002.1028941], [doi]  [abs]
  284. Chen, D; Dharmaraja, S; Li, L; Trivedi, KS; Some, RR; Nikora, AP, Reliability and availability analysis for the JPL remote exploration and experimentation system, Proceedings of the 2002 International Conference on Dependable Systems and Networks (December, 2002), pp. 337-342, IEEE Comput. Soc, Washington, DC, United States [doi]  [abs]
  285. Trivedi, KS, SREPT: A tool for software reliability estimation and prediction, Proceedings of the 2002 International Conference on Dependable Systems and Networks (December, 2002), pp. 546, IEEE Comput. Soc, Washington, DC, USA [DSN.2002.1028977], [doi]  [abs]
  286. Chen, D; Garg, S; Trivedi, KS, Network survivability performance evaluation: A quantitative approach with applications in wireless Ad-hoc Networks, Proceedings of the International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems (December, 2002), pp. 61-68  [abs]
  287. Hong, Y; Chen, D; Trivedi, KS, Failure mitigation for quality of service of wireless networks, Proceedings of the IEEE Conference on Decision and Control, vol. 2 (December, 2002), pp. 1414-1415  [abs]
  288. Trivedi, KS; Selvamuthu, D; Ma, X, Analytic Modeling of Handoffs in Wireless Cellular Networks, Proceedings of the Joint Conference on Information Sciences, vol. 6 (December, 2002), pp. 1383-1392, Research Triange Park, NC, United States  [abs]
  289. Trivedi, KS; Dharmaraja, S; Ma, X, Analytic modeling of handoffs in wireless cellular networks, Information Sciences, vol. 148 no. 1-4 (December, 2002), pp. 155-166, Elsevier BV [S0020-0255(02)00292-X], [doi]  [abs]
  290. Cao, Y; Sun, H; Trivedi, KS; Han, JJ, System availability with non-exponentially distributed outages, IEEE Transactions on Reliability, vol. 51 no. 2 (June, 2002), pp. 193-198, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [TR.2002.1011525], [doi]  [abs]
  291. Ma, Y; Han, JJ; Trivedi, KS, Call admission control for reducing dropped calls in CDMA cellular systems, Computer Communications, vol. 25 no. 7 (May, 2002), pp. 689-699, Elsevier BV, ISSN 0140-3664 [doi]  [abs]
  292. Qian, M; Logothetis, D; Trivedi, KS, All-terminal reliability analysis of the SRP-ring: The effect of enhanced intelligent protection switching, Proceedings - International Conference on Computer Communications and Networks, ICCCN, vol. 2002-January (January, 2002), pp. 52-57, IEEE, Miami, FL, USA, ISSN 1095-2055, ISBN 078037553X [Gateway.cgi], [doi]  [abs]
  293. Liu, Y; Trivedi, KS; Ma, Y; Han, JJ; Levendel, H, Modeling and analysis of software rejuvenation in cable modem termination systems, Proceedings - International Symposium on Software Reliability Engineering, ISSRE, vol. 2002-January (January, 2002), pp. 159-170, IEEE Comput. Soc, Annapolis, MD, USA, ISBN 0769517633 [mostRecentIssue.jsp], [doi]  [abs]
  294. Li, L; Vaidyanathan, K; Trivedi, KS, An approach for estimation of software aging in a Web server, ISESE 2002 - Proceedings, 2002 International Symposium on Empirical Software Engineering (January, 2002), pp. 91-100, IEEE Comput. Soc, Nara, Japan, ISBN 9780769517964 [mostRecentIssue.jsp], [doi]  [abs]
  295. Ramani, S; Goševa-Popstojanova, K; Trivedi, KS, A framework for performability modeling of messaging services in distributed systems, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, vol. 2002-January (January, 2002), pp. 25-34, IEEE Comput. Soc, Greenbelt, MD, USA, ISBN 0769517579 [mostRecentIssue.jsp], [doi]  [abs]
  296. Trivedi, KS; Vaidyanathan, K, Software reliability and rejuvenation: Modeling and analysis, edited by Calzarossa, M; Tucci, S, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2459 (January, 2002), pp. 318-345, SPRINGER, ISBN 9783540442523 [html], [doi]  [abs]
  297. Gokhale, SS; Trivedi, KS, Reliability prediction and sensitivity analysis based on software architecture, Proceedings - International Symposium on Software Reliability Engineering, ISSRE, vol. 2002-January (January, 2002), pp. 64-75, IEEE Computer Society, ISBN 0769517633 [mostRecentIssue.jsp], [doi]  [abs]
  298. Yin, L; Fricks, RM; Trivedi, KS, Application of semi-Markov process and CTMC to evaluation of UPS system availability, Proceedings of the Annual Reliability and Maintainability Symposium (January, 2002), pp. 584-591, IEEE, Seattle, WA, USA [RAMS.2002.981706], [doi]  [abs]
  299. Chen, D; Hong, Y; Trivedi, KS, Optimal estimation of training interval for channel equalizations, IEEE International Conference on Communications, vol. 2 (January, 2002), pp. 717-721  [abs]
  300. Dohi, T; Kaio, N; Trivedi, KS, Availability models with age-dependent checkpointing, Proceedings of the IEEE Symposium on Reliable Distributed Systems (January, 2002), pp. 130-139, IEEE Comput. Soc [doi]  [abs]
  301. Pauca, VP; Rodriguez, AF; Sun, X; Trivedi, KS, A methodology towards automatic implementation of N-body algorithms, Applied Numerical Mathematics, vol. 40 no. 1-2 (January, 2002), pp. 3-21, Elsevier BV, Trujillo, Peru, ISSN 0168-9274 [S0168-9274(01)00061-7], [doi]  [abs]
  302. Xie, W; Sun, H; Cao, Y; Trivedi, KS, OPTIMAL WEBSERVER SESSION TIMEOUT SETTINGS FOR WEB USERS, 28th International Computer Measurement Group Conference, CMG 2002 (January, 2002)  [abs]
  303. 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), pp. 337 - 42, Washington, DC, USA [DSN.2002.1028918]  [abs]
  304. Chen, D; Trivedi, ; S, K, Closed-form analytical results for condition-based maintenance, Reliab. Eng. Syst. Saf. (UK), vol. 76 no. 1 (2002), pp. 43-51, Elsevier BV, ISSN 0951-8320 [doi]  [abs]
  305. Chen, D; Hong, Y; Trivedi, KS, Second-order stochastic fluid models with fluid-dependent flow rates, Performance Evaluation, vol. 49 no. 1-4 (2002), pp. 341-358, Rome, Italy [S0166-5316(02)00113-X], [doi]  [abs]
  306. Dohi, T; Goeva-Popstojanova, K; Trivedi, K, Estimating software rejuvenation schedules in high-assurance systems, Computer Journal, vol. 44 no. 6 (December, 2001), pp. 473-485, Oxford University Press (OUP), ISSN 0010-4620 [doi]  [abs]
  307. Dohi, T; Wakana, N; Osaki, S; Trivedi, KS, Analysis of hypergeometric distribution software reliability model, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (December, 2001), pp. 166-175, IEEE Comput. Soc [doi]  [abs]
  308. Hong, Y; Cao, Y; Sun, H; Trivedi, KS, RED parameters and performance of TCP connections, Electronics Letters, vol. 37 no. 24 (November, 2001), pp. 1489-1491, Institution of Engineering and Technology (IET) [el:20010984], [doi]  [abs]
  309. Sun, H; Zang, X; Trivedi, KS, A performance model of partial packet discard and early packet discard schemes in ATM switches, Computer Communications, vol. 24 no. 15-16 (October, 2001), pp. 1540-1553, Elsevier BV, ISSN 0140-3664 [S0140-3664(01)00310-3], [doi]  [abs]
  310. Ma, Y; Han, JJ; Trivedi, KS, Composite performance and availability analysis of wireless communication networks, IEEE Transactions on Vehicular Technology, vol. 50 no. 5 (September, 2001), pp. 1216-1223, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9545 [doi]  [abs]
  311. Ma, Y; Han, JJ; Trivedi, KS, A method for multiple channel recovery in TDMA wireless communications systems, Computer Communications, vol. 24 no. 12 (July, 2001), pp. 1147-1157, Elsevier BV, ISSN 0140-3664 [doi]  [abs]
  312. Goševa-Popstojanova, K; Trivedi, KS, Architecture-based approach to reliability assessment of software systems, Performance Evaluation, vol. 45 no. 2-3 (July, 2001), pp. 179-204, Elsevier BV, ISSN 0166-5316 [S0166-5316(01)00034-7], [doi]  [abs]
  313. Sun, H; Zang, X; Trivedi, KS, Performance of broadcast and unknown server (BUS) in ATM LAN emulation, IEEE/ACM Transactions on Networking, vol. 9 no. 3 (June, 2001), pp. 361-372, Institute of Electrical and Electronics Engineers (IEEE), ISSN 1063-6692 [doi]  [abs]
  314. Haring, G; Marie, R; Puigjaner, R; Trivedi, K, Loss formulas and their application to optimization for cellular networks, IEEE Transactions on Vehicular Technology, vol. 50 no. 3 (May, 2001), pp. 664-673, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9545 [doi]  [abs]
  315. Cao, YH; Sun, HR; Trivedi, KS, Performability analysis of TDMA cellular systems based on composite and hierarchical Markov chain models, edited by Goto, K; Hasegawa, T; Takagi, H; Takahashi, Y, PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING (January, 2001), pp. 317-332, SPRINGER-VERLAG LONDON LTD, ISBN 1-85233-372-3 [Gateway.cgi]
  316. Trivedi, KS; Sun, HR; Cao, YH; Ma, Y, Stochastic Petri nets and their applications, edited by Goto, K; Hasegawa, T; Takagi, H; Takahashi, Y, PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING (January, 2001), pp. 283-298, SPRINGER-VERLAG LONDON LTD, ISBN 1-85233-372-3 [Gateway.cgi]
  317. Ramani, S; Dasarathy, B; Trivedi, KS, Reliable messaging using the CORBA Notification Service, Proceedings - 3rd International Symposium on Distributed Objects and Applications, DOA 2001 (January, 2001), pp. 229-238, IEEE Comput. Soc, Rome, Italy, ISBN 9780769513003 [mostRecentIssue.jsp], [doi]  [abs]
  318. Chen, D; Trivedi, KS, Analysis of periodic preventive maintenance with general system failure distribution, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, vol. 2001-January (January, 2001), pp. 103-107, IEEE Comput. Soc, Seoul, South Korea, ISBN 0769514146 [mostRecentIssue.jsp], [doi]  [abs]
  319. Yin, L; Smith, MAJ; Trivedi, KS, Uncertainty analysis in reliability modeling, Proceedings of the Annual Reliability and Maintainability Symposium (January, 2001), pp. 229-234, Philadelphia, PA, USA [RAMS.2001.902472]  [abs]
  320. Ramani, S; Trivedi, KS; Dasarathy, B, Performance analysis of the corba notification service, Proceedings of the IEEE Symposium on Reliable Distributed Systems (January, 2001), pp. 227-236, IEEE Comput. Soc [doi]  [abs]
  321. Goševa-Popstojanova, K; Mathur, AP; Trivedi, KS, Comparison of architecture-based software reliability models, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (January, 2001), pp. 22-31, IEEE Comput. Soc [doi]  [abs]
  322. Castelli, V; Harper, RE; Heidelberger, P; Hunter, SW; Trivedi, KS; Vaidyanathan, K; Zeggert, WP, Proactive management of software aging, IBM Journal of Research and Development, vol. 45 no. 2 (January, 2001), pp. 311-332, IBM [doi]  [abs]
  323. Vaidyanathan, K; Harper, RE; Hunter, SW; Trivedi, KS, Analysis and implementation of software rejuvenation in cluster systems, Performance Evaluation Review, vol. 29 no. 1 (January, 2001), pp. 62-71, Association for Computing Machinery (ACM), Cambridge, MA, USA, ISSN 0163-5999 [doi]  [abs]
  324. Goseva-Popstojanova, K; Wang, F; Wang, R; Gong, F; Vaidyanathan, K; Trivedi, K; Muthusamy, B, Characterizing intrusion tolerant systems using a state transition model, Proceedings - DARPA Information Survivability Conference and Exposition II, DISCEX 2001, vol. 2 (January, 2001), pp. 211-221, IEEE Comput. Soc, Anaheim, CA, USA, ISBN 9780769512129 [DISCEX.2001.932173], [doi]  [abs]
  325. Ma, X; Liu, Y; Trivedi, KS; Ma, Y; Han, JJ, A new handoff scheme for decreasing both dropped calls and blocked calls in CDMA system, EUROCON 2001 - International Conference on Trends in Communications, Proceedings, vol. vol.1 (January, 2001), pp. 115-119, IEEE, Bratislava, Slovakia, ISBN 9780780364905 [EURCON.2001.937777], [doi]  [abs]
  326. Tuffin, B; Chen, DS; Trivedi, KS, Comparison of Hybrid Systems and Fluid Stochastic Petri Nets, Discrete Event Dynamic Systems: Theory and Applications, vol. 11 no. 1-2 (2001), pp. 77-95 [A:1008387132533], [doi]  [abs]
  327. Ma, Y; Han, JJ; Trivedi, KS, Composite performance and availability analysis of communications networks: A comparison of exact and approximate approaches, Conference Record / IEEE Global Telecommunications Conference, vol. 3 (December, 2000), pp. 1771-1777  [abs]
  328. Dohi, T; Osaki, S; Trivedi, KS, Heuristic self-organization algorithms for software reliability assessment and their application, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (December, 2000), pp. 40-51, IEEE Comput. Soc [doi]  [abs]
  329. Goseva-Popstojanova, K; Trivedi, KS, 7 Failure correlation in software reliability models, IEEE Transactions on Reliability, vol. 49 no. 1 (December, 2000), pp. 37-48, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [24.855535], [doi]  [abs]
  330. Dohi, T; Goševa-Popstojanova, K; Trivedi, KS, Analysis of software cost models with rejuvenation, Proceedings of IEEE International Symposium on High Assurance Systems Engineering, vol. 2000-January (January, 2000), pp. 25-34, IEEE Comput. Soc, ISBN 0769509274 [Gateway.cgi], [doi]  [abs]
  331. Goševa-Popstojanova, K; Trivedi, K, Stochastic modeling formalisms for dependability, performance and performability, edited by Haring, G; Lindemann, C; Reiser, M, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1769 (January, 2000), pp. 403-422, SPRINGER, ISBN 9783540671930 [html], [doi]
  332. Tuffin, B; Trivedi, KS, Implementation of importance splitting techniques in stochastic petri net package, edited by Haverkort, BR; Bohnenkamp, HC; Smith, CU, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1786 (January, 2000), pp. 216-229, Springer Berlin Heidelberg, ISBN 9783540672609 [html], [doi]  [abs]
  333. Hirel, C; Tuffin, B; Trivedi, KS, SPNP: Stochastic petri nets. Version 6. 0, edited by Haverkort, BR; Bohnenkamp, HC; Smith, CU, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1786 (January, 2000), pp. 354-357, Springer Berlin Heidelberg, ISBN 9783540672609 [html], [doi]
  334. Hirel, C; Sahner, R; Zang, X; Trivedi, K, Reliability and performability modeling using SHARPE 2000, edited by Haverkort, BR; Bohnenkamp, HC; Smith, CU, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1786 (January, 2000), pp. 345-349, Springer Berlin Heidelberg, ISBN 9783540672609 [html], [doi]  [abs]
  335. Ramani, S; Dasarathy, B; Trivedi, KS, Building a reliable message delivery system using the CORBA Event Service, edited by Rolim, JDP, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1800 LNCS (January, 2000), pp. 1276-1280, SPRINGER, ISBN 9783540674429 [html], [doi]  [abs]
  336. Dohi, T; Goševa-Popstojanova, K; Trivedi, KS, Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, vol. 2000-January (January, 2000), pp. 77-84, IEEE Comput. Soc, ISBN 0769509754 [mostRecentIssue.jsp], [doi]  [abs]
  337. Goševa-Popstojanova, K; Trivedi, K, Effects of failure correlation on software in operation, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, vol. 2000-January (January, 2000), pp. 69-76, IEEE Comput. Soc, Los Angeles, CA, USA, ISBN 0769509754 [mostRecentIssue.jsp], [doi]  [abs]
  338. Ma, Y; Han, JJ; Trivedi, KS, Call admission control for reducing dropped calls in code division multiple access (CDMA) cellular systems, Proceedings - IEEE INFOCOM, vol. 3 (January, 2000), pp. 1481-1490  [abs]
  339. Trivedi, KS; Vaidyanathan, K; Goseva-Popstojanova, K, Modeling and analysis of software aging and rejuvenation, Proceedings of the IEEE Annual Simulation Symposium (January, 2000), pp. 270-279, IEEE Comput. Soc, Washington, DC, USA [SIMSYM.2000.844925], [doi]  [abs]
  340. Ramani, S; Trivedi, KS; Dasarathy, B, Performance analysis of the CORBA event service using stochastic reward nets, Proceedings of the IEEE Symposium on Reliable Distributed Systems (January, 2000), pp. 238-247, IEEE Comput. Soc, Nurnberg, Ger [RELDI.2000.885411], [doi]  [abs]
  341. Ma, Y; Han, JJ; Trivedi, KS, Channel allocation with recovery strategy in wireless networks, European Transactions on Telecommunications, vol. 11 no. 4 (January, 2000), pp. 395-406, WILEY [doi]  [abs]
  342. Ramani, S; Gokhale, SS; Trivedi, KS, SREPT: Software Reliability Estimation and Prediction Tool, edited by BR Haverkort and HC Bohnenkamp and CU Smith, Performance Evaluation, vol. 39 no. 1-4 (January, 2000), pp. 37-60, Elsevier BV, ISBN 3-540-67260-5 [html], [doi]  [abs]
  343. Ramani, S; Trivedi, KS, SREPT: Software reliability estimation and prediction tool, edited by Haverkort, BR; Bohnenkamp, HC; Smith, CU, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1786 (January, 2000), pp. 358-361, Springer Berlin Heidelberg, ISBN 9783540672609 [doi]  [abs]
  344. Okamura, H; Fujimoto, A; Dohi, T; Osaki, S; Trivedi, KS, The optimal preventive maintenance policy for a software system with multi server station, 6TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS (2000), pp. 275-279, ISBN 0-9639998-5-0 [Gateway.cgi]
  345. Trivedi, KS, Proactive fault-management in software systems, Proceedings 33rd Annual Simulation Symposium (SS 2000) (2000), pp. 3-3, IEEE Comput. Soc, ISBN 0769505988 [mostRecentIssue.jsp], [doi]
  346. Yin, L; Trivedi, KS, Confidence interval estimation of NHPP-based software reliability models, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (December, 1999), pp. 6-11, Boca Raton, FL, USA  [abs]
  347. Goseva-Popstojanova, K; Trivedi, K, Failure correlation in software reliability models, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (December, 1999), pp. 232-241, Boca Raton, FL, USA [ISSRE.1999.809328]  [abs]
  348. Ma, Y; Han, JJ; Trivedi, KS, A channel recovery method in TDMA wireless systems, IEEE Vehicular Technology Conference, vol. 50 no. 3 (December, 1999), pp. 1750-1754, IEEE, Amsterdam, Netherlands, ISSN 1550-2252 [VETECF.1999.801697], [doi]  [abs]
  349. Vaidyanathan, K; Trivedi, KS, Measurement-based model for estimation of resource exhaustion in operational software systems, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (December, 1999), pp. 84-93, Boca Raton, FL, USA [ISSRE.1999.809313]  [abs]
  350. Zang, X; Sun, H; Trivedi, KS, A BDD-based algorithm for reliability analysis of phased-mission systems, IEEE Transactions on Reliability, vol. 48 no. 1 (December, 1999), pp. 50-60, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [24.765927], [doi]  [abs]
  351. Sun, H; Zang, X; Trivedi, KS, Effect of Web caching on network planning, Computer Communications, vol. 22 no. 14 (September, 1999), pp. 1343-1350, Elsevier BV [S0140-3664(99)00131-0], [doi]  [abs]
  352. Sun, H; Zang, X; Trivedi, KS, Stochastic reward net model for performance analysis of prioritized DQDB MAN, Computer Communications, vol. 22 no. 9 (June, 1999), pp. 858-870, Elsevier BV [S0140-3664(99)00055-9], [doi]  [abs]
  353. Ma, Y; Han, JJ; Trivedi, KS, A channel recovery method for RF channel failure in wireless communications systems, IEEE Wireless Communications and Networking Conference, WCNC, vol. 3 (January, 1999), pp. 1075-1079, IEEE, New Orleans, LA, USA, ISSN 1525-3511 [WCNC.1999.796838], [doi]  [abs]
  354. Wong, WE; Gokhale, SS; Horgan, JR; Trivedi, KS, Locating program features using execution slices, Proceedings - 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology, ASSET 1999 (January, 1999), pp. 194-203, IEEE Comput. Soc, ISBN 9780769501222 [Gateway.cgi], [doi]  [abs]
  355. Trivedi, KS; Ma, Y; Han, JJ, Performability analysis of fault tolerant RF link design in wireless communications networks, edited by Szczerbicka, H, ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL 1, vol. vol.1 (January, 1999), pp. 33-40, SOC COMPUTER SIMULATION, Warsaw, Poland, ISBN 1-56555-171-0 [Gateway.cgi]  [abs]
  356. Bondavalli, A; Mura, I; Trivedi, KS, Dependability modelling and sensitivity analysis of scheduled maintenance systems, edited by Hlavicka, J; Maehle, E; Pataricza, A, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1667 LNCS (January, 1999), pp. 7-23, SPRINGER, ISBN 9783540664833 [html], [doi]  [abs]
  357. Sun, H; Cao, Y; Trivedi, KS; Han, JJ, Availability and performance evaluation for automatic protection switching in TDMA wireless system, Proceedings - 1999 Pacific Rim International Symposium on Dependable Computing, PRDC 1999 (January, 1999), pp. 15-22, IEEE Comput. Soc, Hong Kong, ISBN 9780769503714 [mostRecentIssue.jsp], [doi]  [abs]
  358. Zang, X; Sun, H; Trivedi, KS, Dependability analysis of distributed computer systems with imperfect coverage, Proceedings - Annual International Conference on Fault-Tolerant Computing (January, 1999), pp. 330-337, IEEE Comput. Soc, Madison, WI, USA [doi]  [abs]
  359. Garg, S; Huang, Y; Kintala, CMR; Trivedi, KS; Yajnik, S, Performance and reliability evaluation of passive replication schemes in application level fault tolerance, Proceedings - Annual International Conference on Fault-Tolerant Computing (January, 1999), pp. 322-329, IEEE Comput. Soc [doi]  [abs]
  360. Ma, Y; Han, JJ; Trivedi, KS, Transient analysis of minimum duration outage for RF channel in cellular systems, IEEE VTS 50th Vehicular Technology Conference, VTC 1999-Fall, vol. 2 (January, 1999), pp. 1698-1702, Houston, TX, USA, ISSN 0740-0551 [VETEC.1999.780699]  [abs]
  361. Ciardo, G; Nicol, DM; Trivedi, KS, Discrete-event simulation of fluid stochastic Petri nets, IEEE Transactions on Software Engineering, vol. 25 no. 2 (January, 1999), pp. 207-217, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0098-5589 [doi]  [abs]
  362. Gokhale, SS; Trivedi, KS, A time/structure based software reliability model, Annals of Software Engineering, vol. 8 no. 1-4 (January, 1999), pp. 85-121 [doi]  [abs]
  363. Ramesh, AV; Twigg, DW; Sandadi, UR; Sharma, TC; Trivedi, KS; Somani, AK, Integrated reliability modeling environment, Reliability Engineering and System Safety, vol. 65 no. 1 (January, 1999), pp. 65-75, Elsevier BV [doi]  [abs]
  364. Fricks, RM; Puliafito, A; Trivedi, KS, Performance analysis of distributed real-time databases, Performance Evaluation, vol. 35 no. 3 (January, 1999), pp. 145-169, Elsevier BV [doi]  [abs]
  365. Mura, I; Bondavalli, A; Zang, X; Trivedi, KS, Dependability modeling and evaluation of phased mission systems: A DSPN approach, Dependable Computing for Critical Applications 7 (January, 1999), pp. 319-337, IEEE, ISBN 9780769502847 [doi]  [abs]
  366. Luo, T; Confrey, T; Trivedi, KS, A reliable CORBA-based network management system, IEEE International Conference on Communications, vol. 2 (January, 1999), pp. 1374-1387, IEEE, ISBN 078035284X [doi]  [abs]
  367. 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), pp. 330 - 7, Madison, WI, USA [FTCS.1999.781068]  [abs]
  368. 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, vol. 2 (1999), pp. 1698 - 1702, Houston, TX, USA  [abs]
  369. 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), pp. 6 - 11, Boca Raton, FL, USA [ISSRE.1999.809305]  [abs]
  370. Ma, Y; Trivedi, KS, Algorithm for reliability analysis of phased-mission systems, Reliability Engineering and System Safety, vol. 66 no. 2 (1999), pp. 157-170, Elsevier BV [S0951-8320(99)00033-2], [doi]  [abs]
  371. Luo, T; Trivedi, KS, An improved algorithm for coherent-system reliability, IEEE Transactions on Reliability, vol. 47 no. 1 (December, 1998), pp. 73-78, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [doi]  [abs]
  372. Gokhale, SS; Lyu, MR; Trivedi, KS, Reliability simulation of component-based software systems, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (December, 1998), pp. 192-201, IEEE Comput. Soc [doi]  [abs]
  373. Gokhale, SS; Lyu, MR; Trivedi, KS, Software reliability analysis incorporating fault detection and debugging activities, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (December, 1998), pp. 202-211, IEEE Comput. Soc [doi]  [abs]
  374. Garg, S; van Moorsel, A; Vaidyanathan, K; Trivedi, KS, Methodology for detection and estimation of software aging, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (December, 1998), pp. 283-292, IEEE Comput. Soc [doi]  [abs]
  375. Garg, S; Puliafito, A; Telek, M; Trivedi, K, Analysis of preventive maintenance in transactions based software systems, IEEE Transactions on Computers, vol. 47 no. 1 (December, 1998), pp. 96-107, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9340 [12.656092], [doi]  [abs]
  376. Puliafito, A; Tomarchio, O; Vita, L; Trivedi, KS, Increasing application accessibility through Java, IEEE Internet Computing, vol. 2 no. 4 (July, 1998), pp. 70-77, Institute of Electrical and Electronics Engineers (IEEE), ISSN 1089-7801 [doi]  [abs]
  377. Horton, G; Kulkarni, VG; Nicol, DM; Trivedi, KS, Fluid stochastic petri nets: Theory, applications, and solution techniques, European Journal of Operational Research, vol. 105 no. 1 (February, 1998), pp. 184-201, Elsevier BV [doi]  [abs]
  378. Gokhale, SS; Lyu, MR; Trivedi, KS, Model validation using simulated data, Proceedings - 1998 IEEE Workshop on Application-Specific Software Engineering and Technology, ASSET 1998, vol. 1998-January (January, 1998), pp. 22-27, IEEE Comput. Soc, Richardson, TX, USA, ISBN 9780818685828 [Gateway.cgi], [doi]  [abs]
  379. Ma, Y; Ro, CW; Trivedi, KS, Performability analysis of channel allocation with channel recovery strategy in cellular networks, ICUPC 1998 - IEEE 1998 International Conference on Universal Personal Communications, Conference Proceedings, vol. 1 (January, 1998), pp. 71-75, IEEE, Florence, Italy, ISSN 1091-8442, ISBN 9780780351066 [Gateway.cgi], [doi]  [abs]
  380. Luo, T; Trivedi, KS, An improved multiple variable inversion algorithm for reliability calculation, edited by Puigjaner, R; Savino, NN; Serra, B, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1469 (January, 1998), pp. 180-192, Springer Berlin Heidelberg, ISBN 9783540649496 [html], [doi]  [abs]
  381. Ramani, S; Gokhale, SS; Trivedi, KS, Srept: Software reliability estimation and prediction tool, edited by Puigjaner, R; Savino, NN; Serra, B, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1469 (January, 1998), pp. 27-36, Springer Berlin Heidelberg, ISBN 9783540649496 [html], [doi]  [abs]
  382. Gokhale, SS; Trivedi, KS, Log-logistic software reliability growth model, Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998, vol. 1998-November (January, 1998), pp. 34-41, IEEE Comput. Soc, ISBN 9780818692215 [mostRecentIssue.jsp], [doi]  [abs]
  383. Choi, H; Wang, W; Trivedi, KS, Analysis of conditional MTTF of fault-tolerant systems, Microelectronics Reliability, vol. 38 no. 3 (January, 1998), pp. 393-401, Elsevier BV [doi]  [abs]
  384. Fricks, RM; Trivedi, KS, Availability modeling of energy management systems, Microelectronics Reliability, vol. 38 no. 5 (January, 1998), pp. 727-743, Elsevier BV [doi]  [abs]
  385. Bobbio, A; Puliafito, A; Telek, M; Trivedi, KS, Recent developments in non-Markovian stochastic Petri nets, Journal of Circuits, Systems and Computers, vol. 8 no. 1 (January, 1998), pp. 119-158, World Scientific Pub Co Pte Lt [doi]  [abs]
  386. Puliafito, A; Scarpa, M; Trivedi, KS, Petri nets with k simultaneously enabled generally distributed timed transitions, Performance Evaluation, vol. 32 no. 1 (January, 1998), pp. 1-34, Elsevier BV, ISSN 0166-5316 [doi]  [abs]
  387. Fricks, RM; Puliafito, A; Telek, M; Trivedi, KS, Applications of non-Markovian stochastic Petri nets, Performance Evaluation Review, vol. 26 no. 2 (January, 1998), pp. 15-27, Association for Computing Machinery (ACM) [doi]  [abs]
  388. Gokhale, SS; Wong, WE; Trivedi, KS; Horgan, JR, An analytical approach to architecture-based software reliability prediction, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248) (1998), pp. 13-22, IEEE Comput. Soc, Durham, NC, USA, ISBN 0818686790 [Gateway.cgi], [doi]  [abs]
  389. Fricks, RM; Puliafito, A; Trivedi, KS, Performance analysis of distributed real-time databases, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248) (1998), pp. 184-194, IEEE Comput. Soc, ISBN 0818686790 [Gateway.cgi], [doi]
  390. Gokhale, SS; Trivedi, KS, 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), pp. 86-89, IEEE Comput. Soc, Richardson, TX, USA, ISBN 0818685824 [Gateway.cgi], [doi]  [abs]
  391. Ro, CW; Trivedi, KS, Performability analysis of handoff calls in personal communication networks, Proceedings of the International Conference on Computer Communications and Networks, ICCCN (December, 1997), pp. 116-121, IEEE Comput. Soc [doi]  [abs]
  392. Somani, AK; Trivedi, KS, Cache error propagation model, Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, PRFTS (December, 1997), pp. 15-21, IEEE Comput. Soc [doi]  [abs]
  393. Gokhale, SS; Lyu, MR; Trivedi, KS, Reliability simulation of fault-tolerant software and systems, Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, PRFTS (December, 1997), pp. 167-173, IEEE Comput. Soc, Taipei, Taiwan [PRFTS.1997.640143], [doi]  [abs]
  394. Tai, AT; Hecht, H; Trivedi, KS; Zhang, B, Toward accessibility enhancement of dependability modeling techniques and tools, Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997 (January, 1997), pp. 37-41, IEEE Comput. Soc, ISBN 9780818678318 [mostRecentIssue.jsp], [doi]  [abs]
  395. Garg, S; Telek, M; Puliafito, A; Trivedi, KS, On the analysis of software rejuvenation policies, COMPASS - Proceedings of the Annual Conference on Computer Assurance (January, 1997), pp. 88-96, Gaithersburg, MD, USA [CMPASS.1997.613248]  [abs]
  396. Ciardo, G; Nicol, D; Trivedi, KS, Discrete-event simulation of fluid stochastic Petri nets, International Workshop on Petri Nets and Performance Models (January, 1997), pp. 217-225, IEEE Comput. Soc [doi]  [abs]
  397. Tai, AT; Trivedi, KS; Hecht, H, On the development of dependability-evaluation workbench for high-assurance system designers, Proceedings of the High-Assurance Systems Engineering Workshop (January, 1997), pp. 2-7, IEEE Comput. Soc [doi]  [abs]
  398. Gokhale, SS; Marinos, PN; Lyu, MR; Trivedi, KS, Effect of repair policies on software reliability, COMPASS - Proceedings of the Annual Conference on Computer Assurance (January, 1997), pp. 105-116, Gaithersburg, MD, USA [CMPASS.1997.613262]  [abs]
  399. Balakrishnan, M; Puliafito, A; Trivedi, K; Viniotis, Y, Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach, Telecommunication Systems, vol. 7 no. 1-3 (January, 1997), pp. 105-123, ISSN 1018-4864 [doi]  [abs]
  400. Hunter, S; Philip, T; Trivedi, K, Combined performance and availability analysis of a switched network application, IEEE International Conference on Communications, vol. 1 (January, 1997), pp. 241-245, IEEE, Montreal, Can [ICC.1997.605215], [doi]  [abs]
  401. Logothetis, D; Trivedi, K, The Effect of Detection and Restoration Times for Error Recovery in Communication Networks, Journal of Network and Systems Management, vol. 5 no. 2 (January, 1997), pp. 173-195, ISSN 1064-7570 [A:1018722928191], [doi]  [abs]
  402. Mainkar, V; Trivedi, KS, Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models, IEEE Transactions on Software Engineering, vol. 22 no. 9 (December, 1996), pp. 640-653, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0098-5589 [doi]  [abs]
  403. Bänsch, K; Heini, A; Malhotra, M; Trivedi, K, Comment/correction: dependability modeling using petri nets, IEEE Transactions on Reliability, vol. 45 no. 2 (December, 1996), pp. 272-273, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [doi]  [abs]
  404. Gokhale, SS; Philip, T; Marinos, PN; Trivedi, KS, Unification of finite failure non-homogeneous Poisson process models through test coverage, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (December, 1996), pp. 299-307, IEEE Comput. Soc. Press, White Plains, NY, USA [ISSRE.1996.558886], [doi]  [abs]
  405. Fricks, R; Hunter, S; Garg, S; Trivedi, KS, IDEA: Integrated design environment for assessment of ATM networks, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (December, 1996), pp. 27-34, IEEE Comput. Soc. Press, Montreal, Can [ICECCS.1996.558327], [doi]  [abs]
  406. Leemis, L; Trivedi, KS, A comparison of approximate interval estimators for the Bernoulli parameter, AMERICAN STATISTICIAN, vol. 50 no. 4 (November, 1996), pp. 388-389, AMER STATISTICAL ASSOC, ISSN 0003-1305 [Gateway.cgi]
  407. Garg, S; Huang, Y; Kintala, C; Trivedi, KS, Minimizing completion time of a program by checkpointing and rejuvenation, SIGMETRICS 1996 - Proceedings of the 1996 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems (May, 1996), pp. 252-261, ISBN 9780897917933 [doi]  [abs]
  408. Gokhale, SS; Marines, PN; Trivedi, KS, Important milestones in software reliability modeling, SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS (January, 1996), pp. 345-352, KNOWLEDGE SYSTEMS INSTITUTE, ISBN 0-9641699-3-2 [html]
  409. Hecht, H; Tai, AT; Trivedi, KS; Chruscicki, AJ, User-friendly dependability evaluation tool, IEEE Proceedings of the National Aerospace and Electronics Conference, vol. 2 (January, 1996), pp. 637-641  [abs]
  410. Sahner, RA; Trivedi, KS, SHARPE: a modeler's toolkit, Proceedings -IEEE International Computer Performance and Dependability Symposium, IPDS (January, 1996), pp. 58, IEEE Comput. Soc. Press [doi]  [abs]
  411. Wang, CY; Logothetis, D; Trivedi, KS; Viniotis, I, Transient behavior of ATM networks under overloads, Proceedings - IEEE INFOCOM, vol. 3 (January, 1996), pp. 978-985, San Francisco, CA, USA [INFCOM.1996.493039]  [abs]
  412. Leemis, LM; Trivedi, KS, A Comparison of Approximate Interval Estimators for the Bernoulli Parameter, American Statistician, vol. 50 no. 1 (January, 1996), pp. 63-68, Informa UK Limited [doi]  [abs]
  413. Pfening, A; Garg, S; Puliafito, A; Telek, M; Trivedi, KS, Optimal software rejuvenation for tolerating soft failures, Performance Evaluation, vol. 27-28 (January, 1996), pp. 491-506 [doi]  [abs]
  414. Heidelberger, P; Muppala, JK; Trivedi, KS, Accelerating mean time to failure computations, Performance Evaluation, vol. 27-28 no. 1 (January, 1996), pp. 627-645, Elsevier BV [doi]  [abs]
  415. Garg, S; Kintala, C; Huang, Y; Trivedi, KS, Minimizing completion time of a program by checkpointing and rejuvenation, Performance Evaluation Review, vol. 24 no. 1 (January, 1996), pp. 252-261, Association for Computing Machinery (ACM), Philadelphia, PA, USA [doi]  [abs]
  416. Balakrishnan, M; Trivedi, KS, Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing, Reliability Engineering and System Safety, vol. 52 no. 3 SPEC. ISS. (January, 1996), pp. 243-259, Elsevier BV [0951-8320(95)00132-8], [doi]  [abs]
  417. Klotz, JH; Leemis, L; Trivedi, KS, Leemis, Lawrence M., and Trivedi, Kishor S. (1996), “A comparison of approximate interval estimators for the bernoulli parameter,” the American statistician, 50, 63-68: Comment by klotz and reply, American Statistician, vol. 50 no. 4 (January, 1996), pp. 388-389
  418. Logothetis, D; Trivedi, K, Effect of detection and restoration times for error recovery in communication networks, Proceedings - IEEE Military Communications Conference MILCOM, vol. 2 (December, 1995), pp. 663-667  [abs]
  419. Bobbio, A; Kulkarni, VG; Puliafito, A; Telek, M; Trivedi, KS, Preemptive repeat identical transitions in Markov regenerative stochastic Petri Nets, International Workshop on Petri Nets and Performance Models (December, 1995), pp. 113-122  [abs]
  420. Garg, S; Telek, M; Puliafito, A; Trivedi, KS, Analysis of software rejuvenation using Markov regenerative stochastic petri net, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (December, 1995), pp. 180-187, IEEE Comput. Soc. Press, Toulouse, Fr [ISSRE.1995.497656], [doi]  [abs]
  421. German, R; Logothetis, D; Trivedi, KS, Transient analysis of Markov regenerative stochastic petri nets: a comparison of approaches, International Workshop on Petri Nets and Performance Models (December, 1995), pp. 103-112  [abs]
  422. Greiner, S; Puliafito, A; Bolch, G; Trivedi, KS, Performance evaluation of dynamic priority operating systems, International Workshop on Petri Nets and Performance Models (December, 1995), pp. 241-250, Durham, NC, USA [PNPM.1995.524340]  [abs]
  423. Mainkar, V; Trivedi, KS, Fixed point iteration using stochastic reward nets, International Workshop on Petri Nets and Performance Models (December, 1995), pp. 21-30  [abs]
  424. Trivedi, KS; German, R; Bobbio, A; Puliafito, A; Ciardo, G; Telek, M, Non-Markovian Petri Nets, edited by Gaither, BD, Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995 (May, 1995), pp. 263-264, ACM Press, ISBN 9780897916950 [223587], [doi]  [abs]
  425. Mainkar, V; Trivedi, KS; Rindos, AJ, Approximate computation of sojourn time distribution in open queueing networks, edited by Stewart, WJ, COMPUTATIONS WITH MARKOV CHAINS (January, 1995), pp. 599-600, KLUWER ACADEMIC PUBL, ISBN 0-7923-9550-6 [Gateway.cgi]
  426. MAINKAR, V; TRIVEDI, KS, TRANSIENT ANALYSIS OF REAL-TIME SYSTEMS USING DETERMINISTIC AND STOCHASTIC PETRI NETS, edited by Hommel, G, QUALITY OF COMMUNICATION-BASED SYSTEMS (January, 1995), pp. 69-84, KLUWER ACADEMIC PUBL, Berlin, Germany, ISBN 0-7923-3259-8 [Gateway.cgi]  [abs]
  427. Telek, M; Bobbio, A; Jereb, L; Puliafito, A; Trivedi, KS, Steady state analysis of markov regenerative SPN with age memory policy, edited by Beilner, H; Bause, F, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 977 (January, 1995), pp. 165-179, SPRINGER, ISBN 9783540603009 [html], [doi]  [abs]
  428. Rai, S; Veeraraghavan, M; Trivedi, KS, A survey of efficient reliability computation using disjoint products approach, Networks, vol. 25 no. 3 (January, 1995), pp. 147-163, WILEY [doi]  [abs]
  429. Trivedi, KS; Puliafito, A; Logothetis, D, From stochastic Petri nets to Markov regenerative stochastic Petri nets, edited by Dowd, PW; Gelenbe, E, Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS (January, 1995), pp. 194-198, IEEE Comput. Soc. Press, Durham, NC, USA, ISBN 9780818669026 [mostRecentIssue.jsp], [doi]  [abs]
  430. Balakrishnan, M; Trivedi, K, Componentwise decomposition for an efficient reliability computation of systems with repairable components, Proceedings - Annual International Conference on Fault-Tolerant Computing (January, 1995), pp. 259-268, IEEE Comput. Soc. Press, Pasadena, CA, USA [FTCS.1995.466972], [doi]  [abs]
  431. Logothetis, D; Trivedi, KS; Puliafito, A, Markov regenerative models, Proceedings - International Computer Performance and Dependability Symposium (January, 1995), pp. 134-142  [abs]
  432. Puliafito, A; Balakrishnan, M; Trivedi, KS; Viniotis, I, Buffer sizing for ABR traffic in an ATM switch, IEEE International Conference on Communications, vol. 1 (January, 1995), pp. 316-320  [abs]
  433. Ramesh, AV; Trivedi, K, Semi-numerical transient analysis of Markov models, Proceedings of the Annual Southeast Conference (January, 1995), pp. 13-23, Clemson, SC, USA [doi]  [abs]
  434. Choi, H; Kulkarni, VG; Trivedi, KS, Performance evaluation. Erratum to "Markov regenerative stochastic Petri nets" [20 (1994) 337-357] (PII:0166-5316(94)90021-3), Performance Evaluation, vol. 21 no. 3 (January, 1995), pp. 271, ISSN 0166-5316 [doi]
  435. Malhotra, M; Trivedi, KS, Dependability Modeling Using Petri-Nets, IEEE Transactions on Reliability, vol. 44 no. 3 (January, 1995), pp. 428-440, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  436. Lindemann, C; Malhotra, M; Trivedi, KS, Numerical Methods for Reliability Evaluation of Markov Closed Fault-Tolerant Systems, IEEE Transactions on Reliability, vol. 44 no. 4 (January, 1995), pp. 694-704, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  437. Malhotra, M; Trivedi, KS, Data integrity analysis of disk array systems with analytic modeling of coverage, Performance Evaluation, vol. 22 no. 1 (January, 1995), pp. 111-133, Elsevier BV, ISSN 0166-5316 [0166-5316(93)E0041-3], [doi]  [abs]
  438. Constantinescu, C; Trivedi, K, Dependability modeling of real-time systems using stochastic reward nets, Microelectronics Reliability, vol. 35 no. 6 (January, 1995), pp. 903-914, Elsevier BV, ISSN 0026-2714 [0026-2714(94)00150-M], [doi]  [abs]
  439. Logothetis, D; Trivedi, K, Time-dependent behavior of redundant systems with deterministic repair, edited by Stewart, WJ, COMPUTATIONS WITH MARKOV CHAINS (January, 1995), pp. 135-150, KLUWER ACADEMIC PUBL, ISBN 0-7923-9550-6
  440. Rindos, A; Woolet, S; Viniotis, I; Trivedi, K, Exact methods for the transient analysis of nonhomogeneous continuous time Markov chains, edited by Stewart, WJ, COMPUTATIONS WITH MARKOV CHAINS (January, 1995), pp. 121-133, KLUWER ACADEMIC PUBL, ISBN 0-7923-9550-6
  441. Ramesh, A.V. and Trivedi, Kishor, Semi-numerical transient analysis of Markov models, Proceedings of the Annual Southeast Conference (1995), pp. 13 - 23, Clemson, CA, USA  [abs]
  442. 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), pp. 35 - 1, Ilkley, UK  [abs]
  443. 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), pp. 259 - 268, Pasadena, CA, USA [FTCS.1995.466972]  [abs]
  444. IYER, RK; TRIVEDI, KS; GOLDBERG, J, INTRODUCTION TO THE SPECIAL ISSUE ON FAULT-TOLERANT COMPUTING, IEEE TRANSACTIONS ON COMPUTERS, vol. 44 no. 2 (1995), pp. 165-167, ISSN 0018-9340 [Gateway.cgi]
  445. Logothetis, D; Trivedi, K, Transient analysis of the leaky bucket rate control scheme under poisson and on-off sources, Proceedings - IEEE INFOCOM, vol. 2 (December, 1994), pp. 490-497, IEEE Comput. Soc. Press, Toronto, Ont, Can [INFCOM.1994.337694], [doi]  [abs]
  446. de Meer, H; Trivedi, KS; Dal Cin, M, Guarded repair of dependable systems, Theoretical Computer Science, vol. 128 no. 1-2 (June, 1994), pp. 179-210, Elsevier BV, ISSN 0304-3975 [0304-3975(94)90169-4], [doi]  [abs]
  447. Muppala, JK; Trivedi, KS; Mainkar, V; Kulkarni, VG, Numerical computation of response time distributions using stochastic reward nets, Annals of Operations Research, vol. 48 no. 2 (April, 1994), pp. 155-184, Springer Nature, ISSN 0254-5330 [doi]  [abs]
  448. Trivedi, KS; Haverkort, BR; Rindos, A; Mainkar, V, Techniques and tools for reliability and performance evaluation: Problems and perspectives, edited by Haring, G; Kotsis, G, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 794 (January, 1994), pp. 1-24, SPRINGER, Vienna, Austria, ISBN 9783540484165 [html], [doi]  [abs]
  449. Wei, W; Shah, BV; Trivedi, KS; Profeta, JA, Impact of fault expansion on the interval estimate for fault detection coverage, Digest of Papers - International Symposium on Fault-Tolerant Computing (January, 1994), pp. 330-337, Austin, TX, USA  [abs]
  450. Trivedi, KS; Malhotra, M; Fricks, RM, Markov reward approach to performability and reliability analysis, Proceedings of the IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (January, 1994), pp. 7-11, Durham, NC, USA [MASCOT.1994.284455]  [abs]
  451. Malhotra, M; Muppala, JK; Trivedi, KS, Stiffness-tolerant methods for transient analysis of stiff Markov chains, Microelectronics Reliability, vol. 34 no. 11 (January, 1994), pp. 1825-1841, Elsevier BV, ISSN 0026-2714 [doi]  [abs]
  452. Choi, H; Kulkarni, VG; Trivedi, KS, Markov regenerative stochastic Petri nets, Performance Evaluation, vol. 20 no. 1-3 (January, 1994), pp. 337-357, Elsevier BV, ISSN 0166-5316 [doi]  [abs]
  453. Veeraraghavan, M; Trivedi, KS, A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models, IEEE Transactions on Computers, vol. 43 no. 2 (January, 1994), pp. 229-234, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  454. Somani, AK; Trivedi, KS, Phased-mission system analysis using boolean algebraic methods, Performance Evaluation Review, vol. 22 no. 1 (January, 1994), pp. 98-107, Association for Computing Machinery (ACM) [doi]  [abs]
  455. Malhotra, M; Trivedi, KS, Power-Hierarchy of Dependability-Model Types, IEEE Transactions on Reliability, vol. 43 no. 3 (January, 1994), pp. 493-502, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [doi]  [abs]
  456. Tomek, L; Mainkar, V; Geist, RM; Trivedi, KS, Reliability Modeling of Life-Critical, Real-Time Systems, Proceedings of the IEEE, vol. 82 no. 1 (January, 1994), pp. 108-121, Institute of Electrical and Electronics Engineers (IEEE) [5.259430], [doi]  [abs]
  457. Logothetis, D; Trivedi, KS, Reliability Analysis of the Double Counter-Rotating Ring with Concentrator Attachments, IEEE/ACM Transactions on Networking, vol. 2 no. 5 (January, 1994), pp. 520-532, Institute of Electrical and Electronics Engineers (IEEE) [90.336320], [doi]  [abs]
  458. Constazltinescu, C; Trivedi, K, A stochastic reward net model for dependability analysis of real-time computing systems, Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994 (January, 1994), pp. 142-146, Washington, DC, USA, ISBN 9780818663758 [RTA.1994.316162], [doi]  [abs]
  459. Wang, W; Trivedi, KS, Coverage Evaluation Through Fault Injection: Fault Sampling and Statistical Analysis, 3rd IEEE International Workshop on Integrating Error Models with Fault Injection, WIEM 1994 (January, 1994), pp. 31-32 [doi]
  460. 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), pp. 330 - 7, Austin, TX, USA [FTCS.1994.315627]  [abs]
  461. Veeraraghavan, M; Trivedi, KS, Approach for combinatorial performance and availability analysis (December, 1993), pp. 24-33  [abs]
  462. Geist, R; Trivedi, K, Analytic treatment of the reliability and performance of mirrored disk subsystems, Digest of Papers - International Symposium on Fault-Tolerant Computing (December, 1993), pp. 442-450  [abs]
  463. Haverkort, BR; Trivedi, KS, Specification techniques for Markov reward models, Discrete Event Dynamic Systems: Theory and Applications, vol. 3 no. 2-3 (July, 1993), pp. 219-247, Springer Nature, ISSN 0924-6703 [doi]  [abs]
  464. Ramesh, AV; Trivedi, K, On the sensitivity of transient solutions of Markov models, edited by Owicki, SS; Muntz, RR, Proceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993, vol. 21 no. 1 (June, 1993), pp. 122-134, ACM Press, Santa Clara, CA, USA [166955], [doi]  [abs]
  465. Trivedi, KS; Ciardo, G; Malhotra, M; Sahner, RA, Dependability and performability analysis, edited by Donatiello, L; Nelson, RD, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 729 LNCS (January, 1993), pp. 587-612, SPRINGER, Rome, Italy and Santa Clara, CA, USA, ISBN 9783540572978 [html], [doi]  [abs]
  466. CHOI, H; MAINKAR, V; TRIVEDI, KS, SENSITIVITY ANALYSIS OF DETERMINISTIC AND STOCHASTIC PETRI NETS, edited by Schwetman, H; Walrand, J; Bagchi, K; DeGroot, D, MASCOTS '93, vol. 25 no. 1 (January, 1993), pp. 271-276, SOC COMPUTER SIMULATION INT, San Diego, CA, USA, ISBN 1-56555-018-8 [html]  [abs]
  467. Trivedi, KS; Kulkarni, VG, FSPNs: Fluid stochastic petri nets, edited by Marsan, MA, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 691 LNCS (January, 1993), pp. 24-31, SPRINGER, Chicago, IL, USA, ISBN 9783540568636 [html], [doi]  [abs]
  468. Wang, CY; Trivedi, KS, Integration of specification for modeling and specification for system design, edited by Marsan, MA, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 691 LNCS (January, 1993), pp. 473-492, SPRINGER, Chicago, IL, USA, ISBN 9783540568636 [html], [doi]  [abs]
  469. Choi, H; Kulkarni, VG; Trivedi, KS, Transient analysis of deterministic and stochastic petri nets, edited by Marsan, MA, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 691 LNCS (January, 1993), pp. 166-185, SPRINGER, Chicago, IL, USA, ISBN 9783540568636 [html], [doi]  [abs]
  470. Choi, H; Trivedi, KS, Conditional MTTF and its computation in Markov reliability models, Proceedings of the Annual Reliability and Maintainability Symposium (January, 1993), pp. 56-63, IEEE, Atlanta, GA, USA [RAMS.1993.296876], [doi]  [abs]
  471. Mainkar, V; Trivedi, KS, Approximate analysis of priority scheduling systems using stochastic reward nets, Proceedings - International Conference on Distributed Computing Systems (January, 1993), pp. 466-473, IEEE Comput. Soc. Press, Pittsburgh, PA, USA [ICDCS.1993.287678], [doi]  [abs]
  472. Malhotra, M; Trivedi, KS, Reliability analysis of redundant arrays of inexpensive disks, Journal of Parallel and Distributed Computing, vol. 17 no. 1-2 (January, 1993), pp. 146-151, Elsevier BV, ISSN 0743-7315 [doi]  [abs]
  473. Ciardo, G; Trivedi, KS, A decomposition approach for stochastic reward net models, Performance Evaluation, vol. 18 no. 1 (January, 1993), pp. 37-59, Elsevier BV, ISSN 0166-5316 [doi]  [abs]
  474. Ibe, OC; Choi, H; Trivedi, KS, Performance Evaluation of Client-Server Systems, IEEE Transactions on Parallel and Distributed Systems, vol. 4 no. 11 (January, 1993), pp. 1217-1229, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  475. Lopez-Benitez, N; Trivedi, KS, Multiprocessor Performability Analysis, IEEE Transactions on Reliability, vol. 42 no. 4 (January, 1993), pp. 579-587, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  476. Logothetis, D; Trivedi, K, Reliability analysis of various station attachment schemes in a FDDI token ring, Proceedings - IEEE INFOCOM, vol. 1 (January, 1993), pp. 201-205, IEEE Comnput. Soc. Press, San Francisco, CA, USA [INFCOM.1993.253232], [doi]  [abs]
  477. Sahner, RA, A Software Tool for Learning About Stochastic Models, IEEE Transactions on Education, vol. 36 no. 1 (January, 1993), pp. 56-61, Institute of Electrical and Electronics Engineers (IEEE) [13.204817], [doi]  [abs]
  478. Tomek, LA, Modeling Correlation in Software Recovery Blocks, IEEE Transactions on Software Engineering, vol. 19 no. 11 (January, 1993), pp. 1071-1086, Institute of Electrical and Electronics Engineers (IEEE) [32.256854], [doi]  [abs]
  479. Chimento, PF, The Completion Time of Programs on Processors Subject to Failure and Repair, IEEE Transactions on Computers, vol. 42 no. 10 (January, 1993), pp. 1184-1194, Institute of Electrical and Electronics Engineers (IEEE) [12.257705], [doi]  [abs]
  480. Malhotra, M; Trivedi, KS, A methodology for formal expression of hierarchy in model solution, Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993 (January, 1993), pp. 258-267, ISBN 9780818642500 [doi]  [abs]
  481. Mainkar, V; Choi, H; Trivedi, K, Sensitivity analysis of Markov regenerative stochastic Petri nets, Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993 (January, 1993), pp. 180-189, Toulouse, France, ISBN 9780818642500 [PNPM.1993.393452], [doi]  [abs]
  482. MUPPALA, JK; CIARDO, G; TRIVEDI, KS, MODELING USING STOCHASTIC REWARD NETS, edited by Schwetman, HD; Walrand, JC; Bagchi, KK; DeGroot, D, MASCOTS '93, vol. 25 no. 1 (1993), pp. 367-372, The Society for Computer Simulation, ISBN 1-56555-018-8 [html]
  483. CIARDO, G; TRIVEDI, KS, SPNP - THE STOCHASTIC PETRI-NET PACKAGE (VERSION 3.1), edited by Schwetman, HD; Walrand, JC; Bagchi, KK; DeGroot, D, MASCOTS '93, vol. 25 no. 1 (1993), pp. 390-391, The Society for Computer Simulation, ISBN 1-56555-018-8 [html]
  484. Meer, HD; Trivedi, KS, Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems., edited by Walke, B; Spaniol, O, MMB (1993), pp. 159-172, Springer, ISBN 3-540-57201-5 [978-3-642-78495-8], [doi]
  485. Trivedi, KS; Malhotra, M, Reliability and Performability Techniques and Tools: A Survey., edited by Walke, B; Spaniol, O, MMB (1993), pp. 27-48, Springer, ISBN 3-540-57201-5 [978-3-642-78495-8], [doi]
  486. Geist, R; Trivedi, KS, An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems., FTCS (1993), pp. 442-450, IEEE Computer Society, ISBN 0-8186-3680-7 [mostRecentIssue.jsp], [doi]
  487. Veeraraghavan, M; Trivedi, KS, An approach for combinatorial performance and availability analysis, Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems (1993), pp. 24-33, IEEE Comput. Soc. Press, ISBN 0818643102 [mostRecentIssue.jsp], [doi]
  488. Choi, H; Trivedi, KS, Approximate performance models of polling systems using stochastic Petri nets, Proceedings - IEEE INFOCOM, vol. 3 (December, 1992), pp. 2306-2314, IEEE, Florence, Italy [INFCOM.1992.263520], [doi]  [abs]
  489. IYER, RK; TRIVEDI, KS, MEASUREMENT AND ANALYSIS OF PARALLEL AND DISTRIBUTED SYSTEMS - INTRODUCTION, IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. 3 no. 6 (November, 1992), pp. 641-642, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, ISSN 1045-9219 [Gateway.cgi]
  490. Trivedi, KS; Muppala, JK; Woolet, SP; Haverkort, BR, Composite performance and dependability analysis, Performance Evaluation, vol. 14 no. 3-4 (January, 1992), pp. 197-215, Elsevier BV, ISSN 0166-5316 [doi]  [abs]
  491. Nicola, V; Bobbio, A; Trivedi, K, A unified performance reliability analysis of a system with a cumulative down time constraint, Microelectronics Reliability, vol. 32 no. 1-2 (January, 1992), pp. 49-65, Elsevier BV, ISSN 0026-2714 [doi]  [abs]
  492. Ciardo, G; Muppala, JK; Trivedi, KS, Analyzing concurrent and fault-tolerant software using stochastic reward nets, Journal of Parallel and Distributed Computing, vol. 15 no. 3 (January, 1992), pp. 255-269, Elsevier BV, ISSN 0743-7315 [doi]  [abs]
  493. MUPPALA, JK; TRIVEDI, KS, COMPOSITE PERFORMANCE AND AVAILABILITY ANALYSIS USING A HIERARCHY OF STOCHASTIC REWARD NETS, COMPUTER PERFORMANCE EVALUATION (1992), pp. 335-349, Torino, Italy, ISBN 0-444-88989-2 [Gateway.cgi]  [abs]
  494. SAHNER, RA; TRIVEDI, KS, A TOOLCHEST FOR STOCHASTIC-MODELS, INTERNATIONAL CONFERENCE ON SIMULATION IN ENGINEERING EDUCATION, vol. 24 (1992), pp. 25-30, ISBN 1-56555-001-3 [Gateway.cgi]
  495. Iyer, RK; Trivedi, KS, Guest Editors' Introduction., IEEE Trans. Parallel Distributed Syst., vol. 3 (1992), pp. 641-642 [doi]
  496. Ibe, OC; Trivedi, KS, Stochastic petri net analysis of finite-population vacation queueing systems, Queueing Systems, vol. 8 no. 1 (December, 1991), pp. 111-127, Springer Nature, ISSN 0257-0130 [doi]  [abs]
  497. Logothetis, D; Trivedi, K, Reliability analysis of the FDDI token ring, Proceedings - Conference on Local Computer Networks, LCN, vol. 1991-October (January, 1991), pp. 41-51, IEEE Comput. Soc. Press, Minneapolis, MN, USA, ISBN 0818623705 [mostRecentIssue.jsp], [doi]  [abs]
  498. Veeraraghavan, M; Trivedi, KS, An Improved Algorithm for Symbolic Reliability Analysis, IEEE Transactions on Reliability, vol. 40 no. 3 (January, 1991), pp. 347-358, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [Gateway.cgi], [doi]  [abs]
  499. Ciardo, G; Trivedi, KS, A decomposition approach for stochastic Petri net models, Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991 (January, 1991), pp. 74-83, IEEE Comput. Soc, ISBN 9780818622854 [doi]  [abs]
  500. Kantz, H; Trivedi, K, Reliability modeling of the MARS system: A case study in the use of different tools and techniques, Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991 (January, 1991), pp. 268-277, IEEE Comput. Soc, ISBN 9780818622854 [doi]  [abs]
  501. Heimann, DI; Mittal, N; Trivedi, KS, Dependability modeling for computer systems, Proceedings of the Annual Reliability and Maintainability Symposium (January, 1991), pp. 120-128, IEEE [doi]  [abs]
  502. Ciardo, G; Muppala, J; Trivedi, KS, On the solution of GSPN reward models, Performance Evaluation, vol. 12 no. 4 (January, 1991), pp. 237-253, Elsevier BV, ISSN 0166-5316 [doi]  [abs]
  503. Muppala, JK; University, D; Woolet, SP; Trivedi, KS, Real-Time-Systems Performance in the Presence of Failures, Computer, vol. 24 no. 5 (January, 1991), pp. 37-47, Institute of Electrical and Electronics Engineers (IEEE) [2.76285], [doi]  [abs]
  504. HEIMANN, DI; MITTAL, N; TRIVEDI, KS, DEPENDABILITY MODELING FOR COMPUTER-SYSTEMS, PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM no. SYM (1991), pp. 120-128, ISSN 0149-144X [Gateway.cgi], [doi]
  505. SAHNER, RA; TRIVEDI, KS, SHARPE - SYMBOLIC HIERARCHICAL AUTOMATED RELIABILITY AND PERFORMANCE EVALUATOR, NUMERICAL SOLUTION OF MARKOV CHAINS, vol. 8 (1991), pp. 695-696, ISBN 0-8247-8405-7 [Gateway.cgi]
  506. CIARDO, G; TRIVEDI, KS, SOLUTION OF LARGE GSPN MODELS, NUMERICAL SOLUTION OF MARKOV CHAINS, vol. 8 (1991), pp. 565-595, ISBN 0-8247-8405-7 [Gateway.cgi]
  507. CIARDO, G; MUPPALA, J; TRIVEDI, KS, SPNP - THE STOCHASTIC PETRI NET PACKAGE, NUMERICAL SOLUTION OF MARKOV CHAINS, vol. 8 (1991), pp. 693-694, ISBN 0-8247-8405-7 [Gateway.cgi]
  508. Tomek, LA; Trivedi, KS, Fixed Point Iteration in Availability Modeling., edited by Cin, MD; Hohl, W, Fault-Tolerant Computing Systems, vol. 283 (1991), pp. 229-240, Springer, Nurnberg, Germany, ISBN 3-540-54545-X [html]  [abs]
  509. Veeraraghavan, M; Trivedi, KS, An improved algorithm for the symbolic reliability analysis of networks, Proceedings - Symposium on Reliability in Distributed Software and Database Systems (December, 1990), pp. 34-43  [abs]
  510. Ibe, OC; Trivedi, KS, Two queues with alternating service and server breakdown, Queueing Systems, vol. 7 no. 3-4 (September, 1990), pp. 253-268, Springer Nature, ISSN 0257-0130 [doi]  [abs]
  511. Muppala, JK; Trivedi, KS, GSPN Models: Sensitivity analysis and applications, Proceedings - 28th Annual Southeast Regional Conference, ACM-SE 1990 (April, 1990), pp. 25-33, ISBN 9780897913560  [abs]
  512. Heimann, DI; Mittal, N; Trivedi, KS, Availability and Reliability Modeling for Computer Systems, Advances in Computers, vol. 31 no. C (January, 1990), pp. 175-233, Elsevier, ISSN 0065-2458 [doi]  [abs]
  513. Trivedi, KS; Sathaye, AS; Ibe, OC; Howe, RC, Should I add a processor?, Proceedings of the Hawaii International Conference on System Science, vol. 1 (January, 1990), pp. 214-221, Kailua-Kona, HI, USA  [abs]
  514. Geist, R; Trivedi, K, Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques, Computer, vol. 23 no. 7 (January, 1990), pp. 52-61, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  515. Calzarossa, M; Marie, R; Trivedi, KS, System performance with user behavior graphs, Performance Evaluation, vol. 11 no. 3 (January, 1990), pp. 155-164, Elsevier BV, ISSN 0166-5316 [doi]  [abs]
  516. Ibe, OC; Trivedi, KS, Stochastic Petri Net Models of Polling Systems, IEEE Journal on Selected Areas in Communications, vol. 8 no. 9 (January, 1990), pp. 1649-1657, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  517. Ciardo, G; Marie, RA; Sericola, B; Trivedi, KS, Performability Analysis Using Semi-Markov Reward Processes, IEEE Transactions on Computers, vol. 39 no. 10 (January, 1990), pp. 1251-1264, Institute of Electrical and Electronics Engineers (IEEE) [12.59855], [doi]  [abs]
  518. Bobbio, A; Trivedi, K, Computing Cumulative Measures of Stiff Markov Chains Using Aggregation, IEEE Transactions on Computers, vol. 39 no. 10 (January, 1990), pp. 1291-1298, Institute of Electrical and Electronics Engineers (IEEE) [12.59859], [doi]  [abs]
  519. Bobbio, A; Trivedi, KS, Computation of the distribution of the completion time when the work requirement is a ph random variable, Communications in Statistics. Stochastic Models, vol. 6 no. 1 (January, 1990), pp. 133-150, Informa UK Limited [doi]  [abs]
  520. Kulkarni, VG; Nicola, VF; Trivedi, KS, Effects of checkpointing and queueing on program performance, Communications in Statistics. Stochastic Models, vol. 6 no. 4 (January, 1990), pp. 615-648, Informa UK Limited [doi]  [abs]
  521. 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), pp. 214 - 21, Kailua-Kona, HI, USA [HICSS.1990.205119]  [abs]
  522. Muppala, JK; Trivedi, KS, GSPM models: sensitivity analysis and applications., edited by Turner, AJ, ACM Southeast Regional Conference (1990), pp. 25-33, ACM, ISBN 0-89791-356-6 [html], [doi]
  523. Ciardo, G; Muppala, J; Trivedi, K, SPNP: Stochastic Petri Net Package (December, 1989), pp. 142-151, Kyoto, Japan [PNPM.1989.68548]  [abs]
  524. Thambidurai, P; Trivedi, KS, Transient overloads in fault-tolerant real-time systems, Proceedings - Real-Time Systems Symposium (December, 1989), pp. 126-133  [abs]
  525. Chimento, PF; Trivedi, KS, Completion time of programs on concurrent processors with failure and repair, Proceedings of the International Conference on Parallel Processing, vol. 1 (December, 1989), pp. 167-171, St. Charles, IL, USA  [abs]
  526. Ibe, OC; Sathaye, A; Howe, RC; Trivedi, KS, Stochastic Petri net modeling of VAXcluster system availability (December, 1989), pp. 112-121  [abs]
  527. Thambidurai, P; Park, YK; Trivedi, KS, On reliability modelling of fault-tolerant distributed systems, Proceedings - International Conference on Distributed Computing Systems (June, 1989), pp. 136-142  [abs]
  528. Reibman, A; Smith, R; Trivedi, K, Markov and Markov reward model transient analysis: An overview of numerical approaches, European Journal of Operational Research, vol. 40 no. 2 (May, 1989), pp. 257-267, Elsevier BV, ISSN 0377-2217 [0377-2217(89)90335-4], [doi]  [abs]
  529. Reibman, A; Trivedi, K; Kumar, S; Ciardo, G, Analysis of Stiff Markov Chains, ORSA Journal on Computing, vol. 1 no. 2 (May, 1989), pp. 126-133, Institute for Operations Research and the Management Sciences (INFORMS) [doi]  [abs]
  530. Dement, JM, Message from the chair, Applied Industrial Hygiene, vol. 4 no. 12 (January, 1989), pp. F-6-F-6, Informa UK Limited, ISBN 9781450328425 [doi]
  531. McGough, J; Reibman, A; Trivedi, K, Markov reliability models for digital flight control systems, Journal of Guidance, Control, and Dynamics, vol. 12 no. 2 (January, 1989), pp. 209-219, American Institute of Aeronautics and Astronautics (AIAA) [doi]  [abs]
  532. Blake, JT; Trivedi, KS, Reliability Analysis of Interconnection Networks Using Hierarchical Composition, IEEE Transactions on Reliability, vol. 38 no. 1 (January, 1989), pp. 111-120, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  533. Ibe, OC; Howe, RC; Trivedi, KS, Approximate Availability Analysis of VAXcluster Systems, IEEE Transactions on Reliability, vol. 38 no. 1 (January, 1989), pp. 146-152, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  534. Smith, WE; Trivedi, KS, Dependability evaluation of a class of multi-loop topologies for local area networks, IBM Journal of Research and Development, vol. 33 no. 5 (January, 1989), pp. 511-523, IBM [doi]  [abs]
  535. Blake, JT; Trivedi, KS, Multistage Interconnection Network Reliability, IEEE Transactions on Computers, vol. 38 no. 11 (January, 1989), pp. 1600-1604, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  536. Dugan, JB; Trivedi, KS, Coverage Modeling for Dependability Analysis of Faulttolerant Systems, IEEE Transactions on Computers, vol. 38 no. 6 (January, 1989), pp. 775-787, Institute of Electrical and Electronics Engineers (IEEE) [12.24286], [doi]  [abs]
  537. Reibman, A; Trivedi, K, Transient analysis of cumulative measures of markov model behavior, Communications in Statistics. Stochastic Models, vol. 5 no. 4 (January, 1989), pp. 683-710, Informa UK Limited [doi]  [abs]
  538. Blake, JT; Trivedi, KS, Reliabilities of two fault-tolerant interconnection networks., Digest of Papers - FTCS (Fault-Tolerant Computing Symposium) (December, 1988), pp. 300-305, Tokyo, Jpn [5335]  [abs]
  539. Bavuso, SJ; Dugan, JB; Trivedi, K; Rothmann, B; Boyd, M, Applications of the hybrid automated reliability predictor no. 2760 (December, 1988)  [abs]
  540. Blake, JT; Trivedi, KS, RELIABILITY OF THE SHUFFLE-EXCHANGE NETWORK AND ITS VARIANTS., Proceedings of the Hawaii International Conference on System Science (January, 1988), pp. 174-182, Kailua-Kona, HI, USA [HICSS.1988.11763], [doi]  [abs]
  541. Geist, R; Smotherman, M; Trivedi, K; Dugan, J, The use of Weibull fault processes in modeling fault tolerant systems, Journal of Guidance, Control, and Dynamics, vol. 11 no. 1 (January, 1988), pp. 91-93, American Institute of Aeronautics and Astronautics (AIAA) [doi]  [abs]
  542. Hsueh, MC; Iyer, RK, Performability Modeling Based on Real Data: A Case Study, IEEE Transactions on Computers, vol. 37 no. 4 (January, 1988), pp. 478-484, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  543. Smith, RM; Trivedi, KS; Ramesh, AV, Performability Analysis: Measures, an Algorithm, and a Case Study, IEEE Transactions on Computers, vol. 37 no. 4 (January, 1988), pp. 406-417, Institute of Electrical and Electronics Engineers (IEEE) [2184], [doi]  [abs]
  544. Reibman, A; Trivedi, K, Numerical transient analysis of markov models, Computers and Operations Research, vol. 15 no. 1 (January, 1988), pp. 19-36, Elsevier BV, ISSN 0305-0548 [0305-0548(88)90026-3], [doi]  [abs]
  545. 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), pp. 269 - 80, Paris, France  [abs]
  546. Blake, JT; Reibman, AL; Trivedi, KS, Sensitivity analysis of reliability and performability measures for multiprocessor systems, edited by Smith, CU, Perform. Eval. Rev. (USA), vol. 16 no. 1 (1988), pp. 177-186, ACM, Santa Fe, NM, USA [55595], [doi]  [abs]
  547. Kulkarni, VG; Nicola, VF; Trivedi, KS, The completion time of a job on multimode systems, Advances in Applied Probability, vol. 19 no. 4 (December, 1987), pp. 932-954, Cambridge University Press (CUP), ISSN 0001-8678 [Gateway.cgi], [doi]  [abs]
  548. Goyal, A; Lavenberg, SS; Trivedi, KS, Probabilistic modeling of computer system availability, Annals of Operations Research, vol. 8 no. 1 (December, 1987), pp. 285-306, Springer Nature, ISSN 0254-5330 [doi]  [abs]
  549. Bavuso, SJ; Dugan, JB; Trivedi, K; Rothmann, B; Boyd, M, APPLICATIONS OF THE HYBRID AUTOMATED RELIABILITY PREDICTOR. (December, 1987)  [abs]
  550. Trivedi, KS; Dugan, JB, Computer-aided reliability analysis of fault-tolerant systems, Sadhana, vol. 11 no. 1-2 (October, 1987), pp. 209-220, Springer Nature, ISSN 0256-2499 [doi]  [abs]
  551. Marie, R; Trivedi, KS, A note on the effect of preemptive policies on the stability of a priority queue, Information Processing Letters, vol. 24 no. 6 (April, 1987), pp. 397-401, Elsevier BV, ISSN 0020-0190 [doi]  [abs]
  552. Sahner, RA; Trivedi, KS, Performance and Reliability Analysis Using Directed Acyclic Graphs, IEEE Transactions on Software Engineering, vol. SE-13 no. 10 (January, 1987), pp. 1105-1114, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  553. Goyal, A; Watson, TJ; Nicola, VF; Tantawi, AN; Trivedi, KS, Reliability of Systems with Limited Repairs, IEEE Transactions on Reliability, vol. R-36 no. 2 (January, 1987), pp. 202-207 [doi]  [abs]
  554. Maire, RA; Reibman, AL; Trivedi, KS, Transient analysis of acyclic markov chains, Performance Evaluation, vol. 7 no. 3 (January, 1987), pp. 175-194, Elsevier BV, ISSN 0166-5316 [doi]  [abs]
  555. Smith, RM; Trivedi, KS, PERFORMABILITY ANALYSIS OF TWO MULTI-PROCESSOR SYSTEMS., Digest of Papers - FTCS (Fault-Tolerant Computing Symposium) (January, 1987), pp. 224-229  [abs]
  556. Bavuso, SJ; Dugan, JB; Trivedi, KS; Rothmann, EM; Smith, WE, Analysis of Typical Fault-Tolerant Architectures using Harp, IEEE Transactions on Reliability, vol. R-36 no. 2 (January, 1987), pp. 176-185 [doi]  [abs]
  557. Sahner, RA; Trivedi, KS, Reliability Modeling using Sharpe, IEEE Transactions on Reliability, vol. R-36 no. 2 (January, 1987), pp. 186-193 [doi]  [abs]
  558. Nicola, VF; Trivedi, KS; Kulkarni, VG, Queueing Analysis of Faulttolerant Computer Systems, IEEE Transactions on Software Engineering, vol. SE-13 no. 3 (January, 1987), pp. 363-375, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  559. 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), pp. 224 - 9, Pittsburgh, PA, USA  [abs]
  560. Hsueh, M-C; Iyer, RK; Trivedi, KS, A Measurement-Based Performability Model for a Multiprocessor System., edited by Iazeolla, G; Courtois, P-J; Boxma, OJ, Computer Performance and Reliability (1987), pp. 337-352, North-Holland, ISBN 0-444-70342-X [html]
  561. Trivedi, KS; Reibman, AL; Smith, R, Transient Analysis of Markov and Markov Reward Models., edited by Iazeolla, G; Courtois, P-J; Boxma, OJ, Computer Performance and Reliability (1987), pp. 535-545, North-Holland, Rome, Italy, ISBN 0-444-70342-X [html]  [abs]
  562. Sahner, RA; Trivedi, KS, HIERARCHICAL, COMBINATORIAL-MARKOV METHOD OF SOLVING COMPLEX RELIABILITY MODELS. (December, 1986), pp. 817-825  [abs]
  563. Geist, R; Smotherman, M; Trivedi, K; Dugan, JB, The reliability of life-critical computer systems, Acta Informatica, vol. 23 no. 6 (November, 1986), pp. 621-642, Springer Nature America, Inc, ISSN 0001-5903 [doi]  [abs]
  564. Calzarossa, M; Trivedi, KS, PERFORMANCE ANALYSIS USING USER BEHAVIOR GRAPHS, edited by Morley, D; Shane, JG; Felix, S; Domanski, B; Boelens, J; Stauffer, GR; Terkowitz, RS; Scoumperdis, T; Artis, HP, 12th International Computer Measurement Group Conference, CMG 1986 (January, 1986), pp. 394-397, Computer Measurement Group [html]  [abs]
  565. Goyal, A; Carter, WC; de Souza e Silva, E; Lavenberg, SS; Trivedi, KS, SYSTEM AVAILABILITY ESTIMATOR., Digest of Papers - FTCS (Fault-Tolerant Computing Symposium) (January, 1986), pp. 84-89  [abs]
  566. Kulkarni, VG; Nicola, VF; Smith, RM; Trivedi, KS, NUMERICAL EVALUATION OF PERFORMABILITY AND JOB COMPLETION TIME IN REPAIRABLE FAULT-TOLERANT SYSTEMS., Digest of Papers - FTCS (Fault-Tolerant Computing Symposium) (January, 1986), pp. 252-257, Vienna, Austria  [abs]
  567. Mulazzani, M; Trivedi, K, DEPENDABILITY PREDICTION: COMPARISON OF TOOLS AND TECHNIQUES., IFAC Proceedings Series (January, 1986), pp. 171-178 [doi]  [abs]
  568. Smotherman, M; Geist, RM; Trivedi, KS, PROBABLY CONSERVATIVE APPROXIMATIONS TO COMPLEX RELIABILITY MODELS., IEEE Transactions on Computers, vol. C-35 no. 4 (January, 1986), pp. 333-338 [doi]  [abs]
  569. Kulkarni, VG; Nicola, VF; Trivedi, KS, On modelling the performance and reliability of multimode computer systems, The Journal of Systems and Software, vol. 6 no. 1-2 (January, 1986), pp. 175-182, Elsevier BV, ISSN 0164-1212 [0164-1212(86)90038-5], [doi]  [abs]
  570. Bobbio, A; Trivedi, KS, AGGREGATION TECHNIQUE FOR THE TRANSIENT ANALYSIS OF STIFF MARKOV CHAINS., IEEE Transactions on Computers, vol. C-35 no. 9 (January, 1986), pp. 803-814 [doi]  [abs]
  571. Dugan, JB; Trivedi, KS; Smotherman, MK; Geist, RM, The hybrid automated reliability predictor, Journal of Guidance, Control, and Dynamics, vol. 9 no. 3 (January, 1986), pp. 319-331, American Institute of Aeronautics and Astronautics (AIAA) [doi]  [abs]
  572. Nicola, VF; Kulkarni, VG; Trivedi, KS, QUEUEING ANALYSIS OF FAULT-TOLERANT COMPUTER SYSTEMS., Performance Evaluation Review, vol. 14 no. 1 (January, 1986), pp. 203, Association for Computing Machinery (ACM) [doi]  [abs]
  573. Dugan, JB; Trivedi, KS; Geist, RM; Nicola, VF, EXTENDED STOCHASTIC PETRI NETS: APPLICATIONS AND ANALYSIS. (December, 1985), pp. 507-519, Paris, France  [abs]
  574. Dugan, JB; Bobbio, A; Ciardo, G; Trivedi, K, DESIGN OF A UNIFIED PACKAGE FOR THE SOLUTION OF STOCHASTIC PETRI NET MODELS. (December, 1985), pp. 6-13, Turin, Italy  [abs]
  575. Baccelli, F; Trivedi, KS, A single server queue in a hard-real-time environment, Operations Research Letters, vol. 4 no. 4 (January, 1985), pp. 161-168, Elsevier BV, ISSN 0167-6377 [doi]  [abs]
  576. McGough, J; Smotherman, M; Trivedi, KS, The Conservativeness of Reliability Estimates Based on Instantaneous Coverage, IEEE Transactions on Computers, vol. C-34 no. 7 (January, 1985), pp. 602-609, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  577. 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), pp. 6 - 13, Turin, Italy  [abs]
  578. Trivedi, K.S., Modeling and analysis of fault-tolerant systems, Modelling Techniques and Tools for Performance Analysis. Proceedings of the International Conference (1985), pp. 463 - 82, Paris, France  [abs]
  579. Trivedi, KS, COMPUTER SYSTEMS ANALYSIS., Modeling and Simulation, Proceedings of the Annual Pittsburgh Conference (December, 1984), pp. 1709-1714, Pittsburgh, PA, USA  [abs]
  580. Trivedi, KS, RELIABILITY EVALUATION FOR FAULT-TOLERANT SYSTEMS. (December, 1984), pp. 403-414, Pisa, Italy  [abs]
  581. Geist, R; Trivedi, K, HYBRID MODELING TECHNIQUES AND THEIR APPLICATION TO FAULT-TOLERANT COMPUTER SYSTEMS., Modeling and Simulation, Proceedings of the Annual Pittsburgh Conference (December, 1984), pp. 783-787  [abs]
  582. Kulkarni, VG; Nicola, VF; Trivedi, KS, ON MODELLING THE PERFORMANCE AND RELIABILITY OF MULTIMODE COMPUTER SYSTEMS., Journal of Systems and Software, vol. 6 no. 1-2 (May, 1984), pp. 175-182  [abs]
  583. Trivedi, K; Dugan, JB; Geist, R; Smotherman, M, MODELING IMPERFECT COVERAGE IN FAULT-TOLERANT SYSTEMS., Digest of Papers - FTCS (Fault-Tolerant Computing Symposium) (January, 1984), pp. 77-82, Kissimmee, FL, USA  [abs]
  584. Trivedi, K; Dugan, JB; Geist, R; Smotherman, M, Hybrid reliability modeling of fault-tolerant computer systems, Computers and Electrical Engineering, vol. 11 no. 2-3 (January, 1984), pp. 87-108, Elsevier BV, ISSN 0045-7906 [0045-7906(84)90004-1], [doi]  [abs]
  585. TRIVEDI, KS; HARING, G, LOAD DISTRIBUTION IN A STAR CONFIGURED SYSTEM WITH ERROR-PRONE CHANNELS, MATEMATICA APLICADA E COMPUTACIONAL, vol. 3 no. 1 (January, 1984), pp. 23-40, BIRKHAUSER BOSTON INC, ISSN 0101-8205 [Gateway.cgi]  [abs]
  586. Ray, GG; Sudhakar, DVK; Trivedi, K, Ergonomics in india: A case study on workspace design for an alphacomp phototypesetting machine, Behaviour and Information Technology, vol. 3 no. 4 (January, 1984), pp. 431-438 [doi]  [abs]
  587. Trivedi, KS; Dugan, JB; Geist, R; Smotherman, M, Issues in reliability modeling of fault-tolerant computers., edited by Großpietsch, K-E; Cin, MD, Fehlertolerierende Rechensysteme, vol. 84 (1984), pp. 228-239, Springer, Bonn, West Germany, ISBN 3-540-13348-8 [html]  [abs]
  588. Trivedi, KS, ANALYSIS OF COMPUTER PERFORMANCE AND RELIABILITY. (December, 1983), pp. 464-467, Port Chester, NY, USA  [abs]
  589. Geist, R; Trivedi, K; Dugan, JB; Smotherman, M, DESIGN OF THE HYBRID AUTOMATED RELIABILITY PREDICTOR. (December, 1983), pp. 16. 5. 1-16. 5. 8
  590. Trivedi, KS, COMPUTER SYSTEMS ANALYSIS. (December, 1983), pp. 54-55
  591. Bannister, JA; Trivedi, KS, Task allocation in fault-tolerant distributed systems, Acta Informatica, vol. 20 no. 3 (September, 1983), pp. 261-281, Springer Nature, ISSN 0001-5903 [doi]  [abs]
  592. Heidelberger, P; Trivedi, KS, Analytic Queueing Models for Programs with Internal Concurrency, IEEE Transactions on Computers, vol. C-32 no. 1 (January, 1983), pp. 73-82, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  593. Geist, RM; Trivedi, KS, Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems, IEEE Transactions on Computers, vol. C-32 no. 12 (January, 1983), pp. 1118-1127, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  594. Trivedi, KS; Geist, RM, Decomposition in Reliability Analysis of Fault-Tolerant Systems, IEEE Transactions on Reliability, vol. R-32 no. 5 (January, 1983), pp. 463-468, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9529 [Gateway.cgi], [doi]  [abs]
  595. Trivedi, KS, Computer Science and Applied Probability (abstract)., edited by Dodson, GW; Artis, HP; Deese, DR; Domanski, B; Finehirsh, S; Gaffney, J; Mayrhauser, AV, Int. CMG Conference (1983), pp. 467-467, Computer Measurement Group [html]
  596. Haring, G; Trivedi, KS, On the Optimal Distribution of Processing Power in a Star Configured System., edited by Kühn, PJ; Schulz, KM, MMB, vol. 61 (1983), pp. 353-365, Springer, ISBN 3-540-11990-6 [html]
  597. Geist, R; Trivedi, KS, The Integration of User Perception in the Heterogeneous M/M/2 Queue., edited by Agrawala, AK; Tripathi, SK, Performance (1983), pp. 203-216, North-Holland, ISBN 0-444-86673-6 [html]
  598. Baccelli, F; Trivedi, KS, Analysis of M/G/2 - Standby Redundant System., edited by Agrawala, AK; Tripathi, SK, Performance (1983), pp. 457-476, North-Holland, ISBN 0-444-86673-6 [html]
  599. Bannister, JA; Trivedi, KS, TASK AND FILE ALLOCATION IN FAULT-TOLERANT DISTRIBUTED SYSTEMS., Proceedings - Symposium on Reliability in Distributed Software and Database Systems (December, 1982), pp. 103-111  [abs]
  600. Trivedi, KS; von Mayrhauser, A, OPTIMAL FILE ALLOCATION, DEVICE CAPACITY AND CPU SPEED SELECTION DURING THE DESIGN OF INTERACTIVE COMPUTER SYSTEMS, edited by Boksenbaum, M; Dodson, GW; Moran, T; Smith, CU; Artis, HP, 8th International Computer Measurement Group Conference, CMG 1982 (January, 1982), pp. 178-184, Computer Measurement Group, San Diego, CA, USA [html]  [abs]
  601. von Mayrhauser, AK; Trivedi, KS, COMPUTER CONFIGURATION DESIGN TO MINIMIZE RESPONSE TIME., Computer performance, vol. 3 no. 1 (January, 1982), pp. 32-39  [abs]
  602. Heidelberger, P; Trivedi, KS, Queueing network models for parallel processing with asynchronous tasks, IEEE Transactions on Computers, vol. C-31 no. 11 (January, 1982), pp. 1099-1109, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  603. Geist, RM; Trivedi, KS, Optimal Design of Multilevel Storage Hierarchies, IEEE Transactions on Computers, vol. C-31 no. 3 (January, 1982), pp. 249-260, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  604. Trivedi, KS; Geist, RM, TUTORIAL ON THE CARE III APPROACH TO RELIABILITY MODELING., NASA Contractor Reports (December, 1981), pp. 60 -  [abs]
  605. Trivedi, KS; Sigmon, TM, Optimal Design of Linear Storage Hierarchies, Journal of the ACM (JACM), vol. 28 no. 2 (April, 1981), pp. 270-288, Association for Computing Machinery (ACM) [322248.322253], [doi]  [abs]
  606. Trivedi, KS; von Mayrhauser, AK, Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection, edited by Deese, DR; Bishop, RJ; Mohr, JM; Artis, HP, 7th International Computer Measurement Group Conference, CMG 1981 (January, 1981), pp. 58-69, Computer Measurement Group [html]  [abs]
  607. Trivedi, KS; Geist, RM, TUTORIAL ON THE CARE III APPROACH TO RELIABILITY MODELING., NASA Contractor Reports (January, 1981)  [abs]
  608. 5th IEEE Symposium on Computer Arithmetic, ARITH 1981, Ann Arbor, MI, USA, May 16-19, 1981, edited by Trivedi, KS; Atkins, DE, IEEE Symposium on Computer Arithmetic (1981), IEEE Computer Society
  609. Trivedi, KS; Wagner, RA; Sigmon, TM, Optimal Selection of CPU Speed, Device Capacities, and File Assignments, Journal of the ACM (JACM), vol. 27 no. 3 (July, 1980), pp. 457-473, Association for Computing Machinery (ACM) [322203.322208], [doi]  [abs]
  610. Wagner, RA; Trivedi, KS, Hardware configuration selection through discretizing a continuous variable solution, Proceedings of the 1980 International Symposium on Computer Performance Modelling, Measurement and Evaluation, PERFORMANCE 1980, vol. 9 no. 2 (May, 1980), pp. 127-142, ACM Press, Toronto, Ont., Canada, ISBN 9780897910194 [doi]  [abs]
  611. Trivedi, KS, Designing linear storage hierarchies so as to maximize reliability subject to cost and performance constraints, edited by Lenfant, J; Borgerson, BR; Atkins, DE; Irani, KB; Kinniment, D; Aiso, H, Proceedings - International Symposium on Computer Architecture (May, 1980), pp. 211-217, ACM, La Baule, France [citation.cfm], [doi]  [abs]
  612. Trivedi, KS; Gault, JW; Clary, JB, RELIABILITY VALIDATION OF SYSTEMS FOR LIFE-CRITICAL APPLICATIONS., EASCON Record: IEEE Electronics and Aerospace Systems Convention (January, 1980), pp. 406-409, Arlington, VA, USA  [abs]
  613. Trivedi, KS; Kinicki, RE, A Model for Computer Configuration Design, Computer, vol. 13 no. 4 (January, 1980), pp. 47-54, ISSN 0018-9162 [doi]  [abs]
  614. Wagner, RA; Trivedi, KS, HARDWARE CONFIGURATION SELECTION THROUGH DISCRETIZING A CONTINUOUS VARIABLE SOLUTION., Performance Evaluation Review, vol. 9 no. 2 (January, 1980), pp. 127-142, Association for Computing Machinery (ACM), Toronto, Ont, Can, ISBN 0897910192 [doi]  [abs]
  615. Trivedi, KS; Wagner, RA, OPTIMAL SELECTION OF CPU SPEED, DEVICE CAPACITIES, AND ALLOCATION OF FILES WITH VARIABLE RECORD SIZE., National Bureau of Standards, Special Publication (January, 1980), pp. 129-135  [abs]
  616. 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), pp. 129 - 35, Orlando, FL, USA  [abs]
  617. Trivedi, K.S. and Wagner, R.A., Optimum computer configuration selection, Proceedings of the IEEE International Conference on Circuits and Computers ICCC 80, vol. I (1980), pp. 383 - 5, Port Chester, NY, USA  [abs]
  618. Trivedi, KS, An analysis of prepaging, Computing, vol. 22 no. 3 (September, 1979), pp. 191-210, Springer Nature, ISSN 0010-485X [doi]  [abs]
  619. Trivedi, KS; Sigmon, TM, A performance comparison of optimally designed computer systems with and without virtual memory, edited by Borgerson, BR; Jensen, ED; Jr, HWL; Aiso, H; Tjaden, GS; Welch, RF; Holmer, P; Haynes, L; Hommes, J; Jones, T; Grelis, W; Ashenfelter, R, Proceedings - International Symposium on Computer Architecture (April, 1979), pp. 117-121, ACM Press, Philadelphia, PA, USA [citation.cfm], [doi]  [abs]
  620. Trivedi, KS; Wagner, RA, A Decision Model for Closed Queuing Networks, IEEE Transactions on Software Engineering, vol. SE-5 no. 4 (January, 1979), pp. 328-332, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  621. Trivedi, KS, Corrections to “On the Use of Continued Fractions for Digital Computer Arithmetic”, IEEE Transactions on Computers, vol. C-27 no. 3 (January, 1978), pp. 288, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9340 [doi]
  622. Trivedi, KS, Analytic Modeling Computer Systems, Computer, vol. 11 no. 10 (January, 1978), pp. 38-56, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9162 [doi]  [abs]
  623. Trivedi, KS; Kinicki, RE, MATHEMATICAL MODEL FOR COMPUTER SYSTEM CONFIGURATION PLANNING., Transactions of the American Association of Cost Engineers (January, 1978), pp. 323-332, Gardone Riviera, Italy  [abs]
  624. Trivedi, KS; Leech, RL, DESIGN AND ANALYSIS OF A FUNCTIONALLY DISTRIBUTED COMPUTER SYSTEM. (January, 1978), pp. 125-131  [abs]
  625. Trivedi, KS; Rusnak, JG, HIGHER RADIX ON-LINE DIVISION. (January, 1978), pp. 164-174  [abs]
  626. 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), pp. 125 - 21, Bellaire, MI, USA  [abs]
  627. Trivedi, K.S. and Rusnak, J.G., Higher radix on-line division, Proceedings of the 4th Symposium on Computer Arithmetic (1978), pp. 164 - 73, Santa Monica, CA, USA  [abs]
  628. TRIVEDI, KS, CORRECTION, IEEE TRANSACTIONS ON COMPUTERS, vol. 27 no. 3 (1978), pp. 288-288, ISSN 0018-9340 [Gateway.cgi]
  629. TRIVEDI, KS, PAGING PERFORMANCE OF ARRAY ALGORITHMS, IEEE TRANSACTIONS ON COMPUTERS, vol. 26 no. 10 (January, 1977), pp. 938-947, IEEE COMPUTER SOC, ISSN 0018-9340 [Gateway.cgi]
  630. Trivedi, KS; Ercegovac, MD, On-Line Algorithms for Division and Multiplication, IEEE Transactions on Computers, vol. C-26 no. 7 (January, 1977), pp. 681-687, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  631. Trivedi, KS, On the Use of Continued Fractions for Digital Computer Arithmetic, IEEE Transactions on Computers, vol. C-26 no. 7 (January, 1977), pp. 700-704, Institute of Electrical and Electronics Engineers (IEEE) [doi]  [abs]
  632. Trivedi, KS, On the Paging Performance of Array Algorithms, IEEE Transactions on Computers, vol. C-26 no. 10 (January, 1977), pp. 938-947 [doi]  [abs]
  633. TRIVEDI, KS, USE OF CONTINUED FRACTIONS FOR DIGITAL-COMPUTER ARITHMETIC, IEEE TRANSACTIONS ON COMPUTERS, vol. 26 no. 7 (1977), pp. 700-704, ISSN 0018-9340 [Gateway.cgi]
  634. Trivedi, KS, Prepaging and applications to the STAR-100 computer, High Speed Computer and Algorithm Organization (1977), pp. 435-446, Champaign, IL, USA  [abs]
  635. Trivedi, KS, ON THE PAGING PERFORMANCE OF ARRAY ALGORITHMS., IEEE Transactions on Computers, vol. C-26 no. 10 (1977), pp. 938-947  [abs]
  636. Trivedi, KS, On a semaphore anamoly, Information Processing Letters, vol. 5 no. 3 (January, 1976), pp. 88-89, Elsevier BV, ISSN 0020-0190 [0020-0190(76)90072-7], [doi]  [abs]
  637. Trivedi, KS, Prepaging and Applications to Array Algorithms, IEEE Transactions on Computers, vol. C-25 no. 9 (January, 1976), pp. 915-921, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9340 [doi]  [abs]
  638. Trivedi, KS; Ercegovac, MD, On-line algorithms for division and multiplication, Proceedings - Symposium on Computer Arithmetic, vol. 1975-November (January, 1975), pp. 161-167, Dallas, TX, USA [doi]  [abs]
  639. Trivedi, KS, On the use of continued fractions for digital computer arithmetic, Proceedings - Symposium on Computer Arithmetic, vol. 1975-November (January, 1975), pp. 137-146 [doi]  [abs]
  640. Robertson, JE; Trivedi, KS, The Status of Investigations into Computer Hardware Design Based on the Use of Continued Fractions, IEEE Transactions on Computers, vol. C-22 no. 6 (January, 1973), pp. 555-560, Institute of Electrical and Electronics Engineers (IEEE), ISSN 0018-9340 [doi]  [abs]
  641. Robertson, JE; Trivedi, K, The status of investigations into the use of continued fractions for computer hardware, Proceedings - Symposium on Computer Arithmetic (January, 1972), pp. 1-30, IEEE Computer Society [mostRecentIssue.jsp], [doi]  [abs]