"Impact of Failure Prediction on Availability: Modeling and Comparative Analysis of Predictive and Reactive Methods", IEEE Transactions on Dependable and Secure Computing, pp. 1-1, 2018.
"A Model for the Evaluation of User-Perceived Service Properties", International Symposium on Parallel Distributed Processing, Workshops and Phd Forum (IPDPSW), Boston, Massachusetts, USA, IEEE Computer Society, May, 2013.
"Model-Driven Evaluation of User-Perceived Service Availability", Dependable Computing, vol. 7869: Springer Berlin Heidelberg, pp. 39-53, May, 2013.
"Systems Engineering for Assessment of Virtual Power System Implementations", Artificial Intelligence Applications and Innovations, vol. 412: Springer Berlin Heidelberg, pp. 667-676, 2013.
"User-Perceived Instantaneous Service Availability Evaluation", 19th Pacific Rim International Symposium on Dependable Computing (PRDC), Vancouver, British Columbia, Canada, IEEE Computer Society, 12/2013.
"Code Generation from Statecharts: Simulation of Wireless Sensor Networks", Proceedings of DSD08, Parma, Italy, September, 2008.
"Modelling the Power Cost of Security in Wireless Sensor Networks : the Case of 802.15.4", Proceedings of IEEE ICT08, Saint Petersburg, Russia, June, 2008.
"Power Modeling and Power Analysis for IEEE 802.15.4: a Concurrent State Machine Approach", Proceedings of CCNC 2007, Las Vegas, USA, January 11-13, 2007.
"Ultra-low power optimizations for the IEEE 802.15.4 networking protocol", proceedings of MASS, October, 2007.