Publications

Found 697 results
Type [ Year(Asc)]
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.
2014
S Hong, H Yang, G Li, N Huang, X Ma, and KS Trivedi. "Analysis of propagation dynamics in complex dynamical network based on disturbance propagation model." International Journal of Modern Physics B 28, no. 22 (2014).
DS Menasche, A Avritzer, S Suresh, RM Leão, EDSE Silva, M Diniz, K Trivedi, L Happe, and A Koziolek. "Assessing survivability of smart grid distribution network designs accounting for multiple failures." Concurrency and Computation: Practice and Experience 26, no. 12 (2014): 1949-1974.
SK Mondal, JK Muppala, F Machida, and KS 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-168. 2014.
SK Mondal, JK Muppala, and KS Trivedi. "Defects per Million (DPM): A user-oriented perspective of telecommunication systems." In 2014 Ieee Globecom Workshops, Gc Wkshps 2014, 711-716. 2014.
S Sebastio, KS Trivedi, D Wang, and X Yin. "Fast computation of bounds for two-terminal network reliability." European Journal of Operational Research (2014): 810-823.
R Xia, F Machida, K Trivedi, R Xia, F Machida, and K Trivedi. "A markov decision process approach for optimal data backup schedulingA Markov decision process approach for optimal data backup scheduling." Proceedings of the International Conference on Dependable Systems and Networks (2014): 660-665.
R Xia, F Machida, and K 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-665. 2014.
A Koziolek, K Trivedi, and N Pindoriya. "Message from the chairs." In 3rd International Workshop on Software Engineering Challenges for the Smart Grid, Se4sg 2014 Proceedings. 2014.
R Singhal, 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 (2014).

Pages