Sadegh Soudjani

A Compositional Approach to Performance Modelling

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 28-June 2, 2007, Advanced Lectures

Computer Performance Evaluation '92: Modelling Techniques and Tools

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