Publications

Found 677 results
Type [ Year(Asc)]
2016
G Ning, J Zhao, Y Lou, J Alonso, R Matias, KS Trivedi, BB Yin, and KY Cai. "Optimization of two-granularity software rejuvenation policy based on the markov regenerative process." Ieee Transactions on Reliability 65, no. 4 (2016): 1630-1646.
KS Trivedi. Probability and Statistics with Reliability, Queuing and Computer Science Applications., 2016.
M Grottke, DS Kim, R Mansharamani, M Nambiar, R Natella, and KS Trivedi. "Recovery from Software Failures Caused by Mandelbugs." Ieee Transactions on Reliability 65, no. 1 (2016): 70-87.
ZB Ratliff, DR Kuhn, RN Kacker, Y Lei, and KS 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-124. 2016.
X Ma, and KS Trivedi. "Reliability and performance of general two-dimensional broadcast wireless network." Performance Evaluation 95 (2016): 41-59.
S Dharmaraja, R Vinayak, and KS Trivedi. "Reliability and survivability of vehicular ad hoc networks: An analytical approach." Reliability Engineering & System Safety 153 (2016): 28-38.
RB Fricks, A Bobbio, and KS Trivedi. "Reliability models of chronic kidney disease." In Proceedings of the Annual Reliability and Maintainability Symposium. Vol. 2016-April. 2016.
R Xia, 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-178. 2016.
R Matias, GO De Sena, A Andrzejak, and KS 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.
H Sukhwani, J Alonso, KS Trivedi, and I 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, 386-397. Vol. 3. 2016.
RJ Rodríguez, X Chang, X Li, and KS 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), 134-149. Vol. 9987 LNCS. 2016.
KS Trivedi. "Survivability quantification for networks." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), XI - XII. Vol. 9951 LNCS. 2016.
2015
D Bruneo, F Longo, R Ghosh, M Scarpa, A Puliafito, and KS Trivedi. "Analytical Modeling of Reactive Autonomic Management Techniques in IaaS Clouds." In Proceedings 2015 Ieee 8th International Conference on Cloud Computing, Cloud 2015, 797-804. 2015.
SK Mondal, X Yin, JK Muppala, Alonso J Lopez, and KS Trivedi. "Defects per million computation in service-oriented environments." Ieee Transactions on Services Computing 8, no. 1 (2015): 32-46.
R Pietrantuono, 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.
J Rak, M Pickavet, KS Trivedi, JA Lopez, AMCA Koster, JPG Sterbenz, EK Ç. etinkaya, T Gomes, M Gunkel, K Walkowiak et al. "Future research directions in design of reliable communication systems." Telecommunication Systems 60, no. 4 (2015): 423-450.
H Sukhwani, A Bobbio, and KS Trivedi. "Largeness avoidance in availability modeling using hierarchical and fixed-point iterative techniques." International Journal of Performability Engineering 11, no. 4 (2015): 305-319.
R Entezari-Maleki, KS Trivedi, and A Movaghar. "Performability evaluation of grid environments using stochastic reward nets." Ieee Transactions on Dependable and Secure Computing 12, no. 2 (2015): 204-216.
KS Trivedi, and R Xia. "Quantification of system survivability." Telecommunication Systems 60, no. 4 (2015): 451-470.
Z Zheng, KS 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 (2015): 448-460.
R Matos, J Araujo, D Oliveira, P Maciel, and K Trivedi. "Sensitivity analysis of a hierarchical model of mobile cloud computing." Simulation Modelling Practice and Theory 50 (2015): 151-164.
CJ Chung, T Xing, D Huang, D Medhi, and K Trivedi. "SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment." In Proceedings 2015 45th Annual Ieee/Ifip International Conference on Dependable Systems and Networks Workshops, Dsn W 2015, 4-11. 2015.
D Bruneo, F Longo, M Scarpa, A Puliafito, R Ghosh, and KS 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), 98-116. Vol. 9115. 2015.
PE Heegaard, BE Helvik, KS 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-140. 2015.
A Avritzer, DS Menasche, K Trivedi, L Happe, and SS Sarvestani. "Workshop on Model Based Design for Cyber-Physical Systems (MB4CP)." In Proceedings of the International Conference on Dependable Systems and Networks, 565-566. Vol. 2015-September. 2015.

Pages