"Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems",
in Architecting Dependable Systems 6,
R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci, and M.H. ter Beek editors,
Springer, LNCS 5835:228-254, August 2009.
"A Survey of Markovian Behavioral Equivalences",
in Formal Methods for Performance Evaluation,
M. Bernardo and J. Hillston editors,
Springer, LNCS 4486:180-219, June 2007.
"A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management",
in Formal Methods for Mobile Computing,
M. Bernardo and A. Bogliolo editors,
Springer, LNCS 3465:155-189, April 2005.
"Performance Evaluation at the Software Architecture Level",
in Formal Methods for Software Architectures,
M. Bernardo and P. Inverardi editors,
Springer, LNCS 2804:207-258, September 2003.
"Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language",
in Performance Evaluation of Complex Systems: Techniques and Tools,
M.C. Calzarossa and S. Tucci editors,
Springer, LNCS 2459:236-260, September 2002.