Copyright Notice: The preprints below are presented to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In all cases, the preprints below may not be reposted without explicit permission of the copyright holder.

5:   A. Aldini, M. Bernardo,

"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, M.H. ter Beek editors,
Springer, LNCS 5835:228-254, August 2009.

4:   M. Bernardo,

"A Survey of Markovian Behavioral Equivalences",

in Formal Methods for Performance Evaluation,
M. Bernardo, J. Hillston editors,
Springer, LNCS 4486:180-219, June 2007.

3:   A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, E. Lattanzi,

"A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management",

in Formal Methods for Mobile Computing,
M. Bernardo, A. Bogliolo editors,
Springer, LNCS 3465:155-189, April 2005.

2:   S. Balsamo, M. Bernardo, M. Simeoni,

"Performance Evaluation at the Software Architecture Level",

in Formal Methods for Software Architectures,
M. Bernardo, P. Inverardi editors,
Springer, LNCS 2804:207-258, September 2003.

1:   M. Bernardo, L. Donatiello, P. Ciancarini,

"Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language",

in Performance Evaluation of Complex Systems: Techniques and Tools,
M.C. Calzarossa, S. Tucci editors,
Springer, LNCS 2459:236-260, September 2002.