Publications
] "Optimization of two-granularity software rejuvenation policy based on the markov regenerative process." Ieee Transactions on Reliability 65, no. 4 (2016): 1630-1646.
"Recovery from Software Failures Caused by Mandelbugs." Ieee Transactions on Reliability 65, no. 1 (2016): 70-87.
"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.
"Reliability and performance of general two-dimensional broadcast wireless network." Performance Evaluation 95 (2016): 41-59.
"Reliability and survivability of vehicular ad hoc networks: An analytical approach." Reliability Engineering & System Safety 153 (2016): 28-38.
"Reliability models of chronic kidney disease." In Proceedings of the Annual Reliability and Maintainability Symposium. Vol. 2016-April. 2016.
"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.
"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.
"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.
"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.
"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.
"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.
"Defects per million computation in service-oriented environments." Ieee Transactions on Services Computing 8, no. 1 (2015): 32-46.
"Emulating environment-dependent software faults." In Proceedings 1st International Workshop on Complex Faults and Failures in Large Software Systems, Coufless 2015, 34-40. 2015.
"Future research directions in design of reliable communication systems." Telecommunication Systems 60, no. 4 (2015): 423-450.
"Largeness avoidance in availability modeling using hierarchical and fixed-point iterative techniques." International Journal of Performability Engineering 11, no. 4 (2015): 305-319.
"Performability evaluation of grid environments using stochastic reward nets." Ieee Transactions on Dependable and Secure Computing 12, no. 2 (2015): 204-216.
"Quantification of system survivability." Telecommunication Systems 60, no. 4 (2015): 451-470.
"Semi-Markov models of composite web services for their performance, reliability and bottlenecks." Ieee Transactions on Services Computing PP, no. 99 (2015): 448-460.
"Sensitivity analysis of a hierarchical model of mobile cloud computing." Simulation Modelling Practice and Theory 50 (2015): 151-164.
"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.
"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.
"Survivability as a generalization of recovery." In 2015 11th International Conference on the Design of Reliable Communication Networks, Drcn 2015, 133-140. 2015.
"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.