Marco Bernardo | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Marco Bernardo | lit.salon

Marco Bernardo

No bio available. Add one in Open Library.

Books by Marco Bernardo (50 max)

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

2011

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2013

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2014

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2015

Marco Bernardo, Einar Broch Johnsen

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2016

Marco Bernardo, Rocco De Nicola, Jane Hillston

Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

2003

Marco Bernardo, Paola Inverardi

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

2003

Marco Bernardo, Paola Inverardi

Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

2004

Marco Bernardo, Flavio Corradini

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2005

Marco Bernardo, Alessandro Bogliolo

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

2006

Marco Bernardo, Alessandro Cimatti

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

2007

Marco Bernardo, Jane Hillston

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7 2008

2008

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2009

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

2010

Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

2010

Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2012

Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures

2012

Formal Methods for Dynamical Systems

2013

Probabilistic Trace and Testing Semantics: The Importance of Being Coherent

2022