Kishor S. Trivedi
Electrical and Computer Engineering
Hudson Distinguished Professor of Electrical and Computer Engineering
Research Themes
Trustworthy Computing
Research Interests
Markov models, Fault trees, Stochastic Petri nets, Reliability Modeling, Availability Modeling, Performability modeling, Survivability modeling, Cyber Security, Software reliability, Software Fault Tolerance, Software Aging and Rejuvenation
Bio
Kishor Trivedi holds the Hudson Chair in the Department of Electrical and Computer Engineering at Duke University. He is known as a leading international expert in the domain of reliability and performability evaluation of Dependable systems, and has made seminal contributions to stochastic modeling formalisms and their efficient solution. He is currently carrying out experimental research in software reliability during operation where he is researching software fault tolerance through environmental diversity. This work, including software bug classification, empirical study of real failure data and associated theory of affordable software fault tolerance, has already gained significant attention.
He has made key contributions to his field in many ways. He has encapsulated developed algorithms into usable and well circulated software packages, and applied research results to practical problems working directly with industry. This work has not only been able to solve difficult real-life problems but also produce new research based on the problems. He has published over 600 articles, has supervised 48 Ph.D. dissertations and more than 50 postdoctoral associates. He is a Life Fellow of the Institute of Electrical and Electronics Engineers and a Golden Core Member of IEEE Computer Society. He has served on many editorial boards and conference committees and is the recipient of IEEE Computer Society Technical Achievement Award for his research on Software Aging and Rejuvenation. He is the recipient of IEEE Reliability Society's Life Time Achievement Award. He is on ISI’s highly cited list with an h-index of 108, and has received grants from such governmental agencies as NASA, NATO, NSF, DARPA, AFOSR, ARO, NIH, NSWC, ONR, and RADC.
Trivedi has also helped several high-profile companies carry out reliability/availability prediction of their products under design or in existence, including 3Com, Avaya, Boeing, Cisco, DEC, EMC, GE, HP, Huawei, IBM, Lucent, NEC, TCS, Union Switch and Signals, Wipro. Most notable among these, is his help in reliability modeling of the current return network subsystem of the Boeing 787 for FAA certification. The algorithm he developed for this problem has been jointly patented by Boeing and Trivedi. He led the reliability/availability modeling of SIP on IBM WebSphere; this model was responsible for the sale of the system by IBM to AT & T.
Furthermore, Trivedi has written several influential books, including textbooks. He is the author of a well-known text entitled, Probability and Statistics with Reliability, Queuing and Computer Science Applications, originally published by Prentice-Hall; a thoroughly revised second edition (including its Indian edition) has been published by John Wiley. This book is translated into Chinese in Nov. 2015. This book has appeared as a paperback in July 2016.He has also published two other books titled, Performance and Reliability Analysis of Computer Systems, published by Springer and Queueing Networks and Markov Chains by John Wiley. His latest book, Reliability and Availability Engineering: Modeling, Analysis and Applications, is published by Cambridge University Press in 2017.
Education
- B.Tech. Indian Institute of Technology, Bombay (India), 1968
- M.S. University of Illinois, 1972
- Ph.D. University of Illinois, 1974
Positions
- Hudson Distinguished Professor of Electrical and Computer Engineering
- Professor of Electrical and Computer Engineering
- Professor of Electrical and Computer Engineering at Duke Kunshan University
- Professor of Computer Science
Awards, Honors, and Distinctions
- Lifetime Achievement Award. IEEE Reliability Society. 2021
- Life Fellow. IEEE. 2017
- ONR Faculty Fellow Summer 2015. ONR. 2015
- Fellow. Japan Society for the Promotion of Science. 2014
- NordsecMob Scholar. Norwegian University of Science and Technology. 2014
- Doctor Honoris Causa. USMP, Lima, Peru. 2012
- Technical Achievement Award. IEEE Computer Society. 2008
- Traditional Fulbright Scholarship. Council for International Exchange of Scholars. 2002
- Highly Cited Researcher. Thomson Reuters. 2001
- Fellow. Institute for Electrical and Electronics Engineers. 1992
Courses Taught
- K_ECE 590K: ADVANCED TOPICS IN ECE
- K_CMPSCI 320: Software Reliability
- ECE 899: Special Readings in Electrical Engineering
- ECE 891: Internship
- ECE 590K: Advanced Topics in Electrical and Computer Engineering
- ECE 590: Advanced Topics in Electrical and Computer Engineering
- ECE 555: Probability for Electrical and Computer Engineers
- COMPSCI 555: Probability for Electrical and Computer Engineers
- COMPSCI 393: Research Independent Study
Publications
- Qin F, Zheng Z, Sui Y, Gong S, Shi Z, Trivedi KS. Cross-project concurrency bug prediction using domain-adversarial neural network. Journal of Systems and Software. 2024 Aug 1;214.
- Trivedi K, Bobbio A. Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems. Computer. 2024 Apr 1;57(4):82–92.
- Trivedi K. Reliability and Availability Assessment. In: IEEE Transactions on Reliability. 2024. p. 17–8.
- Trivedi KS, Grottke M, Lopez JA. Rethinking Software Fault Tolerance. IEEE Transactions on Reliability. 2024 Mar 1;73(1):67–72.
- Trivedi KS, Xing L. Probability models applied to reliability and availability engineering. In 2024. p. 195–214.
- Bai J, Li Y, Chang X, Machida F, Trivedi KS. Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View. IEEE Transactions on Cloud Computing. 2023 Oct 1;11(4):3367–80.
- 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. 2023 Jul 1;16(4):2769–85.
- 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. 2023 Jul 1;11(3):550–2.
- 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. 2023 Jul 1;20(4):2811–24.
- Zheng Z, Strigini L, Antunes N, Trivedi K. Editorial: Software Reliability and Dependability Engineering. IEEE Transactions on Dependable and Secure Computing. 2023 Jul 1;20(4):2674–6.
- 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. 2023 Apr 1;72(4):5181–94.
- Okamura H, Zheng J, Dohi T, Trivedi KS. Effect of Epistemic Uncertainty in Markovian Reliability Models. In: Springer Series in Reliability Engineering. 2023. p. 371–92.
- Du X, Zheng Z, Xiao G, Zhou Z, Trivedi KS. DeepSIM: Deep Semantic Information-Based Automatic Mandelbug Classification. IEEE Transactions on Reliability. 2022 Dec 1;71(4):1540–54.
- 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. 2022 Jul 1;15(4):1923–38.
- Grottke M, Trivedi KS. Aging, Fast and Slow. Computer. 2022 May 1;55(5):73–5.
- 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. 2022 Jan 1;10(3):2118–30.
- Chang X, Shi Y, Zhang Z, Xu Z, Trivedi KS. Job Completion Time Under Migration-Based Dynamic Platform Technique. IEEE Transactions on Services Computing. 2022 Jan 1;15(3):1345–57.
- Qiu K, Zheng Z, Trivedi KS, Mura I. Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods. IEEE Transactions on Reliability. 2021 Sep 1;70(3):1126–42.
- Ma X, Trivedi KS. SINR-Based Analysis of IEEE 802.11p/bd Broadcast VANETs for Safety Services. IEEE Transactions on Network and Service Management. 2021 Sep 1;18(3):2672–86.
- Bai J, Chang X, Trivedi KS, Han Z. Resilience-Driven Quantitative Analysis of Vehicle Platooning Service. IEEE Transactions on Vehicular Technology. 2021 Jun 1;70(6):5378–89.
- Cai KY, Trivedi KS, Yin B. S-ADA: Software as an Autonomous, Dependable and Affordable System. In: Proceedings - 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2021. 2021. p. 17–8.
- Vizarreta P, Sieber C, Blenk A, Van Bemten A, Ramachandra V, Kellerer W, et al. ARES: A Framework for Management of Aging and Rejuvenation in Softwarized Networks. IEEE Transactions on Network and Service Management. 2021 Jun 1;18(2):1389–400.
- Zheng J, Okamura H, Dohi T, Trivedi KS. Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals. IEEE Transactions on Reliability. 2021 Jun 1;70(2):547–62.
- 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. 2021 Jan 1;8(1):662–79.
- Liu B, Bobbio A, Bai J, Martinez J, Chang X, Trivedi KS. Transient Security and Dependability Analysis of MEC Micro Datacenter under Attack. In: Proceedings - Annual Reliability and Maintainability Symposium. 2021.
- Dos Santos CAR, Matias R, Trivedi KS. A Multisite Characterization Study on Failure Causes in System and Applications Software. In: Brazilian Symposium on Computing System Engineering, SBESC. 2021.
- Dos Santos CAR, Matias R, Trivedi KS. A Statistical Approach to Predict Operating System Failures Based on Multiple Failures Association. In: Brazilian Symposium on Computing System Engineering, SBESC. 2020.
- Trivedi K, Bobbio A. Reliability and availability analysis in practice. In: Handbook of Advanced Performability Engineering. 2020. p. 501–22.
- Avritzer A, Cotroneo D, Huang Y, Trivedi K. Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract. In: Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020. 2020. p. 319–20.
- 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. 2020 Jun 1;17(2):652–67.
- Zheng Z, Trivedi KS. Guest editorial: special issue on modeling and mitigation techniques for software aging. Software Quality Journal. 2020 Mar 1;28(1):3–5.
- Qiu K, Zheng Z, Trivedi KS, Yin B. Stress Testing with Influencing Factors to Accelerate Data Race Software Failures. IEEE Transactions on Reliability. 2020 Mar 1;69(1):3–21.
- 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. 2020 Jan 1;17(1):92–105.
- Avritzer A, Cotroneo D, Huang Y, Trivedi K. Software aging and rejuvenation: A genesis. In: Handbook Of Software Aging And Rejuvenation: Fundamentals, Methods, Applications, And Future Directions. 2020. p. 3–19.
- 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. 2020 Jan 1;102:746–61.
- 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. 2020 Jan 1;8:6448–59.
- Avritzer A, Pietrantuono R, Trivedi K. Future directions for software aging and rejuvenation research. In: Handbook Of Software Aging And Rejuvenation: Fundamentals, Methods, Applications, And Future Directions. 2020. p. 355–62.
- Dohi T, Avritzer A, Trivedi K. Preface. 2020.
- Dohi T, Trivedi K, Avritzer A. Handbook of software aging and rejuvenation: Fundamentals, methods, applications, and future directions. 2020.
- 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. 2019 Dec 1;68(4):1356–83.
- Dos Santos CAR, Matias R, Trivedi KS. An Empirical Exploratory Analysis of Failure Sequences in a Commodity Operating System. In: Brazilian Symposium on Computing System Engineering, SBESC. 2019.
- 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. 2019 Oct 1;7(4):1039–56.
- Menasche D, Trivedi K, Altman E. Rejuvenation and the age of information. In: Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019. 2019. p. 225–31.
- Wan X, Zheng Z, Qin F, Qiao Y, Trivedi KS. Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2019. p. 163–72.
- Qin F, Zheng Z, Qiao SY, Trivedi KS. Studying Aging-Related Bug Prediction Using Cross-Project Models. IEEE Transactions on Reliability. 2019 Sep 1;68(3):1134–53.
- 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. 2019 Jun 1;68(2):633–52.
- 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. 2019 Jun 1;16(2):701–14.
- Avritzer A, Trivedi K. 2nd Workshop on Education and Practice ofPerformance Engineering: WEPPE'19 Chairs' Welcome. In: ICPE 2019 - Companion of the 2019 ACM/SPEC International Conference on Performance Engineering. 2019. p. 57.
- Trivedi K. Software Aging and Software Rejuvenation. In: Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering. ACM; 2019. p. 1–1.
- Trivedi K. Performance Engineering Education. In: Companion of the 2019 ACM/SPEC International Conference on Performance Engineering. ACM; 2019. p. 61–61.
- 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. 2019 Mar 1;183:213–25.
- Puliafito A, Trivedi KS. Systems Modelling: Methodologies and Tools. In: EAI/Springer Innovations in Communication and Computing. 2019. p. 1–7.
- Dohi T, Zheng J, Okamura H, Trivedi KS. Optimal periodic software rejuvenation policies based on interval reliability criteria. Reliability Engineering and System Safety. 2018 Dec 1;180:463–75.
- Sukhwani H, Wang N, Trivedi KS, Rindos A. Performance modeling of hyperledger fabric (permissioned blockchain network). In: NCA 2018 - 2018 IEEE 17th International Symposium on Network Computing and Applications. 2018.
- Chang X, Lv S, Rodriguez RJ, Trivedi K. Survivability model for security and dependability analysis of a vulnerable critical system. In: Proceedings - International Conference on Computer Communications and Networks, ICCCN. 2018.
- Entezari-Maleki R, Trivedi KS, Sousa L, Movaghar A. Performability-based workflow scheduling in grids. Computer Journal. 2018 Oct 1;61(10):1479–95.
- 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. 2018 Oct 1;6(4):991–1003.
- Sebastio S, Trivedi KS, Alonso J. Characterizing machines lifecycle in Google data centers. Performance Evaluation. 2018 Oct 1;126:39–63.
- Vizarreta P, Trivedi K, Helvik B, Heegaard P, Blenk A, Kellerer W, et al. Assessing the Maturity of SDN Controllers with Software Reliability Growth Models. IEEE Transactions on Network and Service Management. 2018 Sep 1;15(3):1090–104.
- Okamura H, Dohi T, Trivedi K. Keynote Paper: Parametric Uncertainty Propagation through Dependability Models. In: Proceedings - 8th Latin-American Symposium on Dependable Computing, LADC 2018. 2018. p. 10–8.
- 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. 2018 Jul;2018:5370–3.
- Liu B, Chang X, Han Z, Trivedi K, Rodríguez RJ. Model-based sensitivity analysis of IaaS cloud availability. Future Generation Computer Systems. 2018 Jun 1;83:1–13.
- Gribaudo M, Pinciroli R, Trivedi K. Epistemic Uncertainty Propagation in Power Models. Electronic Notes in Theoretical Computer Science. 2018 May 9;337:67–86.
- Chang X, Martinez JM, Trivedi KS. Transient performance analysis of smart grid with dynamic power distribution. Information Sciences. 2018 Jan 1;422:98–109.
- Machida F, Xia R, Trivedi KS. Performability Modeling for RAID Storage Systems by Markov Regenerative Process. IEEE Transactions on Dependable and Secure Computing. 2018 Jan 1;15(1):138–50.
- Qiu K, Zheng Z, Trivedi KS, Yin B. Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2017. p. 56–66.
- Xiao G, Zheng Z, Yin B, Trivedi KS, Du X, Cai K. Experience Report: Fault Triggers in Linux Operating System: From Evolution Perspective. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2017. p. 101–11.
- Sukhwani H, Matias R, Trivedi KS, Rindos A. Monitoring and mitigating software aging on IBM cloud controller system. In: Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017. 2017. p. 266–72.
- Sukhwani H, Martínez JM, Chang X, Trivedi KS, Rindos A. Performance modeling of PBFT consensus process for permissioned blockchain network (hyperledger fabric). In: Proceedings of the IEEE Symposium on Reliable Distributed Systems. 2017. p. 253–5.
- Trivedi KS, Bobbio A. Reliability and Availability Engineering Modeling, Analysis, and Applications. Cambridge University Press; 2017.
- Pinciroli R, Bobbio A, Bolchini C, Cerotti D, Gribaudo M, Miele A, et al. Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip. In: 2017 2nd International Conference on System Reliability and Safety, ICSRS 2017. 2017. p. 516–20.
- Vizarreta P, Trivedi K, Helvik B, Heegaard P, Kellerer W, MacHuca CM. An empirical study of software reliability in SDN controllers. In: 2017 13th International Conference on Network and Service Management, CNSM 2017. 2017. p. 1–9.
- Qin F, Zheng Z, Li X, Qiao Y, Trivedi KS. An empirical investigation of fault triggers in android operating system. In: Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC. 2017. p. 135–44.
- Fricks RB, Trivedi KS. Automated life cycle processing for complex medical imaging devices. In: Proceedings - Annual Reliability and Maintainability Symposium. 2017.
- Fricks RWB, Tseng HH, Pajic M, Trivedi KS. Transient performance & availability modeling in high volume outpatient clinics. In: Proceedings - Annual Reliability and Maintainability Symposium. 2017.
- Li X, Chang X, Board JA, Trivedi KS. A novel approach for software vulnerability classification. In: Proceedings - Annual Reliability and Maintainability Symposium. 2017.
- Ma X, Kanelopoulos G, Trivedi KS. Application-level scheme to enhance VANET event-driven multi-hop safety-related services. In: 2017 International Conference on Computing, Networking and Communications, ICNC 2017. 2017. p. 860–4.
- Kim DS, Hong JB, Nguyen TA, Machida F, Park JS, Trivedi KS. Availability modeling and analysis of a virtualized system using stochastic reward nets. In: 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. 2017. p. 210–8.
- Longo F, Ghosh R, Naik VK, Rindos AJ, Trivedi KS. An approach for resiliency quantification of large scale systems. In: Performance Evaluation Review. 2017. p. 37–48.
- 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. 2017 Mar 1;66(3):1926–39.
- Matos R, Dantas J, Araujo J, Trivedi KS, Maciel P. Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis. Journal of Grid Computing. 2017 Mar 1;15(1):1–22.
- Ghosh R, Longo F, Naik VK, Rindos AJ, Trivedi KS. Resiliency quantification for large scale systems: An IaaS cloud use case. In: ValueTools 2016 - 10th EAI International Conference on Performance Evaluation Methodologies and Tools. 2017. p. 227–34.
- Pinciroli R, Trivedi KS, Bobbio A. Parametric sensitivity and uncertainty propagation in dependability models. In: ValueTools 2016 - 10th EAI International Conference on Performance Evaluation Methodologies and Tools. 2017. p. 44–51.
- Martinez JM, Trivedi KS, Cheng BN. Efficient computation of the mean time to security failure in cyber physical systems. In: ValueTools 2016 - 10th EAI International Conference on Performance Evaluation Methodologies and Tools. 2017. p. 109–15.
- Chang X, Zhang Z, Li X, Trivedi KS. Model-Based Survivability Analysis of a Virtualized System. In: Proceedings - Conference on Local Computer Networks, LCN. 2016. p. 611–4.
- Matias R, De Sena GO, Andrzejak A, Trivedi KS. Software Aging Detection Based on Differential Analysis: An Experimental Study. In: Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering Workshops, ISSREW 2016. 2016. p. 71–7.
- Ratliff ZB, Kuhn DR, Kacker RN, Lei Y, Trivedi KS. The Relationship between Software Bug Type and Number of Factors Involved in Failures. In: Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering Workshops, ISSREW 2016. 2016. p. 119–24.
- Ning G, Zhao J, Lou Y, Alonso J, Matias R, Trivedi KS, et al. Optimization of two-granularity software rejuvenation policy based on the markov regenerative process. IEEE Transactions on Reliability. 2016 Dec 1;65(4):1630–46.
- Koziolek A, Avritzer A, Suresh S, Menasché DS, Diniz M, de Souza e Silva E, et al. Assessing survivability to support power grid investment decisions. Reliability Engineering and System Safety. 2016 Nov 1;155:30–43.
- Trivedi KS, Bobbio A. DSN 2016 Tutorial: Reliability and Availability Modeling in Practice. In: Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. 2016. p. 263.
- Trivedi KS. Probability and Statistics with Reliability, Queuing and Computer Science Applications. 2016.
- Dharmaraja S, Vinayak R, Trivedi KS. Reliability and survivability of vehicular ad hoc networks: An analytical approach. Reliability Engineering and System Safety. 2016 Sep 1;153:28–38.
- Fricks RB, Bobbio A, Trivedi KS. Reliability models of chronic kidney disease. In: Proceedings - Annual Reliability and Maintainability Symposium. 2016.
- Fricks RB, Trivedi KS. Analysis methods for performance & availability in critical care medicine. In: Proceedings - Annual Reliability and Maintainability Symposium. 2016.
- 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. 2016 Mar 1;113(March 2016):27–43.
- Grottke M, Kim DS, Mansharamani R, Nambiar M, Natella R, Trivedi KS. Recovery from Software Failures Caused by Mandelbugs. IEEE Transactions on Reliability. 2016 Mar 1;65(1):70–87.
- Xia R, Machida F, Trivedi K. A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes. In: Proceedings - 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing, PRDC 2015. 2016. p. 169–78.
- Ma X, Butron G, Trivedi K. Modeling of VANET for BSM safety messaging at intersections with non-homogeneous node distribution. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2016. p. 149–62.
- Rodríguez RJ, Chang X, Li X, Trivedi KS. Survivability analysis of a computer system under an advanced persistent threat attack. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2016. p. 134–49.
- Sukhwani H, Alonso J, Trivedi KS, Mcginnis I. Software Reliability Analysis of NASA Space Flight Software: A Practical Experience. In: IEEE International Conference on Software Quality, Reliability and Security : proceedings IEEE International Conference on Software Quality, Reliability and Security. 2016. p. 386–97.
- Trivedi KS. Survivability quantification for networks. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2016. p. XI–XII.
- Ma X, Trivedi KS. Reliability and performance of general two-dimensional broadcast wireless network. Performance Evaluation. 2016 Jan;95:41–59.
- Trivedi KS. Largeness Avoidance in Availability Modeling using Hierarchical and Fixed-point Iterative Techniques. International Journal of Performability Engineering. 2015 Dec 2;11(4).
- Trivedi KS, Xia R. Quantification of system survivability. Telecommunication Systems. 2015 Dec 1;60(4):451–70.
- Avritzer A, Menasche DS, Trivedi K, Happe L, Sarvestani SS. Workshop on Model Based Design for Cyber-Physical Systems (MB4CP). In: Proceedings of the International Conference on Dependable Systems and Networks. 2015. p. 565–6.
- Pietrantuono R, Russo S, Trivedi K. Emulating environment-dependent software faults. In: Proceedings - 1st International Workshop on Complex Faults and Failures in Large Software Systems, COUFLESS 2015. 2015. p. 34–40.
- Heegaard PE, Helvik BE, Trivedi KS, Machida F. Survivability as a generalization of recovery. In: 2015 11th International Conference on the Design of Reliable Communication Networks, DRCN 2015. 2015. p. 133–40.
- 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. In 2015.
- Trivedi KS, Vaidyanathan K, Selvamuthu D. Markov chain models and applications. In: Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications. 2015. p. 393–421.
- Rak J, Pickavet M, Trivedi KS, Lopez JA, Koster AMCA, Sterbenz JPG, et al. Future research directions in design of reliable communication systems. Telecommunication Systems. 2015 Mar 27;60(4):423–50.
- Entezari-Maleki R, Trivedi KS, Movaghar A. Performability evaluation of grid environments using stochastic reward nets. IEEE Transactions on Dependable and Secure Computing. 2015 Mar 1;12(2):204–16.
- Mondal SK, Yin X, Muppala JK, Alonso Lopez J, Trivedi KS. Defects per million computation in service-oriented environments. IEEE Transactions on Services Computing. 2015 Jan 1;8(1):32–46.
- Trivedi KS, Ercegovac MD. On-line algorithms for division and multiplication. In: Computer Arithmetic: Volume II. 2015. p. 67–73.
- Trivedi KS, Bruneo D, Longo F, Ghosh R, Scarpa M, Puliafito A. Analytical Modeling of Reactive Autonomic Management Techniques in IaaS Clouds. In 2015. p. 797–804.
- 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. 2015 Jan 1;PP(99).
- Bruneo D, Longo F, Scarpa M, Puliafito A, Ghosh R, Trivedi KS. An SRN-based resiliency quantification approach. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2015. p. 98–116.
- Zhao J, Wang YB, Ning GR, Wang CH, Trivedi KS, Cai KY, et al. Software maintenance optimization based on stackelberg game methods. In: Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014. 2014. p. 426–30.
- 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. 2014 Dec 12;51.
- Cavezza DG, Pietrantuono R, Russo S, Alonso J, Trivedi KS. Reproducibility of environment-dependent software failures: An experience report. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2014. p. 267–76.
- Mondal SK, Muppala JK, Machida F, Trivedi KS. Computing defects per million in cloud caused by virtual machine failures with replication. In: Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC. 2014. p. 161–8.
- 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. 2014 Dec 1;63(12):3101–13.
- Sebastio S, Trivedi KS, Wang D, Yin X. Fast computation of bounds for two-terminal network reliability. European Journal of Operational Research. 2014 Nov 1;238(3):810–23.
- 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. 2014 Sep 18;660–5.
- 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. 2014 Sep 10;28(22).
- Koziolek A, Trivedi K, Pindoriya N. Message from the chairs. In: 3rd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2014 - Proceedings. 2014. p. iii.
- Mondal SK, Muppala JK, Trivedi KS. Defects per Million (DPM): A user-oriented perspective of telecommunication systems. In: 2014 IEEE Globecom Workshops, GC Wkshps 2014. 2014. p. 711–6.
- Ghosh R, Longo F, Frattini F, Russo S, Kishor ST. Scalable analytics for IaaS cloud availability. IEEE Transactions on Cloud Computing. 2014 Jan 1;2(1):57–70.
- 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. 2014 Jan 1;7(4):667–80.
- 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. 2014 Jan 1;11(4):375–89.
- Sebastio S, Trivedi KS, Wang D, Yin X. Fast computation of bounds for two-terminal network reliability. European Journal of Operational Research. 2014;
- Ghosh R, Longo F, Trivedi KS. Performance analysis for large IaaS clouds. In: Large Scale and Big Data: Processing and Management. 2014. p. 557–78.
- Xia R, Machida F, Trivedi K. A Markov Decision Process Approach for Optimal Data Backup Scheduling. In: 2014 44TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN). IEEE; 2014. p. 660–5.
- Koziolek A, Trivedi K, Pindoriya N. Message from the chairs. In: 3rd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2014 - Proceedings. 2014. p. iii.
- 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. 2014 Jan 1;2014-January:311–20.
- Trivedi KS, Postiglione F, Yin X. Performance and Availability Evaluation of IMS-based Core Networks. In: Applied Reliability Engineering and Risk Analysis: Probabilistic Models and Statistical Inference. 2013. p. 148–66.
- Swaminathan MS. Foreword. Ecosystem Services in Agricultural and Urban Landscapes. 2013 Jan 20;
- Mishra K, Trivedi KS. Closed-form approach for epistemic uncertainty propagation in analytic models. In: Springer Series in Reliability Engineering. 2013. p. 315–32.
- Sahner RA, Trivedi K, Puliafito A. Performance and Reliability Analysis of Computer Systems An Example-Based Approach Using the SHARPE Software Package. Springer Science & Business Media; 2012.
- Alonso J, Grottke M, Nikora AP, Trivedi KS. The nature of the times to flight software failure during space missions. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2012. p. 331–40.
- Mitton N, Papavassiliou S, Puliafito A, Trivedi KS. Combining cloud and sensors in a smart city environment. Eurasip Journal on Wireless Communications and Networking. 2012 Dec 1;2012(1).
- Trivedi KS, Kim DS, Yin X. Multi-state availability modeling in practice. In: Springer Series in Reliability Engineering. 2012. p. 165–80.
- Distefano S, Puliafito A, Trivedi KS. Dynamic aspects and behaviors of complex systems in performance and reliability assessment. ACM SIGMETRICS Performance Evaluation Review. 2012 Mar 9;39(4):71–8.
- Ma X, Yin X, Trivedi K. A robust broadcast scheme for VANET one-hop emergency services. IEEE Vehicular Technology Conference. 2011 Dec 23;
- 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. 2011 Dec 14;209–18.
- 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. 2011 Dec 1;115–21.
- 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. 2011 Dec 1;44–9.
- Mishra K, Trivedi KS. Uncertainty propagation through software dependability models. Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2011 Dec 1;80–9.
- Zhao J, Jin Y, Trivedi KS, Matias R. Injecting memory leaks to accelerate software failures. Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2011 Dec 1;260–9.
- 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. 2011 Dec 1;38–43.
- 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. 2011 Dec 1;224–33.
- 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. 2011 Dec 1;56–61.
- 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. 2011 Dec 1;26–31.
- 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. 2011 Dec 1;32–7.
- 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. 2011 Dec 1;9–14.
- 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. 2011 Nov 9;
- 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. 2011 Nov 9;161–8.
- Okamura H, Dohi T, Trivedi KS. A refined em algorithm for PH distributions. Performance Evaluation. 2011 Oct 1;68(10):938–54.
- 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. 2011 Sep 19;105–12.
- 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. 2011 Sep 2;152–7.
- 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. 2011 Sep 2;257–8.
- 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. 2011 Aug 26;335–46.
- 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. 2011 Aug 26;595–6.
- 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. 2011 Aug 3;
- Goyal M, Rohm D, Xie W, Hosseini SH, Trivedi KS, Bashir Y, et al. A stochastic model for beaconless IEEE 802.15.4 MAC operation. Computer Communications. 2011 Aug 2;34(12):1460–74.
- Matias R, Trivedi KS. Accelerated life tests and software aging. In: Adaptive Control Approach For Software Quality Improvement. 2011. p. 268–99.
- 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. 2011 Jan 1;106–11.
- Distefano S, Puliafito A, Trivedi KS. Dynamic aspects and behaviors in system reliability evaluation. International Journal of Performability Engineering. 2011 Jan 1;7(5):493–8.
- Jindal V, Dharmaraja S, Trivedi KS. Markov Modeling Approach for survivability analysis of cellular networks. International Journal of Performability Engineering. 2011 Jan 1;7(5):429–40.
- Salvatore D, Puliafito A, Trivedi KS. Guest Editorial: Performance and dependability modeling of dynamic systems. International Journal of Performability Engineering. 2011 Jan 1;7(5):402–4.
- Grottke M, Apte V, Trivedi KS, Woolet S. Response time distributions in networks of queues. In: International Series in Operations Research and Management Science. 2011. p. 587–641.
- Ghosh R, Longo F, Naikz VK, Trivedi KS. Quantifying resiliency of IaaS cloud. Proceedings of the IEEE Symposium on Reliable Distributed Systems. 2010 Dec 30;343–7.
- Devaraj A, Mishra K, Trivedi KS. Uncertainty propagation in analytic availability models. Proceedings of the IEEE Symposium on Reliable Distributed Systems. 2010 Dec 30;121–30.
- 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). 2010 Dec 15;6407 LNCS:32–46.
- 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. 2010 Dec 1;125–32.
- 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. 2010 Dec 1;247–8.
- 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. 2010 Dec 1;211–9.
- Trivedi KS, Wang D, Hunta J. Computing the number of calls dropped due to failures. Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2010 Dec 1;11–20.
- Roy A, Kim DS, Trivedi KS. Cyber security analysis using attack countermeasure trees. ACM International Conference Proceeding Series. 2010 Nov 22;
- 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. 2010 Sep 20;447–56.
- 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. 2010 Sep 20;35–7.
- 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. 2010 Sep 20;616–8.
- Trivedi KS, Garg S. In Memoriam: Dr. Chandra Kintala. Journal of Systems and Software. 2010 Sep;83(9):1555–1555.
- Bode A, Bouissou M, Distefano S, Puliafito A, Trivedi K, Walter M. Message from the organizers. ACM International Conference Proceeding Series. 2010 Jul 20;
- Pietrantuono R, Russo S, Trivedi KS. Online monitoring of software system reliability. EDCC-8 - Proceedings of the 8th European Dependable Computing Conference. 2010 Jul 12;209–18.
- Roy A, Kim DS, Trivedi KS. Poster abstract: ACT: Attack countermeasure trees for information assurance analysis. Proceedings - IEEE INFOCOM. 2010 Jun 29;
- Pietrantuono R, Russo S, Trivedi KS. Software reliability and testing time allocation: An architecture-based approach. IEEE Transactions on Software Engineering. 2010 Mar 29;36(3):323–37.
- Trivedi KS, Grottke M, Andrade E. Software fault mitigation and availability assurance techniques. International Journal of System Assurance Engineering and Management. 2010 Jan 1;1(4):340–50.
- Zhao J, Trivedi KS, Wang YB, Chen XY. Evaluation of software performance affected by aging. Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2010 Jan 1;
- Amari SV, Xing L, Shrestha A, Akers J, Trivedi KS. Performability analysis of multistate computing systems using multivalued decision diagrams. IEEE Transactions on Computers. 2010 Jan 1;59(10):1419–33.
- 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. 2010 Jan 1;
- Matias R, Barbetta PA, Trivedi KS, Filho PJF. Accelerated degradation tests applied to software aging experiments. IEEE Transactions on Reliability. 2010 Jan 1;59(1):102–14.
- 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. 2009 Dec 16;11–20.
- 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. 2009 Dec 15;
- Grottke M, Matias R, Trivedi KS. The fundamentals of software aging. 2008 IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Wksp 2008. 2009 Dec 15;
- Heegaard PE, Trivedi KS. Survivability modeling with stochastic reward nets. Proceedings - Winter Simulation Conference. 2009 Dec 1;807–18.
- 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. 2009 Dec 1;199–207.
- 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. 2009 Dec 1;365–71.
- 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. 2009 Nov 25;590–1.
- 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. 2009 Nov 12;199–207.
- 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. 2009 Oct 5;74–81.
- Wang D, Trivedi KS. Modeling user-perceived reliability based on user behavior graphs. International Journal of Reliability, Quality and Safety Engineering. 2009 Aug 1;16(4):303–29.
- Okamura H, Dohi T, Trivedi KS. Markovian arrival process parameter estimation with group data. IEEE/ACM Transactions on Networking. 2009 Jul 3;17(4):1326–39.
- Heegaard PE, Trivedi KS. Network survivability modeling. Computer Networks. 2009 Jun 11;53(8):1215–34.
- Trivedi KS, Sahner R. SHARPE at the age of twenty two. ACM SIGMETRICS Performance Evaluation Review. 2009 Mar 25;36(4):52–7.
- Okamura H, Dohi T, Trivedi KS. Markovian arrival process parameter estimation with group data. IEEE/ACM Trans Netw. 2009;17:1326–39.
- Heegaard PE, Trivedi KS. SURVIVABILITY MODELING WITH STOCHASTIC REWARD NETS. In: PROCEEDINGS OF THE 2009 WINTER SIMULATION CONFERENCE (WSC 2009 ), VOL 1-4. IEEE; 2009. p. 822-+.
- 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. 2009 Jan 1;74–7.
- Trivedi KS, Jindal V, Dharmaraja S. Stochastic Modeling Techniques for Secure and Survivable Systems. 2008 Dec 1;171–207.
- 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. 2008 Dec 1;50–5.
- Smith WE, Trivedi KS, Tomek LA, Ackaret J. Availability analysis of blade server systems. IBM Systems Journal. 2008 Dec 1;47(4):621–40.
- 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. 2008 Dec 1;323–30.
- Mitra S, Iyer RK, Trivedi K, Tschanz JW. Reliable system design: Models, metrics and design techniques. In: 2008 IEEE/ACM International Conference on Computer-Aided Design. IEEE; 2008. p. xi–xi.
- Heegaard PE, Trivedi KS. Survivability quantification of communication services. Proceedings of the International Conference on Dependable Systems and Networks. 2008 Oct 13;462–71.
- 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. 2008 Sep 10;
- Trivedi K, Ciardo G, Dasarathy B, Grottke M, Matias R, Rindos A, et al. Achieving and assuring high availability. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2008 Jun 11;5017 LNCS:20–5.
- 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). 2008 Jun 9;5017 LNCS:187–206.
- Trivedi K, Ciardo G, Dasarathy B, Grottke M, Rindos A, Varshaw B. Achieving and assuring high availability. In: 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8. IEEE; 2008. p. 252-+.
- Bao Y, Bozkur IN, Dayar T, Sun X, Trivedi KS. Decompositional analysis of Kronecker structured Markov chains. Electronic Transactions on Numerical Analysis. 2008 Jan 1;31:271–94.
- Madan BB, Dharmaraja S, Trivedi KS. Combined guard channel and mobile-assisted handoff for cellular networks. IEEE Transactions on Vehicular Technology. 2008 Jan 1;57(1):502–10.
- Trivedi KS, Vaidyanathan K. Software Aging and Rejuvenation. In Wiley; 2007.
- Hoffmann GA, Trivedi KS, Malek M. A best practice guide to resource forecasting for computing systems. IEEE Transactions on Reliability. 2007 Dec 1;56(4):615–28.
- Haberkorn M, Trivedi K. Availability monitor for a software based system. Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 2007 Dec 1;321–8.
- 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. 2007 Nov 16;698–707.
- Haberkorn M, Trivedi K. Availability Monitor for a Software Based System. In: 10th IEEE High Assurance Systems Engineering Symposium (HASE’07). IEEE; 2007. p. 321–8.
- 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. 2007 Oct 18;114–21.
- Wang D, Trivedi KS. Reliability analysis of phased-mission system with independent component repairs. IEEE Transactions on Reliability. 2007 Sep 1;56(3):540–51.
- Dai YS, Levitin G, Trivedi KS. Performance and reliability of tree-structured grid services considering data dependence and failure correlation. IEEE Transactions on Computers. 2007 Jul 1;56(7):925–36.
- Sharma VS, Trivedi KS. Quantifying software performance, reliability and security: An architecture-based approach. Journal of Systems and Software. 2007 Apr 1;80(4):493–509.
- Wang D, Xie W, Trivedi KS. Performability analysis of clustered systems with rejuvenation under varying workload. Performance Evaluation. 2007 Mar 1;64(3):247–65.
- Grottke M, Trivedi KS. Fighting bugs: Remove, retry, replicate, and rejuvenate. Computer. 2007 Feb 1;40(2):107–9.
- Tuffin B, Choudhary PK, Hirel C, Trivedi KS. Simulation versus analytic-numeric methods: illustrative examples. In: Glynn PW, editor. VALUETOOLS. ICST/ACM; 2007. p. 63–63.
- Trivedi KS. Survivability Quantification - Keynote. In: BROADNETS. IEEE; 2007. p. 961–961.
- Tuffin B, Choudhary PK, Hirel C, Trivedi KS. Simulation versus analytic-numeric methods: Illustrative examples. In: VALUETOOLS 2007 - 2nd International ICST Conference on Performance Evaluation Methodologies and Tools. 2007.
- Grottke M, Trivedi KS. Fighting bugs - Response. COMPUTER. 2007;40(5):7–7.
- 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). 2007 Jan 1;4749 LNCS:107–18.
- 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. 2006 Dec 22;2006:435–44.
- Sharma VS, Jalote P, Trivedi KS. A performance engineering tool for tiered software systems. Proceedings - International Computer Software and Applications Conference. 2006 Dec 1;1:63–70.
- 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. 2006 Dec 1;299–308.
- 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. 2006 Dec 1;154–62.
- 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. 2006 Dec 1;183–93.
- 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. 2006 Dec 1;505–12.
- 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. 2006 Dec 1;
- Patniak LM, Trivedi KS, Sivakumar G, Ray I, Misra S, Venugopal KR, et al. Welcome message. Proceedings - 2006 14th International Conference on Advanced Computing and Communications, ADCOM 2006. 2006 Dec 1;
- Gokhale SS, Trivedi KS. Analytical models for architecture-based software reliability prediction: A unification framework. IEEE Transactions on Reliability. 2006 Dec 1;55(4):578–90.
- Grottke M, Li L, Vaidyanathan K, Trivedi KS. Analysis of software aging in a Web server. IEEE Transactions on Reliability. 2006 Sep 1;55(3):411–20.
- 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. 2006 Sep 1;55(5):1603–12.
- Gokhale SS, Lyu MR, Trivedi KS. Incorporating fault debugging activities into software reliability models: A simulation approach. IEEE Transactions on Reliability. 2006 Jun 1;55(2):281–92.
- Bolch G, Greiner S, de Meer H, Trivedi KS. Queueing Networks and Markov Chains: Modeling and Performance Evaluation With Computer Science Applications: Second Edition. 2006.
- 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. 2006 Mar 1;55(2):670–80.
- Liu Y, Trivedi KS. Survivability quantification: The analytical modeling approach. International Journal of Performability Engineering. 2006 Jan 1;2(1):29–44.
- Mishra K, Trivedi KS. Model Based Approach for Autonomic Availability Management. In: Penkler D, Reitenspieß M, Tam F, editors. ISAS. Springer; 2006. p. 1–16.
- Griffin C, Madan B, Trivedi K. State space approach to security quantification. Proceedings - International Computer Software and Applications Conference. 2005 Dec 1;2:83–8.
- 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. 2005 Dec 1;2005:412–8.
- Grottke M, Trivedi KS. On a method for mending time to failure distributions. Proceedings of the International Conference on Dependable Systems and Networks. 2005 Nov 9;560–9.
- Chen D, Trivedi KS. Optimization for condition-based maintenance with semi-Markov decision process. Reliability Engineering and System Safety. 2005 Oct 1;90(1):25–9.
- Bao Y, Sun X, Trivedi KS. A workload-based analysis of software aging, and rejuvenation. IEEE Transactions on Reliability. 2005 Sep 1;54(3):541–8.
- Wang D, Trivedi KS. Computing steady-state mean time to failure for non-coherent repairable systems. IEEE Transactions on Reliability. 2005 Sep 1;54(3):506–16.
- Liu Y, Ma Y, Han JJ, Levendel H, Trivedi KS. A proactive approach towards always-on availability in broadband cable networks. Computer Communications. 2005;28(1):51–64.
- Grottke M, Trivedi KS. Truncated non-homogeneous Poisson process models - properties and performance. Opsearch (India). 2005;42(4):310–21.
- 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. 2005 Jan 1;217–27.
- Sharma VS, Jalote P, Trivedi KS. Evaluating performance attributes of layered software architecture. Lecture Notes in Computer Science. 2005 Jan 1;3489:66–81.
- Choudhary PK, Madan BB, Trivedi KS. Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls. In: WSC. IEEE Computer Society; 2005. p. 412–8.
- Madan BB, Phoha S, Trivedi KS. StackOFFence: A technique for defending against buffer overflow attacks. International Conference on Information Technology: Coding and Computing, ITCC. 2005 Jan 1;1:656–61.
- Vaidyanathan K, Trivedi KS. A comprehensive model for software rejuvenation. IEEE Transactions on Dependable and Secure Computing. 2005 Jan 1;2(2):124–37.
- Xie W, Hong Y, Trivedi K. Analysis of a two-level software rejuvenation policy. Reliability Engineering and System Safety. 2005 Jan 1;87(1):13–22.
- 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). 2005 Jan 1;3694 LNCS:107–22.
- Trivedi KS, Yang LT, Parashar M, Dai Y, Pan Y, Ma J, et al. Message from the RAMPDS-2005 chairs. Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS. 2005 Jan 1;2:44.
- Madan BB, Trivedi KS. Security modeling and quantification of intrusion tolerant systems using attack-response graph. Journal of High Speed Networks. 2004 Dec 29;13(4):297–308.
- 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. 2004 Dec 1;110–9.
- Gokhale SS, Wong WE, Horgan JR, Trivedi KS. An analytical approach to architecture-based software performance and reliability prediction. Performance Evaluation. 2004 Dec 1;58(4):391–412.
- Liu Y, Mendiratta VB, Trivedi KS. Survivability analysis of telephone access network. Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2004 Dec 1;367–78.
- Tang D, Trivedi KS. Hierarchical computation of interval availability and related metrics. Proceedings of the International Conference on Dependable Systems and Networks. 2004 Oct 1;693–8.
- Chen D, Hong Y, Trivedi KS. Optimal estimation of training interval for channel equalization. IEEE Transactions on Wireless Communications. 2004 Sep 1;3(5):1844–53.
- Xie W, Hong Y, Trivedi KS. Software rejuvenation policies for cluster systems under varying workload. Proceedings - IEEE Pacific Rim International Symposium on Dependable Computing. 2004 Jun 15;122–9.
- 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. 2004 May 1;57(1):69–87.
- 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. 2004 Mar 1;56(1–4):167–86.
- Trivedi KS, Vaidyanathan K. Software rejuvenation - modeling and analysis. In: IFIP Advances in Information and Communication Technology. 2004. p. 151–82.
- Szczerbicka H, Trivedi KS, Choudhary PK. Discrete event simulation with application to computer communication systems performance - Introduction to simulation. In: INFORMATION TECHNOLOGY: SELECTED TUTORIALS. 2004. p. 271–304.
- Nicol DM, Sanders WH, Trivedi KS. Model-based evaluation: From dependability to security. IEEE Transactions on Dependable and Secure Computing. 2004 Jan 1;1(1):48–64.
- Gokhale SS, Lyu MR, Trivedi KS. Analysis of software fault removal policies using a non-homogeneous continuous time Markov chain. Software Quality Journal. 2004 Jan 1;12(3):211–30.
- Liu Y, Trivedi KS. A General Framework for Network Survivability Quantification. In: Buchholz P, Lehnert R, Pióro M, editors. MMB. VDE Verlag; 2004. p. 369–78.
- Dohi T, Suzuki H, Trivedi KS. Comparing software rejuvenation policies under different dependability measures. IEICE Transactions on Information and Systems. 2004 Jan 1;E87-D(8):2078–85.
- Szczerbicka H, Trivedi KS, Choudhary PK. Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation. In: Reis R, editor. IFIP Congress Tutorials. Kluwer/Springer; 2004. p. 271–304.
- Zang X, Wang D, Sun H, Trivedi KS. A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components. IEEE Transactions on Computers. 2003 Dec 1;52(12):1608–18.
- Bao Y, Sun X, Trivedi KS. Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. Proceedings of the International Conference on Dependable Systems and Networks. 2003 Dec 1;241–8.
- 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. 2003 Dec 1;521–8.
- Hong Y, Trivedi KS, Ray A, Phoha S. Software Performance Analysis Using a Language Measure. Proceedings of the American Control Conference. 2003 Nov 6;3:2258–63.
- 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. 2003 Nov 1;52(6):1627–41.
- Dharmaraja S, Trivedi KS, Logothetis D. Performance modeling of wireless networks with generally distributed handoff interarrival times. Computer Communications. 2003 Sep 22;26(15):1747–55.
- 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. 2003 Sep 1;10(3):323–44.
- Trivedi KS, Ma X, Dharmaraja S. Performability modelling of wireless communication systems. International Journal of Communication Systems. 2003 Aug 1;16(6):561–77.
- Xie W, Sun H, Cao Y, Trivedi KS. Modeling of user perceived webserver availability. IEEE International Conference on Communications. 2003 Jul 18;3:1796–800.
- Lanus M, Yin L, Trivedi KS. Hierarchical composition and aggregation of state-based availability and performability models. IEEE Transactions on Reliability. 2003 Mar 1;52(1):44–52.
- Gokhale SS, Horgan JR, Trivedi KS. Specification-level integration of simulation and dependability analysis. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2003. p. 245–66.
- Goševa-Popstojanova K, Trivedi KS. Architecture-Based Approaches to Software Reliability Prediction. Computers and Mathematics with Applications. 2003 Jan 1;46(7):1023–36.
- Trivedi KS, Ramani S, Fricks R. Recent advances in modeling response-time distributions in real-time systems. Proceedings of the IEEE. 2003 Jan 1;91(7):1023–36.
- Fricks RM, Trivedi KS. Importance analysis with Markov chains. Proceedings of the Annual Reliability and Maintainability Symposium. 2003 Jan 1;89–95.
- Suzuki H, Dohi T, Kaio N, Trivedi KS. Maximizing interval reliability in operational software system with rejuvenation. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2003. p. 479–90.
- Wang D, Madan BB, Trivedi KS. Security analysis of SITAR intrusion tolerance system. Proceedings of the ACM Workshop on Survivable and Self-Regenerative Systems. 2003 Jan 1;23–32.
- Wang F, Jou F, Gong F, Sargor C, Goseva-Popstojanova K, Trivedi K. SITAR: A scalable intrusion-tolerant architecture for distributed services. In: Foundations of Intrusion Tolerant Systems, OASIS 2003. 2003. p. 359–67.
- 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. 2002 Dec 17;286–95.
- 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. 2002 Dec 1;337–42.
- 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. 2002 Dec 1;571–80.
- Trivedi KS. SREPT: A tool for software reliability estimation and prediction. Proceedings of the 2002 International Conference on Dependable Systems and Networks. 2002 Dec 1;546.
- Trivedi KS, Dharmaraja S, Ma X. Analytic modeling of handoffs in wireless cellular networks. Information Sciences. 2002 Dec 1;148(1–4):155–66.
- 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. 2002 Dec 1;505–14.
- 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. 2002 Dec 1;61–8.
- Hong Y, Chen D, Trivedi KS. Failure mitigation for quality of service of wireless networks. Proceedings of the IEEE Conference on Decision and Control. 2002 Dec 1;2:1414–5.
- Trivedi KS. SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator. Proceedings of the 2002 International Conference on Dependable Systems and Networks. 2002 Dec 1;544.
- Trivedi KS, Selvamuthu D, Ma X. Analytic Modeling of Handoffs in Wireless Cellular Networks. Proceedings of the Joint Conference on Information Sciences. 2002 Dec 1;6:1383–92.
- Cao Y, Sun H, Trivedi KS, Han JJ. System availability with non-exponentially distributed outages. IEEE Transactions on Reliability. 2002 Jun 1;51(2):193–8.
- Ma Y, Han JJ, Trivedi KS. Call admission control for reducing dropped calls in CDMA cellular systems. Computer Communications. 2002 May 1;25(7):689–99.
- Pauca VP, Rodriguez AF, Sun X, Trivedi KS. A methodology towards automatic implementation of N-body algorithms. Applied Numerical Mathematics. 2002 Jan 1;40(1–2):3–21.
- 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. 2002 Jan 1;584–91.
- Chen D, Hong Y, Trivedi KS. Second-order stochastic fluid models with fluid-dependent flow rates. Performance Evaluation. 2002;49(1–4):341–58.
- Gokhale SS, Trivedi KS. Reliability prediction and sensitivity analysis based on software architecture. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2002. p. 64–75.
- Trivedi KS, Vaidyanathan K. Software reliability and rejuvenation: Modeling and analysis. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2002. p. 318–45.
- Xie W, Sun H, Cao Y, Trivedi KS. OPTIMAL WEBSERVER SESSION TIMEOUT SETTINGS FOR WEB USERS. In: 28th International Computer Measurement Group Conference, CMG 2002. 2002.
- Dohi T, Kaio N, Trivedi KS. Availability models with age-dependent checkpointing. Proceedings of the IEEE Symposium on Reliable Distributed Systems. 2002 Jan 1;130–9.
- Chen D, Hong Y, Trivedi KS. Optimal estimation of training interval for channel equalizations. IEEE International Conference on Communications. 2002 Jan 1;2:717–21.
- Ramani S, Goševa-Popstojanova K, Trivedi KS. A framework for performability modeling of messaging services in distributed systems. In: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. 2002. p. 25–34.
- Qian M, Logothetis D, Trivedi KS. All-terminal reliability analysis of the SRP-ring: The effect of enhanced intelligent protection switching. In: Proceedings - International Conference on Computer Communications and Networks, ICCCN. 2002. p. 52–7.
- Li L, Vaidyanathan K, Trivedi KS. An approach for estimation of software aging in a Web server. In: ISESE 2002 - Proceedings, 2002 International Symposium on Empirical Software Engineering. 2002. p. 91–100.
- Liu Y, Trivedi KS, Ma Y, Han JJ, Levendel H. Modeling and analysis of software rejuvenation in cable modem termination systems. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2002. p. 159–70.
- Chen D, Trivedi, S K. Closed-form analytical results for condition-based maintenance. Reliab Eng Syst Saf (UK). 2002;76(1):43–51.
- 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. 2001 Dec 1;166–75.
- Dohi T, Goeva-Popstojanova K, Trivedi K. Estimating software rejuvenation schedules in high-assurance systems. Computer Journal. 2001 Dec 1;44(6):473–85.
- Hong Y, Cao Y, Sun H, Trivedi KS. RED parameters and performance of TCP connections. Electronics Letters. 2001 Nov 22;37(24):1489–91.
- Sun H, Zang X, Trivedi KS. A performance model of partial packet discard and early packet discard schemes in ATM switches. Computer Communications. 2001 Oct 1;24(15–16):1540–53.
- Ma Y, Han JJ, Trivedi KS. Composite performance and availability analysis of wireless communication networks. IEEE Transactions on Vehicular Technology. 2001 Sep 1;50(5):1216–23.
- Ma Y, Han JJ, Trivedi KS. A method for multiple channel recovery in TDMA wireless communications systems. Computer Communications. 2001 Jul 15;24(12):1147–57.
- Goševa-Popstojanova K, Trivedi KS. Architecture-based approach to reliability assessment of software systems. Performance Evaluation. 2001 Jul 1;45(2–3):179–204.
- Haverkort BR, Marie R, Rubino G, Trivedi K. Performability modelling techniques and tools. John Wiley & Sons Inc; 2001.
- Sun H, Zang X, Trivedi KS. Performance of broadcast and unknown server (BUS) in ATM LAN emulation. IEEE/ACM Transactions on Networking. 2001 Jun 1;9(3):361–72.
- Haring G, Marie R, Puigjaner R, Trivedi K. Loss formulas and their application to optimization for cellular networks. IEEE Transactions on Vehicular Technology. 2001 May 1;50(3):664–73.
- Tuffin B, Chen DS, Trivedi KS. Comparison of Hybrid Systems and Fluid Stochastic Petri Nets. Discrete Event Dynamic Systems: Theory and Applications. 2001;11(1–2):77–95.
- Yin L, Smith MAJ, Trivedi KS. Uncertainty analysis in reliability modeling. Proceedings of the Annual Reliability and Maintainability Symposium. 2001 Jan 1;229–34.
- Castelli V, Harper RE, Heidelberger P, Hunter SW, Trivedi KS, Vaidyanathan K, et al. Proactive management of software aging. IBM Journal of Research and Development. 2001 Jan 1;45(2):311–32.
- Vaidyanathan K, Harper RE, Hunter SW, Trivedi KS. Analysis and implementation of software rejuvenation in cluster systems. Performance Evaluation Review. 2001 Jan 1;29(1):62–71.
- Trivedi KS, Sun HR, Cao YH, Ma Y. Stochastic Petri nets and their applications. In: Goto K, Hasegawa T, Takagi H, Takahashi Y, editors. PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING. SPRINGER-VERLAG LONDON LTD; 2001. p. 283–98.
- Chen D, Trivedi KS. Analysis of periodic preventive maintenance with general system failure distribution. In: Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC. 2001. p. 103–7.
- Cao YH, Sun HR, Trivedi KS. Performability analysis of TDMA cellular systems based on composite and hierarchical Markov chain models. In: Goto K, Hasegawa T, Takagi H, Takahashi Y, editors. PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING. SPRINGER-VERLAG LONDON LTD; 2001. p. 317–32.
- Ramani S, Dasarathy B, Trivedi KS. Reliable messaging using the CORBA Notification Service. In: Proceedings - 3rd International Symposium on Distributed Objects and Applications, DOA 2001. 2001. p. 229–38.
- Goseva-Popstojanova K, Wang F, Wang R, Gong F, Vaidyanathan K, Trivedi K, et al. Characterizing intrusion tolerant systems using a state transition model. In: Proceedings - DARPA Information Survivability Conference and Exposition II, DISCEX 2001. 2001. p. 211–21.
- 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. 2001 Jan 1;22–31.
- Ramani S, Trivedi KS, Dasarathy B. Performance analysis of the corba notification service. Proceedings of the IEEE Symposium on Reliable Distributed Systems. 2001 Jan 1;227–36.
- 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. In: EUROCON 2001 - International Conference on Trends in Communications, Proceedings. 2001. p. 115–9.
- Goseva-Popstojanova K, Trivedi KS. 7 Failure correlation in software reliability models. IEEE Transactions on Reliability. 2000 Dec 1;49(1):37–48.
- 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. 2000 Dec 1;40–51.
- 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. 2000 Dec 1;3:1771–7.
- Ma Y, Han JJ, Trivedi KS. Channel allocation with recovery strategy in wireless networks. European Transactions on Telecommunications. 2000 Jan 1;11(4):395–406.
- Ramani S, Dasarathy B, Trivedi KS. Building a reliable message delivery system using the CORBA Event Service. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2000. p. 1276–80.
- 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. 2000 Jan 1;238–47.
- Okamura H, Fujimoto A, Dohi T, Osaki S, Trivedi KS. The optimal preventive maintenance policy for a software system with multi server station. In: 6TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS. 2000. p. 275–9.
- Tuffin B, Trivedi KS. Implementation of importance splitting techniques in stochastic petri net package. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2000. p. 216–29.
- Goševa-Popstojanova K, Trivedi K. Stochastic modeling formalisms for dependability, performance and performability. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2000. p. 403–22.
- Dohi T, Goševa-Popstojanova K, Trivedi KS. Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule. In: Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC. 2000. p. 77–84.
- Hirel C, Sahner R, Zang X, Trivedi K. Reliability and performability modeling using SHARPE 2000. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2000. p. 345–9.
- Dohi T, Goševa-Popstojanova K, Trivedi KS. Analysis of software cost models with rejuvenation. In: Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 2000. p. 25–34.
- Hirel C, Tuffin B, Trivedi KS. SPNP: Stochastic petri nets. Version 6. 0. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2000. p. 354–7.
- Trivedi KS, Vaidyanathan K, Goseva-Popstojanova K. Modeling and analysis of software aging and rejuvenation. Proceedings of the IEEE Annual Simulation Symposium. 2000 Jan 1;270–9.
- Ma Y, Han JJ, Trivedi KS. Call admission control for reducing dropped calls in code division multiple access (CDMA) cellular systems. Proceedings - IEEE INFOCOM. 2000 Jan 1;3:1481–90.
- Goševa-Popstojanova K, Trivedi K. Effects of failure correlation on software in operation. In: Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC. 2000. p. 69–76.
- Ramani S, Gokhale SS, Trivedi KS. SREPT: Software Reliability Estimation and Prediction Tool. Performance Evaluation. 2000 Jan 1;39(1–4):37–60.
- Ramani S, Trivedi KS. SREPT: Software reliability estimation and prediction tool. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2000. p. 358–61.
- Zang X, Sun H, Trivedi KS. A BDD-based algorithm for reliability analysis of phased-mission systems. IEEE Transactions on Reliability. 1999 Dec 1;48(1):50–60.
- 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. 1999 Dec 1;84–93.
- Ma Y, Han JJ, Trivedi KS. A channel recovery method in TDMA wireless systems. IEEE Vehicular Technology Conference. 1999 Dec 1;50(3):1750–4.
- Yin L, Trivedi KS. Confidence interval estimation of NHPP-based software reliability models. Proceedings of the International Symposium on Software Reliability Engineering, ISSRE. 1999 Dec 1;6–11.
- Goseva-Popstojanova K, Trivedi K. Failure correlation in software reliability models. Proceedings of the International Symposium on Software Reliability Engineering, ISSRE. 1999 Dec 1;232–41.
- Sun H, Zang X, Trivedi KS. Effect of Web caching on network planning. Computer Communications. 1999 Sep 15;22(14):1343–50.
- Sun H, Zang X, Trivedi KS. Stochastic reward net model for performance analysis of prioritized DQDB MAN. Computer Communications. 1999 Jun 15;22(9):858–70.
- Zobrist G, Bagchi K, Trivedi K. Advanced Computer System Design. CRC Press; 1999.
- 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. 1999 Jan 1;3:1075–9.
- Bondavalli A, Mura I, Trivedi KS. Dependability modelling and sensitivity analysis of scheduled maintenance systems. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1999. p. 7–23.
- Zang X, Sun H, Trivedi KS. Dependability analysis of distributed computer systems with imperfect coverage. Proceedings - Annual International Conference on Fault-Tolerant Computing. 1999 Jan 1;330–7.
- Mura I, Bondavalli A, Zang X, Trivedi KS. Dependability modeling and evaluation of phased mission systems: A DSPN approach. In: Dependable Computing for Critical Applications 7. 1999. p. 319–37.
- Fricks RM, Puliafito A, Trivedi KS. Performance analysis of distributed real-time databases. Performance Evaluation. 1999 Jan 1;35(3):145–69.
- Ramesh AV, Twigg DW, Sandadi UR, Sharma TC, Trivedi KS, Somani AK. Integrated reliability modeling environment. Reliability Engineering and System Safety. 1999 Jan 1;65(1):65–75.
- 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. 1999 Jan 1;2:1698–702.
- Sun H, Cao Y, Trivedi KS, Han JJ. Availability and performance evaluation for automatic protection switching in TDMA wireless system. In: Proceedings - 1999 Pacific Rim International Symposium on Dependable Computing, PRDC 1999. 1999. p. 15–22.
- Wong WE, Gokhale SS, Horgan JR, Trivedi KS. Locating program features using execution slices. In: Proceedings - 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology, ASSET 1999. 1999. p. 194–203.
- Trivedi KS, Ma Y, Han JJ. Performability analysis of fault tolerant RF link design in wireless communications networks. In: Szczerbicka H, editor. ESM’99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL 1. SOC COMPUTER SIMULATION; 1999. p. 33–40.
- Ma Y, Trivedi KS. Algorithm for reliability analysis of phased-mission systems. Reliability Engineering and System Safety. 1999;66(2):157–70.
- Gokhale SS, Trivedi KS. A time/structure based software reliability model. Annals of Software Engineering. 1999 Jan 1;8(1–4):85–121.
- Ciardo G, Nicol DM, Trivedi KS. Discrete-event simulation of fluid stochastic Petri nets. IEEE Transactions on Software Engineering. 1999 Jan 1;25(2):207–17.
- Luo T, Confrey T, Trivedi KS. A reliable CORBA-based network management system. In: IEEE International Conference on Communications. 1999. p. 1374–87.
- 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. 1999 Jan 1;322–9.
- 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. 1998 Dec 1;283–92.
- Gokhale SS, Lyu MR, Trivedi KS. Reliability simulation of component-based software systems. Proceedings of the International Symposium on Software Reliability Engineering, ISSRE. 1998 Dec 1;192–201.
- Luo T, Trivedi KS. An improved algorithm for coherent-system reliability. IEEE Transactions on Reliability. 1998 Dec 1;47(1):73–8.
- 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. 1998 Dec 1;202–11.
- Garg S, Puliafito A, Telek M, Trivedi K. Analysis of preventive maintenance in transactions based software systems. IEEE Transactions on Computers. 1998 Dec 1;47(1):96–107.
- Puliafito A, Tomarchio O, Vita L, Trivedi KS. Increasing application accessibility through Java. IEEE Internet Computing. 1998 Jul 1;2(4):70–7.
- Horton G, Kulkarni VG, Nicol DM, Trivedi KS. Fluid stochastic petri nets: Theory, applications, and solution techniques. European Journal of Operational Research. 1998 Feb 16;105(1):184–201.
- Puliafito A, Scarpa M, Trivedi KS. Petri nets with k simultaneously enabled generally distributed timed transitions. Performance Evaluation. 1998 Jan 1;32(1):1–34.
- Gokhale SS, Lyu MR, Trivedi KS. Model validation using simulated data. In: Proceedings - 1998 IEEE Workshop on Application-Specific Software Engineering and Technology, ASSET 1998. 1998. p. 22–7.
- Ma Y, Ro CW, Trivedi KS. Performability analysis of channel allocation with channel recovery strategy in cellular networks. In: ICUPC 1998 - IEEE 1998 International Conference on Universal Personal Communications, Conference Proceedings. 1998. p. 71–5.
- Gokhale SS, Trivedi KS. Log-logistic software reliability growth model. In: Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998. 1998. p. 34–41.
- Fricks RM, Trivedi KS. Availability modeling of energy management systems. Microelectronics Reliability. 1998 Jan 1;38(5):727–43.
- Choi H, Wang W, Trivedi KS. Analysis of conditional MTTF of fault-tolerant systems. Microelectronics Reliability. 1998 Jan 1;38(3):393–401.
- Bobbio A, Puliafito A, Telek M, Trivedi KS. Recent developments in non-Markovian stochastic Petri nets. Journal of Circuits, Systems and Computers. 1998 Jan 1;8(1):119–58.
- Luo T, Trivedi KS. An improved multiple variable inversion algorithm for reliability calculation. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1998. p. 180–92.
- Ramani S, Gokhale SS, Trivedi KS. Srept: Software reliability estimation and prediction tool. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1998. p. 27–36.
- Fricks RM, Puliafito A, Telek M, Trivedi KS. Applications of non-Markovian stochastic Petri nets. Performance Evaluation Review. 1998 Jan 1;26(2):15–27.
- Ro CW, Trivedi KS. Performability analysis of handoff calls in personal communication networks. Proceedings of the International Conference on Computer Communications and Networks, ICCCN. 1997 Dec 1;116–21.
- Somani AK, Trivedi KS. Cache error propagation model. Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, PRFTS. 1997 Dec 1;15–21.
- 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. 1997 Dec 1;167–73.
- Logothetis D, Trivedi K. The Effect of Detection and Restoration Times for Error Recovery in Communication Networks. Journal of Network and Systems Management. 1997 Jan 1;5(2):173–95.
- Tai AT, Hecht H, Trivedi KS, Zhang B. Toward accessibility enhancement of dependability modeling techniques and tools. In: Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997. 1997. p. 37–41.
- Ciardo G, Nicol D, Trivedi KS. Discrete-event simulation of fluid stochastic Petri nets. International Workshop on Petri Nets and Performance Models. 1997 Jan 1;217–25.
- 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. 1997 Jan 1;2–7.
- Gokhale SS, Marinos PN, Lyu MR, Trivedi KS. Effect of repair policies on software reliability. COMPASS - Proceedings of the Annual Conference on Computer Assurance. 1997 Jan 1;105–16.
- 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. 1997 Jan 1;7(1–3):105–23.
- Garg S, Telek M, Puliafito A, Trivedi KS. On the analysis of software rejuvenation policies. COMPASS - Proceedings of the Annual Conference on Computer Assurance. 1997 Jan 1;88–96.
- Hunter S, Philip T, Trivedi K. Combined performance and availability analysis of a switched network application. IEEE International Conference on Communications. 1997 Jan 1;1:241–5.
- 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. 1996 Dec 1;299–307.
- 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. 1996 Dec 1;27–34.
- Bänsch K, Heini A, Malhotra M, Trivedi K. Comment/correction: dependability modeling using petri nets. IEEE Transactions on Reliability. 1996 Dec 1;45(2):272–3.
- Mainkar V, Trivedi KS. Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models. IEEE Transactions on Software Engineering. 1996 Dec 1;22(9):640–53.
- Leemis L, Trivedi KS. A comparison of approximate interval estimators for the Bernoulli parameter. AMERICAN STATISTICIAN. 1996 Nov 1;50(4):388–9.
- Heidelberger P, Muppala JK, Trivedi KS. Accelerating mean time to failure computations. Performance Evaluation. 1996 Oct 1;27–28:627–45.
- Garg S, Huang Y, Kintala C, Trivedi KS. Minimizing completion time of a program by checkpointing and rejuvenation. In: SIGMETRICS 1996 - Proceedings of the 1996 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 1996. p. 252–61.
- Leemis LM, Trivedi KS. A Comparison of Approximate Interval Estimators for the Bernoulli Parameter. American Statistician. 1996 Jan 1;50(1):63–8.
- Garg S, Kintala C, Huang Y, Trivedi KS. Minimizing completion time of a program by checkpointing and rejuvenation. Performance Evaluation Review. 1996 Jan 1;24(1):252–61.
- Balakrishnan M, Trivedi KS. Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing. Reliability Engineering and System Safety. 1996 Jan 1;52(3 SPEC. ISS.):243–59.
- Hecht H, Tai AT, Trivedi KS, Chruscicki AJ. User-friendly dependability evaluation tool. IEEE Proceedings of the National Aerospace and Electronics Conference. 1996 Jan 1;2:637–41.
- Pfening A, Garg S, Puliafito A, Telek M, Trivedi KS. Optimal software rejuvenation for tolerating soft failures. Performance Evaluation. 1996 Jan 1;27–28:491–506.
- Heidelberger P, Muppala JK, Trivedi KS. Accelerating mean time to failure computations. Performance Evaluation. 1996 Jan 1;27–28:627–45.
- Sahner RA, Trivedi KS. SHARPE: a modeler's toolkit. Proceedings -IEEE International Computer Performance and Dependability Symposium, IPDS. 1996 Jan 1;58.
- Wang CY, Logothetis D, Trivedi KS, Viniotis I. Transient behavior of ATM networks under overloads. Proceedings - IEEE INFOCOM. 1996 Jan 1;3:978–85.
- Gokhale SS, Marines PN, Trivedi KS. Important milestones in software reliability modeling. In: SEKE ’96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS. KNOWLEDGE SYSTEMS INSTITUTE; 1996. p. 345–52.
- 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. 1996 Jan 1;50(4):388–9.
- Logothetis D, Trivedi K. Effect of detection and restoration times for error recovery in communication networks. Proceedings - IEEE Military Communications Conference MILCOM. 1995 Dec 1;2:663–7.
- 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. 1995 Dec 1;113–22.
- 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. 1995 Dec 1;180–7.
- Mainkar V, Trivedi KS. Fixed point iteration using stochastic reward nets. International Workshop on Petri Nets and Performance Models. 1995 Dec 1;21–30.
- Greiner S, Puliafito A, Bolch G, Trivedi KS. Performance evaluation of dynamic priority operating systems. International Workshop on Petri Nets and Performance Models. 1995 Dec 1;241–50.
- 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. 1995 Dec 1;103–12.
- Trivedi KS, German R, Bobbio A, Puliafito A, Ciardo G, Telek M. Non-Markovian Petri Nets. In: Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995. 1995. p. 263–4.
- Ramesh AV, Trivedi K. Semi-numerical transient analysis of Markov models. Proceedings of the Annual Southeast Conference. 1995 Jan 1;13–23.
- 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. 1995 Jan 1;21(3):271.
- Telek M, Bobbio A, Jereb L, Puliafito A, Trivedi KS. Steady state analysis of markov regenerative SPN with age memory policy. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1995. p. 165–79.
- Lindemann C, Malhotra M, Trivedi KS. Numerical Methods for Reliability Evaluation of Markov Closed Fault-Tolerant Systems. IEEE Transactions on Reliability. 1995 Jan 1;44(4):694–704.
- MAINKAR V, TRIVEDI KS. TRANSIENT ANALYSIS OF REAL-TIME SYSTEMS USING DETERMINISTIC AND STOCHASTIC PETRI NETS. In: Hommel G, editor. QUALITY OF COMMUNICATION-BASED SYSTEMS. KLUWER ACADEMIC PUBL; 1995. p. 69–84.
- Trivedi KS, Puliafito A, Logothetis D. From stochastic Petri nets to Markov regenerative stochastic Petri nets. In: Proceedings - IEEE Computer Society’s Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS. 1995. p. 194–8.
- Mainkar V, Trivedi KS, Rindos AJ. Approximate computation of sojourn time distribution in open queueing networks. In: Stewart WJ, editor. COMPUTATIONS WITH MARKOV CHAINS. KLUWER ACADEMIC PUBL; 1995. p. 599–600.
- Rai S, Veeraraghavan M, Trivedi KS. A survey of efficient reliability computation using disjoint products approach. Networks. 1995 Jan 1;25(3):147–63.
- Puliafito A, Balakrishnan M, Trivedi KS, Viniotis I. Buffer sizing for ABR traffic in an ATM switch. IEEE International Conference on Communications. 1995 Jan 1;1:316–20.
- Logothetis D, Trivedi KS, Puliafito A. Markov regenerative models. Proceedings - International Computer Performance and Dependability Symposium. 1995 Jan 1;134–42.
- Balakrishnan M, Trivedi K. Componentwise decomposition for an efficient reliability computation of systems with repairable components. Proceedings - Annual International Conference on Fault-Tolerant Computing. 1995 Jan 1;259–68.
- Logothetis D, Trivedi K. Time-dependent behavior of redundant systems with deterministic repair. In: Stewart WJ, editor. COMPUTATIONS WITH MARKOV CHAINS. KLUWER ACADEMIC PUBL; 1995. p. 135–50.
- IYER RK, TRIVEDI KS, GOLDBERG J. INTRODUCTION TO THE SPECIAL ISSUE ON FAULT-TOLERANT COMPUTING. IEEE TRANSACTIONS ON COMPUTERS. 1995;44(2):165–7.
- Malhotra M, Trivedi KS. Dependability Modeling Using Petri-Nets. IEEE Transactions on Reliability. 1995 Jan 1;44(3):428–40.
- Constantinescu C, Trivedi K. Dependability modeling of real-time systems using stochastic reward nets. Microelectronics Reliability. 1995 Jan 1;35(6):903–14.
- Rindos A, Woolet S, Viniotis I, Trivedi K. Exact methods for the transient analysis of nonhomogeneous continuous time Markov chains. In: Stewart WJ, editor. COMPUTATIONS WITH MARKOV CHAINS. KLUWER ACADEMIC PUBL; 1995. p. 121–33.
- Malhotra M, Trivedi KS. Data integrity analysis of disk array systems with analytic modeling of coverage. Performance Evaluation. 1995 Jan 1;22(1):111–33.
- Logothetis D, Trivedi K. Transient analysis of the leaky bucket rate control scheme under poisson and on-off sources. Proceedings - IEEE INFOCOM. 1994 Dec 1;2:490–7.
- de Meer H, Trivedi KS, Dal Cin M. Guarded repair of dependable systems. Theoretical Computer Science. 1994 Jun 6;128(1–2):179–210.
- Muppala JK, Trivedi KS, Mainkar V, Kulkarni VG. Numerical computation of response time distributions using stochastic reward nets. Annals of Operations Research. 1994 Apr 1;48(2):155–84.
- 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. 1994 Jan 1;330–7.
- Malhotra M, Trivedi KS. Power-Hierarchy of Dependability-Model Types. IEEE Transactions on Reliability. 1994 Jan 1;43(3):493–502.
- Choi H, Kulkarni VG, Trivedi KS. Markov regenerative stochastic Petri nets. Performance Evaluation. 1994 Jan 1;20(1–3):337–57.
- Malhotra M, Muppala JK, Trivedi KS. Stiffness-tolerant methods for transient analysis of stiff Markov chains. Microelectronics Reliability. 1994 Jan 1;34(11):1825–41.
- Somani AK, Trivedi KS. Phased-mission system analysis using boolean algebraic methods. Performance Evaluation Review. 1994 Jan 1;22(1):98–107.
- 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. 1994 Jan 1;7–11.
- Trivedi KS, Haverkort BR, Rindos A, Mainkar V. Techniques and tools for reliability and performance evaluation: Problems and perspectives. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1994. p. 1–24.
- Wang W, Trivedi KS. Coverage Evaluation Through Fault Injection: Fault Sampling and Statistical Analysis. In: 3rd IEEE International Workshop on Integrating Error Models with Fault Injection, WIEM 1994. 1994. p. 31–2.
- Tomek L, Mainkar V, Geist RM, Trivedi KS. Reliability Modeling of Life-Critical, Real-Time Systems. Proceedings of the IEEE. 1994 Jan 1;82(1):108–21.
- Constazltinescu C, Trivedi K. A stochastic reward net model for dependability analysis of real-time computing systems. In: Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994. 1994. p. 142–6.
- Logothetis D, Trivedi KS. Reliability Analysis of the Double Counter-Rotating Ring with Concentrator Attachments. IEEE/ACM Transactions on Networking. 1994 Jan 1;2(5):520–32.
- Veeraraghavan M, Trivedi KS. A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models. IEEE Transactions on Computers. 1994 Jan 1;43(2):229–34.
- Geist R, Trivedi K. Analytic treatment of the reliability and performance of mirrored disk subsystems. Digest of Papers - International Symposium on Fault-Tolerant Computing. 1993 Dec 1;442–50.
- Veeraraghavan M, Trivedi KS. Approach for combinatorial performance and availability analysis. 1993 Dec 1;24–33.
- Haverkort BR, Trivedi KS. Specification techniques for Markov reward models. Discrete Event Dynamic Systems: Theory and Applications. 1993 Jul 1;3(2–3):219–47.
- Ramesh AV, Trivedi K. On the sensitivity of transient solutions of Markov models. Proceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993. 1993 Jun 1;122–34.
- Choi H, Kulkarni VG, Trivedi KS. Transient analysis of deterministic and stochastic petri nets. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1993. p. 166–85.
- Logothetis D, Trivedi K. Reliability analysis of various station attachment schemes in a FDDI token ring. Proceedings - IEEE INFOCOM. 1993 Jan 1;1:201–5.
- Tomek LA. Modeling Correlation in Software Recovery Blocks. IEEE Transactions on Software Engineering. 1993 Jan 1;19(11):1071–86.
- Chimento PF. The Completion Time of Programs on Processors Subject to Failure and Repair. IEEE Transactions on Computers. 1993 Jan 1;42(10):1184–94.
- Choi H, Trivedi KS. Conditional MTTF and its computation in Markov reliability models. Proceedings of the Annual Reliability and Maintainability Symposium. 1993 Jan 1;56–63.
- Ciardo G, Trivedi KS. A decomposition approach for stochastic reward net models. Performance Evaluation. 1993 Jan 1;18(1):37–59.
- Ibe OC, Choi H, Trivedi KS. Performance Evaluation of Client-Server Systems. IEEE Transactions on Parallel and Distributed Systems. 1993 Jan 1;4(11):1217–29.
- Lopez-Benitez N, Trivedi KS. Multiprocessor Performability Analysis. IEEE Transactions on Reliability. 1993 Jan 1;42(4):579–87.
- Malhotra M, Trivedi KS. Reliability analysis of redundant arrays of inexpensive disks. Journal of Parallel and Distributed Computing. 1993 Jan 1;17(1–2):146–51.
- Meer HD, Trivedi KS. Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems. In: Walke B, Spaniol O, editors. MMB. Springer; 1993. p. 159–72.
- MUPPALA JK, CIARDO G, TRIVEDI KS. MODELING USING STOCHASTIC REWARD NETS. In: MASCOTS ’93. 1993. p. 367–72.
- Trivedi KS, Ciardo G, Malhotra M, Sahner RA. Dependability and performability analysis. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1993. p. 587–612.
- Geist R, Trivedi KS. An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems. In: FTCS. IEEE Computer Society; 1993. p. 442–50.
- Wang CY, Trivedi KS. Integration of specification for modeling and specification for system design. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1993. p. 473–92.
- Trivedi KS, Kulkarni VG. FSPNs: Fluid stochastic petri nets. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1993. p. 24–31.
- Trivedi KS, Malhotra M. Reliability and Performability Techniques and Tools: A Survey. In: Walke B, Spaniol O, editors. MMB. Springer; 1993. p. 27–48.
- CHOI H, MAINKAR V, TRIVEDI KS. SENSITIVITY ANALYSIS OF DETERMINISTIC AND STOCHASTIC PETRI NETS. In: Schwetman H, Walrand J, Bagchi K, DeGroot D, editors. MASCOTS ’93. SOC COMPUTER SIMULATION INT; 1993. p. 271–6.
- Malhotra M, Trivedi KS. A methodology for formal expression of hierarchy in model solution. In: Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993. 1993. p. 258–67.
- Mainkar V, Choi H, Trivedi K. Sensitivity analysis of Markov regenerative stochastic Petri nets. In: Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993. 1993. p. 180–9.
- Mainkar V, Trivedi KS. Approximate analysis of priority scheduling systems using stochastic reward nets. Proceedings - International Conference on Distributed Computing Systems. 1993 Jan 1;466–73.
- Sahner RA. A Software Tool for Learning About Stochastic Models. IEEE Transactions on Education. 1993 Jan 1;36(1):56–61.
- CIARDO G, TRIVEDI KS. SPNP - THE STOCHASTIC PETRI-NET PACKAGE (VERSION 3.1). In: MASCOTS ’93. 1993. p. 390–1.
- Choi H, Trivedi KS. Approximate performance models of polling systems using stochastic Petri nets. Proceedings - IEEE INFOCOM. 1992 Dec 1;2306–14.
- IYER RK, TRIVEDI KS. MEASUREMENT AND ANALYSIS OF PARALLEL AND DISTRIBUTED SYSTEMS - INTRODUCTION. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS. 1992 Nov 1;3(6):641–2.
- Nicola V, Bobbio A, Trivedi K. A unified performance reliability analysis of a system with a cumulative down time constraint. Microelectronics Reliability. 1992 Jan 1;32(1–2):49–65.
- Ciardo G, Muppala JK, Trivedi KS. Analyzing concurrent and fault-tolerant software using stochastic reward nets. Journal of Parallel and Distributed Computing. 1992 Jan 1;15(3):255–69.
- Iyer RK, Trivedi KS. Guest Editors' Introduction. IEEE Trans Parallel Distributed Syst. 1992;3:641–2.
- MUPPALA JK, TRIVEDI KS. COMPOSITE PERFORMANCE AND AVAILABILITY ANALYSIS USING A HIERARCHY OF STOCHASTIC REWARD NETS. In: COMPUTER PERFORMANCE EVALUATION. 1992. p. 335–49.
- SAHNER RA, TRIVEDI KS. A TOOLCHEST FOR STOCHASTIC-MODELS. In: INTERNATIONAL CONFERENCE ON SIMULATION IN ENGINEERING EDUCATION. 1992. p. 25–30.
- Trivedi KS, Muppala JK, Woolet SP, Haverkort BR. Composite performance and dependability analysis. Performance Evaluation. 1992 Jan 1;14(3–4):197–215.
- Ibe OC, Trivedi KS. Stochastic petri net analysis of finite-population vacation queueing systems. Queueing Systems. 1991 Dec 1;8(1):111–27.
- Muppala JK, University D, Woolet SP, Trivedi KS. Real-Time-Systems Performance in the Presence of Failures. Computer. 1991 Jan 1;24(5):37–47.
- Heimann DI, Mittal N, Trivedi KS. Dependability modeling for computer systems. Proceedings of the Annual Reliability and Maintainability Symposium. 1991 Jan 1;120–8.
- Ciardo G, Muppala J, Trivedi KS. On the solution of GSPN reward models. Performance Evaluation. 1991 Jan 1;12(4):237–53.
- Ciardo G, Trivedi KS. A decomposition approach for stochastic Petri net models. In: Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991. 1991. p. 74–83.
- HEIMANN DI, MITTAL N, TRIVEDI KS. DEPENDABILITY MODELING FOR COMPUTER-SYSTEMS. In: PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM. 1991. p. 120–8.
- Veeraraghavan M, Trivedi KS. An Improved Algorithm for Symbolic Reliability Analysis. IEEE Transactions on Reliability. 1991 Jan 1;40(3):347–58.
- CIARDO G, TRIVEDI KS. SOLUTION OF LARGE GSPN MODELS. In: NUMERICAL SOLUTION OF MARKOV CHAINS. 1991. p. 565–95.
- Logothetis D, Trivedi K. Reliability analysis of the FDDI token ring. In: Proceedings - Conference on Local Computer Networks, LCN. 1991. p. 41–51.
- Tomek LA, Trivedi KS. Fixed Point Iteration in Availability Modeling. In: Cin MD, Hohl W, editors. Fault-Tolerant Computing Systems. Springer; 1991. p. 229–40.
- CIARDO G, MUPPALA J, TRIVEDI KS. SPNP - THE STOCHASTIC PETRI NET PACKAGE. In: NUMERICAL SOLUTION OF MARKOV CHAINS. 1991. p. 693–4.
- Kantz H, Trivedi K. Reliability modeling of the MARS system: A case study in the use of different tools and techniques. In: Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991. 1991. p. 268–77.
- SAHNER RA, TRIVEDI KS. SHARPE - SYMBOLIC HIERARCHICAL AUTOMATED RELIABILITY AND PERFORMANCE EVALUATOR. In: NUMERICAL SOLUTION OF MARKOV CHAINS. 1991. p. 695–6.
- Veeraraghavan M, Trivedi KS. An improved algorithm for the symbolic reliability analysis of networks. Proceedings - Symposium on Reliability in Distributed Software and Database Systems. 1990 Dec 1;34–43.
- Ibe OC, Trivedi KS. Two queues with alternating service and server breakdown. Queueing Systems. 1990 Sep 1;7(3–4):253–68.
- Muppala JK, Trivedi KS. GSPN Models: Sensitivity analysis and applications. In: Proceedings - 28th Annual Southeast Regional Conference, ACM-SE 1990. 1990. p. 25–33.
- Bobbio A, Trivedi K. Computing Cumulative Measures of Stiff Markov Chains Using Aggregation. IEEE Transactions on Computers. 1990 Jan 1;39(10):1291–8.
- Heimann DI, Mittal N, Trivedi KS. Availability and Reliability Modeling for Computer Systems. Advances in Computers. 1990 Jan 1;31(C):175–233.
- Trivedi KS, Sathaye AS, Ibe OC, Howe RC. Should I add a processor? Proceedings of the Hawaii International Conference on System Science. 1990 Jan 1;1:214–21.
- Muppala JK, Trivedi KS. GSPM models: sensitivity analysis and applications. In: Turner AJ, editor. ACM Southeast Regional Conference. ACM; 1990. p. 25–33.
- Geist R, Trivedi K. Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques. Computer. 1990 Jan 1;23(7):52–61.
- Ciardo G, Marie RA, Sericola B, Trivedi KS. Performability Analysis Using Semi-Markov Reward Processes. IEEE Transactions on Computers. 1990 Jan 1;39(10):1251–64.
- Calzarossa M, Marie R, Trivedi KS. System performance with user behavior graphs. Performance Evaluation. 1990 Jan 1;11(3):155–64.
- Ibe OC, Trivedi KS. Stochastic Petri Net Models of Polling Systems. IEEE Journal on Selected Areas in Communications. 1990 Jan 1;8(9):1649–57.
- Kulkarni VG, Nicola VF, Trivedi KS. Effects of checkpointing and queueing on program performance. Communications in Statistics Stochastic Models. 1990 Jan 1;6(4):615–48.
- 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. 1990 Jan 1;6(1):133–50.
- Chimento PF, Trivedi KS. Completion time of programs on concurrent processors with failure and repair. Proceedings of the International Conference on Parallel Processing. 1989 Dec 1;1:167–71.
- Ibe OC, Sathaye A, Howe RC, Trivedi KS. Stochastic Petri net modeling of VAXcluster system availability. 1989 Dec 1;112–21.
- Ciardo G, Muppala J, Trivedi K. SPNP: Stochastic Petri Net Package. 1989 Dec 1;142–51.
- Thambidurai P, Trivedi KS. Transient overloads in fault-tolerant real-time systems. Proceedings - Real-Time Systems Symposium. 1989 Dec 1;126–33.
- Thambidurai P, Park YK, Trivedi KS. On reliability modelling of fault-tolerant distributed systems. Proceedings - International Conference on Distributed Computing Systems. 1989 Jun 1;136–42.
- Reibman A, Smith R, Trivedi K. Markov and Markov reward model transient analysis: An overview of numerical approaches. European Journal of Operational Research. 1989 May 25;40(2):257–67.
- Reibman A, Trivedi K, Kumar S, Ciardo G. Analysis of Stiff Markov Chains. ORSA Journal on Computing. 1989 May;1(2):126–33.
- Dugan JB, Trivedi KS. Coverage Modeling for Dependability Analysis of Faulttolerant Systems. IEEE Transactions on Computers. 1989 Jan 1;38(6):775–87.
- Smith WE, Trivedi KS. Dependability evaluation of a class of multi-loop topologies for local area networks. IBM Journal of Research and Development. 1989 Jan 1;33(5):511–23.
- Blake JT, Trivedi KS. Multistage Interconnection Network Reliability. IEEE Transactions on Computers. 1989 Jan 1;38(11):1600–4.
- Ibe OC, Howe RC, Trivedi KS. Approximate Availability Analysis of VAXcluster Systems. IEEE Transactions on Reliability. 1989 Jan 1;38(1):146–52.
- McGough J, Reibman A, Trivedi K. Markov reliability models for digital flight control systems. Journal of Guidance, Control, and Dynamics. 1989 Jan 1;12(2):209–19.
- Reibman A, Trivedi K. Transient analysis of cumulative measures of markov model behavior. Communications in Statistics Stochastic Models. 1989 Jan 1;5(4):683–710.
- Blake JT, Trivedi KS. Reliability Analysis of Interconnection Networks Using Hierarchical Composition. IEEE Transactions on Reliability. 1989 Jan 1;38(1):111–20.
- Dement JM. Message from the chair. Applied Industrial Hygiene. 1989 Jan 1;4(12).
- Blake JT, Trivedi KS. Reliabilities of two fault-tolerant interconnection networks. Digest of Papers - FTCS (Fault-Tolerant Computing Symposium). 1988 Dec 1;300–5.
- Bavuso SJ, Dugan JB, Trivedi K, Rothmann B, Boyd M. Applications of the hybrid automated reliability predictor. 1988 Dec 1;(2760).
- Blake JT, Reibman AL, Trivedi KS. Sensitivity analysis of reliability and performability measures for multiprocessor systems. Perform Eval Rev (USA). 1988;16(1):177–86.
- Hsueh MC, Iyer RK. Performability Modeling Based on Real Data: A Case Study. IEEE Transactions on Computers. 1988 Jan 1;37(4):478–84.
- Reibman A, Trivedi K. Numerical transient analysis of markov models. Computers and Operations Research. 1988 Jan 1;15(1):19–36.
- 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. 1988 Jan 1;11(1):91–3.
- Blake JT, Trivedi KS. RELIABILITY OF THE SHUFFLE-EXCHANGE NETWORK AND ITS VARIANTS. Proceedings of the Hawaii International Conference on System Science. 1988 Jan 1;174–82.
- Smith RM, Trivedi KS, Ramesh AV. Performability Analysis: Measures, an Algorithm, and a Case Study. IEEE Transactions on Computers. 1988 Jan 1;37(4):406–17.
- Goyal A, Lavenberg SS, Trivedi KS. Probabilistic modeling of computer system availability. Annals of Operations Research. 1987 Dec 1;8(1):285–306.
- Bavuso SJ, Dugan JB, Trivedi K, Rothmann B, Boyd M. APPLICATIONS OF THE HYBRID AUTOMATED RELIABILITY PREDICTOR. 1987 Dec 1;
- Kulkarni VG, Nicola VF, Trivedi KS. The completion time of a job on multimode systems. Advances in Applied Probability. 1987 Dec;19(4):932–54.
- Trivedi KS, Dugan JB. Computer-aided reliability analysis of fault-tolerant systems. Sadhana. 1987 Oct 1;11(1–2):209–20.
- Marie R, Trivedi KS. A note on the effect of preemptive policies on the stability of a priority queue. Information Processing Letters. 1987 Apr 6;24(6):397–401.
- Maire RA, Reibman AL, Trivedi KS. Transient analysis of acyclic markov chains. Performance Evaluation. 1987 Jan 1;7(3):175–94.
- Goyal A, Watson TJ, Nicola VF, Tantawi AN, Trivedi KS. Reliability of Systems with Limited Repairs. IEEE Transactions on Reliability. 1987 Jan 1;R-36(2):202–7.
- Smith RM, Trivedi KS. PERFORMABILITY ANALYSIS OF TWO MULTI-PROCESSOR SYSTEMS. Digest of Papers - FTCS (Fault-Tolerant Computing Symposium). 1987 Jan 1;224–9.
- Sahner RA, Trivedi KS. Performance and Reliability Analysis Using Directed Acyclic Graphs. IEEE Transactions on Software Engineering. 1987 Jan 1;SE-13(10):1105–14.
- Hsueh M-C, Iyer RK, Trivedi KS. A Measurement-Based Performability Model for a Multiprocessor System. In: Iazeolla G, Courtois P-J, Boxma OJ, editors. Computer Performance and Reliability. North-Holland; 1987. p. 337–52.
- Trivedi KS, Reibman AL, Smith R. Transient Analysis of Markov and Markov Reward Models. In: Iazeolla G, Courtois P-J, Boxma OJ, editors. Computer Performance and Reliability. North-Holland; 1987. p. 535–45.
- Nicola VF, Trivedi KS, Kulkarni VG. Queueing Analysis of Faulttolerant Computer Systems. IEEE Transactions on Software Engineering. 1987 Jan 1;SE-13(3):363–75.
- Bavuso SJ, Dugan JB, Trivedi KS, Rothmann EM, Smith WE. Analysis of Typical Fault-Tolerant Architectures using Harp. IEEE Transactions on Reliability. 1987 Jan 1;R-36(2):176–85.
- Sahner RA, Trivedi KS. Reliability Modeling using Sharpe. IEEE Transactions on Reliability. 1987 Jan 1;R-36(2):186–93.
- Sahner RA, Trivedi KS. HIERARCHICAL, COMBINATORIAL-MARKOV METHOD OF SOLVING COMPLEX RELIABILITY MODELS. 1986 Dec 1;817–25.
- Geist R, Smotherman M, Trivedi K, Dugan JB. The reliability of life-critical computer systems. Acta Informatica. 1986 Nov 1;23(6):621–42.
- Bobbio A, Trivedi KS. AGGREGATION TECHNIQUE FOR THE TRANSIENT ANALYSIS OF STIFF MARKOV CHAINS. IEEE Transactions on Computers. 1986 Jan 1;C–35(9):803–14.
- Goyal A, Carter WC, de Souza e Silva E, Lavenberg SS, Trivedi KS. SYSTEM AVAILABILITY ESTIMATOR. Digest of Papers - FTCS (Fault-Tolerant Computing Symposium). 1986 Jan 1;84–9.
- Mulazzani M, Trivedi K. DEPENDABILITY PREDICTION: COMPARISON OF TOOLS AND TECHNIQUES. IFAC Proceedings Series. 1986 Jan 1;171–8.
- Smotherman M, Geist RM, Trivedi KS. PROBABLY CONSERVATIVE APPROXIMATIONS TO COMPLEX RELIABILITY MODELS. IEEE Transactions on Computers. 1986 Jan 1;C–35(4):333–8.
- Nicola VF, Kulkarni VG, Trivedi KS. QUEUEING ANALYSIS OF FAULT-TOLERANT COMPUTER SYSTEMS. Performance Evaluation Review. 1986 Jan 1;14(1):203.
- Kulkarni VG, Nicola VF, Trivedi KS. On modelling the performance and reliability of multimode computer systems. The Journal of Systems and Software. 1986 Jan 1;6(1–2):175–82.
- 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). 1986 Jan 1;252–7.
- Dugan JB, Trivedi KS, Smotherman MK, Geist RM. The hybrid automated reliability predictor. Journal of Guidance, Control, and Dynamics. 1986 Jan 1;9(3):319–31.
- Calzarossa M, Trivedi KS. PERFORMANCE ANALYSIS USING USER BEHAVIOR GRAPHS. In: 12th International Computer Measurement Group Conference, CMG 1986. 1986. p. 394–7.
- Dugan JB, Trivedi KS, Geist RM, Nicola VF. EXTENDED STOCHASTIC PETRI NETS: APPLICATIONS AND ANALYSIS. 1985 Dec 1;507–19.
- Dugan JB, Bobbio A, Ciardo G, Trivedi K. DESIGN OF A UNIFIED PACKAGE FOR THE SOLUTION OF STOCHASTIC PETRI NET MODELS. 1985 Dec 1;6–13.
- McGough J, Smotherman M, Trivedi KS. The Conservativeness of Reliability Estimates Based on Instantaneous Coverage. IEEE Transactions on Computers. 1985 Jan 1;C–34(7):602–9.
- Baccelli F, Trivedi KS. A single server queue in a hard-real-time environment. Operations Research Letters. 1985 Jan 1;4(4):161–8.
- Trivedi KS. COMPUTER SYSTEMS ANALYSIS. Modeling and Simulation, Proceedings of the Annual Pittsburgh Conference. 1984 Dec 1;1709–14.
- Geist R, Trivedi K. HYBRID MODELING TECHNIQUES AND THEIR APPLICATION TO FAULT-TOLERANT COMPUTER SYSTEMS. Modeling and Simulation, Proceedings of the Annual Pittsburgh Conference. 1984 Dec 1;783–7.
- Trivedi KS. RELIABILITY EVALUATION FOR FAULT-TOLERANT SYSTEMS. 1984 Dec 1;403–14.
- Kulkarni VG, Nicola VF, Trivedi KS. ON MODELLING THE PERFORMANCE AND RELIABILITY OF MULTIMODE COMPUTER SYSTEMS. Journal of Systems and Software. 1984 May 1;6(1–2):175–82.
- Trivedi KS, Dugan JB, Geist R, Smotherman M. Issues in reliability modeling of fault-tolerant computers. In: Großpietsch K-E, Cin MD, editors. Fehlertolerierende Rechensysteme. Springer; 1984. p. 228–39.
- Trivedi K, Dugan JB, Geist R, Smotherman M. MODELING IMPERFECT COVERAGE IN FAULT-TOLERANT SYSTEMS. Digest of Papers - FTCS (Fault-Tolerant Computing Symposium). 1984 Jan 1;77–82.
- Trivedi K, Dugan JB, Geist R, Smotherman M. Hybrid reliability modeling of fault-tolerant computer systems. Computers and Electrical Engineering. 1984 Jan 1;11(2–3):87–108.
- Ray GG, Sudhakar DVK, Trivedi K. Ergonomics in india: A case study on workspace design for an alphacomp phototypesetting machine. Behaviour and Information Technology. 1984 Jan 1;3(4):431–8.
- TRIVEDI KS, HARING G. LOAD DISTRIBUTION IN A STAR CONFIGURED SYSTEM WITH ERROR-PRONE CHANNELS. MATEMATICA APLICADA E COMPUTACIONAL. 1984 Jan 1;3(1):23–40.
- Trivedi KS. ANALYSIS OF COMPUTER PERFORMANCE AND RELIABILITY. 1983 Dec 1;464–7.
- Trivedi KS. COMPUTER SYSTEMS ANALYSIS. 1983 Dec 1;54–5.
- Geist R, Trivedi K, Dugan JB, Smotherman M. DESIGN OF THE HYBRID AUTOMATED RELIABILITY PREDICTOR. 1983 Dec 1;
- Bannister JA, Trivedi KS. Task allocation in fault-tolerant distributed systems. Acta Informatica. 1983 Sep 1;20(3):261–81.
- Trivedi KS, Geist RM. Decomposition in Reliability Analysis of Fault-Tolerant Systems. IEEE Transactions on Reliability. 1983 Jan 1;R-32(5):463–8.
- Geist RM, Trivedi KS. Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems. IEEE Transactions on Computers. 1983 Jan 1;C–32(12):1118–27.
- Haring G, Trivedi KS. On the Optimal Distribution of Processing Power in a Star Configured System. In: Kühn PJ, Schulz KM, editors. MMB. Springer; 1983. p. 353–65.
- Geist R, Trivedi KS. The Integration of User Perception in the Heterogeneous M/M/2 Queue. In: Agrawala AK, Tripathi SK, editors. Performance. North-Holland; 1983. p. 203–16.
- Baccelli F, Trivedi KS. Analysis of M/G/2 - Standby Redundant System. In: Agrawala AK, Tripathi SK, editors. Performance. North-Holland; 1983. p. 457–76.
- Heidelberger P, Trivedi KS. Analytic Queueing Models for Programs with Internal Concurrency. IEEE Transactions on Computers. 1983 Jan 1;C–32(1):73–82.
- Trivedi KS. Computer Science and Applied Probability (abstract). In: Dodson GW, Artis HP, Deese DR, Domanski B, Finehirsh S, Gaffney J, et al., editors. Int CMG Conference. Computer Measurement Group; 1983. p. 467–467.
- Bannister JA, Trivedi KS. TASK AND FILE ALLOCATION IN FAULT-TOLERANT DISTRIBUTED SYSTEMS. Proceedings - Symposium on Reliability in Distributed Software and Database Systems. 1982 Dec 1;103–11.
- Geist RM, Trivedi KS. Optimal Design of Multilevel Storage Hierarchies. IEEE Transactions on Computers. 1982 Jan 1;C–31(3):249–60.
- Trivedi KS, von Mayrhauser A. OPTIMAL FILE ALLOCATION, DEVICE CAPACITY AND CPU SPEED SELECTION DURING THE DESIGN OF INTERACTIVE COMPUTER SYSTEMS. In: 8th International Computer Measurement Group Conference, CMG 1982. 1982. p. 178–84.
- von Mayrhauser AK, Trivedi KS. COMPUTER CONFIGURATION DESIGN TO MINIMIZE RESPONSE TIME. Computer performance. 1982 Jan 1;3(1):32–9.
- Heidelberger P, Trivedi KS. Queueing network models for parallel processing with asynchronous tasks. IEEE Transactions on Computers. 1982 Jan 1;C–31(11):1099–109.
- Trivedi KS. Probability and statistics with reliability, queuing, and computer science applications. Prentice Hall; 1982.
- Trivedi KS, Geist RM. TUTORIAL ON THE CARE III APPROACH TO RELIABILITY MODELING. NASA Contractor Reports. 1981 Dec 1;
- Trivedi KS, Sigmon TM. Optimal Design of Linear Storage Hierarchies. Journal of the ACM (JACM). 1981 Apr 1;28(2):270–88.
- Trivedi KS, Atkins DE, editors. 5th IEEE Symposium on Computer Arithmetic, ARITH 1981, Ann Arbor, MI, USA, May 16-19, 1981. In: IEEE Symposium on Computer Arithmetic. IEEE Computer Society; 1981.
- Trivedi KS, von Mayrhauser AK. Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection. In: 7th International Computer Measurement Group Conference, CMG 1981. 1981. p. 58–69.
- Trivedi KS, Geist RM. TUTORIAL ON THE CARE III APPROACH TO RELIABILITY MODELING. NASA Contractor Reports. 1981 Jan 1;
- Trivedi KS, Wagner RA, Sigmon TM. Optimal Selection of CPU Speed, Device Capacities, and File Assignments. Journal of the ACM (JACM). 1980 Jul 1;27(3):457–73.
- Wagner RA, Trivedi KS. Hardware configuration selection through discretizing a continuous variable solution. In: Proceedings of the 1980 International Symposium on Computer Performance Modelling, Measurement and Evaluation, PERFORMANCE 1980. 1980. p. 127–42.
- Trivedi KS. Designing linear storage hierarchies so as to maximize reliability subject to cost and performance constraints. In: Proceedings - International Symposium on Computer Architecture. 1980. p. 211–7.
- Trivedi KS, Kinicki RE. A Model for Computer Configuration Design. Computer. 1980 Jan 1;13(4):47–54.
- Trivedi KS, Gault JW, Clary JB. RELIABILITY VALIDATION OF SYSTEMS FOR LIFE-CRITICAL APPLICATIONS. EASCON Record: IEEE Electronics and Aerospace Systems Convention. 1980 Jan 1;406–9.
- Wagner RA, Trivedi KS. HARDWARE CONFIGURATION SELECTION THROUGH DISCRETIZING A CONTINUOUS VARIABLE SOLUTION. Performance Evaluation Review. 1980 Jan 1;9(2):127–42.
- 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. 1980 Jan 1;129–35.
- Trivedi KS. An analysis of prepaging. Computing. 1979 Sep 1;22(3):191–210.
- Trivedi KS, Sigmon TM. A performance comparison of optimally designed computer systems with and without virtual memory. In: Proceedings - International Symposium on Computer Architecture. 1979. p. 117–21.
- Trivedi KS, Wagner RA. A Decision Model for Closed Queuing Networks. IEEE Transactions on Software Engineering. 1979 Jan 1;SE-5(4):328–32.
- Trivedi KS, Rusnak JG. HIGHER RADIX ON-LINE DIVISION. 1978 Jan 1;164–74.
- Trivedi KS, Leech RL. DESIGN AND ANALYSIS OF A FUNCTIONALLY DISTRIBUTED COMPUTER SYSTEM. 1978 Jan 1;125–31.
- Trivedi KS, Kinicki RE. MATHEMATICAL MODEL FOR COMPUTER SYSTEM CONFIGURATION PLANNING. Transactions of the American Association of Cost Engineers. 1978 Jan 1;323–32.
- Trivedi KS. Analytic Modeling Computer Systems. Computer. 1978 Jan 1;11(10):38–56.
- TRIVEDI KS. CORRECTION. IEEE TRANSACTIONS ON COMPUTERS. 1978;27(3):288–288.
- Trivedi KS. Corrections to “On the Use of Continued Fractions for Digital Computer Arithmetic”. IEEE Transactions on Computers. 1978 Jan 1;C–27(3):288.
- Trivedi KS. On the Paging Performance of Array Algorithms. IEEE Transactions on Computers. 1977 Jan 1;C–26(10):938–47.
- Trivedi KS. Prepaging and applications to the STAR-100 computer. High Speed Computer and Algorithm Organization. 1977;435–46.
- TRIVEDI KS. USE OF CONTINUED FRACTIONS FOR DIGITAL-COMPUTER ARITHMETIC. IEEE TRANSACTIONS ON COMPUTERS. 1977;26(7):700–4.
- Trivedi KS, Ercegovac MD. On-Line Algorithms for Division and Multiplication. IEEE Transactions on Computers. 1977 Jan 1;C–26(7):681–7.
- TRIVEDI KS. PAGING PERFORMANCE OF ARRAY ALGORITHMS. IEEE TRANSACTIONS ON COMPUTERS. 1977 Jan 1;26(10):938–47.
- Trivedi KS. ON THE PAGING PERFORMANCE OF ARRAY ALGORITHMS. IEEE Transactions on Computers. 1977;C–26(10):938–47.
- Trivedi KS. On the Use of Continued Fractions for Digital Computer Arithmetic. IEEE Transactions on Computers. 1977 Jan 1;C–26(7):700–4.
- Trivedi KS. On a semaphore anamoly. Information Processing Letters. 1976 Jan 1;5(3):88–9.
- Trivedi KS. Prepaging and Applications to Array Algorithms. IEEE Transactions on Computers. 1976 Jan 1;C–25(9):915–21.
- Trivedi KS, Ercegovac MD. On-line algorithms for division and multiplication. Proceedings - Symposium on Computer Arithmetic. 1975 Jan 1;1975-November:161–7.
- Trivedi KS. On the use of continued fractions for digital computer arithmetic. Proceedings - Symposium on Computer Arithmetic. 1975 Jan 1;1975-November:137–46.
- Robertson JE, Trivedi KS. The Status of Investigations into Computer Hardware Design Based on the Use of Continued Fractions. IEEE Transactions on Computers. 1973 Jan 1;C–22(6):555–60.
- Robertson JE, Trivedi K. The status of investigations into the use of continued fractions for computer hardware. In: Proceedings - Symposium on Computer Arithmetic. 1972.
- Veeraraghavan M, Trivedi KS. An approach for combinatorial performance and availability analysis (Accepted). In: Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems. IEEE Comput. Soc. Press; p. 24–33.
- Fricks RM, Puliafito A, Trivedi KS. Performance analysis of distributed real-time databases (Accepted). In: Proceedings IEEE International Computer Performance and Dependability Symposium IPDS’98 (Cat No98TB100248). IEEE Comput. Soc; p. 184–94.
- Gokhale SS, Trivedi KS. Dependency characterization in path-based approaches to architecture-based software reliability prediction (Accepted). In: Proceedings 1998 IEEE Workshop on Application-Specific Software Engineering and Technology ASSET-98 (Cat No98EX183). IEEE Comput. Soc; p. 86–9.
- Trivedi KS. Proactive fault-management in software systems (Accepted). In: Proceedings 33rd Annual Simulation Symposium (SS 2000). IEEE Comput. Soc; p. 3–3.
- Gokhale SS, Wong WE, Trivedi KS, Horgan JR. An analytical approach to architecture-based software reliability prediction (Accepted). In: Proceedings IEEE International Computer Performance and Dependability Symposium IPDS’98 (Cat No98TB100248). IEEE Comput. Soc; p. 13–22.
- Trivedi KS. SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment. In.
In The News
- Seven Faculty Elected Fellows of AAAS (Apr 18, 2024 | Duke Today)