"Modeling energy-aware cloud federations with SRNs", 32nd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets), vol. 7400 Lecture Notes in Computer Science, Newcastle upon Tyne, United Kingdom, 20-24 June 2011, Springer-Verlag, pp. 277-307, 2012.
Stochastic reward nets
"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.
"Evaluating energy consumption in a cloud infrastructure", 2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), Lucca, Italy, 20-23 June 2011, IEEE Computer Society, 2011.
"Quantifying resiliency of IaaS cloud", Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS), New Delhi, India, 31 October - 3 November 2010, IEEE Computer Society, pp. 343-347, 2010.