"Investigating dynamic reliability and availability through state-space models", Computers and Mathematics with Applications - Elsevier Ltd, vol. 64, no. 12, pp. 3701-3716, 2012.
"Software rejuvenation in the cloud", Proceedings of the 5th International Conference on Simulation Tools and Techniques (SIMUTools), Desenzano del Garda, Italy, 19-23 March 2012, ICST, pp. 8-16, 2012.
"A scalable availability model for Infrastructure-as-a-Service cloud", Proceedings of the 41st IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Hong Kong, Hong Kong, 27-30 June 2011, IEEE Computer Society, pp. 335-346, 2011.
"Availability assessment of HA standby redundant clusters", Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS), New Delhi, India, 31 October - 3 November 2010, IEEE Computer Society, pp. 265-274, 2010.
"Symbolic representation techniques in dynamic reliability evaluation", Proceedings of the 12th IEEE International Symposium on High Assurance Systems Engineering (HASE), San Jose, CA, United States, 3-4 November 2010, IEEE Computer Society, pp. 45-53, 2010.