It looks like you're offline.

Last edited by ImportBot

July 28, 2014 | History

Edit

Marco Bernardo

We need a photo of Marco Bernardo

19 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

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

by Marco Bernardo, Rocco De Nicola, and Jane Hillston First published in 2016
2 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
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

by Marco Bernardo First published in 2013
2 editions

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo and Einar Broch Johnsen First published in 2015
2 editions

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, and Ina Schaefer First published in 2014
2 editions

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

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

by Marco Bernardo First published in 2011
2 editions, 1 ebook

Preview Only

My Reading Lists:

Create a new list
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

by Marco Bernardo and Flavio Corradini First published in 2004
1 edition

Locate

My Reading Lists:

Create a new list
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

by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, and Herbert Wiklicky First published in 2010
1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro First published in 2009
1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo and Alessandro Bogliolo First published in 2005
1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo and Paola Inverardi First published in 2003
1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo and Alessandro Cimatti First published in 2006
1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo and Jane Hillston First published in 2007
1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo, Pierpaolo Degano, and Gianluigi Zavattaro First published in 2008
1 edition

Locate

My Reading Lists:

Create a new list
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

by Alessandro Aldini, Marco Bernardo, Luciano Bononi, and Vittorio Cortellessa First published in 2010
1 edition

Locate

My Reading Lists:

Create a new list
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent

by Marco Bernardo First published in 2022
1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo First published in 2012
1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo and Paola Inverardi First published in 2003
1 edition

Locate

My Reading Lists:

Create a new list
Formal Methods for Dynamical Systems

by Marco Bernardo First published in 2013
1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo First published in 2012
1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Marco Bernardo

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7203982A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON