Publications

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.

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.

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.

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.

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.

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.

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.

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.

S Distefano, and KS Trivedi. "Non-markovian state-space models in dependability evaluation." Quality and Reliability Engineering International 29, no. 2 (2013): 225-239. https://doi.org/10.1002/qre.1305

Swaminathan, M. S. “Foreword.” Ecosystem Services in Agricultural and Urban Landscapes, January 20, 2013. https://doi.org/10.1002/9781118506271.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.