Kishor S. Trivedi
Hudson Distinguished Professor of Electrical and Computer Engineering
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.
Current Research Interests
Current Appointments & Affiliations
- Hudson Distinguished Professor of Electrical and Computer Engineering, Electrical and Computer Engineering, Pratt School of Engineering 2000
- Professor of Electrical and Computer Engineering, Electrical and Computer Engineering, Pratt School of Engineering 1991
- Professor of Computer Science, Computer Science, Trinity College of Arts & Sciences 1992
- Professor of Electrical and Computer Engineering at Duke Kunshan University, DKU Faculty, Duke Kunshan University 2018
Contact Information
- Box 90291, Durham, NC 27708-0291
- Science Drive, 203 Hudson Eng Ctr, Durham, NC 27708-0291
-
kst@ee.duke.edu
(919) 660-5269
-
Duke High Availability Assurance Lab (DHAAL)
-
My Research gate webpage
- Background
-
Education, Training, & Certifications
- Ph.D., University of Illinois 1974
- M.S., University of Illinois 1972
- B.S.E.E., Indian Institute of Technology (India) 1968
-
Previous Appointments & Affiliations
- Professor with Tenure, Computer Science, Trinity College of Arts & Sciences 1983 - 1991
- Professor, Electrical and Computer Engineering, Pratt School of Engineering 1985 - 1991
- Research Support, Computer Science, Trinity College of Arts & Sciences 1990 - 1991
- Associate Professor, Electrical and Computer Engineering, Pratt School of Engineering 1980 - 1985
- Associate Professor with Tenure, Computer Science, Trinity College of Arts & Sciences 1979 - 1983
- Assistant Professor, Computer Science, Trinity College of Arts & Sciences 1975 - 1979
-
Academic Positions Outside Duke
- Specially Appointed Professor, Hiroshima University. 2018 - 2020
- Recognition
-
Awards & Honors
- Lifetime Achievement Award. IEEE Reliability Society. January 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
- Expertise
-
Subject Headings
-
Global Scholarship
- Research
-
Selected Grants
- TWC: Small: Collaborative: SRN: On Establishing Secure and Resilient Networking Services awarded by National Science Foundation 2015 - 2019
- CNH-Ex: Balancing Water Needs and Water Uses for Humans and Nature awarded by National Science Foundation 2013 - 2017
- Empirical Analysis of Software Failure Data in NASA Space Missions awarded by National Aeronautics and Space Administration 2014 - 2015
- Application of Markov Decision Process for System Dependability Design awarded by NEC Corporation 2014 - 2015
- Dependability Quantification and Assurance of Mission-critical Software Systems, and Predicting Fault Types and Fault Links Systems using Historical Data awarded by Jet Propulsion Lab 2011 - 2014
- NeTS: Small: Collaborative Research: Analytic Modeling and Enhancement of Vehicular Ad Hoc Networks for Safety Related Applications awarded by National Science Foundation 2010 - 2014
- Collaborative Research: MiMANaS: Metrics, Models and Analysis of Network Security and Survivability awarded by National Science Foundation 2008 - 2012
- Classifying Software Faults to Improve Fault Detection Effectiveness awarded by Jet Propulsion Lab 2007 - 2009
- Collaborative Project: NSF Partnership in the Center for Advanced Computing and Communication awarded by National Science Foundation 1998 - 2005
- Bilateral Project: Dependability Modeling and Analysis of Phased-Mission Systems awarded by National Science Foundation 1999 - 2002
- Reliability, Availability and Performability Modeling of the REE System awarded by Jet Propulsion Lab 2000 - 2002
- TUNE: System Support for Memory-Friendly Programming awarded by National Science Foundation 1997 - 2001
- Performance Analysis Methodology for the Future Wireless Communication Systems awarded by National Science Foundation 1998 - 2000
- Software Reliability awarded by National Science Foundation 1997 - 2000
- NSF Partnership in the Center for Advanced Computing and Communication awarded by National Science Foundation 1994 - 1999
- Mathematical Models and Transformations for Memory-Friendly Programming awarded by Lord Foundation of North Carolina 1998 - 1999
- TUNE: System Support for Memory-Friendly Programming awarded by National Science Foundation 1997 - 1998
- ATM Networks awarded by National Science Foundation 1994 - 1998
- Center for Advanced Computing and Communication - NSF/IUCRC awarded by National Science Foundation 1994 - 1998
- Center for Advanced Computing and Communication-NSF/IUCRC awarded by National Science Foundation 1994 - 1998
- IUCRC/Center for Advanced Computing and Communications awarded by National Science Foundation 1994 - 1998
- REGAL Reliability Engineering Analytical Modeler awarded by National Science Foundation 1994 - 1998
- Research in Advanced Computing and Communication awarded by Lord Foundation of North Carolina 1996 - 1997
- Research for Advanced Computing and Communications awarded by Lord Foundation of North Carolina 1995 - 1996
- High Performance Computing in Stochastic Modeling awarded by National Science Foundation 1993 - 1995
- Computer Engineering System Center: A Planning Grant awarded by National Science Foundation 1993 - 1994
- Towards A Theory of Hierarchical Modeling awarded by National Science Foundation 1991 - 1993
- Towards a Theory of Hierarchical Modeling awarded by National Science Foundation 1991 - 1992
- Methodology for the Specification of Fault-Tolerant Real-Time Systems awarded by Office of Naval Research 1991 - 1992
- Performance: Dependability Validation of Highly Fault Tolerant Systems awarded by Office of Naval Research 1988 - 1991
- Performance and Dependability Validation in High Fault Tolerant Systems awarded by Office of Naval Research 1988 - 1991
- Performance and Dependability awarded by Office of Naval Research 1988 - 1990
- Performance and Dependability Validation of Highly Parallel Fault Tolerant Systems awarded by Office of Naval Research 1988 - 1990
- Hybrid Automated Reliability Prediction awarded by National Aeronautics and Space Administration 1986 - 1989
- Effectiveness Evaluation of Fault-Tolerant Multiprocessor Systems awarded by Department of Energy 1987 - 1988
- Hybrid Automated Reliability Prediction awarded by National Aeronautics and Space Administration 1986 - 1987
- Hybrid Automated Reliability Predictor awarded by National Aeronautics and Space Administration 1980 - 1987
- trivedi
- Publications & Artistic Works
-
Selected Publications
-
Books
-
Dohi, T., A. Avritzer, and K. Trivedi. Preface, 2020.
-
Dohi, T., K. Trivedi, and A. Avritzer. Handbook of software aging and rejuvenation: Fundamentals, methods, applications, and future directions, 2020. https://doi.org/10.1142/11673.Full Text
-
Trivedi, Kishor S., and Andrea Bobbio. Reliability and Availability Engineering Modeling, Analysis, and Applications. Cambridge University Press, 2017.
-
Trivedi, K. S. Probability and Statistics with Reliability, Queuing and Computer Science Applications, 2016. https://doi.org/10.1002/9781119285441.Full Text
-
Sahner, Robin A., Kishor Trivedi, and Antonio Puliafito. Performance and Reliability Analysis of Computer Systems An Example-Based Approach Using the SHARPE Software Package. Springer Science & Business Media, 2012.
-
Bolch, G., S. Greiner, H. de Meer, and K. S. Trivedi. Queueing Networks and Markov Chains: Modeling and Performance Evaluation With Computer Science Applications: Second Edition, 2006. https://doi.org/10.1002/0471791571.Full Text
-
Haverkort, B. R., R. Marie, G. Rubino, and K. Trivedi. Performability modelling techniques and tools. John Wiley & Sons Inc, 2001.
-
Zobrist, G., K. Bagchi, and K. Trivedi. Advanced Computer System Design. CRC Press, 1999.
-
Trivedi, K. S. Probability and statistics with reliability, queuing, and computer science applications. Prentice Hall, 1982.
-
-
Academic Articles
-
Grottke, M., and K. S. Trivedi. “Aging, Fast and Slow.” Computer 55, no. 5 (May 1, 2022): 73–75. https://doi.org/10.1109/MC.2021.3133121.Full Text
-
Bai, J., X. Chang, F. Machida, L. Jiang, Z. Han, and K. S. Trivedi. “Impact of Service Function Aging on the Dependability for MEC Service Function Chain.” Ieee Transactions on Dependable and Secure Computing, January 1, 2022. https://doi.org/10.1109/TDSC.2022.3150782.Full Text
-
Bai, J., X. Chang, F. Machida, Z. Han, Y. Xu, and K. S. Trivedi. “Quantitative understanding serial-parallel hybrid sfc services: a dependability perspective.” Peer to Peer Networking and Applications, January 1, 2022. https://doi.org/10.1007/s12083-022-01329-0.Full Text
-
Ma, X., and K. S. Trivedi. “SINR-Based Analysis of IEEE 802.11p/bd Broadcast VANETs for Safety Services.” Ieee Transactions on Network and Service Management 18, no. 3 (September 1, 2021): 2672–86. https://doi.org/10.1109/TNSM.2021.3069206.Full Text
-
Qiu, K., Z. Zheng, K. S. Trivedi, and I. Mura. “Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods.” Ieee Transactions on Reliability 70, no. 3 (September 1, 2021): 1126–42. https://doi.org/10.1109/TR.2020.3023032.Full Text
-
Bai, J., X. Chang, K. S. Trivedi, and Z. Han. “Resilience-Driven Quantitative Analysis of Vehicle Platooning Service.” Ieee Transactions on Vehicular Technology 70, no. 6 (June 1, 2021): 5378–89. https://doi.org/10.1109/TVT.2021.3077118.Full Text
-
Zheng, J., H. Okamura, T. Dohi, and K. S. Trivedi. “Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals.” Ieee Transactions on Reliability 70, no. 2 (June 1, 2021): 547–62. https://doi.org/10.1109/TR.2020.3026570.Full Text
-
Vizarreta, P., C. Sieber, A. Blenk, A. Van Bemten, V. Ramachandra, W. Kellerer, C. Mas-Machuca, and K. Trivedi. “ARES: A Framework for Management of Aging and Rejuvenation in Softwarized Networks.” Ieee Transactions on Network and Service Management 18, no. 2 (June 1, 2021): 1389–1400. https://doi.org/10.1109/TNSM.2020.3030589.Full Text
-
Entezari-Maleki, R., M. Gharib, S. Rezaei, K. S. Trivedi, and A. Movaghar. “Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs.” Ieee Transactions on Network Science and Engineering 8, no. 1 (January 1, 2021): 662–79. https://doi.org/10.1109/TNSE.2020.3048096.Full Text
-
Vizarreta, P., K. Trivedi, V. Mendiratta, W. Kellerer, and C. Mas-Machuca. “DASON: Dependability Assessment Framework for Imperfect Distributed SDN Implementations.” Ieee Transactions on Network and Service Management 17, no. 2 (June 1, 2020): 652–67. https://doi.org/10.1109/TNSM.2020.2973925.Full Text
-
Qiu, K., Z. Zheng, K. S. Trivedi, and B. Yin. “Stress Testing with Influencing Factors to Accelerate Data Race Software Failures.” Ieee Transactions on Reliability 69, no. 1 (March 1, 2020): 3–21. https://doi.org/10.1109/TR.2019.2895052.Full Text
-
Zheng, Z., and K. S. Trivedi. “Guest editorial: special issue on modeling and mitigation techniques for software aging.” Software Quality Journal 28, no. 1 (March 1, 2020): 3–5. https://doi.org/10.1007/s11219-020-09496-0.Full Text
-
Antonelli, F., V. Cortellessa, M. Gribaudo, R. Pinciroli, K. S. Trivedi, and C. Trubiani. “Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems.” Future Generation Computer Systems 102 (January 1, 2020): 746–61. https://doi.org/10.1016/j.future.2019.09.006.Full Text
-
Bai, J., X. Chang, F. Machida, K. S. Trivedi, and Z. Han. “Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views.” Ieee Access 8 (January 1, 2020): 6448–59. https://doi.org/10.1109/ACCESS.2019.2963397.Full Text
-
Bai, J., X. Chang, G. Ning, Z. Zhang, and K. S. Trivedi. “Service Availability Analysis in a Virtualized System: A Markov Regenerative Model Approach.” Ieee Transactions on Cloud Computing, January 1, 2020. https://doi.org/10.1109/TCC.2020.3028648.Full Text
-
Chang, X., Y. Shi, Z. zhang, Z. xu, and K. Trivedi. “Job Completion Time under Migration-based Dynamic Platform Technique.” Ieee Transactions on Services Computing, January 1, 2020. https://doi.org/10.1109/TSC.2020.2989215.Full Text
-
Zheng, Z., K. S. Trivedi, N. Wang, and K. Qiu. “Markov Regenerative Models of WebServers for Their User-Perceived Availability and Bottlenecks.” Ieee Transactions on Dependable and Secure Computing 17, no. 1 (January 1, 2020): 92–105. https://doi.org/10.1109/TDSC.2017.2753803.Full Text
-
Xiao, G., Z. Zheng, B. Yin, K. S. Trivedi, X. Du, and K. Y. Cai. “An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective.” Ieee Transactions on Reliability 68, no. 4 (December 1, 2019): 1356–83. https://doi.org/10.1109/TR.2019.2916204.Full Text
-
Ataie, E., R. Entezari-Maleki, L. Rashidi, K. S. Trivedi, D. Ardagna, and A. Movaghar. “Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds.” Ieee Transactions on Cloud Computing 7, no. 4 (October 1, 2019): 1039–56. https://doi.org/10.1109/TCC.2017.2760836.Full Text
-
Qiao, Y., Z. Zheng, Y. Fang, F. Qin, K. S. Trivedi, and K. Y. Cai. “Two-level rejuvenation for android smartphones and its optimization.” Ieee Transactions on Reliability 68, no. 2 (June 1, 2019): 633–52. https://doi.org/10.1109/TR.2018.2881306.Full Text
-
Rashidi, L., R. Entezari-Maleki, D. Chatzopoulos, P. Hui, K. S. Trivedi, and A. Movaghar. “Performance evaluation of epidemic content retrieval in DTNs with restricted mobility.” Ieee Transactions on Network and Service Management 16, no. 2 (June 1, 2019): 701–14. https://doi.org/10.1109/TNSM.2019.2909108.Full Text
-
Shi, Y., X. Chang, R. J. Rodríguez, Z. Zhang, and K. S. Trivedi. “Quantitative security analysis of a dynamic network system under lateral movement-based attacks.” Reliability Engineering and System Safety 183 (March 1, 2019): 213–25. https://doi.org/10.1016/j.ress.2018.11.022.Full Text
-
Dohi, T., J. Zheng, H. Okamura, and K. S. Trivedi. “Optimal periodic software rejuvenation policies based on interval reliability criteria.” Reliability Engineering and System Safety 180 (December 1, 2018): 463–75. https://doi.org/10.1016/j.ress.2018.08.009.Full Text
-
Chang, X., R. Xia, J. K. Muppala, K. S. Trivedi, and J. Liu. “Effective modeling approach for iaas data center performance analysis under heterogeneous workload.” Ieee Transactions on Cloud Computing 6, no. 4 (October 1, 2018): 991–1003. https://doi.org/10.1109/TCC.2016.2560158.Full Text
-
Sebastio, S., K. S. Trivedi, and J. Alonso. “Characterizing machines lifecycle in Google data centers.” Performance Evaluation 126 (October 1, 2018): 39–63. https://doi.org/10.1016/j.peva.2018.08.001.Full Text
-
Entezari-Maleki, R., K. S. Trivedi, L. Sousa, and A. Movaghar. “Performability-based workflow scheduling in grids.” Computer Journal 61, no. 10 (October 1, 2018): 1479–95. https://doi.org/10.1093/comjnl/bxx125.Full Text
-
Vizarreta, P., K. Trivedi, B. Helvik, P. Heegaard, A. Blenk, W. Kellerer, and C. Mas Machuca. “Assessing the Maturity of SDN Controllers with Software Reliability Growth Models.” Ieee Transactions on Network and Service Management 15, no. 3 (September 1, 2018): 1090–1104. https://doi.org/10.1109/TNSM.2018.2848105.Full Text
-
Qin, F., Z. Zheng, Y. Qiao, and K. S. Trivedi. “Studying Aging-Related Bug Prediction Using Cross-Project Models.” Ieee Transactions on Reliability, August 28, 2018. https://doi.org/10.1109/TR.2018.2864960.Full Text
-
Fricks, Rafael B., Henry Tseng, Marjorie Veihl, Kishor S. Trivedi, and Roger C. Barr. “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 (July 2018): 5370–73. https://doi.org/10.1109/embc.2018.8513569.Full Text
-
Liu, B., X. Chang, Z. Han, K. Trivedi, and R. J. Rodríguez. “Model-based sensitivity analysis of IaaS cloud availability.” Future Generation Computer Systems 83 (June 1, 2018): 1–13. https://doi.org/10.1016/j.future.2017.12.062.Full Text
-
Gribaudo, M., R. Pinciroli, and K. Trivedi. “Epistemic Uncertainty Propagation in Power Models.” Electronic Notes in Theoretical Computer Science 337 (May 9, 2018): 67–86. https://doi.org/10.1016/j.entcs.2018.03.034.Full Text
-
Chang, X., J. M. Martinez, and K. S. Trivedi. “Transient performance analysis of smart grid with dynamic power distribution.” Information Sciences 422 (January 1, 2018): 98–109. https://doi.org/10.1016/j.ins.2017.09.003.Full Text
-
Machida, F., R. Xia, and K. S. Trivedi. “Performability Modeling for RAID Storage Systems by Markov Regenerative Process.” Ieee Transactions on Dependable and Secure Computing 15, no. 1 (January 1, 2018): 138–50. https://doi.org/10.1109/TDSC.2015.2502240.Full Text
-
Li, W., X. Ma, J. Wu, K. S. Trivedi, X. L. Huang, and Q. Liu. “Analytical Model and Performance Evaluation of Long-Term Evolution for Vehicle Safety Services.” Ieee Transactions on Vehicular Technology 66, no. 3 (March 1, 2017): 1926–39. https://doi.org/10.1109/TVT.2016.2580571.Full Text
-
Matos, R., J. Dantas, J. Araujo, K. S. Trivedi, and P. Maciel. “Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis.” Journal of Grid Computing 15, no. 1 (March 1, 2017): 1–22. https://doi.org/10.1007/s10723-016-9381-z.Full Text
-
Ning, G., J. Zhao, Y. Lou, J. Alonso, R. Matias, K. S. Trivedi, B. B. Yin, and K. Y. Cai. “Optimization of two-granularity software rejuvenation policy based on the markov regenerative process.” Ieee Transactions on Reliability 65, no. 4 (December 1, 2016): 1630–46. https://doi.org/10.1109/TR.2016.2570539.Full Text Open Access Copy
-
Koziolek, A., A. Avritzer, S. Suresh, D. S. Menasché, M. Diniz, E. de Souza e Silva, R. M. Leão, K. Trivedi, and L. Happe. “Assessing survivability to support power grid investment decisions.” Reliability Engineering and System Safety 155 (November 1, 2016): 30–43. https://doi.org/10.1016/j.ress.2016.05.015.Full Text
-
Dharmaraja, S., R. Vinayak, and K. S. Trivedi. “Reliability and survivability of vehicular ad hoc networks: An analytical approach.” Reliability Engineering and System Safety 153 (September 1, 2016): 28–38. https://doi.org/10.1016/j.ress.2016.04.004.Full Text
-
Grottke, M., D. S. Kim, R. Mansharamani, M. Nambiar, R. Natella, and K. S. Trivedi. “Recovery from Software Failures Caused by Mandelbugs.” Ieee Transactions on Reliability 65, no. 1 (March 1, 2016): 70–87. https://doi.org/10.1109/TR.2015.2452933.Full Text
-
Trivedi, K. S., D. Controneo, R. Pietrantuono, and S. Russo. “How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation.” Journal of Systems and Software 113, no. March 2016 (March 1, 2016): 27–43.
-
Ma, Xiaomin, and Kishor S. Trivedi. “Reliability and performance of general two-dimensional broadcast wireless network.” Performance Evaluation 95 (January 2016): 41–59. https://doi.org/10.1016/j.peva.2015.09.005.Full Text
-
Trivedi, K. S. “Largeness Avoidance in Availability Modeling using Hierarchical and Fixed-point Iterative Techniques.” Translated by H. Sukhwani and A. Bobbio. International Journal of Performability Engineering 11, no. 4 (December 2, 2015).
-
Trivedi, K. S., and R. Xia. “Quantification of system survivability.” Telecommunication Systems 60, no. 4 (December 1, 2015): 451–70. https://doi.org/10.1007/s11235-015-9988-6.Full Text
-
Rak, J., M. Pickavet, K. S. Trivedi, J. A. Lopez, A. M. C. A. Koster, J. P. G. Sterbenz, E. K. Çetinkaya, et al. “Future research directions in design of reliable communication systems.” Telecommunication Systems 60, no. 4 (March 27, 2015): 423–50. https://doi.org/10.1007/s11235-015-9987-7.Full Text
-
Entezari-Maleki, R., K. S. Trivedi, and A. Movaghar. “Performability evaluation of grid environments using stochastic reward nets.” Ieee Transactions on Dependable and Secure Computing 12, no. 2 (March 1, 2015): 204–16. https://doi.org/10.1109/TDSC.2014.2320741.Full Text
-
Mondal, S. K., X. Yin, J. K. Muppala, J. Alonso Lopez, and K. S. Trivedi. “Defects per million computation in service-oriented environments.” Ieee Transactions on Services Computing 8, no. 1 (January 1, 2015): 32–46. https://doi.org/10.1109/TSC.2013.52.Full Text
-
Zheng, Z., K. S. Trivedi, K. Qiu, and R. Xia. “Semi-Markov models of composite web services for their performance, reliability and bottlenecks.” Ieee Transactions on Services Computing PP, no. 99 (January 1, 2015). https://doi.org/10.1109/TSC.2015.2475957.Full Text
-
Singhal, R., M. Nambiar, H. Sukhwani, and K. Trivedi. “Performability comparison of lustre and HDFS for MR applications.” Proceedings Ieee 25th International Symposium on Software Reliability Engineering Workshops, Issrew 2014, December 12, 2014, 51. https://doi.org/10.1109/ISSREW.2014.115.Full Text
-
Yin, X., X. Ma, K. S. Trivedi, and A. Vinel. “Performance and reliability evaluation of BSM broadcasting in DSRC with multi-channel schemes.” Ieee Transactions on Computers 63, no. 12 (December 1, 2014): 3101–13. https://doi.org/10.1109/TC.2013.175.Full Text
-
Sebastio, S., K. S. Trivedi, D. Wang, and X. Yin. “Fast computation of bounds for two-terminal network reliability.” European Journal of Operational Research 238, no. 3 (November 1, 2014): 810–23. https://doi.org/10.1016/j.ejor.2014.04.035.Full Text
-
Xia, R., F. Machida, and K. Trivedi. “A markov decision process approach for optimal data backup scheduling.” Proceedings of the International Conference on Dependable Systems and Networks, September 18, 2014, 660–65. https://doi.org/10.1109/DSN.2014.100.Full Text
-
Hong, S., H. Yang, G. Li, N. Huang, X. Ma, and K. S. Trivedi. “Analysis of propagation dynamics in complex dynamical network based on disturbance propagation model.” International Journal of Modern Physics B 28, no. 22 (September 10, 2014). https://doi.org/10.1142/S0217979214501495.Full Text
-
Ghosh, R., F. Longo, F. Frattini, S. Russo, and S. T. Kishor. “Scalable analytics for IaaS cloud availability.” Ieee Transactions on Cloud Computing 2, no. 1 (January 1, 2014): 57–70. https://doi.org/10.1109/TCC.2014.2310737.Full Text
-
Ghosh, R., F. Longo, R. Xia, V. K. Naik, and K. S. Trivedi. “Stochastic model driven capacity planning for an infrastructure-as-a-service cloud.” Ieee Transactions on Services Computing 7, no. 4 (January 1, 2014): 667–80. https://doi.org/10.1109/TSC.2013.44.Full Text
-
Matias, R., A. Andrzejak, F. Machida, D. Elias, and K. Trivedi. “A systematic differential analysis for fast and robust detection of software aging.” Proceedings of the Ieee Symposium on Reliable Distributed Systems 2014-January (January 1, 2014): 311–20. https://doi.org/10.1109/SRDS.2014.38.Full Text
-
Sebastio, S., K. S. Trivedi, D. Wang, and X. Yin. “Fast computation of bounds for two-terminal network reliability.” European Journal of Operational Research, 2014.
-
Xia, R., X. Yin, J. Alonso Lopez, F. Machida, and K. S. Trivedi. “Performance and availability modeling of IT systems with data backup and restore.” Ieee Transactions on Dependable and Secure Computing 11, no. 4 (January 1, 2014): 375–89. https://doi.org/10.1109/TDSC.2013.50.Full Text
-
Swaminathan, M. S. “Foreword.” Ecosystem Services in Agricultural and Urban Landscapes, January 20, 2013. https://doi.org/10.1002/9781118506271.Full Text
-
Mitton, N., S. Papavassiliou, A. Puliafito, and K. S. Trivedi. “Combining cloud and sensors in a smart city environment.” Eurasip Journal on Wireless Communications and Networking 2012, no. 1 (December 1, 2012). https://doi.org/10.1186/1687-1499-2012-247.Full Text
-
Distefano, Salvatore, Antonio Puliafito, and Kishor S. Trivedi. “Dynamic aspects and behaviors of complex systems in performance and reliability assessment.” Acm Sigmetrics Performance Evaluation Review 39, no. 4 (March 9, 2012): 71–78. https://doi.org/10.1145/2185395.2185443.Full Text
-
Ma, X., X. Yin, and K. Trivedi. “A robust broadcast scheme for VANET one-hop emergency services.” Ieee Vehicular Technology Conference, December 23, 2011. https://doi.org/10.1109/VETECF.2011.6093018.Full Text
-
Machida, F., E. Andrade, D. S. Kim, and K. S. Trivedi. “Candy: Component-based availability modeling framework for cloud service management using SysML.” Proceedings of the Ieee Symposium on Reliable Distributed Systems, December 14, 2011, 209–18. https://doi.org/10.1109/SRDS.2011.33.Full Text
-
Alonso, J., R. Matias, E. Vicente, A. M. Carvalho, and K. Trivedi. “A comparative evaluation of software rejuvenation strategies.” Proceedings 2011 3rd International Workshop on Software Aging and Rejuvenation, Wosar 2011, December 1, 2011, 26–31. https://doi.org/10.1109/WoSAR.2011.16.Full Text
-
Araujo, J., R. Matos, P. Maciel, F. Vieira, R. Matias, and K. S. Trivedi. “Software rejuvenation in eucalyptus cloud computing infrastructure: A method based on time series forecasting and multiple thresholds.” Proceedings 2011 3rd International Workshop on Software Aging and Rejuvenation, Wosar 2011, December 1, 2011, 38–43. https://doi.org/10.1109/WoSAR.2011.18.Full Text
-
Machida, F., V. F. Nicola, and K. S. Trivedi. “Job completion time on a virtualized server subject to software aging and rejuvenation.” Proceedings 2011 3rd International Workshop on Software Aging and Rejuvenation, Wosar 2011, December 1, 2011, 44–49. https://doi.org/10.1109/WoSAR.2011.10.Full Text
-
Matos, R. D. S., A. P. Guimarães, K. M. A. Camboim, P. R. M. Maciel, and K. S. Trivedi. “Sensitivity analysis of availability of redundancy in computer networks.” Ctrq 2011 4th International Conference on Communication Theory, Reliability, and Quality of Service, December 1, 2011, 115–21.
-
Mishra, K., and K. S. Trivedi. “Uncertainty propagation through software dependability models.” Proceedings International Symposium on Software Reliability Engineering, Issre, December 1, 2011, 80–89. https://doi.org/10.1109/ISSRE.2011.14.Full Text
-
Ning, G., K. S. Trivedi, H. Hu, and K. Y. Cai. “Multi-granularity software rejuvenation policy based on continuous time markov chain.” Proceedings 2011 3rd International Workshop on Software Aging and Rejuvenation, Wosar 2011, December 1, 2011, 32–37. https://doi.org/10.1109/WoSAR.2011.9.Full Text
-
Trivedi, K. S., R. Mansharamani, D. S. Kim, M. Grottke, and M. Nambiar. “Recovery from failures due to Mandelbugs in IT systems.” Proceedings of Ieee Pacific Rim International Symposium on Dependable Computing, Prdc, December 1, 2011, 224–33. https://doi.org/10.1109/PRDC.2011.34.Full Text
-
Yin, X., X. Ma, and K. S. Trivedi. “Performance evaluation for DSRC vehicular safety communication: A semi-Markov process approach.” Ctrq 2011 4th International Conference on Communication Theory, Reliability, and Quality of Service, December 1, 2011, 9–14.
-
Zhao, J., Y. Jin, K. S. Trivedi, and R. Matias. “Injecting memory leaks to accelerate software failures.” Proceedings International Symposium on Software Reliability Engineering, Issre, December 1, 2011, 260–69. https://doi.org/10.1109/ISSRE.2011.24.Full Text
-
Zhao, J., and K. S. Trivedi. “Performance modeling of apache web server affected by aging.” Proceedings 2011 3rd International Workshop on Software Aging and Rejuvenation, Wosar 2011, December 1, 2011, 56–61. https://doi.org/10.1109/WoSAR.2011.13.Full Text
-
Andrade, E. C., F. MacHida, D. S. Kim, and K. S. Trivedi. “Modeling and analyzing server system with rejuvenation through SysML and stochastic reward nets.” Proceedings of the 2011 6th International Conference on Availability, Reliability and Security, Ares 2011, November 9, 2011, 161–68. https://doi.org/10.1109/ARES.2011.28.Full Text
-
Bode, A., M. Bouissou, S. Distefano, A. Puliafito, K. Trivedi, and M. Walter. “Message from the DYADEM-FTS 2011 workshop organizers.” Proceedings of the 2011 6th International Conference on Availability, Reliability and Security, Ares 2011, November 9, 2011. https://doi.org/10.1109/ARES.2011.8.Full Text
-
Okamura, H., T. Dohi, and K. S. Trivedi. “A refined em algorithm for PH distributions.” Performance Evaluation 68, no. 10 (October 1, 2011): 938–54. https://doi.org/10.1016/j.peva.2011.04.001.Full Text
-
Qian, H., D. Medhi, and K. Trivedi. “A hierarchical model to evaluate quality of experience of online services hosted by cloud computing.” Proceedings of the 12th Ifip/Ieee International Symposium on Integrated Network Management, Im 2011, September 19, 2011, 105–12. https://doi.org/10.1109/INM.2011.5990680.Full Text
-
Ghosh, R., V. K. Naik, and K. S. Trivedi. “Power-performance trade-offs in IaaS cloud: A scalable analytic approach.” Proceedings of the International Conference on Dependable Systems and Networks, September 2, 2011, 152–57. https://doi.org/10.1109/DSNW.2011.5958802.Full Text
-
Malek, M., F. Salfner, and K. S. Trivedi. “Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM).” Proceedings of the International Conference on Dependable Systems and Networks, September 2, 2011, 257–58. https://doi.org/10.1109/DSNW.2011.5958822.Full Text
-
Distefano, S., A. Puliafito, and K. S. Trivedi. “Dynamic aspects and behaviors in system reliability evaluation.” International Journal of Performability Engineering 7, no. 5 (September 1, 2011): 493–98.
-
Jindal, V., S. Dharmaraja, and K. S. Trivedi. “Markov Modeling Approach for survivability analysis of cellular networks.” International Journal of Performability Engineering 7, no. 5 (September 1, 2011): 429–40.
-
Salvatore, D., A. Puliafito, and K. S. Trivedi. “Guest Editorial: Performance and dependability modeling of dynamic systems.” International Journal of Performability Engineering 7, no. 5 (September 1, 2011): 402–4.
-
Longo, F., R. Ghosh, V. K. Naik, and K. S. Trivedi. “A scalable availability model for Infrastructure-as-a-Service cloud.” Proceedings of the International Conference on Dependable Systems and Networks, August 26, 2011, 335–46. https://doi.org/10.1109/DSN.2011.5958247.Full Text
-
Malek, M., F. Salfner, and K. S. Trivedi. “Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM).” Proceedings of the International Conference on Dependable Systems and Networks, August 26, 2011, 595–96. https://doi.org/10.1109/DSN.2011.5958234.Full Text
-
Zhao, Y., X. Yin, R. Kang, and K. S. Trivedi. “A review of the research on quantitative reliability prediction and assessment for electronic components.” 2011 Prognostics and System Health Management Conference, Phm Shenzhen 2011, August 3, 2011. https://doi.org/10.1109/PHM.2011.5939553.Full Text
-
Goyal, M., D. Rohm, W. Xie, S. H. Hosseini, K. S. Trivedi, Y. Bashir, and A. Divjak. “A stochastic model for beaconless IEEE 802.15.4 MAC operation.” Computer Communications 34, no. 12 (August 2, 2011): 1460–74. https://doi.org/10.1016/j.comcom.2010.12.004.Full Text
-
Trivedi, K. S., R. Ghosh, and V. K. Naik. “Performance and availability analysis for infrastructure-as-a-service cloud.” Proceedings of International Conference on Software Engineering: Software Quality: The Road Ahead, Conseg 2011, January 1, 2011, 106–11.
-
Devaraj, A., K. Mishra, and K. S. Trivedi. “Uncertainty propagation in analytic availability models.” Proceedings of the Ieee Symposium on Reliable Distributed Systems, December 30, 2010, 121–30. https://doi.org/10.1109/SRDS.2010.22.Full Text
-
Ghosh, R., F. Longo, V. K. Naikz, and K. S. Trivedi. “Quantifying resiliency of IaaS cloud.” Proceedings of the Ieee Symposium on Reliable Distributed Systems, December 30, 2010, 343–47. https://doi.org/10.1109/SRDS.2010.49.Full Text
-
Okamura, H., T. Dohi, and K. S. Trivedi. “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) 6407 LNCS (December 15, 2010): 32–46. https://doi.org/10.1007/978-3-642-16576-4_3.Full Text
-
Ghosh, R., K. S. Trivedi, V. K. Naik, and D. S. Kim. “End-to-end performability analysis for Infrastructure-as-a-Service cloud: An interacting stochastic models approach.” Proceedings 16th Ieee Pacific Rim International Symposium on Dependable Computing, Prdc 2010, December 1, 2010, 125–32. https://doi.org/10.1109/PRDC.2010.30.Full Text
-
Kim, D. S., R. Ghosh, and K. S. Trivedi. “A hierarchical model for reliability analysis of sensor networks.” Proceedings 16th Ieee Pacific Rim International Symposium on Dependable Computing, Prdc 2010, December 1, 2010, 247–48. https://doi.org/10.1109/PRDC.2010.25.Full Text
-
Matias, R., K. S. Trivedi, and P. R. M. Maciel. “Using accelerated life tests to estimate time to software aging failure.” Proceedings International Symposium on Software Reliability Engineering, Issre, December 1, 2010, 211–19. https://doi.org/10.1109/ISSRE.2010.42.Full Text
-
Trivedi, K. S., D. Wang, and J. Hunta. “Computing the number of calls dropped due to failures.” Proceedings International Symposium on Software Reliability Engineering, Issre, December 1, 2010, 11–20. https://doi.org/10.1109/ISSRE.2010.18.Full Text
-
Roy, A., D. S. Kim, and K. S. Trivedi. “Cyber security analysis using attack countermeasure trees.” Acm International Conference Proceeding Series, November 22, 2010. https://doi.org/10.1145/1852666.1852698.Full Text
-
Grottke, M., A. P. Nikora, and K. S. Trivedi. “An empirical investigation of fault types in space mission system software.” Proceedings of the International Conference on Dependable Systems and Networks, September 20, 2010, 447–56. https://doi.org/10.1109/DSN.2010.5544284.Full Text
-
Malek, M., F. Salfner, and K. S. Trivedi. “Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM).” Proceedings of the International Conference on Dependable Systems and Networks, September 20, 2010, 35–37. https://doi.org/10.1109/DSNW.2010.5542622.Full Text
-
Malek, M., F. Salfner, and K. S. Trivedi. “Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM).” Proceedings of the International Conference on Dependable Systems and Networks, September 20, 2010, 616–18. https://doi.org/10.1109/DSN.2010.5544422.Full Text
-
Trivedi, Kishor S., and Sachin Garg. “In Memoriam: Dr. Chandra Kintala.” Journal of Systems and Software 83, no. 9 (September 2010): 1555–1555. https://doi.org/10.1016/j.jss.2010.05.024.Full Text
-
Bode, A., M. Bouissou, S. Distefano, A. Puliafito, K. Trivedi, and M. Walter. “Message from the organizers.” Acm International Conference Proceeding Series, July 20, 2010.
-
Pietrantuono, R., S. Russo, and K. S. Trivedi. “Online monitoring of software system reliability.” Edcc 8 Proceedings of the 8th European Dependable Computing Conference, July 12, 2010, 209–18. https://doi.org/10.1109/EDCC.2010.33.Full Text
-
Roy, A., D. S. Kim, and K. S. Trivedi. “Poster abstract: ACT: Attack countermeasure trees for information assurance analysis.” Proceedings Ieee Infocom, June 29, 2010. https://doi.org/10.1109/INFCOMW.2010.5466633.Full Text
-
Pietrantuono, R., S. Russo, and K. S. Trivedi. “Software reliability and testing time allocation: An architecture-based approach.” Ieee Transactions on Software Engineering 36, no. 3 (March 29, 2010): 323–37. https://doi.org/10.1109/TSE.2010.6.Full Text
-
Amari, S. V., L. Xing, A. Shrestha, J. Akers, and K. S. Trivedi. “Performability analysis of multistate computing systems using multivalued decision diagrams.” Ieee Transactions on Computers 59, no. 10 (January 1, 2010): 1419–33. https://doi.org/10.1109/TC.2009.184.Full Text
-
Machida, F., D. S. Kim, and K. S. Trivedi. “Modeling and analysis of software rejuvenation in a server virtualized system.” Proceedings International Symposium on Software Reliability Engineering, Issre, January 1, 2010. https://doi.org/10.1109/WOSAR.2010.5722098.Full Text
-
Matias, R., P. A. Barbetta, K. S. Trivedi, and P. J. F. Filho. “Accelerated degradation tests applied to software aging experiments.” Ieee Transactions on Reliability 59, no. 1 (January 1, 2010): 102–14. https://doi.org/10.1109/TR.2009.2034292.Full Text
-
Zhao, J., K. S. Trivedi, Y. B. Wang, and X. Y. Chen. “Evaluation of software performance affected by aging.” Proceedings International Symposium on Software Reliability Engineering, Issre, January 1, 2010. https://doi.org/10.1109/WOSAR.2010.5722093.Full Text
-
Trivedi, K. S., M. Grottke, and E. Andrade. “Software fault mitigation and availability assurance techniques.” International Journal of System Assurance Engineering and Management 1, no. 4 (January 1, 2010): 340–50. https://doi.org/10.1007/s13198-011-0038-9.Full Text
-
Trivedi, K. S., D. S. Kim, A. Roy, and D. Medhi. “Dependability and security models.” Proceedings of the 2009 7th International Workshop on the Design of Reliable Communication Networks, Drcn 2009, December 16, 2009, 11–20. https://doi.org/10.1109/DRCN.2009.5340029.Full Text
-
Grottke, M., R. Matias, and K. S. Trivedi. “The fundamentals of software aging.” 2008 Ieee International Conference on Software Reliability Engineering Workshops, Issre Wksp 2008, December 15, 2009. https://doi.org/10.1109/ISSREW.2008.5355512.Full Text
-
Machida, F., D. S. Kim, J. S. Park, and K. S. Trivedi. “Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center.” 2008 Ieee International Conference on Software Reliability Engineering Workshops, Issre Wksp 2008, December 15, 2009. https://doi.org/10.1109/ISSREW.2008.5355515.Full Text
-
Goyal, M., D. Rohm, H. Hosseini, K. S. Trivedi, A. Divjak, and Y. Bashir. “A stochastic model for beaconless IEEE 802.15.4 MAC operation.” International Symposium on Performance Evaluation of Computer and Telecommunication Systems 2009, Spects 2009, Part of the 2009 Summer Simulation Multiconference, Summersim 2009, December 1, 2009, 199–207.
-
Heegaard, P. E., and K. S. Trivedi. “Survivability modeling with stochastic reward nets.” Proceedings Winter Simulation Conference, December 1, 2009, 807–18. https://doi.org/10.1109/WSC.2009.5429679.Full Text
-
Kim, D. S., F. Machida, and K. S. Trivedi. “Availability modeling and analysis of a virtualized system.” 2009 15th Ieee Pacific Rim International Symposium on Dependable Computing, Prdc 2009, December 1, 2009, 365–71. https://doi.org/10.1109/PRDC.2009.64.Full Text
-
Malek, M., F. Salfner, and K. S. Trivedi. “Workshop on Proactive Failure Avoidance, Recovery and Maintenance (PFARM).” Proceedings of the International Conference on Dependable Systems and Networks, November 25, 2009, 590–91. https://doi.org/10.1109/DSN.2009.5270285.Full Text
-
Goyal, M., D. Rohm, H. Hosseini, K. S. Trivedi, A. Divjak, and Y. Bashir. “A sctochastic model for beaconless IEEE 802.15.4 MAC operation.” Proceedings of the 2009 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Spects 2009, November 12, 2009, 199–207.
-
Goyal, M., M. Soperi, H. Hosseini, A. Shaikh, K. S. Trivedi, and G. Choudhury. “Analyzing the hold time schemes to limit the routing table calculations in OSPF protocol.” Proceedings International Conference on Advanced Information Networking and Applications, Aina, October 5, 2009, 74–81. https://doi.org/10.1109/AINA.2009.83.Full Text
-
Wang, D., and K. S. Trivedi. “Modeling user-perceived reliability based on user behavior graphs.” International Journal of Reliability, Quality and Safety Engineering 16, no. 4 (August 1, 2009): 303–29. https://doi.org/10.1142/S0218539309003411.Full Text
-
Okamura, H., T. Dohi, and K. S. Trivedi. “Markovian arrival process parameter estimation with group data.” Ieee/Acm Transactions on Networking 17, no. 4 (July 3, 2009): 1326–39. https://doi.org/10.1109/TNET.2008.2008750.Full Text
-
Heegaard, P. E., and K. S. Trivedi. “Network survivability modeling.” Computer Networks 53, no. 8 (June 11, 2009): 1215–34. https://doi.org/10.1016/j.comnet.2009.02.014.Full Text
-
Trivedi, Kisho S., and Robin Sahner. “SHARPE at the age of twenty two.” Acm Sigmetrics Performance Evaluation Review 36, no. 4 (March 25, 2009): 52–57. https://doi.org/10.1145/1530873.1530884.Full Text
-
Okamura, Hiroyuki, Tadashi Dohi, and Kishor S. Trivedi. “Markovian arrival process parameter estimation with group data.” Ieee/Acm Trans. Netw. 17 (2009): 1326–39. https://doi.org/10.1145/1618562.1618586.Full Text
-
Trivedi, K. S., D. S. Kim, and R. Ghosh. “Resilience in computer systems and networks.” Ieee/Acm International Conference on Computer Aided Design, Digest of Technical Papers, Iccad, January 1, 2009, 74–77. https://doi.org/10.1145/1687399.1687415.Full Text
-
Heegaard, P. E., and K. S. Trivedi. “Survivability quantification of real-sized networks including end-to-end delay distributions.” Proc. the 3rd Int. Conf. Systems and Networks Communications, Icsnc 2008 Includes I Centric 2008: Int. Conf. Advances in Human Oriented and Personalized Mechanisms, Technologies, and Services, December 1, 2008, 50–55. https://doi.org/10.1109/ICSNC.2008.14.Full Text
-
Smith, W. E., K. S. Trivedi, L. A. Tomek, and J. Ackaret. “Availability analysis of blade server systems.” Ibm Systems Journal 47, no. 4 (December 1, 2008): 621–40. https://doi.org/10.1147/SJ.2008.5386524.Full Text
-
Trivedi, K. S., V. Jindal, and S. Dharmaraja. “Stochastic Modeling Techniques for Secure and Survivable Systems,” December 1, 2008, 171–207. https://doi.org/10.1016/B978-012373566-9.50009-4.Full Text
-
Trivedi, K., D. Wang, D. J. Hunt, A. Rindos, W. E. Smith, and B. Vashaw. “Availability Modeling of SIP Protocol on IBM© WebSphere©.” Proceedings of the 14th Ieee Pacific Rim International Symposium on Dependable Computing, Prdc 2008, December 1, 2008, 323–30. https://doi.org/10.1109/PRDC.2008.50.Full Text
-
Heegaard, P. E., and K. S. Trivedi. “Survivability quantification of communication services.” Proceedings of the International Conference on Dependable Systems and Networks, October 13, 2008, 462–71. https://doi.org/10.1109/DSN.2008.4630117.Full Text
-
Trivedi, K., G. Ciardo, B. Dasarathy, M. Grottke, A. Rindos, and B. Varshaw. “Achieving and assuring high availability.” Ipdps Miami 2008 Proceedings of the 22nd Ieee International Parallel and Distributed Processing Symposium, Program and Cd Rom, September 10, 2008. https://doi.org/10.1109/IPDPS.2008.4536147.Full Text
-
Trivedi, K., G. Ciardo, B. Dasarathy, M. Grottke, R. Matias, A. Rindos, and B. Vashaw. “Achieving and assuring high availability.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5017 LNCS (June 11, 2008): 20–25. https://doi.org/10.1007/978-3-540-68129-8_4.Full Text
-
Grottke, M., H. Sun, R. M. Fricks, and K. S. Trivedi. “Ten fallacies of availability and reliability analysis.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5017 LNCS (June 9, 2008): 187–206. https://doi.org/10.1007/978-3-540-68129-8_15.Full Text
-
Madan, B. B., S. Dharmaraja, and K. S. Trivedi. “Combined guard channel and mobile-assisted handoff for cellular networks.” Ieee Transactions on Vehicular Technology 57, no. 1 (January 1, 2008): 502–10. https://doi.org/10.1109/TVT.2007.904529.Full Text
-
Bao, Y., I. N. Bozkur, T. Dayar, X. Sun, and K. S. Trivedi. “Decompositional analysis of Kronecker structured Markov chains.” Electronic Transactions on Numerical Analysis 31 (January 1, 2008): 271–94.
-
Haberkorn, M., and K. Trivedi. “Availability monitor for a software based system.” Proceedings of Ieee International Symposium on High Assurance Systems Engineering, December 1, 2007, 321–28. https://doi.org/10.1109/HASE.2007.24.Full Text
-
Hoffmann, G. A., K. S. Trivedi, and M. Malek. “A best practice guide to resource forecasting for computing systems.” Ieee Transactions on Reliability 56, no. 4 (December 1, 2007): 615–28. https://doi.org/10.1109/TR.2007.909764.Full Text
-
Okamura, H., M. Grottke, T. Dohi, and K. S. Trivedi. “Variational Bayesian approach for interval estimation of NHPP-based software reliability models.” Proceedings of the International Conference on Dependable Systems and Networks, November 16, 2007, 698–707. https://doi.org/10.1109/DSN.2007.101.Full Text
-
Sato, N., and K. S. Trivedi. “Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations.” Proceedings 2007 Ieee International Conference on Services Computing, Scc 2007, October 18, 2007, 114–21. https://doi.org/10.1109/SCC.2007.21.Full Text
-
Wang, D., and K. S. Trivedi. “Reliability analysis of phased-mission system with independent component repairs.” Ieee Transactions on Reliability 56, no. 3 (September 1, 2007): 540–51. https://doi.org/10.1109/TR.2007.903268.Full Text
-
Dai, Y. S., G. Levitin, and K. S. Trivedi. “Performance and reliability of tree-structured grid services considering data dependence and failure correlation.” Ieee Transactions on Computers 56, no. 7 (July 1, 2007): 925–36. https://doi.org/10.1109/TC.2007.1018.Full Text
-
Grottke, Michael, and Kisbor S. Trivedi. “Fighting bugs - Response.” Computer 40, no. 5 (May 2007): 7–7.Link to Item
-
Sharma, V. S., and K. S. Trivedi. “Quantifying software performance, reliability and security: An architecture-based approach.” Journal of Systems and Software 80, no. 4 (April 1, 2007): 493–509. https://doi.org/10.1016/j.jss.2006.07.021.Full Text
-
Wang, D., W. Xie, and K. S. Trivedi. “Performability analysis of clustered systems with rejuvenation under varying workload.” Performance Evaluation 64, no. 3 (March 1, 2007): 247–65. https://doi.org/10.1016/j.peva.2006.04.002.Full Text
-
Grottke, M., and K. S. Trivedi. “Fighting bugs: Remove, retry, replicate, and rejuvenate.” Computer 40, no. 2 (February 1, 2007): 107–9. https://doi.org/10.1109/MC.2007.55.Full Text
-
Sato, N., and K. S. Trivedi. “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) 4749 LNCS (January 1, 2007): 107–18. https://doi.org/10.1007/978-3-540-74974-5_9.Full Text
-
Avritzer, A., A. Bondi, M. Grottke, K. S. Trivedi, and E. J. Weyuker. “Performance assurance via software rejuvenation: Monitoring, statistics and algorithms.” Proceedings of the International Conference on Dependable Systems and Networks 2006 (December 22, 2006): 435–44. https://doi.org/10.1109/DSN.2006.58.Full Text
-
Gokhale, S. S., and K. S. Trivedi. “Analytical models for architecture-based software reliability prediction: A unification framework.” Ieee Transactions on Reliability 55, no. 4 (December 1, 2006): 578–90. https://doi.org/10.1109/TR.2006.884587.Full Text
-
Hoffmann, G. A., K. S. Trivedi, and M. Malek. “A best practice guide to resource forecasting for the apache webserver.” Proceedings 12th Pacific Rim International Symposium on Dependable Computing, Prdc 2006, December 1, 2006, 183–93. https://doi.org/10.1109/PRDC.2006.5.Full Text
-
Jindal, V., S. Dharmaraja, and K. S. Trivedi. “Analytical survivability model for fault tolerant cellular networks supporting multiple services.” International Symposium on Performance Evaluation of Computer and Telecommunication Systems 2006, Spects’06, Part of the 2006 Summer Simulation Multiconference, Summersim’06, December 1, 2006, 505–12.
-
Patnaik, L. M., K. S. Trivedi, S. Misra, K. R. Venugopal, and K. C. Sekaran. “Welcome message.” Isahuc’ 06 Proceedings of 2006 International Symposium on Ad Hoc and Ubiquitous Computing, December 1, 2006. https://doi.org/10.1109/ISAHUC.2006.4290634.Full Text
-
Patniak, L. M., K. S. Trivedi, G. Sivakumar, I. Ray, S. Misra, K. R. Venugopal, and K. C. Sekaran. “Welcome message.” Proceedings 2006 14th International Conference on Advanced Computing and Communications, Adcom 2006, December 1, 2006. https://doi.org/10.1109/ADCOM.2006.4289836.Full Text
-
Sharma, V. S., P. Jalote, and K. S. Trivedi. “A performance engineering tool for tiered software systems.” Proceedings International Computer Software and Applications Conference 1 (December 1, 2006): 63–70. https://doi.org/10.1109/COMPSAC.2006.15.Full Text
-
Sharma, V. S., and K. S. Trivedi. “Reliability and performance of component based software systems with restarts, retries, reboots and repairs.” Proceedings International Symposium on Software Reliability Engineering, Issre, December 1, 2006, 299–308. https://doi.org/10.1109/ISSRE.2006.39.Full Text
-
Trivedi, K. S., R. Vasireddy, D. Trindade, S. Nathan, and R. Castro. “Modeling high availability systems.” Proceedings 12th Pacific Rim International Symposium on Dependable Computing, Prdc 2006, December 1, 2006, 154–62. https://doi.org/10.1109/PRDC.2006.45.Full Text
-
Grottke, M., L. Li, K. Vaidyanathan, and K. S. Trivedi. “Analysis of software aging in a Web server.” Ieee Transactions on Reliability 55, no. 3 (September 1, 2006): 411–20. https://doi.org/10.1109/TR.2006.879609.Full Text
-
Ma, X., Y. Liu, and K. S. Trivedi. “Design and performance analysis of a new soft handoff scheme for CDMA cellular systems.” Ieee Transactions on Vehicular Technology 55, no. 5 (September 1, 2006): 1603–12. https://doi.org/10.1109/TVT.2006.877489.Full Text
-
Gokhale, S. S., M. R. Lyu, and K. S. Trivedi. “Incorporating fault debugging activities into software reliability models: A simulation approach.” Ieee Transactions on Reliability 55, no. 2 (June 1, 2006): 281–92. https://doi.org/10.1109/TR.2006.874911.Full Text
-
Ma, X., Y. Cao, Y. Liu, and K. S. Trivedi. “Modeling and performance analysis for soft handoff schemes in CDMA cellular systems.” Ieee Transactions on Vehicular Technology 55, no. 2 (March 1, 2006): 670–80. https://doi.org/10.1109/TVT.2005.863347.Full Text
-
Liu, Y., and K. S. Trivedi. “Survivability quantification: The analytical modeling approach.” International Journal of Performability Engineering 2, no. 1 (January 1, 2006): 29–44.
-
Choudhary, P. K., B. Madan, and K. S. Trivedi. “Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls.” Proceedings Winter Simulation Conference 2005 (December 1, 2005): 412–18. https://doi.org/10.1109/WSC.2005.1574276.Full Text
-
Griffin, C., B. Madan, and K. Trivedi. “State space approach to security quantification.” Proceedings International Computer Software and Applications Conference 2 (December 1, 2005): 83–88. https://doi.org/10.1109/COMPSAC.2005.145.Full Text
-
Grottke, M., and K. S. Trivedi. “On a method for mending time to failure distributions.” Proceedings of the International Conference on Dependable Systems and Networks, November 9, 2005, 560–69. https://doi.org/10.1109/DSN.2005.72.Full Text
-
Chen, D., and K. S. Trivedi. “Optimization for condition-based maintenance with semi-Markov decision process.” Reliability Engineering and System Safety 90, no. 1 (October 1, 2005): 25–29. https://doi.org/10.1016/j.ress.2004.11.001.Full Text
-
Bao, Y., X. Sun, and K. S. Trivedi. “A workload-based analysis of software aging, and rejuvenation.” Ieee Transactions on Reliability 54, no. 3 (September 1, 2005): 541–48. https://doi.org/10.1109/TR.2005.853442.Full Text
-
Wang, D., and K. S. Trivedi. “Computing steady-state mean time to failure for non-coherent repairable systems.” Ieee Transactions on Reliability 54, no. 3 (September 1, 2005): 506–16. https://doi.org/10.1109/TR.2005.853040.Full Text
-
Grottke, M., and K. S. Trivedi. “Truncated non-homogeneous Poisson process models - properties and performance.” Opsearch (India) 42, no. 4 (2005): 310–21.
-
Madan, B. B., S. Phoha, and K. S. Trivedi. “StackOFFence: A technique for defending against buffer overflow attacks.” International Conference on Information Technology: Coding and Computing, Itcc 1 (January 1, 2005): 656–61. https://doi.org/10.1109/itcc.2005.260.Full Text
-
Sharma, V. S., P. Jalote, and K. S. Trivedi. “Evaluating performance attributes of layered software architecture.” Lecture Notes in Computer Science 3489 (January 1, 2005): 66–81. https://doi.org/10.1007/11424529_5.Full Text
-
Sharma, V. S., and K. S. Trivedi. “Architecture based analysis of performance, reliability and security of software systems.” Proceedings of the Fifth International Workshop on Software and Performance, Wosp’05, January 1, 2005, 217–27. https://doi.org/10.1145/1071021.1071046.Full Text
-
Trivedi, K. S., L. T. Yang, M. Parashar, Y. Dai, Y. Pan, J. Ma, and S. Hariri. “Message from the RAMPDS-2005 chairs.” Proceedings of the International Conference on Parallel and Distributed Systems Icpads 2 (January 1, 2005): 44. https://doi.org/10.1109/ICPADS.2005.193.Full Text
-
Vaidyanathan, K., and K. S. Trivedi. “A comprehensive model for software rejuvenation.” Ieee Transactions on Dependable and Secure Computing 2, no. 2 (January 1, 2005): 124–37. https://doi.org/10.1109/TDSC.2005.15.Full Text
-
Wang, D., and K. S. Trivedi. “Modeling user-perceived service availability.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3694 LNCS (January 1, 2005): 107–22. https://doi.org/10.1007/11560333_10.Full Text
-
Xie, W., Y. Hong, and K. Trivedi. “Analysis of a two-level software rejuvenation policy.” Reliability Engineering and System Safety 87, no. 1 (January 1, 2005): 13–22. https://doi.org/10.1016/j.ress.2004.02.011.Full Text
-
Liu, Yun, Yue Ma, James J. Han, Haim Levendel, and Kishor S. Trivedi. “A proactive approach towards always-on availability in broadband cable networks.” Computer Communications 28, no. 1 (2005): 51–64. https://doi.org/10.1016/j.comcom.2004.08.022.Full Text Link to Item
-
Madan, B. B., and K. S. Trivedi. “Security modeling and quantification of intrusion tolerant systems using attack-response graph.” Journal of High Speed Networks 13, no. 4 (December 29, 2004): 297–308.
-
Dohi, T., S. Osaki, and K. S. Trivedi. “An infinite server queueing approach for describing software reliability growth ∼ - Unified modeling and estimation framework.” Proceedings Asia Pacific Software Engineering Conference, Apsec, December 1, 2004, 110–19. https://doi.org/10.1109/APSEC.2004.29.Full Text
-
Gokhale, S. S., W. E. Wong, J. R. Horgan, and K. S. Trivedi. “An analytical approach to architecture-based software performance and reliability prediction.” Performance Evaluation 58, no. 4 (December 1, 2004): 391–412. https://doi.org/10.1016/j.peva.2004.04.003.Full Text
-
Liu, Y., V. B. Mendiratta, and K. S. Trivedi. “Survivability analysis of telephone access network.” Proceedings International Symposium on Software Reliability Engineering, Issre, December 1, 2004, 367–78.
-
Tang, D., and K. S. Trivedi. “Hierarchical computation of interval availability and related metrics.” Proceedings of the International Conference on Dependable Systems and Networks, October 1, 2004, 693–98.
-
Chen, D., Y. Hong, and K. S. Trivedi. “Optimal estimation of training interval for channel equalization.” Ieee Transactions on Wireless Communications 3, no. 5 (September 1, 2004): 1844–53. https://doi.org/10.1109/TWC.2004.828021.Full Text
-
Xie, W., Y. Hong, and K. S. Trivedi. “Software rejuvenation policies for cluster systems under varying workload.” Proceedings Ieee Pacific Rim International Symposium on Dependable Computing, June 15, 2004, 122–29.
-
Cao, Y., H. Sun, and K. S. Trivedi. “The effect of access delay in capacity-on-demand access over a wireless link under bursty packet-switched data.” Performance Evaluation 57, no. 1 (May 1, 2004): 69–87. https://doi.org/10.1016/j.peva.2003.08.003.Full Text
-
Madan, B. B., K. Goševa-Popstojanova, K. Vaidyanathan, and K. S. Trivedi. “A method for modeling and quantifying the security attributes of intrusion tolerant systems.” Performance Evaluation 56, no. 1–4 (March 1, 2004): 167–86. https://doi.org/10.1016/j.peva.2003.07.008.Full Text
-
Dohi, T., H. Suzuki, and K. S. Trivedi. “Comparing software rejuvenation policies under different dependability measures.” Ieice Transactions on Information and Systems E87-D, no. 8 (January 1, 2004): 2078–85.
-
Gokhale, S. S., M. R. Lyu, and K. S. Trivedi. “Analysis of software fault removal policies using a non-homogeneous continuous time Markov chain.” Software Quality Journal 12, no. 3 (January 1, 2004): 211–30. https://doi.org/10.1023/B:SQJO.0000034709.63615.8b.Full Text
-
Nicol, D. M., W. H. Sanders, and K. S. Trivedi. “Model-based evaluation: From dependability to security.” Ieee Transactions on Dependable and Secure Computing 1, no. 1 (January 1, 2004): 48–64. https://doi.org/10.1109/TDSC.2004.11.Full Text
-
Bao, Y., X. Sun, and K. S. Trivedi. “Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme.” Proceedings of the International Conference on Dependable Systems and Networks, December 1, 2003, 241–48.
-
Chen, D., C. Kintala, S. Garg, and K. S. Trivedi. “Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques.” Proceedings of the International Conference on Dependable Systems and Networks, December 1, 2003, 521–28.
-
Zang, X., D. Wang, H. Sun, and K. S. Trivedi. “A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.” Ieee Transactions on Computers 52, no. 12 (December 1, 2003): 1608–18. https://doi.org/10.1109/TC.2003.1252856.Full Text
-
Hong, Y., K. S. Trivedi, A. Ray, and S. Phoha. “Software Performance Analysis Using a Language Measure.” Proceedings of the American Control Conference 3 (November 6, 2003): 2258–63.
-
Cao, Y., H. R. Sun, and K. S. Trivedi. “Performance Analysis of Reservation Media-Access Protocol with Access and Serving Queues Under Bursty Traffic in GPRS/EGPRS.” Ieee Transactions on Vehicular Technology 52, no. 6 (November 1, 2003): 1627–41. https://doi.org/10.1109/TVT.2003.819620.Full Text
-
Dharmaraja, S., K. S. Trivedi, and D. Logothetis. “Performance modeling of wireless networks with generally distributed handoff interarrival times.” Computer Communications 26, no. 15 (September 22, 2003): 1747–55. https://doi.org/10.1016/S0140-3664(03)00044-6.Full Text
-
Chen, D., Y. Cao, K. S. Trivedi, and Y. Hong. “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 10, no. 3 (September 1, 2003): 323–44. https://doi.org/10.1142/S0218539303001172.Full Text
-
Trivedi, K. S., X. Ma, and S. Dharmaraja. “Performability modelling of wireless communication systems.” International Journal of Communication Systems 16, no. 6 (August 1, 2003): 561–77. https://doi.org/10.1002/dac.605.Full Text
-
Xie, W., H. Sun, Y. Cao, and K. S. Trivedi. “Modeling of user perceived webserver availability.” Ieee International Conference on Communications 3 (July 18, 2003): 1796–1800.
-
Lanus, M., L. Yin, and K. S. Trivedi. “Hierarchical composition and aggregation of state-based availability and performability models.” Ieee Transactions on Reliability 52, no. 1 (March 1, 2003): 44–52. https://doi.org/10.1109/TR.2002.805781.Full Text
-
Fricks, R. M., and K. S. Trivedi. “Importance analysis with Markov chains.” Proceedings of the Annual Reliability and Maintainability Symposium, January 1, 2003, 89–95.
-
Goševa-Popstojanova, K., and K. S. Trivedi. “Architecture-Based Approaches to Software Reliability Prediction.” Computers and Mathematics With Applications 46, no. 7 (January 1, 2003): 1023–36. https://doi.org/10.1016/S0898-1221(03)90116-7.Full Text
-
Trivedi, K. S., S. Ramani, and R. Fricks. “Recent advances in modeling response-time distributions in real-time systems.” Proceedings of the Ieee 91, no. 7 (January 1, 2003): 1023–36. https://doi.org/10.1109/JPROC.2003.814619.Full Text
-
Wang, D., B. B. Madan, and K. S. Trivedi. “Security analysis of SITAR intrusion tolerance system.” Proceedings of the Acm Workshop on Survivable and Self Regenerative Systems, January 1, 2003, 23–32. https://doi.org/10.1145/1036921.1036924.Full Text
-
Vaidyanathan, K., D. Selvamuthu, and K. S. Trivedi. “Analysis of inspection-based preventive maintenance in operational software systems.” Proceedings of the Ieee Symposium on Reliable Distributed Systems, December 17, 2002, 286–95. https://doi.org/10.1109/RELDIS.2002.1180199.Full Text
-
Chen, D., S. Dharmaraja, L. Li, K. S. Trivedi, R. R. Some, and A. P. Nikora. “Reliability and availability analysis for the JPL remote exploration and experimentation system.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, December 1, 2002, 337–42.
-
Chen, D., S. Garg, and K. S. Trivedi. “Network survivability performance evaluation: A quantitative approach with applications in wireless Ad-hoc Networks.” Proceedings of the International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems, December 1, 2002, 61–68.
-
Hong, Y., D. Chen, and K. S. Trivedi. “Failure mitigation for quality of service of wireless networks.” Proceedings of the Ieee Conference on Decision and Control 2 (December 1, 2002): 1414–15.
-
Jin, W., R. D. Barve, and K. S. Trivedi. “A simple characterization of provably efficient prefetching algorithms.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, December 1, 2002, 571–80.
-
Madan, B. B., K. Goševa-Popstojanova, K. Vaidyanathan, and K. S. Trivedi. “Modeling and quantification of security attributes of software systems.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, December 1, 2002, 505–14. https://doi.org/10.1109/DSN.2002.1028941.Full Text
-
Trivedi, K. S. “SREPT: A tool for software reliability estimation and prediction.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, December 1, 2002, 546. https://doi.org/10.1109/DSN.2002.1028977.Full Text
-
Trivedi, K. S. “SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, December 1, 2002, 544. https://doi.org/10.1109/DSN.2002.1028975.Full Text
-
Trivedi, K. S., D. Selvamuthu, and X. Ma. “Analytic Modeling of Handoffs in Wireless Cellular Networks.” Proceedings of the Joint Conference on Information Sciences 6 (December 1, 2002): 1383–92.
-
Trivedi, K. S., S. Dharmaraja, and X. Ma. “Analytic modeling of handoffs in wireless cellular networks.” Information Sciences 148, no. 1–4 (December 1, 2002): 155–66. https://doi.org/10.1016/S0020-0255(02)00292-X.Full Text
-
Cao, Y., H. Sun, K. S. Trivedi, and J. J. Han. “System availability with non-exponentially distributed outages.” Ieee Transactions on Reliability 51, no. 2 (June 1, 2002): 193–98. https://doi.org/10.1109/TR.2002.1011525.Full Text
-
Ma, Y., J. J. Han, and K. S. Trivedi. “Call admission control for reducing dropped calls in CDMA cellular systems.” Computer Communications 25, no. 7 (May 1, 2002): 689–99. https://doi.org/10.1016/S0140-3664(01)00391-7.Full Text
-
Chen, D., Y. Hong, and K. S. Trivedi. “Optimal estimation of training interval for channel equalizations.” Ieee International Conference on Communications 2 (January 1, 2002): 717–21.
-
Chen, Dongyan, Dongyan Trivedi, and K. S. “Closed-form analytical results for condition-based maintenance.” Reliab. Eng. Syst. Saf. (Uk) 76, no. 1 (2002): 43–51.
-
Dohi, T., N. Kaio, and K. S. Trivedi. “Availability models with age-dependent checkpointing.” Proceedings of the Ieee Symposium on Reliable Distributed Systems, January 1, 2002, 130–39.
-
Pauca, V. P., A. F. Rodriguez, X. Sun, and K. S. Trivedi. “A methodology towards automatic implementation of N-body algorithms.” Applied Numerical Mathematics 40, no. 1–2 (January 1, 2002): 3–21. https://doi.org/10.1016/S0168-9274(01)00061-7.Full Text
-
Yin, L., R. M. Fricks, and K. S. Trivedi. “Application of semi-Markov process and CTMC to evaluation of UPS system availability.” Proceedings of the Annual Reliability and Maintainability Symposium, January 1, 2002, 584–91.
-
Chen, Dongyan, Yiguang Hong, and Kishor S. Trivedi. “Second-order stochastic fluid models with fluid-dependent flow rates.” Performance Evaluation 49, no. 1–4 (2002): 341–58. https://doi.org/10.1016/S0166-5316(02)00113-X.Full Text Link to Item
-
Dohi, T., K. Goeva-Popstojanova, and K. Trivedi. “Estimating software rejuvenation schedules in high-assurance systems.” Computer Journal 44, no. 6 (December 1, 2001): 473–85. https://doi.org/10.1093/comjnl/44.6.473.Full Text
-
Dohi, T., N. Wakana, S. Osaki, and K. S. Trivedi. “Analysis of hypergeometric distribution software reliability model.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, December 1, 2001, 166–75.
-
Hong, Y., Y. Cao, H. Sun, and K. S. Trivedi. “RED parameters and performance of TCP connections.” Electronics Letters 37, no. 24 (November 22, 2001): 1489–91. https://doi.org/10.1049/el:20010984.Full Text
-
Sun, H., X. Zang, and K. S. Trivedi. “A performance model of partial packet discard and early packet discard schemes in ATM switches.” Computer Communications 24, no. 15–16 (October 1, 2001): 1540–53. https://doi.org/10.1016/S0140-3664(01)00310-3.Full Text
-
Ma, Y., J. J. Han, and K. S. Trivedi. “Composite performance and availability analysis of wireless communication networks.” Ieee Transactions on Vehicular Technology 50, no. 5 (September 1, 2001): 1216–23. https://doi.org/10.1109/25.950322.Full Text
-
Ma, Y., J. J. Han, and K. S. Trivedi. “A method for multiple channel recovery in TDMA wireless communications systems.” Computer Communications 24, no. 12 (July 15, 2001): 1147–57. https://doi.org/10.1016/S0140-3664(00)00369-8.Full Text
-
Goševa-Popstojanova, K., and K. S. Trivedi. “Architecture-based approach to reliability assessment of software systems.” Performance Evaluation 45, no. 2–3 (July 1, 2001): 179–204. https://doi.org/10.1016/S0166-5316(01)00034-7.Full Text
-
Sun, H., X. Zang, and K. S. Trivedi. “Performance of broadcast and unknown server (BUS) in ATM LAN emulation.” Ieee/Acm Transactions on Networking 9, no. 3 (June 1, 2001): 361–72. https://doi.org/10.1109/90.929857.Full Text
-
Haring, G., R. Marie, R. Puigjaner, and K. Trivedi. “Loss formulas and their application to optimization for cellular networks.” Ieee Transactions on Vehicular Technology 50, no. 3 (May 1, 2001): 664–73. https://doi.org/10.1109/25.933303.Full Text
-
Castelli, V., R. E. Harper, P. Heidelberger, S. W. Hunter, K. S. Trivedi, K. Vaidyanathan, and W. P. Zeggert. “Proactive management of software aging.” Ibm Journal of Research and Development 45, no. 2 (January 1, 2001): 311–32. https://doi.org/10.1147/rd.452.0311.Full Text
-
Goševa-Popstojanova, K., A. P. Mathur, and K. S. Trivedi. “Comparison of architecture-based software reliability models.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, January 1, 2001, 22–31. https://doi.org/10.1109/ISSRE.2001.989455.Full Text
-
Ramani, S., K. S. Trivedi, and B. Dasarathy. “Performance analysis of the corba notification service.” Proceedings of the Ieee Symposium on Reliable Distributed Systems, January 1, 2001, 227–36. https://doi.org/10.1109/RELDIS.2001.970773.Full Text
-
Vaidyanathan, K., R. E. Harper, S. W. Hunter, and K. S. Trivedi. “Analysis and implementation of software rejuvenation in cluster systems.” Performance Evaluation Review 29, no. 1 (January 1, 2001): 62–71. https://doi.org/10.1145/384268.378434.Full Text
-
Yin, L., M. A. J. Smith, and K. S. Trivedi. “Uncertainty analysis in reliability modeling.” Proceedings of the Annual Reliability and Maintainability Symposium, January 1, 2001, 229–34.
-
Tuffin, Bruno, Dong S. Chen, and Kishor S. Trivedi. “Comparison of Hybrid Systems and Fluid Stochastic Petri Nets.” Discrete Event Dynamic Systems: Theory and Applications 11, no. 1–2 (2001): 77–95. https://doi.org/10.1023/A:1008387132533.Full Text Link to Item
-
Dohi, T., S. Osaki, and K. S. Trivedi. “Heuristic self-organization algorithms for software reliability assessment and their application.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, December 1, 2000, 40–51.
-
Goseva-Popstojanova, K., and K. S. Trivedi. “7 Failure correlation in software reliability models.” Ieee Transactions on Reliability 49, no. 1 (December 1, 2000): 37–48. https://doi.org/10.1109/24.855535.Full Text
-
Ma, Y., J. J. Han, and K. S. Trivedi. “Composite performance and availability analysis of communications networks: A comparison of exact and approximate approaches.” Conference Record / Ieee Global Telecommunications Conference 3 (December 1, 2000): 1771–77.
-
Ma, Y., J. J. Han, and K. S. Trivedi. “Channel allocation with recovery strategy in wireless networks.” European Transactions on Telecommunications 11, no. 4 (January 1, 2000): 395–406. https://doi.org/10.1002/ett.4460110408.Full Text
-
Ma, Y., J. J. Han, and K. S. Trivedi. “Call admission control for reducing dropped calls in code division multiple access (CDMA) cellular systems.” Proceedings Ieee Infocom 3 (January 1, 2000): 1481–90.
-
Ramani, S., K. S. Trivedi, and B. Dasarathy. “Performance analysis of the CORBA event service using stochastic reward nets.” Proceedings of the Ieee Symposium on Reliable Distributed Systems, January 1, 2000, 238–47.
-
Ramani, S., S. S. Gokhale, and K. S. Trivedi. “SREPT: Software Reliability Estimation and Prediction Tool.” Performance Evaluation 39, no. 1–4 (January 1, 2000): 37–60. https://doi.org/10.1016/S0166-5316(99)00057-7.Full Text
-
Trivedi, K. S., K. Vaidyanathan, and K. Goseva-Popstojanova. “Modeling and analysis of software aging and rejuvenation.” Proceedings of the Ieee Annual Simulation Symposium, January 1, 2000, 270–79.
-
Goseva-Popstojanova, K., and K. Trivedi. “Failure correlation in software reliability models.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, December 1, 1999, 232–41.
-
Ma, Y., J. J. Han, and K. S. Trivedi. “A channel recovery method in TDMA wireless systems.” Ieee Vehicular Technology Conference 50, no. 3 (December 1, 1999): 1750–54. https://doi.org/10.1109/VETECF.1999.801697.Full Text
-
Vaidyanathan, K., and K. S. Trivedi. “Measurement-based model for estimation of resource exhaustion in operational software systems.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, December 1, 1999, 84–93.
-
Yin, L., and K. S. Trivedi. “Confidence interval estimation of NHPP-based software reliability models.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, December 1, 1999, 6–11.
-
Zang, X., H. Sun, and K. S. Trivedi. “A BDD-based algorithm for reliability analysis of phased-mission systems.” Ieee Transactions on Reliability 48, no. 1 (December 1, 1999): 50–60. https://doi.org/10.1109/24.765927.Full Text
-
Sun, H., X. Zang, and K. S. Trivedi. “Effect of Web caching on network planning.” Computer Communications 22, no. 14 (September 15, 1999): 1343–50. https://doi.org/10.1016/S0140-3664(99)00131-0.Full Text
-
Sun, H., X. Zang, and K. S. Trivedi. “Stochastic reward net model for performance analysis of prioritized DQDB MAN.” Computer Communications 22, no. 9 (June 15, 1999): 858–70. https://doi.org/10.1016/S0140-3664(99)00055-9.Full Text
-
Ciardo, G., D. M. Nicol, and K. S. Trivedi. “Discrete-event simulation of fluid stochastic Petri nets.” Ieee Transactions on Software Engineering 25, no. 2 (January 1, 1999): 207–17. https://doi.org/10.1109/32.761446.Full Text
-
Fricks, R. M., A. Puliafito, and K. S. Trivedi. “Performance analysis of distributed real-time databases.” Performance Evaluation 35, no. 3 (January 1, 1999): 145–69. https://doi.org/10.1016/S0166-5316(99)00008-5.Full Text
-
Garg, S., Y. Huang, C. M. R. Kintala, K. S. Trivedi, and S. Yajnik. “Performance and reliability evaluation of passive replication schemes in application level fault tolerance.” Proceedings Annual International Conference on Fault Tolerant Computing, January 1, 1999, 322–29.
-
Gokhale, S. S., and K. S. Trivedi. “A time/structure based software reliability model.” Annals of Software Engineering 8, no. 1–4 (January 1, 1999): 85–121. https://doi.org/10.1023/a:1018923329647.Full Text
-
Ma, Y., J. J. Han, and K. S. Trivedi. “A channel recovery method for RF channel failure in wireless communications systems.” Ieee Wireless Communications and Networking Conference, Wcnc 3 (January 1, 1999): 1075–79. https://doi.org/10.1109/WCNC.1999.796838.Full Text
-
Ma, Y., J. J. Han, and K. S. Trivedi. “Transient analysis of minimum duration outage for RF channel in cellular systems.” Ieee Vts 50th Vehicular Technology Conference, Vtc 1999 Fall 2 (January 1, 1999): 1698–1702.
-
Ramesh, A. V., D. W. Twigg, U. R. Sandadi, T. C. Sharma, K. S. Trivedi, and A. K. Somani. “Integrated reliability modeling environment.” Reliability Engineering and System Safety 65, no. 1 (January 1, 1999): 65–75. https://doi.org/10.1016/S0951-8320(98)00086-6.Full Text
-
Zang, X., H. Sun, and K. S. Trivedi. “Dependability analysis of distributed computer systems with imperfect coverage.” Proceedings Annual International Conference on Fault Tolerant Computing, January 1, 1999, 330–37.
-
Ma, Y., and K. S. Trivedi. “Algorithm for reliability analysis of phased-mission systems.” Reliability Engineering and System Safety 66, no. 2 (1999): 157–70. https://doi.org/10.1016/S0951-8320(99)00033-2.Full Text Link to Item
-
Garg, S., A. Puliafito, M. Telek, and K. Trivedi. “Analysis of preventive maintenance in transactions based software systems.” Ieee Transactions on Computers 47, no. 1 (December 1, 1998): 96–107. https://doi.org/10.1109/12.656092.Full Text
-
Garg, S., A. van Moorsel, K. Vaidyanathan, and K. S. Trivedi. “Methodology for detection and estimation of software aging.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, December 1, 1998, 283–92.
-
Gokhale, S. S., M. R. Lyu, and K. S. Trivedi. “Software reliability analysis incorporating fault detection and debugging activities.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, December 1, 1998, 202–11.
-
Gokhale, S. S., M. R. Lyu, and K. S. Trivedi. “Reliability simulation of component-based software systems.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, December 1, 1998, 192–201.
-
Luo, T., and K. S. Trivedi. “An improved algorithm for coherent-system reliability.” Ieee Transactions on Reliability 47, no. 1 (December 1, 1998): 73–78. https://doi.org/10.1109/24.690911.Full Text
-
Puliafito, A., O. Tomarchio, L. Vita, and K. S. Trivedi. “Increasing application accessibility through Java.” Ieee Internet Computing 2, no. 4 (July 1, 1998): 70–77. https://doi.org/10.1109/4236.707808.Full Text
-
Horton, G., V. G. Kulkarni, D. M. Nicol, and K. S. Trivedi. “Fluid stochastic petri nets: Theory, applications, and solution techniques.” European Journal of Operational Research 105, no. 1 (February 16, 1998): 184–201. https://doi.org/10.1016/S0377-2217(97)00028-3.Full Text
-
Bobbio, A., A. Puliafito, M. Telek, and K. S. Trivedi. “Recent developments in non-Markovian stochastic Petri nets.” Journal of Circuits, Systems and Computers 8, no. 1 (January 1, 1998): 119–58. https://doi.org/10.1142/S0218126698000067.Full Text
-
Choi, H., W. Wang, and K. S. Trivedi. “Analysis of conditional MTTF of fault-tolerant systems.” Microelectronics Reliability 38, no. 3 (January 1, 1998): 393–401. https://doi.org/10.1016/S0026-2714(97)00043-7.Full Text
-
Fricks, R. M., A. Puliafito, M. Telek, and K. S. Trivedi. “Applications of non-Markovian stochastic Petri nets.” Performance Evaluation Review 26, no. 2 (January 1, 1998): 15–27. https://doi.org/10.1145/288197.288204.Full Text
-
Fricks, R. M., and K. S. Trivedi. “Availability modeling of energy management systems.” Microelectronics Reliability 38, no. 5 (January 1, 1998): 727–43. https://doi.org/10.1016/S0026-2714(98)00027-4.Full Text
-
Puliafito, A., M. Scarpa, and K. S. Trivedi. “Petri nets with k simultaneously enabled generally distributed timed transitions.” Performance Evaluation 32, no. 1 (January 1, 1998): 1–34. https://doi.org/10.1016/s0166-5316(97)00013-8.Full Text
-
Gokhale, S. S., M. R. Lyu, and K. S. Trivedi. “Reliability simulation of fault-tolerant software and systems.” Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, Prfts, December 1, 1997, 167–73.
-
Ro, C. W., and K. S. Trivedi. “Performability analysis of handoff calls in personal communication networks.” Proceedings of the International Conference on Computer Communications and Networks, Icccn, December 1, 1997, 116–21.
-
Somani, A. K., and K. S. Trivedi. “Cache error propagation model.” Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, Prfts, December 1, 1997, 15–21.
-
Balakrishnan, M., A. Puliafito, K. Trivedi, and Y. Viniotis. “Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach.” Telecommunication Systems 7, no. 1–3 (January 1, 1997): 105–23. https://doi.org/10.1023/a:1019164110511.Full Text
-
Ciardo, G., D. Nicol, and K. S. Trivedi. “Discrete-event simulation of fluid stochastic Petri nets.” International Workshop on Petri Nets and Performance Models, January 1, 1997, 217–25.
-
Garg, S., M. Telek, A. Puliafito, and K. S. Trivedi. “On the analysis of software rejuvenation policies.” Compass Proceedings of the Annual Conference on Computer Assurance, January 1, 1997, 88–96.
-
Gokhale, S. S., P. N. Marinos, M. R. Lyu, and K. S. Trivedi. “Effect of repair policies on software reliability.” Compass Proceedings of the Annual Conference on Computer Assurance, January 1, 1997, 105–16.
-
Hunter, S., T. Philip, and K. Trivedi. “Combined performance and availability analysis of a switched network application.” Ieee International Conference on Communications 1 (January 1, 1997): 241–45.
-
Logothetis, D., and K. Trivedi. “The Effect of Detection and Restoration Times for Error Recovery in Communication Networks.” Journal of Network and Systems Management 5, no. 2 (January 1, 1997): 173–95. https://doi.org/10.1023/A:1018722928191.Full Text
-
Tai, A. T., K. S. Trivedi, and H. Hecht. “On the development of dependability-evaluation workbench for high-assurance system designers.” Proceedings of the High Assurance Systems Engineering Workshop, January 1, 1997, 2–7.
-
Bänsch, K., A. Heini, M. Malhotra, and K. Trivedi. “Comment/correction: dependability modeling using petri nets.” Ieee Transactions on Reliability 45, no. 2 (December 1, 1996): 272–73. https://doi.org/10.1109/24.510814.Full Text
-
Fricks, R., S. Hunter, S. Garg, and K. S. Trivedi. “IDEA: Integrated design environment for assessment of ATM networks.” Proceedings of the Ieee International Conference on Engineering of Complex Computer Systems, Iceccs, December 1, 1996, 27–34.
-
Gokhale, S. S., T. Philip, P. N. Marinos, and K. S. Trivedi. “Unification of finite failure non-homogeneous Poisson process models through test coverage.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, December 1, 1996, 299–307.
-
Mainkar, V., and K. S. Trivedi. “Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models.” Ieee Transactions on Software Engineering 22, no. 9 (December 1, 1996): 640–53. https://doi.org/10.1109/32.541435.Full Text
-
Leemis, L., and K. S. Trivedi. “A comparison of approximate interval estimators for the Bernoulli parameter.” American Statistician 50, no. 4 (November 1, 1996): 388–89.Link to Item
-
Heidelberger, P., J. K. Muppala, and K. S. Trivedi. “Accelerating mean time to failure computations.” Performance Evaluation 27–28 (October 1, 1996): 627–45. https://doi.org/10.1016/0166-5316(96)00027-2.Full Text
-
Balakrishnan, M., and K. S. Trivedi. “Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing.” Reliability Engineering and System Safety 52, no. 3 SPEC. ISS. (January 1, 1996): 243–59. https://doi.org/10.1016/0951-8320(95)00132-8.Full Text
-
Garg, S., C. Kintala, Y. Huang, and K. S. Trivedi. “Minimizing completion time of a program by checkpointing and rejuvenation.” Performance Evaluation Review 24, no. 1 (January 1, 1996): 252–61. https://doi.org/10.1145/233008.233050.Full Text
-
Hecht, H., A. T. Tai, K. S. Trivedi, and A. J. Chruscicki. “User-friendly dependability evaluation tool.” Ieee Proceedings of the National Aerospace and Electronics Conference 2 (January 1, 1996): 637–41.
-
Heidelberger, P., J. K. Muppala, and K. S. Trivedi. “Accelerating mean time to failure computations.” Performance Evaluation 27–28 (January 1, 1996): 627–45. https://doi.org/10.1016/s0166-5316(96)90049-8.Full Text
-
Klotz, J. H., L. Leemis, and K. S. Trivedi. “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 50, no. 4 (January 1, 1996): 388–89.
-
Leemis, L. M., and K. S. Trivedi. “A Comparison of Approximate Interval Estimators for the Bernoulli Parameter.” American Statistician 50, no. 1 (January 1, 1996): 63–68. https://doi.org/10.1080/00031305.1996.10473544.Full Text
-
Pfening, A., S. Garg, A. Puliafito, M. Telek, and K. S. Trivedi. “Optimal software rejuvenation for tolerating soft failures.” Performance Evaluation 27–28 (January 1, 1996): 491–506. https://doi.org/10.1016/s0166-5316(96)90042-5.Full Text
-
Sahner, R. A., and K. S. Trivedi. “SHARPE: a modeler's toolkit.” Proceedings Ieee International Computer Performance and Dependability Symposium, Ipds, January 1, 1996, 58.
-
Wang, C. Y., D. Logothetis, K. S. Trivedi, and I. Viniotis. “Transient behavior of ATM networks under overloads.” Proceedings Ieee Infocom 3 (January 1, 1996): 978–85.
-
Bobbio, A., V. G. Kulkarni, A. Puliafito, M. Telek, and K. S. Trivedi. “Preemptive repeat identical transitions in Markov regenerative stochastic Petri Nets.” International Workshop on Petri Nets and Performance Models, December 1, 1995, 113–22.
-
Garg, S., M. Telek, A. Puliafito, and K. S. Trivedi. “Analysis of software rejuvenation using Markov regenerative stochastic petri net.” Proceedings of the International Symposium on Software Reliability Engineering, Issre, December 1, 1995, 180–87.
-
German, R., D. Logothetis, and K. S. Trivedi. “Transient analysis of Markov regenerative stochastic petri nets: a comparison of approaches.” International Workshop on Petri Nets and Performance Models, December 1, 1995, 103–12.
-
Greiner, S., A. Puliafito, G. Bolch, and K. S. Trivedi. “Performance evaluation of dynamic priority operating systems.” International Workshop on Petri Nets and Performance Models, December 1, 1995, 241–50.
-
Logothetis, D., and K. Trivedi. “Effect of detection and restoration times for error recovery in communication networks.” Proceedings Ieee Military Communications Conference Milcom 2 (December 1, 1995): 663–67.
-
Mainkar, V., and K. S. Trivedi. “Fixed point iteration using stochastic reward nets.” International Workshop on Petri Nets and Performance Models, December 1, 1995, 21–30.
-
IYER, R. K., K. S. TRIVEDI, and J. GOLDBERG. “INTRODUCTION TO THE SPECIAL ISSUE ON FAULT-TOLERANT COMPUTING.” Ieee Transactions on Computers 44, no. 2 (February 1995): 165–67.Link to Item
-
Balakrishnan, M., and K. Trivedi. “Componentwise decomposition for an efficient reliability computation of systems with repairable components.” Proceedings Annual International Conference on Fault Tolerant Computing, January 1, 1995, 259–68. https://doi.org/10.1109/ftcs.1995.466972.Full Text
-
Choi, H., V. G. Kulkarni, and K. S. Trivedi. “Performance evaluation. Erratum to "Markov regenerative stochastic Petri nets" [20 (1994) 337-357] (PII:0166-5316(94)90021-3).” Performance Evaluation 21, no. 3 (January 1, 1995): 271. https://doi.org/10.1016/0166-5316(94)00050-t.Full Text
-
Constantinescu, C., and K. Trivedi. “Dependability modeling of real-time systems using stochastic reward nets.” Microelectronics Reliability 35, no. 6 (January 1, 1995): 903–14. https://doi.org/10.1016/0026-2714(94)00150-M.Full Text
-
Lindemann, C., M. Malhotra, and K. S. Trivedi. “Numerical Methods for Reliability Evaluation of Markov Closed Fault-Tolerant Systems.” Ieee Transactions on Reliability 44, no. 4 (January 1, 1995): 694–704. https://doi.org/10.1109/24.476004.Full Text
-
Logothetis, D., K. S. Trivedi, and A. Puliafito. “Markov regenerative models.” Proceedings International Computer Performance and Dependability Symposium, January 1, 1995, 134–42.
-
Malhotra, M., and K. S. Trivedi. “Data integrity analysis of disk array systems with analytic modeling of coverage.” Performance Evaluation 22, no. 1 (January 1, 1995): 111–33. https://doi.org/10.1016/0166-5316(93)E0041-3.Full Text
-
Malhotra, M., and K. S. Trivedi. “Dependability Modeling Using Petri-Nets.” Ieee Transactions on Reliability 44, no. 3 (January 1, 1995): 428–40. https://doi.org/10.1109/24.406578.Full Text
-
Puliafito, A., M. Balakrishnan, K. S. Trivedi, and I. Viniotis. “Buffer sizing for ABR traffic in an ATM switch.” Ieee International Conference on Communications 1 (January 1, 1995): 316–20.
-
Rai, S., M. Veeraraghavan, and K. S. Trivedi. “A survey of efficient reliability computation using disjoint products approach.” Networks 25, no. 3 (January 1, 1995): 147–63. https://doi.org/10.1002/net.3230250308.Full Text
-
Ramesh, A. V., and K. Trivedi. “Semi-numerical transient analysis of Markov models.” Proceedings of the Annual Southeast Conference, January 1, 1995, 13–23. https://doi.org/10.1145/1122018.1122021.Full Text
-
Logothetis, D., and K. Trivedi. “Transient analysis of the leaky bucket rate control scheme under poisson and on-off sources.” Proceedings Ieee Infocom 2 (December 1, 1994): 490–97.
-
Meer, H. de, K. S. Trivedi, and M. Dal Cin. “Guarded repair of dependable systems.” Theoretical Computer Science 128, no. 1–2 (June 6, 1994): 179–210. https://doi.org/10.1016/0304-3975(94)90169-4.Full Text
-
Muppala, J. K., K. S. Trivedi, V. Mainkar, and V. G. Kulkarni. “Numerical computation of response time distributions using stochastic reward nets.” Annals of Operations Research 48, no. 2 (April 1, 1994): 155–84. https://doi.org/10.1007/BF02024663.Full Text
-
Choi, H., V. G. Kulkarni, and K. S. Trivedi. “Markov regenerative stochastic Petri nets.” Performance Evaluation 20, no. 1–3 (January 1, 1994): 337–57. https://doi.org/10.1016/0166-5316(94)90021-3.Full Text
-
Logothetis, D., and K. S. Trivedi. “Reliability Analysis of the Double Counter-Rotating Ring with Concentrator Attachments.” Ieee/Acm Transactions on Networking 2, no. 5 (January 1, 1994): 520–32. https://doi.org/10.1109/90.336320.Full Text
-
Malhotra, M., J. K. Muppala, and K. S. Trivedi. “Stiffness-tolerant methods for transient analysis of stiff Markov chains.” Microelectronics Reliability 34, no. 11 (January 1, 1994): 1825–41. https://doi.org/10.1016/0026-2714(94)90137-6.Full Text
-
Malhotra, M., and K. S. Trivedi. “Power-Hierarchy of Dependability-Model Types.” Ieee Transactions on Reliability 43, no. 3 (January 1, 1994): 493–502. https://doi.org/10.1109/24.326452.Full Text
-
Somani, A. K., and K. S. Trivedi. “Phased-mission system analysis using boolean algebraic methods.” Performance Evaluation Review 22, no. 1 (January 1, 1994): 98–107. https://doi.org/10.1145/183019.183029.Full Text
-
Tomek, L., V. Mainkar, R. M. Geist, and K. S. Trivedi. “Reliability Modeling of Life-Critical, Real-Time Systems.” Proceedings of the Ieee 82, no. 1 (January 1, 1994): 108–21. https://doi.org/10.1109/5.259430.Full Text
-
Trivedi, K. S., M. Malhotra, and R. M. Fricks. “Markov reward approach to performability and reliability analysis.” Proceedings of the Ieee International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, January 1, 1994, 7–11.
-
Veeraraghavan, M., and K. S. Trivedi. “A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models.” Ieee Transactions on Computers 43, no. 2 (January 1, 1994): 229–34. https://doi.org/10.1109/12.262129.Full Text
-
Wei, W., B. V. Shah, K. S. Trivedi, and J. A. Profeta. “Impact of fault expansion on the interval estimate for fault detection coverage.” Digest of Papers International Symposium on Fault Tolerant Computing, January 1, 1994, 330–37.
-
Geist, R., and K. Trivedi. “Analytic treatment of the reliability and performance of mirrored disk subsystems.” Digest of Papers International Symposium on Fault Tolerant Computing, December 1, 1993, 442–50.
-
Veeraraghavan, M., and K. S. Trivedi. “Approach for combinatorial performance and availability analysis,” December 1, 1993, 24–33.
-
Haverkort, B. R., and K. S. Trivedi. “Specification techniques for Markov reward models.” Discrete Event Dynamic Systems: Theory and Applications 3, no. 2–3 (July 1, 1993): 219–47. https://doi.org/10.1007/BF01439850.Full Text
-
Ramesh, A. V., and K. Trivedi. “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, June 1, 1993, 122–34. https://doi.org/10.1145/166955.166998.Full Text
-
Chimento, P. F. “The Completion Time of Programs on Processors Subject to Failure and Repair.” Ieee Transactions on Computers 42, no. 10 (January 1, 1993): 1184–94. https://doi.org/10.1109/12.257705.Full Text
-
Choi, H., and K. S. Trivedi. “Conditional MTTF and its computation in Markov reliability models.” Proceedings of the Annual Reliability and Maintainability Symposium, January 1, 1993, 56–63. https://doi.org/10.1109/rams.1993.296876.Full Text
-
Ciardo, G., and K. S. Trivedi. “A decomposition approach for stochastic reward net models.” Performance Evaluation 18, no. 1 (January 1, 1993): 37–59. https://doi.org/10.1016/0166-5316(93)90026-Q.Full Text
-
Ibe, O. C., H. Choi, and K. S. Trivedi. “Performance Evaluation of Client-Server Systems.” Ieee Transactions on Parallel and Distributed Systems 4, no. 11 (January 1, 1993): 1217–29. https://doi.org/10.1109/71.250101.Full Text
-
Logothetis, D., and K. Trivedi. “Reliability analysis of various station attachment schemes in a FDDI token ring.” Proceedings Ieee Infocom 1 (January 1, 1993): 201–5.
-
Lopez-Benitez, N., and K. S. Trivedi. “Multiprocessor Performability Analysis.” Ieee Transactions on Reliability 42, no. 4 (January 1, 1993): 579–87. https://doi.org/10.1109/24.273586.Full Text
-
Mainkar, V., and K. S. Trivedi. “Approximate analysis of priority scheduling systems using stochastic reward nets.” Proceedings International Conference on Distributed Computing Systems, January 1, 1993, 466–73.
-
Malhotra, M., and K. S. Trivedi. “Reliability analysis of redundant arrays of inexpensive disks.” Journal of Parallel and Distributed Computing 17, no. 1–2 (January 1, 1993): 146–51. https://doi.org/10.1006/jpdc.1993.1013.Full Text
-
Sahner, R. A. “A Software Tool for Learning About Stochastic Models.” Ieee Transactions on Education 36, no. 1 (January 1, 1993): 56–61. https://doi.org/10.1109/13.204817.Full Text
-
Tomek, L. A. “Modeling Correlation in Software Recovery Blocks.” Ieee Transactions on Software Engineering 19, no. 11 (January 1, 1993): 1071–86. https://doi.org/10.1109/32.256854.Full Text
-
Choi, H., and K. S. Trivedi. “Approximate performance models of polling systems using stochastic Petri nets.” Proceedings Ieee Infocom, December 1, 1992, 2306–14. https://doi.org/10.1109/INFCOM.1992.263520.Full Text
-
IYER, R. K., and K. S. TRIVEDI. “MEASUREMENT AND ANALYSIS OF PARALLEL AND DISTRIBUTED SYSTEMS - INTRODUCTION.” Ieee Transactions on Parallel and Distributed Systems 3, no. 6 (November 1, 1992): 641–42.Link to Item
-
Ciardo, G., J. K. Muppala, and K. S. Trivedi. “Analyzing concurrent and fault-tolerant software using stochastic reward nets.” Journal of Parallel and Distributed Computing 15, no. 3 (January 1, 1992): 255–69. https://doi.org/10.1016/0743-7315(92)90007-A.Full Text
-
Iyer, Ravishankar K., and Kishor S. Trivedi. “Guest Editors' Introduction.” Ieee Trans. Parallel Distributed Syst. 3 (1992): 641–42. https://doi.org/10.1109/TPDS.1992.10003.Full Text
-
Nicola, V., A. Bobbio, and K. Trivedi. “A unified performance reliability analysis of a system with a cumulative down time constraint.” Microelectronics Reliability 32, no. 1–2 (January 1, 1992): 49–65. https://doi.org/10.1016/0026-2714(92)90086-Z.Full Text
-
Trivedi, K. S., J. K. Muppala, S. P. Woolet, and B. R. Haverkort. “Composite performance and dependability analysis.” Performance Evaluation 14, no. 3–4 (January 1, 1992): 197–215. https://doi.org/10.1016/0166-5316(92)90004-Z.Full Text
-
Ibe, O. C., and K. S. Trivedi. “Stochastic petri net analysis of finite-population vacation queueing systems.” Queueing Systems 8, no. 1 (December 1, 1991): 111–27. https://doi.org/10.1007/BF02412245.Full Text
-
Ciardo, G., J. Muppala, and K. S. Trivedi. “On the solution of GSPN reward models.” Performance Evaluation 12, no. 4 (January 1, 1991): 237–53. https://doi.org/10.1016/0166-5316(91)90003-L.Full Text
-
Heimann, D. I., N. Mittal, and K. S. Trivedi. “Dependability modeling for computer systems.” Proceedings of the Annual Reliability and Maintainability Symposium, January 1, 1991, 120–28.
-
Muppala, J. K., D. University, S. P. Woolet, and K. S. Trivedi. “Real-Time-Systems Performance in the Presence of Failures.” Computer 24, no. 5 (January 1, 1991): 37–47. https://doi.org/10.1109/2.76285.Full Text
-
Veeraraghavan, M., and K. S. Trivedi. “An Improved Algorithm for Symbolic Reliability Analysis.” Ieee Transactions on Reliability 40, no. 3 (January 1, 1991): 347–58. https://doi.org/10.1109/24.85455.Full Text
-
Veeraraghavan, M., and K. S. Trivedi. “An improved algorithm for the symbolic reliability analysis of networks.” Proceedings Symposium on Reliability in Distributed Software and Database Systems, December 1, 1990, 34–43.
-
Ibe, O. C., and K. S. Trivedi. “Two queues with alternating service and server breakdown.” Queueing Systems 7, no. 3–4 (September 1, 1990): 253–68. https://doi.org/10.1007/BF01154545.Full Text
-
Bobbio, A., and K. S. Trivedi. “Computation of the distribution of the completion time when the work requirement is a ph random variable.” Communications in Statistics. Stochastic Models 6, no. 1 (January 1, 1990): 133–50. https://doi.org/10.1080/15326349908807140.Full Text
-
Bobbio, A., and K. Trivedi. “Computing Cumulative Measures of Stiff Markov Chains Using Aggregation.” Ieee Transactions on Computers 39, no. 10 (January 1, 1990): 1291–98. https://doi.org/10.1109/12.59859.Full Text
-
Calzarossa, M., R. Marie, and K. S. Trivedi. “System performance with user behavior graphs.” Performance Evaluation 11, no. 3 (January 1, 1990): 155–64. https://doi.org/10.1016/0166-5316(90)90008-7.Full Text
-
Ciardo, G., R. A. Marie, B. Sericola, and K. S. Trivedi. “Performability Analysis Using Semi-Markov Reward Processes.” Ieee Transactions on Computers 39, no. 10 (January 1, 1990): 1251–64. https://doi.org/10.1109/12.59855.Full Text
-
Geist, R., and K. Trivedi. “Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques.” Computer 23, no. 7 (January 1, 1990): 52–61. https://doi.org/10.1109/2.56852.Full Text
-
Heimann, D. I., N. Mittal, and K. S. Trivedi. “Availability and Reliability Modeling for Computer Systems.” Advances in Computers 31, no. C (January 1, 1990): 175–233. https://doi.org/10.1016/S0065-2458(08)60154-0.Full Text
-
Ibe, O. C., and K. S. Trivedi. “Stochastic Petri Net Models of Polling Systems.” Ieee Journal on Selected Areas in Communications 8, no. 9 (January 1, 1990): 1649–57. https://doi.org/10.1109/49.62852.Full Text
-
Kulkarni, V. G., V. F. Nicola, and K. S. Trivedi. “Effects of checkpointing and queueing on program performance.” Communications in Statistics. Stochastic Models 6, no. 4 (January 1, 1990): 615–48. https://doi.org/10.1080/15326349908807166.Full Text
-
Trivedi, K. S., A. S. Sathaye, O. C. Ibe, and R. C. Howe. “Should I add a processor?” Proceedings of the Hawaii International Conference on System Science 1 (January 1, 1990): 214–21.
-
Chimento, P. F., and K. S. Trivedi. “Completion time of programs on concurrent processors with failure and repair.” Proceedings of the International Conference on Parallel Processing 1 (December 1, 1989): 167–71.
-
Ciardo, G., J. Muppala, and K. Trivedi. “SPNP: Stochastic Petri Net Package,” December 1, 1989, 142–51.
-
Ibe, O. C., A. Sathaye, R. C. Howe, and K. S. Trivedi. “Stochastic Petri net modeling of VAXcluster system availability,” December 1, 1989, 112–21.
-
Thambidurai, P., and K. S. Trivedi. “Transient overloads in fault-tolerant real-time systems.” Proceedings Real Time Systems Symposium, December 1, 1989, 126–33.
-
Thambidurai, P., Y. K. Park, and K. S. Trivedi. “On reliability modelling of fault-tolerant distributed systems.” Proceedings International Conference on Distributed Computing Systems, June 1, 1989, 136–42.
-
Reibman, A., R. Smith, and K. Trivedi. “Markov and Markov reward model transient analysis: An overview of numerical approaches.” European Journal of Operational Research 40, no. 2 (May 25, 1989): 257–67. https://doi.org/10.1016/0377-2217(89)90335-4.Full Text
-
Reibman, Andrew, Kishor Trivedi, Sanjaya Kumar, and Gianfranco Ciardo. “Analysis of Stiff Markov Chains.” Orsa Journal on Computing 1, no. 2 (May 1989): 126–33. https://doi.org/10.1287/ijoc.1.2.126.Full Text
-
Blake, J. T., and K. S. Trivedi. “Multistage Interconnection Network Reliability.” Ieee Transactions on Computers 38, no. 11 (January 1, 1989): 1600–1604. https://doi.org/10.1109/12.42134.Full Text
-
Blake, J. T., and K. S. Trivedi. “Reliability Analysis of Interconnection Networks Using Hierarchical Composition.” Ieee Transactions on Reliability 38, no. 1 (January 1, 1989): 111–20. https://doi.org/10.1109/24.24584.Full Text
-
Dement, J. M. “Message from the chair.” Applied Industrial Hygiene 4, no. 12 (January 1, 1989). https://doi.org/10.1080/08828032.1989.10389927.Full Text
-
Dugan, J. B., and K. S. Trivedi. “Coverage Modeling for Dependability Analysis of Faulttolerant Systems.” Ieee Transactions on Computers 38, no. 6 (January 1, 1989): 775–87. https://doi.org/10.1109/12.24286.Full Text
-
Ibe, O. C., R. C. Howe, and K. S. Trivedi. “Approximate Availability Analysis of VAXcluster Systems.” Ieee Transactions on Reliability 38, no. 1 (January 1, 1989): 146–52. https://doi.org/10.1109/24.24588.Full Text
-
McGough, J., A. Reibman, and K. Trivedi. “Markov reliability models for digital flight control systems.” Journal of Guidance, Control, and Dynamics 12, no. 2 (January 1, 1989): 209–19. https://doi.org/10.2514/3.20393.Full Text
-
Reibman, A., and K. Trivedi. “Transient analysis of cumulative measures of markov model behavior.” Communications in Statistics. Stochastic Models 5, no. 4 (January 1, 1989): 683–710. https://doi.org/10.1080/15326348908807130.Full Text
-
Smith, W. E., and K. S. Trivedi. “Dependability evaluation of a class of multi-loop topologies for local area networks.” Ibm Journal of Research and Development 33, no. 5 (January 1, 1989): 511–23. https://doi.org/10.1147/rd.335.0511.Full Text
-
Bavuso, S. J., J. B. Dugan, K. Trivedi, B. Rothmann, and M. Boyd. “Applications of the hybrid automated reliability predictor,” no. 2760 (December 1, 1988).
-
Blake, J. T., and K. S. Trivedi. “Reliabilities of two fault-tolerant interconnection networks.” Digest of Papers Ftcs (Fault Tolerant Computing Symposium), December 1, 1988, 300–305.
-
Blake, J. T., and K. S. Trivedi. “RELIABILITY OF THE SHUFFLE-EXCHANGE NETWORK AND ITS VARIANTS.” Proceedings of the Hawaii International Conference on System Science, January 1, 1988, 174–82. https://doi.org/10.1109/hicss.1988.11763.Full Text
-
Geist, R., M. Smotherman, K. Trivedi, and J. Dugan. “The use of Weibull fault processes in modeling fault tolerant systems.” Journal of Guidance, Control, and Dynamics 11, no. 1 (January 1, 1988): 91–93. https://doi.org/10.2514/3.20275.Full Text
-
Hsueh, M. C., and R. K. Iyer. “Performability Modeling Based on Real Data: A Case Study.” Ieee Transactions on Computers 37, no. 4 (January 1, 1988): 478–84. https://doi.org/10.1109/12.2195.Full Text
-
Reibman, A., and K. Trivedi. “Numerical transient analysis of markov models.” Computers and Operations Research 15, no. 1 (January 1, 1988): 19–36. https://doi.org/10.1016/0305-0548(88)90026-3.Full Text
-
Smith, R. M., K. S. Trivedi, and A. V. Ramesh. “Performability Analysis: Measures, an Algorithm, and a Case Study.” Ieee Transactions on Computers 37, no. 4 (January 1, 1988): 406–17. https://doi.org/10.1109/12.2184.Full Text
-
Blake, J. T., A. L. Reibman, and K. S. Trivedi. “Sensitivity analysis of reliability and performability measures for multiprocessor systems.” Perform. Eval. Rev. (Usa) 16, no. 1 (1988): 177–86.
-
Bavuso, S. J., J. B. Dugan, K. Trivedi, B. Rothmann, and M. Boyd. “APPLICATIONS OF THE HYBRID AUTOMATED RELIABILITY PREDICTOR.,” December 1, 1987.
-
Goyal, A., S. S. Lavenberg, and K. S. Trivedi. “Probabilistic modeling of computer system availability.” Annals of Operations Research 8, no. 1 (December 1, 1987): 285–306. https://doi.org/10.1007/BF02187098.Full Text
-
Kulkarni, V. G., V. F. Nicola, and K. S. Trivedi. “The completion time of a job on multimode systems.” Advances in Applied Probability 19, no. 4 (December 1987): 932–54. https://doi.org/10.2307/1427109.Full Text
-
Trivedi, K. S., and J. B. Dugan. “Computer-aided reliability analysis of fault-tolerant systems.” Sadhana 11, no. 1–2 (October 1, 1987): 209–20. https://doi.org/10.1007/BF02811319.Full Text
-
Marie, R., and K. S. Trivedi. “A note on the effect of preemptive policies on the stability of a priority queue.” Information Processing Letters 24, no. 6 (April 6, 1987): 397–401. https://doi.org/10.1016/0020-0190(87)90117-7.Full Text
-
Bavuso, S. J., J. B. Dugan, K. S. Trivedi, E. M. Rothmann, and W. E. Smith. “Analysis of Typical Fault-Tolerant Architectures using Harp.” Ieee Transactions on Reliability R-36, no. 2 (January 1, 1987): 176–85. https://doi.org/10.1109/TR.1987.5222335.Full Text
-
Goyal, A., T. J. Watson, V. F. Nicola, A. N. Tantawi, and K. S. Trivedi. “Reliability of Systems with Limited Repairs.” Ieee Transactions on Reliability R-36, no. 2 (January 1, 1987): 202–7. https://doi.org/10.1109/TR.1987.5222341.Full Text
-
Maire, R. A., A. L. Reibman, and K. S. Trivedi. “Transient analysis of acyclic markov chains.” Performance Evaluation 7, no. 3 (January 1, 1987): 175–94. https://doi.org/10.1016/0166-5316(87)90039-3.Full Text
-
Nicola, V. F., K. S. Trivedi, and V. G. Kulkarni. “Queueing Analysis of Faulttolerant Computer Systems.” Ieee Transactions on Software Engineering SE-13, no. 3 (January 1, 1987): 363–75. https://doi.org/10.1109/TSE.1987.233168.Full Text
-
Sahner, R. A., and K. S. Trivedi. “Reliability Modeling using Sharpe.” Ieee Transactions on Reliability R-36, no. 2 (January 1, 1987): 186–93. https://doi.org/10.1109/TR.1987.5222336.Full Text
-
Sahner, R. A., and K. S. Trivedi. “Performance and Reliability Analysis Using Directed Acyclic Graphs.” Ieee Transactions on Software Engineering SE-13, no. 10 (January 1, 1987): 1105–14. https://doi.org/10.1109/TSE.1987.232852.Full Text
-
Smith, R. M., and K. S. Trivedi. “PERFORMABILITY ANALYSIS OF TWO MULTI-PROCESSOR SYSTEMS.” Digest of Papers Ftcs (Fault Tolerant Computing Symposium), January 1, 1987, 224–29.
-
Sahner, R. A., and K. S. Trivedi. “HIERARCHICAL, COMBINATORIAL-MARKOV METHOD OF SOLVING COMPLEX RELIABILITY MODELS.,” December 1, 1986, 817–25.
-
Geist, R., M. Smotherman, K. Trivedi, and J. B. Dugan. “The reliability of life-critical computer systems.” Acta Informatica 23, no. 6 (November 1, 1986): 621–42. https://doi.org/10.1007/BF00264310.Full Text
-
Bobbio, A., and K. S. Trivedi. “AGGREGATION TECHNIQUE FOR THE TRANSIENT ANALYSIS OF STIFF MARKOV CHAINS.” Ieee Transactions on Computers C–35, no. 9 (January 1, 1986): 803–14. https://doi.org/10.1109/TC.1986.1676840.Full Text
-
Dugan, J. B., K. S. Trivedi, M. K. Smotherman, and R. M. Geist. “The hybrid automated reliability predictor.” Journal of Guidance, Control, and Dynamics 9, no. 3 (January 1, 1986): 319–31. https://doi.org/10.2514/3.20109.Full Text
-
Goyal, A., W. C. Carter, E. de Souza e Silva, S. S. Lavenberg, and K. S. Trivedi. “SYSTEM AVAILABILITY ESTIMATOR.” Digest of Papers Ftcs (Fault Tolerant Computing Symposium), January 1, 1986, 84–89.
-
Kulkarni, V. G., V. F. Nicola, R. M. Smith, and K. S. Trivedi. “NUMERICAL EVALUATION OF PERFORMABILITY AND JOB COMPLETION TIME IN REPAIRABLE FAULT-TOLERANT SYSTEMS.” Digest of Papers Ftcs (Fault Tolerant Computing Symposium), January 1, 1986, 252–57.
-
Kulkarni, V. G., V. F. Nicola, and K. S. Trivedi. “On modelling the performance and reliability of multimode computer systems.” The Journal of Systems and Software 6, no. 1–2 (January 1, 1986): 175–82. https://doi.org/10.1016/0164-1212(86)90038-5.Full Text
-
Mulazzani, M., and K. Trivedi. “DEPENDABILITY PREDICTION: COMPARISON OF TOOLS AND TECHNIQUES.” Ifac Proceedings Series, January 1, 1986, 171–78. https://doi.org/10.1016/b978-0-08-034801-8.50032-5.Full Text
-
Nicola, V. F., V. G. Kulkarni, and K. S. Trivedi. “QUEUEING ANALYSIS OF FAULT-TOLERANT COMPUTER SYSTEMS.” Performance Evaluation Review 14, no. 1 (January 1, 1986): 203. https://doi.org/10.1145/317531.317553.Full Text
-
Smotherman, M., R. M. Geist, and K. S. Trivedi. “PROBABLY CONSERVATIVE APPROXIMATIONS TO COMPLEX RELIABILITY MODELS.” Ieee Transactions on Computers C–35, no. 4 (January 1, 1986): 333–38. https://doi.org/10.1109/TC.1986.1676766.Full Text
-
Dugan, J. B., A. Bobbio, G. Ciardo, and K. Trivedi. “DESIGN OF A UNIFIED PACKAGE FOR THE SOLUTION OF STOCHASTIC PETRI NET MODELS.,” December 1, 1985, 6–13.
-
Dugan, J. B., K. S. Trivedi, R. M. Geist, and V. F. Nicola. “EXTENDED STOCHASTIC PETRI NETS: APPLICATIONS AND ANALYSIS.,” December 1, 1985, 507–19.
-
Baccelli, F., and K. S. Trivedi. “A single server queue in a hard-real-time environment.” Operations Research Letters 4, no. 4 (January 1, 1985): 161–68. https://doi.org/10.1016/0167-6377(85)90023-9.Full Text
-
McGough, J., M. Smotherman, and K. S. Trivedi. “The Conservativeness of Reliability Estimates Based on Instantaneous Coverage.” Ieee Transactions on Computers C–34, no. 7 (January 1, 1985): 602–9. https://doi.org/10.1109/TC.1985.1676599.Full Text
-
Geist, R., and K. Trivedi. “HYBRID MODELING TECHNIQUES AND THEIR APPLICATION TO FAULT-TOLERANT COMPUTER SYSTEMS.” Modeling and Simulation, Proceedings of the Annual Pittsburgh Conference, December 1, 1984, 783–87.
-
Trivedi, K. S. “RELIABILITY EVALUATION FOR FAULT-TOLERANT SYSTEMS.,” December 1, 1984, 403–14.
-
Trivedi, K. S. “COMPUTER SYSTEMS ANALYSIS.” Modeling and Simulation, Proceedings of the Annual Pittsburgh Conference, December 1, 1984, 1709–14.
-
Kulkarni, V. G., V. F. Nicola, and K. S. Trivedi. “ON MODELLING THE PERFORMANCE AND RELIABILITY OF MULTIMODE COMPUTER SYSTEMS.” Journal of Systems and Software 6, no. 1–2 (May 1, 1984): 175–82.
-
Ray, G. G., D. V. K. Sudhakar, and K. Trivedi. “Ergonomics in india: A case study on workspace design for an alphacomp phototypesetting machine.” Behaviour and Information Technology 3, no. 4 (January 1, 1984): 431–38. https://doi.org/10.1080/01449298408901780.Full Text
-
TRIVEDI, K. S., and G. HARING. “LOAD DISTRIBUTION IN A STAR CONFIGURED SYSTEM WITH ERROR-PRONE CHANNELS.” Matematica Aplicada E Computacional 3, no. 1 (January 1, 1984): 23–40.Link to Item
-
Trivedi, K., J. B. Dugan, R. Geist, and M. Smotherman. “Hybrid reliability modeling of fault-tolerant computer systems.” Computers and Electrical Engineering 11, no. 2–3 (January 1, 1984): 87–108. https://doi.org/10.1016/0045-7906(84)90004-1.Full Text
-
Trivedi, K., J. B. Dugan, R. Geist, and M. Smotherman. “MODELING IMPERFECT COVERAGE IN FAULT-TOLERANT SYSTEMS.” Digest of Papers Ftcs (Fault Tolerant Computing Symposium), January 1, 1984, 77–82.
-
Geist, R., K. Trivedi, J. B. Dugan, and M. Smotherman. “DESIGN OF THE HYBRID AUTOMATED RELIABILITY PREDICTOR.,” December 1, 1983.
-
Trivedi, K. S. “COMPUTER SYSTEMS ANALYSIS.,” December 1, 1983, 54–55.
-
Trivedi, K. S. “ANALYSIS OF COMPUTER PERFORMANCE AND RELIABILITY.,” December 1, 1983, 464–67.
-
Bannister, J. A., and K. S. Trivedi. “Task allocation in fault-tolerant distributed systems.” Acta Informatica 20, no. 3 (September 1, 1983): 261–81. https://doi.org/10.1007/BF01257086.Full Text
-
Geist, R. M., and K. S. Trivedi. “Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems.” Ieee Transactions on Computers C–32, no. 12 (January 1, 1983): 1118–27. https://doi.org/10.1109/TC.1983.1676172.Full Text
-
Heidelberger, P., and K. S. Trivedi. “Analytic Queueing Models for Programs with Internal Concurrency.” Ieee Transactions on Computers C–32, no. 1 (January 1, 1983): 73–82. https://doi.org/10.1109/TC.1983.1676125.Full Text
-
Trivedi, K. S., and R. M. Geist. “Decomposition in Reliability Analysis of Fault-Tolerant Systems.” Ieee Transactions on Reliability R-32, no. 5 (January 1, 1983): 463–68. https://doi.org/10.1109/TR.1983.5221731.Full Text
-
Bannister, J. A., and K. S. Trivedi. “TASK AND FILE ALLOCATION IN FAULT-TOLERANT DISTRIBUTED SYSTEMS.” Proceedings Symposium on Reliability in Distributed Software and Database Systems, December 1, 1982, 103–11.
-
Geist, R. M., and K. S. Trivedi. “Optimal Design of Multilevel Storage Hierarchies.” Ieee Transactions on Computers C–31, no. 3 (January 1, 1982): 249–60. https://doi.org/10.1109/TC.1982.1675981.Full Text
-
Heidelberger, P., and K. S. Trivedi. “Queueing network models for parallel processing with asynchronous tasks.” Ieee Transactions on Computers C–31, no. 11 (January 1, 1982): 1099–1109. https://doi.org/10.1109/TC.1982.1675926.Full Text
-
Mayrhauser, A. K. von, and K. S. Trivedi. “COMPUTER CONFIGURATION DESIGN TO MINIMIZE RESPONSE TIME.” Computer Performance 3, no. 1 (January 1, 1982): 32–39.
-
Trivedi, K. S., and R. M. Geist. “TUTORIAL ON THE CARE III APPROACH TO RELIABILITY MODELING.” Nasa Contractor Reports, December 1, 1981.
-
Trivedi, K. S., and T. M. Sigmon. “Optimal Design of Linear Storage Hierarchies.” Journal of the Acm (Jacm) 28, no. 2 (April 1, 1981): 270–88. https://doi.org/10.1145/322248.322253.Full Text
-
Trivedi, K. S., and R. M. Geist. “TUTORIAL ON THE CARE III APPROACH TO RELIABILITY MODELING.” Nasa Contractor Reports, January 1, 1981.
-
Trivedi, K. S., R. A. Wagner, and T. M. Sigmon. “Optimal Selection of CPU Speed, Device Capacities, and File Assignments.” Journal of the Acm (Jacm) 27, no. 3 (July 1, 1980): 457–73. https://doi.org/10.1145/322203.322208.Full Text
-
Trivedi, K. S., J. W. Gault, and J. B. Clary. “RELIABILITY VALIDATION OF SYSTEMS FOR LIFE-CRITICAL APPLICATIONS.” Eascon Record: Ieee Electronics and Aerospace Systems Convention, January 1, 1980, 406–9.
-
Trivedi, K. S., and R. A. Wagner. “OPTIMAL SELECTION OF CPU SPEED, DEVICE CAPACITIES, AND ALLOCATION OF FILES WITH VARIABLE RECORD SIZE.” National Bureau of Standards, Special Publication, January 1, 1980, 129–35.
-
Trivedi, K. S., and R. E. Kinicki. “A Model for Computer Configuration Design.” Computer 13, no. 4 (January 1, 1980): 47–54. https://doi.org/10.1109/MC.1980.1653576.Full Text
-
Wagner, R. A., and K. S. Trivedi. “HARDWARE CONFIGURATION SELECTION THROUGH DISCRETIZING A CONTINUOUS VARIABLE SOLUTION.” Performance Evaluation Review 9, no. 2 (January 1, 1980): 127–42. https://doi.org/10.1145/1009375.806156.Full Text
-
Trivedi, K. S. “An analysis of prepaging.” Computing 22, no. 3 (September 1, 1979): 191–210. https://doi.org/10.1007/BF02243562.Full Text
-
Trivedi, K. S., and R. A. Wagner. “A Decision Model for Closed Queuing Networks.” Ieee Transactions on Software Engineering SE-5, no. 4 (January 1, 1979): 328–32. https://doi.org/10.1109/TSE.1979.234199.Full Text
-
TRIVEDI, K. S. “CORRECTION.” Ieee Transactions on Computers 27, no. 3 (1978): 288–288.Link to Item
-
Trivedi, K. S. “Corrections to “On the Use of Continued Fractions for Digital Computer Arithmetic”.” Ieee Transactions on Computers C–27, no. 3 (January 1, 1978): 288. https://doi.org/10.1109/TC.1978.1675093.Full Text
-
Trivedi, K. S. “Analytic Modeling Computer Systems.” Computer 11, no. 10 (January 1, 1978): 38–56. https://doi.org/10.1109/C-M.1978.217943.Full Text
-
Trivedi, K. S., and J. G. Rusnak. “HIGHER RADIX ON-LINE DIVISION.,” January 1, 1978, 164–74.
-
Trivedi, K. S., and R. E. Kinicki. “MATHEMATICAL MODEL FOR COMPUTER SYSTEM CONFIGURATION PLANNING.” Transactions of the American Association of Cost Engineers, January 1, 1978, 323–32.
-
Trivedi, K. S., and R. L. Leech. “DESIGN AND ANALYSIS OF A FUNCTIONALLY DISTRIBUTED COMPUTER SYSTEM.,” January 1, 1978, 125–31.
-
TRIVEDI, K. S. “USE OF CONTINUED FRACTIONS FOR DIGITAL-COMPUTER ARITHMETIC.” Ieee Transactions on Computers 26, no. 7 (1977): 700–704.Link to Item
-
TRIVEDI, K. S. “PAGING PERFORMANCE OF ARRAY ALGORITHMS.” Ieee Transactions on Computers 26, no. 10 (January 1, 1977): 938–47.Link to Item
-
Trivedi, K. S. “Prepaging and applications to the STAR-100 computer.” High Speed Computer and Algorithm Organization, 1977, 435–46.
-
Trivedi, K. S. “On the Paging Performance of Array Algorithms.” Ieee Transactions on Computers C–26, no. 10 (January 1, 1977): 938–47. https://doi.org/10.1109/TC.1977.1674729.Full Text
-
Trivedi, K. S. “On the Use of Continued Fractions for Digital Computer Arithmetic.” Ieee Transactions on Computers C–26, no. 7 (January 1, 1977): 700–704. https://doi.org/10.1109/TC.1977.1674903.Full Text
-
Trivedi, K. S. “ON THE PAGING PERFORMANCE OF ARRAY ALGORITHMS.” Ieee Transactions on Computers C–26, no. 10 (1977): 938–47.
-
Trivedi, K. S., and M. D. Ercegovac. “On-Line Algorithms for Division and Multiplication.” Ieee Transactions on Computers C–26, no. 7 (January 1, 1977): 681–87. https://doi.org/10.1109/TC.1977.1674901.Full Text
-
Trivedi, K. S. “Prepaging and Applications to Array Algorithms.” Ieee Transactions on Computers C–25, no. 9 (January 1, 1976): 915–21. https://doi.org/10.1109/TC.1976.1674716.Full Text
-
Trivedi, K. S. “On a semaphore anamoly.” Information Processing Letters 5, no. 3 (January 1, 1976): 88–89. https://doi.org/10.1016/0020-0190(76)90072-7.Full Text
-
Trivedi, K. S. “On the use of continued fractions for digital computer arithmetic.” Proceedings Symposium on Computer Arithmetic 1975-November (January 1, 1975): 137–46. https://doi.org/10.1109/ARITH.1975.6157006.Full Text
-
Trivedi, K. S., and M. D. Ercegovac. “On-line algorithms for division and multiplication.” Proceedings Symposium on Computer Arithmetic 1975-November (January 1, 1975): 161–67. https://doi.org/10.1109/ARITH.1975.6157007.Full Text
-
Robertson, J. E., and K. S. Trivedi. “The Status of Investigations into Computer Hardware Design Based on the Use of Continued Fractions.” Ieee Transactions on Computers C–22, no. 6 (January 1, 1973): 555–60. https://doi.org/10.1109/TC.1973.5009106.Full Text
-
-
Book Sections
-
Avritzer, A., D. Cotroneo, Y. Huang, and K. Trivedi. “Software aging and rejuvenation: A genesis.” In Handbook Of Software Aging And Rejuvenation: Fundamentals, Methods, Applications, And Future Directions, 3–19, 2020. https://doi.org/10.1142/9789811214578_0001.Full Text
-
Avritzer, A., R. Pietrantuono, and K. Trivedi. “Future directions for software aging and rejuvenation research.” In Handbook Of Software Aging And Rejuvenation: Fundamentals, Methods, Applications, And Future Directions, 355–62, 2020. https://doi.org/10.1142/9789811214578_0013.Full Text
-
Puliafito, A., and K. S. Trivedi. “Systems Modelling: Methodologies and Tools.” In EAI/Springer Innovations in Communication and Computing, 1–7, 2019. https://doi.org/10.1007/978-3-319-92378-9_1.Full Text
-
Trivedi, K. S., K. Vaidyanathan, and D. Selvamuthu. “Markov chain models and applications.” In Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications, 393–421, 2015. https://doi.org/10.1016/B978-0-12-800887-4.00013-4.Full Text
-
Trivedi, K. S., and M. D. Ercegovac. “On-line algorithms for division and multiplication.” In Computer Arithmetic: Volume II, 67–73, 2015. https://doi.org/10.1142/9789814641470.Full Text
-
Ghosh, R., F. Longo, and K. S. Trivedi. “Performance analysis for large IaaS clouds.” In Large Scale and Big Data: Processing and Management, 557–78, 2014. https://doi.org/10.1201/b17112.Full Text
-
Trivedi, K. S., F. Postiglione, and X. Yin. “Performance and Availability Evaluation of IMS-based Core Networks.” In Applied Reliability Engineering and Risk Analysis: Probabilistic Models and Statistical Inference, 148–66, 2013. https://doi.org/10.1002/9781118701881.ch11.Full Text
-
Mishra, K., and K. S. Trivedi. “Closed-form approach for epistemic uncertainty propagation in analytic models.” In Springer Series in Reliability Engineering, 9:315–32, 2013. https://doi.org/10.1007/978-1-4471-4971-2_14.Full Text
-
Trivedi, K. S., D. S. Kim, and X. Yin. “Multi-state availability modeling in practice.” In Springer Series in Reliability Engineering, 51:165–80, 2012. https://doi.org/10.1007/978-1-4471-2207-4_12.Full Text
-
Matias, R., and K. S. Trivedi. “Accelerated life tests and software aging.” In Adaptive Control Approach For Software Quality Improvement, 268–99, 2011. https://doi.org/10.1142/9789814340922_0009.Full Text
-
Grottke, M., V. Apte, K. S. Trivedi, and S. Woolet. “Response time distributions in networks of queues.” In International Series in Operations Research and Management Science, 154:587–641, 2011. https://doi.org/10.1007/978-1-4419-6472-4_14.Full Text
-
Trivedi, Kishor S., and Kalyanaraman Vaidyanathan. “Software Aging and Rejuvenation.” John Wiley & Sons, Inc., n.d. https://doi.org/10.1002/9780470050118.ecse394.Full Text
-
-
Conference Papers
-
Cai, K. Y., K. S. Trivedi, and B. Yin. “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, 17–18, 2021. https://doi.org/10.1109/DSN-S52858.2021.00019.Full Text
-
Dos Santos, C. A. R., R. Matias, and K. S. Trivedi. “A Multisite Characterization Study on Failure Causes in System and Applications Software.” In Brazilian Symposium on Computing System Engineering, Sbesc, Vol. 2021-November, 2021. https://doi.org/10.1109/SBESC53686.2021.9628276.Full Text
-
Liu, B., A. Bobbio, J. Bai, J. Martinez, X. Chang, and K. S. Trivedi. “Transient Security and Dependability Analysis of MEC Micro Datacenter under Attack.” In Proceedings Annual Reliability and Maintainability Symposium, Vol. 2021-May, 2021. https://doi.org/10.1109/RAMS48097.2021.9605723.Full Text
-
Dos Santos, C. A. R., R. Matias, and K. S. Trivedi. “A Statistical Approach to Predict Operating System Failures Based on Multiple Failures Association.” In Brazilian Symposium on Computing System Engineering, Sbesc, Vol. 2020-November, 2020. https://doi.org/10.1109/SBESC51047.2020.9277859.Full Text
-
Avritzer, A., D. Cotroneo, Y. Huang, and K. Trivedi. “Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract.” In Proceedings 2020 Ieee 31st International Symposium on Software Reliability Engineering Workshops, Issrew 2020, 319–20, 2020. https://doi.org/10.1109/ISSREW51248.2020.00091.Full Text
-
Dos Santos, C. A. R., R. Matias, and K. S. Trivedi. “An Empirical Exploratory Analysis of Failure Sequences in a Commodity Operating System.” In Brazilian Symposium on Computing System Engineering, Sbesc, Vol. 2019-November, 2019. https://doi.org/10.1109/SBESC49506.2019.9046072.Full Text
-
Menasche, D., K. Trivedi, and E. Altman. “Rejuvenation and the age of information.” In Proceedings 2019 Ieee 30th International Symposium on Software Reliability Engineering Workshops, Issrew 2019, 225–31, 2019. https://doi.org/10.1109/ISSREW.2019.00076.Full Text
-
Wan, X., Z. Zheng, F. Qin, Y. Qiao, and K. S. Trivedi. “Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction.” In Proceedings International Symposium on Software Reliability Engineering, Issre, 2019-October:163–72, 2019. https://doi.org/10.1109/ISSRE.2019.00025.Full Text
-
Avritzer, A., and K. Trivedi. “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, 57, 2019. https://doi.org/10.1145/3302541.3314053.Full Text
-
Trivedi, Kishor. “Software Aging and Software Rejuvenation.” In Proceedings of the 2019 Acm/Spec International Conference on Performance Engineering. ACM, 2019. https://doi.org/10.1145/3297663.3310290.Full Text
-
Trivedi, Kishor. “Performance Engineering Education.” In Companion of the 2019 Acm/Spec International Conference on Performance Engineering. ACM, 2019. https://doi.org/10.1145/3302541.3314054.Full Text
-
Okamura, H., T. Dohi, and K. Trivedi. “Keynote Paper: Parametric Uncertainty Propagation through Dependability Models.” In Proceedings 8th Latin American Symposium on Dependable Computing, Ladc 2018, 10–18, 2019. https://doi.org/10.1109/LADC.2018.00011.Full Text
-
Trivedi, Kishor S. “Reliability and Availability Assessment in Practice.” In 2019 Ieee/Acm 23rd International Symposium on Distributed Simulation and Real Time Applications (Ds Rt), edited by F. Derango, C. T. Calafate, M. Voznak, A. Garro, and M. Troppea, 327–327. IEEE, 2019.Link to Item
-
Sukhwani, H., N. Wang, K. S. Trivedi, and A. Rindos. “Performance modeling of hyperledger fabric (permissioned blockchain network).” In Nca 2018 2018 Ieee 17th International Symposium on Network Computing and Applications, 2018. https://doi.org/10.1109/NCA.2018.8548070.Full Text
-
Chang, X., S. Lv, R. J. Rodriguez, and K. Trivedi. “Survivability model for security and dependability analysis of a vulnerable critical system.” In Proceedings International Conference on Computer Communications and Networks, Icccn, Vol. 2018-July, 2018. https://doi.org/10.1109/ICCCN.2018.8487446.Full Text
-
Pinciroli, R., A. Bobbio, C. Bolchini, D. Cerotti, M. Gribaudo, A. Miele, and K. Trivedi. “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, 2018-January:516–20, 2018. https://doi.org/10.1109/ICSRS.2017.8272875.Full Text
-
Qiu, K., Z. Zheng, K. S. Trivedi, and B. Yin. “Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure.” In Proceedings International Symposium on Software Reliability Engineering, Issre, 2017-October:56–66, 2017. https://doi.org/10.1109/ISSRE.2017.26.Full Text
-
Sukhwani, H., R. Matias, K. S. Trivedi, and A. Rindos. “Monitoring and mitigating software aging on IBM cloud controller system.” In Proceedings 2017 Ieee 28th International Symposium on Software Reliability Engineering Workshops, Issrew 2017, 266–72, 2017. https://doi.org/10.1109/ISSREW.2017.65.Full Text
-
Xiao, G., Z. Zheng, B. Yin, K. S. Trivedi, X. Du, and K. Cai. “Experience Report: Fault Triggers in Linux Operating System: From Evolution Perspective.” In Proceedings International Symposium on Software Reliability Engineering, Issre, 2017-October:101–11, 2017. https://doi.org/10.1109/ISSRE.2017.21.Full Text
-
Sukhwani, H., J. M. Martínez, X. Chang, K. S. Trivedi, and A. Rindos. “Performance modeling of PBFT consensus process for permissioned blockchain network (hyperledger fabric).” In Proceedings of the Ieee Symposium on Reliable Distributed Systems, 2017-September:253–55, 2017. https://doi.org/10.1109/SRDS.2017.36.Full Text
-
Vizarreta, P., K. Trivedi, B. Helvik, P. Heegaard, W. Kellerer, and C. M. MacHuca. “An empirical study of software reliability in SDN controllers.” In 2017 13th International Conference on Network and Service Management, Cnsm 2017, 2018-January:1–9, 2017. https://doi.org/10.23919/CNSM.2017.8256002.Full Text
-
Qin, F., Z. Zheng, X. Li, Y. Qiao, and K. S. Trivedi. “An empirical investigation of fault triggers in android operating system.” In Proceedings of Ieee Pacific Rim International Symposium on Dependable Computing, Prdc, 135–44, 2017. https://doi.org/10.1109/PRDC.2017.27.Full Text
-
Fricks, R. B., and K. S. Trivedi. “Automated life cycle processing for complex medical imaging devices.” In Proceedings Annual Reliability and Maintainability Symposium, 2017. https://doi.org/10.1109/RAM.2017.7889693.Full Text
-
Fricks, R. W. B., H. H. Tseng, M. Pajic, and K. S. Trivedi. “Transient performance & availability modeling in high volume outpatient clinics.” In Proceedings Annual Reliability and Maintainability Symposium, 2017. https://doi.org/10.1109/RAM.2017.7889777.Full Text
-
Li, X., X. Chang, J. A. Board, and K. S. Trivedi. “A novel approach for software vulnerability classification.” In Proceedings Annual Reliability and Maintainability Symposium, 2017. https://doi.org/10.1109/RAM.2017.7889792.Full Text
-
Kim, D. S., J. B. Hong, T. A. Nguyen, F. Machida, J. S. Park, and K. S. Trivedi. “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, 210–18, 2017. https://doi.org/10.1109/CIT.2016.97.Full Text
-
Ma, X., G. Kanelopoulos, and K. S. Trivedi. “Application-level scheme to enhance VANET event-driven multi-hop safety-related services.” In 2017 International Conference on Computing, Networking and Communications, Icnc 2017, 860–64, 2017. https://doi.org/10.1109/ICCNC.2017.7876244.Full Text
-
Longo, F., R. Ghosh, V. K. Naik, A. J. Rindos, and K. S. Trivedi. “An approach for resiliency quantification of large scale systems.” In Performance Evaluation Review, 44:37–48, 2017. https://doi.org/10.1145/3092819.3092825.Full Text
-
Ghosh, R., F. Longo, V. K. Naik, A. J. Rindos, and K. S. Trivedi. “Resiliency quantification for large scale systems: An IaaS cloud use case.” In Valuetools 2016 10th Eai International Conference on Performance Evaluation Methodologies and Tools, 227–34, 2017. https://doi.org/10.4108/eai.25-10-2016.2266805.Full Text
-
Martinez, J. M., K. S. Trivedi, and B. N. Cheng. “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, 109–15, 2017. https://doi.org/10.4108/eai.25-10-2016.2266825.Full Text
-
Pinciroli, R., K. S. Trivedi, and A. Bobbio. “Parametric sensitivity and uncertainty propagation in dependability models.” In Valuetools 2016 10th Eai International Conference on Performance Evaluation Methodologies and Tools, 44–51, 2017. https://doi.org/10.4108/eai.25-10-2016.2266529.Full Text
-
Chang, X., Z. Zhang, X. Li, and K. S. Trivedi. “Model-Based Survivability Analysis of a Virtualized System.” In Proceedings Conference on Local Computer Networks, Lcn, 611–14, 2016. https://doi.org/10.1109/LCN.2016.104.Full Text
-
Matias, R., G. O. De Sena, A. Andrzejak, and K. S. Trivedi. “Software Aging Detection Based on Differential Analysis: An Experimental Study.” In Proceedings 2016 Ieee 27th International Symposium on Software Reliability Engineering Workshops, Issrew 2016, 71–77, 2016. https://doi.org/10.1109/ISSREW.2016.44.Full Text
-
Ratliff, Z. B., D. R. Kuhn, R. N. Kacker, Y. Lei, and K. S. Trivedi. “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, 119–24, 2016. https://doi.org/10.1109/ISSREW.2016.26.Full Text
-
Trivedi, K. S., and A. Bobbio. “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, 263, 2016. https://doi.org/10.1109/DSN-W.2016.51.Full Text
-
Fricks, R. B., A. Bobbio, and K. S. Trivedi. “Reliability models of chronic kidney disease.” In Proceedings Annual Reliability and Maintainability Symposium, Vol. 2016-April, 2016. https://doi.org/10.1109/RAMS.2016.7448058.Full Text
-
Fricks, R. B., and K. S. Trivedi. “Analysis methods for performance & availability in critical care medicine.” In Proceedings Annual Reliability and Maintainability Symposium, Vol. 2016-April, 2016. https://doi.org/10.1109/RAMS.2016.7448059.Full Text
-
Xia, R., F. Machida, and K. Trivedi. “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, 169–78, 2016. https://doi.org/10.1109/PRDC.2015.15.Full Text
-
Ma, X., G. Butron, and K. Trivedi. “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), 9669:149–62, 2016. https://doi.org/10.1007/978-3-319-38921-9_16.Full Text
-
Rodríguez, R. J., X. Chang, X. Li, and K. S. Trivedi. “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), 9987 LNCS:134–49, 2016. https://doi.org/10.1007/978-3-319-46263-9_9.Full Text
-
Sukhwani, Harish, Javier Alonso, Kishor S. Trivedi, and Issac Mcginnis. “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, 3:386–97, 2016. https://doi.org/10.1109/qrs.2016.50.Full Text
-
Trivedi, K. S. “Survivability quantification for networks.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9951 LNCS:XI–XII, 2016.
-
Avritzer, A., D. S. Menasche, K. Trivedi, L. Happe, and S. S. Sarvestani. “Workshop on Model Based Design for Cyber-Physical Systems (MB4CP).” In Proceedings of the International Conference on Dependable Systems and Networks, 2015-September:565–66, 2015. https://doi.org/10.1109/DSN.2015.67.Full Text
-
Pietrantuono, R., S. Russo, and K. Trivedi. “Emulating environment-dependent software faults.” In Proceedings 1st International Workshop on Complex Faults and Failures in Large Software Systems, Coufless 2015, 34–40, 2015. https://doi.org/10.1109/COUFLESS.2015.13.Full Text
-
Heegaard, P. E., B. E. Helvik, K. S. Trivedi, and F. Machida. “Survivability as a generalization of recovery.” In 2015 11th International Conference on the Design of Reliable Communication Networks, Drcn 2015, 133–40, 2015. https://doi.org/10.1109/DRCN.2015.7149004.Full Text
-
Trivedi, K. S., C. J. Chung, T. Xing, D. Huang, and D. Medhi. “SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment,” 2015.
-
Bruneo, D., F. Longo, M. Scarpa, A. Puliafito, R. Ghosh, and K. S. Trivedi. “An SRN-based resiliency quantification approach.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9115:98–116, 2015. https://doi.org/10.1007/978-3-319-19488-2_5.Full Text
-
Trivedi, K. S., D. Bruneo, F. Longo, R. Ghosh, M. Scarpa, and A. Puliafito. “Analytical Modeling of Reactive Autonomic Management Techniques in IaaS Clouds,” 797–804, 2015.
-
Zhao, J., Y. B. Wang, G. R. Ning, C. H. Wang, K. S. Trivedi, K. Y. Cai, and Z. Y. Zhang. “Software maintenance optimization based on stackelberg game methods.” In Proceedings Ieee 25th International Symposium on Software Reliability Engineering Workshops, Issrew 2014, 426–30, 2014. https://doi.org/10.1109/ISSREW.2014.38.Full Text
-
Cavezza, D. G., R. Pietrantuono, S. Russo, J. Alonso, and K. S. Trivedi. “Reproducibility of environment-dependent software failures: An experience report.” In Proceedings International Symposium on Software Reliability Engineering, Issre, 267–76, 2014. https://doi.org/10.1109/ISSRE.2014.19.Full Text
-
Mondal, S. K., J. K. Muppala, F. Machida, and K. S. Trivedi. “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, 161–68, 2014. https://doi.org/10.1109/PRDC.2014.29.Full Text
-
Koziolek, A., K. Trivedi, and N. Pindoriya. “Message from the chairs.” In 3rd International Workshop on Software Engineering Challenges for the Smart Grid, Se4sg 2014 Proceedings, iii, 2014.
-
Mondal, S. K., J. K. Muppala, and K. S. Trivedi. “Defects per Million (DPM): A user-oriented perspective of telecommunication systems.” In 2014 Ieee Globecom Workshops, Gc Wkshps 2014, 711–16, 2014. https://doi.org/10.1109/GLOCOMW.2014.7063516.Full Text
-
Koziolek, A., K. Trivedi, and N. Pindoriya. “Message from the chairs.” In 3rd International Workshop on Software Engineering Challenges for the Smart Grid, Se4sg 2014 Proceedings, iii, 2014.
-
Xia, Ruofan, Fumio Machida, and Kishor Trivedi. “A Markov Decision Process Approach for Optimal Data Backup Scheduling.” In 2014 44th Annual Ieee/Ifip International Conference on Dependable Systems and Networks (Dsn), 660–65. IEEE, 2014. https://doi.org/10.1109/DSN.2014.1.00.Full Text Link to Item
-
Alonso, J., M. Grottke, A. P. Nikora, and K. S. Trivedi. “The nature of the times to flight software failure during space missions.” In Proceedings International Symposium on Software Reliability Engineering, Issre, 331–40, 2012. https://doi.org/10.1109/ISSRE.2012.32.Full Text
-
Heegaard, Poul E., and Kishor S. Trivedi. “SURVIVABILITY MODELING WITH STOCHASTIC REWARD NETS.” In Proceedings of the 2009 Winter Simulation Conference (Wsc 2009 ), Vol 1 4, 822-+. IEEE, 2009.Link to Item
-
Mitra, Subhasish, Ravishankar K. Iyer, Kishor Trivedi, and James W. Tschanz. “Reliable system design: Models, metrics and design techniques.” In 2008 Ieee/Acm International Conference on Computer Aided Design. IEEE, 2008. https://doi.org/10.1109/iccad.2008.4681534.Full Text
-
Trivedi, K., G. Ciardo, B. Dasarathy, M. Grottke, A. Rindos, and B. Varshaw. “Achieving and assuring high availability.” In 2008 Ieee International Symposium on Parallel & Distributed Processing, Vols 1 8, 252-+. IEEE, 2008.Link to Item
-
Haberkorn, Marc, and Kishor Trivedi. “Availability Monitor for a Software Based System.” In 10th Ieee High Assurance Systems Engineering Symposium (Hase’07). IEEE, 2007. https://doi.org/10.1109/hase.2007.49.Full Text
-
Trivedi, Kishor S. “Survivability Quantification - Keynote.” In Broadnets, 961–961. IEEE, 2007.
-
Tuffin, B., P. K. Choudhary, C. Hirel, and K. S. Trivedi. “Simulation versus analytic-numeric methods: Illustrative examples.” In Valuetools 2007 2nd International Icst Conference on Performance Evaluation Methodologies and Tools, 2007. https://doi.org/10.4108/valuetools.2007.1807.Full Text
-
Tuffin, Bruno, Pawan K. Choudhary, Christophe Hirel, and Kishor S. Trivedi. “Simulation versus analytic-numeric methods: illustrative examples.” In Valuetools, edited by Peter W. Glynn, 63–63. ICST/ACM, 2007.
-
Mishra, Kesari, and Kishor S. Trivedi. “Model Based Approach for Autonomic Availability Management.” In Isas, edited by Dave Penkler, Manfred Reitenspieß, and Francis Tam, 4328:1–16. Springer, 2006.
-
Choudhary, Pawan K., Bharat B. Madan, and Kishor S. Trivedi. “Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls.” In Wsc, 412–18. IEEE Computer Society, 2005.
-
Liu, Yun, and Kishor S. Trivedi. “A General Framework for Network Survivability Quantification.” In Mmb, edited by Peter Buchholz, Ralf Lehnert, and Michal Pióro, 369–78. VDE Verlag, 2004.
-
Szczerbicka, H., K. S. Trivedi, and P. K. Choudhary. “Discrete event simulation with application to computer communication systems performance - Introduction to simulation.” In Information Technology: Selected Tutorials, 157:271–304, 2004. https://doi.org/10.1007/1-4020-8159-6_10.Full Text Link to Item
-
Szczerbicka, Helena, Kishor S. Trivedi, and Pawan K. Choudhary. “Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation.” In Ifip Congress Tutorials, edited by Ricardo Reis, 157:271–304. Kluwer/Springer, 2004.
-
Trivedi, K. S., and K. Vaidyanathan. “Software rejuvenation - modeling and analysis.” In Ifip Advances in Information and Communication Technology, 157:151–82, 2004. https://doi.org/10.1007/1-4020-8159-6_6.Full Text
-
Gokhale, S. S., J. R. Horgan, and K. S. Trivedi. “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), 2677 LNCS:245–66, 2003. https://doi.org/10.1007/3-540-45177-3_11.Full Text
-
Suzuki, H., T. Dohi, N. Kaio, and K. S. Trivedi. “Maximizing interval reliability in operational software system with rejuvenation.” In Proceedings International Symposium on Software Reliability Engineering, Issre, 2003-January:479–90, 2003. https://doi.org/10.1109/ISSRE.2003.1251068.Full Text
-
Wang, F., F. Jou, F. Gong, C. Sargor, K. Goseva-Popstojanova, and K. Trivedi. “SITAR: A scalable intrusion-tolerant architecture for distributed services.” In Foundations of Intrusion Tolerant Systems, Oasis 2003, 359–67, 2003. https://doi.org/10.1109/FITS.2003.1264942.Full Text
-
Gokhale, S. S., and K. S. Trivedi. “Reliability prediction and sensitivity analysis based on software architecture.” In Proceedings International Symposium on Software Reliability Engineering, Issre, 2002-January:64–75, 2002. https://doi.org/10.1109/ISSRE.2002.1173214.Full Text
-
Li, L., K. Vaidyanathan, and K. S. Trivedi. “An approach for estimation of software aging in a Web server.” In Isese 2002 Proceedings, 2002 International Symposium on Empirical Software Engineering, 91–100, 2002. https://doi.org/10.1109/ISESE.2002.1166929.Full Text
-
Liu, Y., K. S. Trivedi, Y. Ma, J. J. Han, and H. Levendel. “Modeling and analysis of software rejuvenation in cable modem termination systems.” In Proceedings International Symposium on Software Reliability Engineering, Issre, 2002-January:159–70, 2002. https://doi.org/10.1109/ISSRE.2002.1173239.Full Text
-
Qian, M., D. Logothetis, and K. S. Trivedi. “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-January:52–57, 2002. https://doi.org/10.1109/ICCCN.2002.1043045.Full Text
-
Ramani, S., K. Goševa-Popstojanova, and K. S. Trivedi. “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-January:25–34, 2002. https://doi.org/10.1109/ICECCS.2002.1181495.Full Text
-
Trivedi, K. S., and K. Vaidyanathan. “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), 2459:318–45, 2002. https://doi.org/10.1007/3-540-45798-4_14.Full Text
-
Cao, Y. H., H. R. Sun, and K. S. Trivedi. “Performability analysis of TDMA cellular systems based on composite and hierarchical Markov chain models.” In Performance and Qos of Next Generation Networking, edited by K. Goto, T. Hasegawa, H. Takagi, and Y. Takahashi, 317–32. SPRINGER-VERLAG LONDON LTD, 2001.Link to Item
-
Chen, D., and K. S. Trivedi. “Analysis of periodic preventive maintenance with general system failure distribution.” In Proceedings of Ieee Pacific Rim International Symposium on Dependable Computing, Prdc, 2001-January:103–7, 2001. https://doi.org/10.1109/PRDC.2001.992686.Full Text
-
Goseva-Popstojanova, K., F. Wang, R. Wang, F. Gong, K. Vaidyanathan, K. Trivedi, and B. Muthusamy. “Characterizing intrusion tolerant systems using a state transition model.” In Proceedings Darpa Information Survivability Conference and Exposition Ii, Discex 2001, 2:211–21, 2001. https://doi.org/10.1109/DISCEX.2001.932173.Full Text
-
Ma, X., Y. Liu, K. S. Trivedi, Y. Ma, and J. J. Han. “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, 115–19, 2001. https://doi.org/10.1109/EURCON.2001.937777.Full Text
-
Ramani, S., B. Dasarathy, and K. S. Trivedi. “Reliable messaging using the CORBA Notification Service.” In Proceedings 3rd International Symposium on Distributed Objects and Applications, Doa 2001, 229–38, 2001. https://doi.org/10.1109/DOA.2001.954088.Full Text
-
Trivedi, K. S., H. R. Sun, Y. H. Cao, and Y. Ma. “Stochastic Petri nets and their applications.” In Performance and Qos of Next Generation Networking, edited by K. Goto, T. Hasegawa, H. Takagi, and Y. Takahashi, 283–98. SPRINGER-VERLAG LONDON LTD, 2001.Link to Item
-
Dohi, T., K. Goševa-Popstojanova, and K. S. Trivedi. “Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule.” In Proceedings of Ieee Pacific Rim International Symposium on Dependable Computing, Prdc, 2000-January:77–84, 2000. https://doi.org/10.1109/PRDC.2000.897287.Full Text
-
Dohi, T., K. Goševa-Popstojanova, and K. S. Trivedi. “Analysis of software cost models with rejuvenation.” In Proceedings of Ieee International Symposium on High Assurance Systems Engineering, 2000-January:25–34, 2000. https://doi.org/10.1109/HASE.2000.895436.Full Text
-
Goševa-Popstojanova, K., and K. Trivedi. “Effects of failure correlation on software in operation.” In Proceedings of Ieee Pacific Rim International Symposium on Dependable Computing, Prdc, 2000-January:69–76, 2000. https://doi.org/10.1109/PRDC.2000.897286.Full Text
-
Goševa-Popstojanova, K., and K. Trivedi. “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), 1769:403–22, 2000. https://doi.org/10.1007/3-540-46506-5_17.Full Text
-
Hirel, C., B. Tuffin, and K. S. Trivedi. “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), 1786:354–57, 2000. https://doi.org/10.1007/3-540-46429-8_30.Full Text
-
Hirel, C., R. Sahner, X. Zang, and K. Trivedi. “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), 1786:345–49, 2000. https://doi.org/10.1007/3-540-46429-8_28.Full Text
-
Okamura, H., A. Fujimoto, T. Dohi, S. Osaki, and K. S. Trivedi. “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, 275–79, 2000.Link to Item
-
Ramani, S., B. Dasarathy, and K. S. Trivedi. “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), 1800 LNCS:1276–80, 2000. https://doi.org/10.1007/3-540-45591-4_174.Full Text
-
Ramani, S., and K. S. Trivedi. “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), 1786:358–61, 2000. https://doi.org/10.1007/3-540-46429-8_31.Full Text
-
Tuffin, B., and K. S. Trivedi. “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), 1786:216–29, 2000. https://doi.org/10.1007/3-540-46429-8_16.Full Text
-
Bondavalli, A., I. Mura, and K. S. Trivedi. “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), 1667 LNCS:7–23, 1999. https://doi.org/10.1007/3-540-48254-7_2.Full Text
-
Luo, T., T. Confrey, and K. S. Trivedi. “A reliable CORBA-based network management system.” In Ieee International Conference on Communications, 2:1374–87, 1999. https://doi.org/10.1109/ICC.1999.765566.Full Text
-
Mura, I., A. Bondavalli, X. Zang, and K. S. Trivedi. “Dependability modeling and evaluation of phased mission systems: A DSPN approach.” In Dependable Computing for Critical Applications 7, 319–37, 1999. https://doi.org/10.1109/DCFTS.1999.814303.Full Text
-
Sun, H., Y. Cao, K. S. Trivedi, and J. J. Han. “Availability and performance evaluation for automatic protection switching in TDMA wireless system.” In Proceedings 1999 Pacific Rim International Symposium on Dependable Computing, Prdc 1999, 15–22, 1999. https://doi.org/10.1109/PRDC.1999.816207.Full Text
-
Trivedi, K. S., Y. Ma, and J. J. Han. “Performability analysis of fault tolerant RF link design in wireless communications networks.” In Esm’99 Modelling and Simulation: A Tool for the Next Millennium, Vol 1, edited by H. Szczerbicka, 33–40. SOC COMPUTER SIMULATION, 1999.Link to Item
-
Wong, W. E., S. S. Gokhale, J. R. Horgan, and K. S. Trivedi. “Locating program features using execution slices.” In Proceedings 1999 Ieee Symposium on Application Specific Systems and Software Engineering and Technology, Asset 1999, 194–203, 1999. https://doi.org/10.1109/ASSET.1999.756769.Full Text
-
Gokhale, S. S., M. R. Lyu, and K. S. Trivedi. “Model validation using simulated data.” In Proceedings 1998 Ieee Workshop on Application Specific Software Engineering and Technology, Asset 1998, 1998-January:22–27, 1998. https://doi.org/10.1109/ASSET.1998.688228.Full Text
-
Gokhale, S. S., and K. S. Trivedi. “Log-logistic software reliability growth model.” In Proceedings 3rd Ieee International High Assurance Systems Engineering Symposium, Hase 1998, 1998-November:34–41, 1998. https://doi.org/10.1109/HASE.1998.731593.Full Text
-
Luo, T., and K. S. Trivedi. “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), 1469:180–92, 1998. https://doi.org/10.1007/3-540-68061-6_15.Full Text
-
Ma, Y., C. W. Ro, and K. S. Trivedi. “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, 1:71–75, 1998. https://doi.org/10.1109/ICUPC.1998.732808.Full Text
-
Ramani, S., S. S. Gokhale, and K. S. Trivedi. “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), 1469:27–36, 1998. https://doi.org/10.1007/3-540-68061-6_3.Full Text
-
Tai, A. T., H. Hecht, K. S. Trivedi, and B. Zhang. “Toward accessibility enhancement of dependability modeling techniques and tools.” In Digest of Papers 27th Annual International Symposium on Fault Tolerant Computing, Ftcs 1997, 37–41, 1997. https://doi.org/10.1109/FTCS.1997.614075.Full Text
-
Gokhale, S. S., P. N. Marines, and K. S. Trivedi. “Important milestones in software reliability modeling.” In Seke ’96: The 8th International Conference on Software Engineering and Knowledge Engineering, Proceedings, 345–52. KNOWLEDGE SYSTEMS INSTITUTE, 1996.Link to Item
-
Trivedi, K. S., R. German, A. Bobbio, A. Puliafito, G. Ciardo, and M. Telek. “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, 263–64, 1995. https://doi.org/10.1145/223587.223616.Full Text
-
Logothetis, D., and K. Trivedi. “Time-dependent behavior of redundant systems with deterministic repair.” In Computations With Markov Chains, edited by W. J. Stewart, 135–50. KLUWER ACADEMIC PUBL, 1995.Link to Item
-
MAINKAR, V., and K. S. TRIVEDI. “TRANSIENT ANALYSIS OF REAL-TIME SYSTEMS USING DETERMINISTIC AND STOCHASTIC PETRI NETS.” In Quality of Communication Based Systems, edited by G. Hommel, 69–84. KLUWER ACADEMIC PUBL, 1995.Link to Item
-
Mainkar, V., K. S. Trivedi, and A. J. Rindos. “Approximate computation of sojourn time distribution in open queueing networks.” In Computations With Markov Chains, edited by W. J. Stewart, 599–600. KLUWER ACADEMIC PUBL, 1995.Link to Item
-
Rindos, A., S. Woolet, I. Viniotis, and K. Trivedi. “Exact methods for the transient analysis of nonhomogeneous continuous time Markov chains.” In Computations With Markov Chains, edited by W. J. Stewart, 121–33. KLUWER ACADEMIC PUBL, 1995.Link to Item
-
Telek, M., A. Bobbio, L. Jereb, A. Puliafito, and K. S. Trivedi. “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), 977:165–79, 1995. https://doi.org/10.1007/bfb0024314.Full Text
-
Trivedi, K. S., A. Puliafito, and D. Logothetis. “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, 194–98, 1995. https://doi.org/10.1109/MASCOT.1995.378688.Full Text
-
Constazltinescu, C., and K. Trivedi. “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, 142–46, 1994. https://doi.org/10.1109/RTA.1994.316162.Full Text
-
Trivedi, K. S., B. R. Haverkort, A. Rindos, and V. Mainkar. “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), 794:1–24, 1994. https://doi.org/10.1007/3-540-58021-2_1.Full Text
-
Wang, W., and K. S. Trivedi. “Coverage Evaluation Through Fault Injection: Fault Sampling and Statistical Analysis.” In 3rd Ieee International Workshop on Integrating Error Models With Fault Injection, Wiem 1994, 31–32, 1994. https://doi.org/10.1109/WIEM.1994.654401.Full Text
-
Choi, H., V. G. Kulkarni, and K. S. Trivedi. “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), 691 LNCS:166–85, 1993. https://doi.org/10.1007/3-540-56863-8_46.Full Text
-
Geist, Robert, and Kishor S. Trivedi. “An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems.” In Ftcs, 442–50. IEEE Computer Society, 1993.
-
Mainkar, V., H. Choi, and K. Trivedi. “Sensitivity analysis of Markov regenerative stochastic Petri nets.” In Proceedings of 5th International Workshop on Petri Nets and Performance Models, Pnpm 1993, 180–89, 1993. https://doi.org/10.1109/PNPM.1993.393452.Full Text
-
Malhotra, M., and K. S. Trivedi. “A methodology for formal expression of hierarchy in model solution.” In Proceedings of 5th International Workshop on Petri Nets and Performance Models, Pnpm 1993, 258–67, 1993. https://doi.org/10.1109/PNPM.1993.393445.Full Text
-
Meer, Hermann de, and Kishor S. Trivedi. “Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems.” In Mmb, edited by Bernhard Walke and Otto Spaniol, 159–72. Springer, 1993.
-
Trivedi, K. S., G. Ciardo, M. Malhotra, and R. A. Sahner. “Dependability and performability analysis.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 729 LNCS:587–612, 1993. https://doi.org/10.1007/bfb0013869.Full Text
-
Trivedi, K. S., and V. G. Kulkarni. “FSPNs: Fluid stochastic petri nets.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 691 LNCS:24–31, 1993. https://doi.org/10.1007/3-540-56863-8_38.Full Text
-
Trivedi, Kishor S., and Manish Malhotra. “Reliability and Performability Techniques and Tools: A Survey.” In Mmb, edited by Bernhard Walke and Otto Spaniol, 27–48. Springer, 1993.
-
Wang, C. Y., and K. S. Trivedi. “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), 691 LNCS:473–92, 1993. https://doi.org/10.1007/3-540-56863-8_62.Full Text
-
CHOI, H., V. MAINKAR, and K. S. TRIVEDI. “SENSITIVITY ANALYSIS OF DETERMINISTIC AND STOCHASTIC PETRI NETS.” In Mascots ’93, edited by H. Schwetman, J. Walrand, K. Bagchi, and D. DeGroot, 25:271–76. SOC COMPUTER SIMULATION INT, 1993.Link to Item
-
CIARDO, G., and K. S. TRIVEDI. “SPNP - THE STOCHASTIC PETRI-NET PACKAGE (VERSION 3.1).” In Mascots ’93, 25:390–91, 1993.Link to Item
-
MUPPALA, J. K., G. CIARDO, and K. S. TRIVEDI. “MODELING USING STOCHASTIC REWARD NETS.” In Mascots ’93, 25:367–72, 1993.Link to Item
-
MUPPALA, J. K., and K. S. TRIVEDI. “COMPOSITE PERFORMANCE AND AVAILABILITY ANALYSIS USING A HIERARCHY OF STOCHASTIC REWARD NETS.” In Computer Performance Evaluation, 335–49, 1992.Link to Item
-
SAHNER, R. A., and K. S. TRIVEDI. “A TOOLCHEST FOR STOCHASTIC-MODELS.” In International Conference on Simulation in Engineering Education, 24:25–30, 1992.Link to Item
-
HEIMANN, D. I., N. MITTAL, and K. S. TRIVEDI. “DEPENDABILITY MODELING FOR COMPUTER-SYSTEMS.” In Proceedings Annual Reliability and Maintainability Symposium, 120–28, 1991.Link to Item
-
CIARDO, G., J. MUPPALA, and K. S. TRIVEDI. “SPNP - THE STOCHASTIC PETRI NET PACKAGE.” In Numerical Solution of Markov Chains, 8:693–94, 1991.Link to Item
-
CIARDO, G., and K. S. TRIVEDI. “SOLUTION OF LARGE GSPN MODELS.” In Numerical Solution of Markov Chains, 8:565–95, 1991.Link to Item
-
Ciardo, G., and K. S. Trivedi. “A decomposition approach for stochastic Petri net models.” In Proceedings of the 4th International Workshop on Petri Nets and Performance Models, Pnpm 1991, 74–83, 1991. https://doi.org/10.1109/PNPM.1991.238780.Full Text
-
Kantz, H., and K. Trivedi. “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, 268–77, 1991. https://doi.org/10.1109/PNPM.1991.238793.Full Text
-
Logothetis, D., and K. Trivedi. “Reliability analysis of the FDDI token ring.” In Proceedings Conference on Local Computer Networks, Lcn, 1991-October:41–51, 1991. https://doi.org/10.1109/LCN.1991.208046.Full Text
-
SAHNER, R. A., and K. S. TRIVEDI. “SHARPE - SYMBOLIC HIERARCHICAL AUTOMATED RELIABILITY AND PERFORMANCE EVALUATOR.” In Numerical Solution of Markov Chains, 8:695–96, 1991.Link to Item
-
Tomek, Lorrie A., and Kishor S. Trivedi. “Fixed Point Iteration in Availability Modeling.” In Fault Tolerant Computing Systems, edited by Mario Dal Cin and Wolfgang Hohl, 283:229–40. Springer, 1991.
-
Muppala, J. K., and K. S. Trivedi. “GSPN Models: Sensitivity analysis and applications.” In Proceedings 28th Annual Southeast Regional Conference, Acm Se 1990, 25–33, 1990.
-
Muppala, Jogesh K., and Kishor S. Trivedi. “GSPM models: sensitivity analysis and applications.” In Acm Southeast Regional Conference, edited by A Joe Turner, 25–33. ACM, 1990.
-
Hsueh, Mei-Chen, Ravishankar K. Iyer, and Kishor S. Trivedi. “A Measurement-Based Performability Model for a Multiprocessor System.” In Computer Performance and Reliability, edited by Giuseppe Iazeolla, Pierre-Jacques Courtois, and Onno J. Boxma, 337–52. North-Holland, 1987.
-
Trivedi, Kishor S., Andrew L. Reibman, and Roger Smith. “Transient Analysis of Markov and Markov Reward Models.” In Computer Performance and Reliability, edited by Giuseppe Iazeolla, Pierre-Jacques Courtois, and Onno J. Boxma, 535–45. North-Holland, 1987.
-
Calzarossa, Maria, and Kishor S. Trivedi. “Performance Analysis Using User Behavior Graphs.” In Int. Cmg Conference, edited by David Morley, Jason G. Shane, Sue Felix, Bernard Domanski, John Boelens, Gordon R. Stauffer, Roberta S. Terkowitz, Tom Scoumperdis, and H Pat Artis, 394–97. Computer Measurement Group, 1986.
-
Trivedi, Kishor S., Joanne Bechta Dugan, Robert Geist, and Mark Smotherman. “Issues in reliability modeling of fault-tolerant computers.” In Fehlertolerierende Rechensysteme, edited by Karl-Erwin Großpietsch and Mario Dal Cin, 84:228–39. Springer, 1984.
-
Baccelli, François, and Kishor S. Trivedi. “Analysis of M/G/2 - Standby Redundant System.” In Performance, edited by Ashok K. Agrawala and Satish K. Tripathi, 457–76. North-Holland, 1983.
-
Geist, Robert, and Kishor S. Trivedi. “The Integration of User Perception in the Heterogeneous M/M/2 Queue.” In Performance, edited by Ashok K. Agrawala and Satish K. Tripathi, 203–16. North-Holland, 1983.
-
Haring, Günter, and Kishor S. Trivedi. “On the Optimal Distribution of Processing Power in a Star Configured System.” In Mmb, edited by Paul J. Kühn and Klaus M. Schulz, 61:353–65. Springer, 1983.
-
Trivedi, Kishor S. “Computer Science and Applied Probability (abstract).” In Int. Cmg Conference, edited by George W. Dodson, H Pat Artis, Donald R. Deese, Bernard Domanski, Sidney Finehirsh, John Gaffney, and Anneliese von Mayrhauser, 467–467. Computer Measurement Group, 1983.
-
Trivedi, Kishor S., and Anneliese von Mayrhauser. “Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems.” In Int. Cmg Conference, edited by Mel Boksenbaum, George W. Dodson, Tom Moran, Connie U. Smith, and H Pat Artis, 178–84. Computer Measurement Group, 1982.
-
Trivedi, Kishor S., and Anneliese von Mayrhauser. “Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection.” In Int. Cmg Conference, edited by Donald R. Deese, Robert J. Bishop, Jeffrey M. Mohr, and H Pat Artis, 58–69. Computer Measurement Group, 1981.
-
Trivedi, Kishor S., and Daniel E. Atkins, eds. “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.
-
Wagner, R. A., and K. S. Trivedi. “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, 127–42, 1980. https://doi.org/10.1145/800199.806156.Full Text
-
Trivedi, K. S. “Designing linear storage hierarchies so as to maximize reliability subject to cost and performance constraints.” In Proceedings International Symposium on Computer Architecture, 211–17, 1980. https://doi.org/10.1145/800053.801928.Full Text
-
Trivedi, K. S., and T. M. Sigmon. “A performance comparison of optimally designed computer systems with and without virtual memory.” In Proceedings International Symposium on Computer Architecture, 117–21, 1979. https://doi.org/10.1145/800090.802900.Full Text
-
Robertson, J. E., and K. Trivedi. “The status of investigations into the use of continued fractions for computer hardware.” In Proceedings Symposium on Computer Arithmetic, 1972. https://doi.org/10.1109/ARITH.1972.6153902.Full Text
-
Fricks, R. M., A. Puliafito, and K. S. Trivedi. “Performance analysis of distributed real-time databases (Accepted).” In Proceedings. Ieee International Computer Performance and Dependability Symposium. Ipds’98 (Cat. No.98tb100248). IEEE Comput. Soc, n.d. https://doi.org/10.1109/ipds.1998.707721.Full Text
-
Gokhale, S. S., W. E. Wong, K. S. Trivedi, and J. R. Horgan. “An analytical approach to architecture-based software reliability prediction (Accepted).” In Proceedings. Ieee International Computer Performance and Dependability Symposium. Ipds’98 (Cat. No.98tb100248). IEEE Comput. Soc, n.d. https://doi.org/10.1109/ipds.1998.707705.Full Text
-
Gokhale, S. S., and K. S. Trivedi. “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. No.98ex183). IEEE Comput. Soc, n.d. https://doi.org/10.1109/asset.1998.688239.Full Text
-
Trivedi, K. S. “Proactive fault-management in software systems (Accepted).” In Proceedings 33rd Annual Simulation Symposium (Ss 2000). IEEE Comput. Soc, n.d. https://doi.org/10.1109/simsym.2000.844894.Full Text
-
Veeraraghavan, M., and K. S. Trivedi. “An approach for combinatorial performance and availability analysis (Accepted).” In Proceedings of 1993 Ieee 12th Symposium on Reliable Distributed Systems. IEEE Comput. Soc. Press, n.d. https://doi.org/10.1109/reldis.1993.393476.Full Text
-
-
- Teaching & Mentoring
-
Recent Courses
- COMPSCI 555: Probability for Electrical and Computer Engineers 2022
- ECE 555: Probability for Electrical and Computer Engineers 2022
- ECE 590: Advanced Topics in Electrical and Computer Engineering 2022
- ECE 590K: Advanced Topics in Electrical and Computer Engineering 2022
- K_CMPSCI 320: Software Reliability 2022
- COMPSCI 555: Probability for Electrical and Computer Engineers 2021
- ECE 555: Probability for Electrical and Computer Engineers 2021
- ECE 590: Advanced Topics in Electrical and Computer Engineering 2021
- K_CMPSCI 320: Software Reliability 2021
- COMPSCI 555: Probability for Electrical and Computer Engineers 2020
- ECE 555: Probability for Electrical and Computer Engineers 2020
- ECE 590K: Advanced Topics in Electrical and Computer Engineering 2020
- K_CMPSCI 320: Software Reliability 2020
- Scholarly, Clinical, & Service Activities
-
Presentations & Appearances
-
Outreach & Engaged Scholarship
Some information on this profile has been compiled automatically from Duke databases and external sources. (Our About page explains how this works.) If you see a problem with the information, please write to Scholars@Duke and let us know. We will reply promptly.