Publications
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.", 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.
"Analysis methods for performance & availability in critical care medicine." In Proceedings - Annual Reliability and Maintainability Symposium. Vol. 2016-April. 2016.
"Assessing survivability to support power grid investment decisions." Reliability Engineering and System Safety 155 (2016): 30-43.
"DSN 2016 Tutorial: Reliability and Availability Modeling in Practice." In Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. 2016.
"How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation." Journal of Systems and Software 113, no. March 2016 (2016): 27-43.
"Model-Based Survivability Analysis of a Virtualized System." In Proceedings - Conference on Local Computer Networks, LCN, 611-614. 2016.
"Modeling of VANET for BSM safety messaging at intersections with non-homogeneous node distribution." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 149-162. Vol. 9669. 2016.
"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 and System Safety 153 (2016): 28-38.
"Reliability models of chronic kidney disease." In Proceedings - 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 Model and Performance Evaluation of Long-Term Evolution for Vehicle Safety Services." IEEE Transactions on Vehicular Technology 66, no. 3 (2017): 1926-1939.
"Application-level scheme to enhance VANET event-driven multi-hop safety-related services." In 2017 International Conference on Computing, Networking and Communications, ICNC 2017, 860-864. 2017.
"