Edited Books

Copyright Notice: The material below is 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 material below may not be reposted without explicit permission of the copyright holder.

10: M. Bernardo and V. Issarny (editors),
"Formal Methods for Eternal Networked Software Systems (SFM-11:Connect)",
Springer, LNCS 6659, June 2011.

09: A. Aldini, M. Bernardo, L. Bononi, and V. Cortellessa (editors),
"Computer Performance Engineering (EPEW 2010)",
Springer, LNCS 6342, September 2010.

08: A. Aldini, M. Bernardo, A. Di Pierro, and H. Wiklicky (editors),
"Formal Methods for Quantitative Aspects of Programming Languages (SFM-10:QAPL)",
Springer, LNCS 6154, June 2010.

07: M. Bernardo, L. Padovani, and G. Zavattaro (editors),
"Formal Methods for Web Services (SFM-09:WS)",
Springer, LNCS 5569, June 2009.

06: M. Bernardo, P. Degano, and G. Zavattaro (editors),
"Formal Methods for Computational Systems Biology (SFM-08:Bio)",
Springer, LNCS 5016, June 2008.

05: M. Bernardo and J. Hillston (editors),
"Formal Methods for Performance Evaluation (SFM-07:PE)",
Springer, LNCS 4486, June 2007.

04: M. Bernardo and A. Cimatti (editors),
"Formal Methods for Hardware Verification (SFM-06:HV)",
Springer, LNCS 3965, May 2006.

03: M. Bernardo and A. Bogliolo (editors),
"Formal Methods for Mobile Computing (SFM-05:Moby)",
Springer, LNCS 3465, April 2005.

02: M. Bernardo and F. Corradini (editors),
"Formal Methods for the Design of Real-Time Systems (SFM-04:RT)",
Springer, LNCS 3185, September 2004.

01: M. Bernardo and P. Inverardi (editors),
"Formal Methods for Software Architectures (SFM-03:SA)",
Springer, LNCS 2804, September 2003.