Marco Bernardo

Formal Methods for Eternal Networked Software Systems

2011

Formal Methods for Dynamical Systems

2013

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

2016

Formal Methods for Multicore Programming

2015

Formal Methods for Executable Software Models

2014

Probabilistic Trace and Testing Semantics

2022

Formal Methods for Web Services

2009

Formal Methods for the Design of Real-Time Systems

2004

Formal methods for software architectures

2003

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems

2003

Formal Methods for Quantitative Aspects of Programming Languages

2010

Formal Methods for Performance Evaluation

2007

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 Model-Driven Engineering

2012

Formal Methods for Mobile Computing

2005

Formal Methods for Hardware Verification

2006

Formal Methods for Computational Systems Biology

2008

Computer Performance Engineering

2010