Publications

2016

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.

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.

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.

2015

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

2014

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.

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.

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.

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.

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.

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.

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.

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.