## Marco Bernardo, Jane Hillston

*Advanced Lectures of the Seventh International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Performance Evaluation*

SFM, 2007.

@proceedings{SFM-2007,
address = "Bertinoro, Italy",
editor = "Marco Bernardo and Jane Hillston",
isbn = "978-3-540-72482-7",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Advanced Lectures of the Seventh International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Performance Evaluation}",
volume = 4486,
year = 2007,
}

### Contents (11 items)

- SFM-2007-Stewart #markov #modelling #performance
- Performance Modelling and Markov Chains (WJS), pp. 1–33.
- SFM-2007-BalsamoM #network
- Queueing Networks (SB, AM), pp. 34–82.
- SFM-2007-Balbo #petri net #probability
- Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.
- SFM-2007-ClarkGHT #algebra #probability #process
- Stochastic Process Algebras (AC, SG, JH, MT), pp. 132–179.
- SFM-2007-Bernardo #behaviour #markov #overview
- A Survey of Markovian Behavioral Equivalences (MB), pp. 180–219.
- SFM-2007-KwiatkowskaNP #model checking #probability
- Stochastic Model Checking (MZK, GN, DP), pp. 220–270.
- SFM-2007-GribaudoT #analysis #modelling #performance
- Fluid Models in Performance Analysis (MG, MT), pp. 271–317.
- SFM-2007-KnottenbeltB #modelling #performance #scalability
- Tackling Large State Spaces in Performance Modelling (WJK, JTB), pp. 318–370.
- SFM-2007-Ciardo #approach #data transformation #diagrams #performance #representation
- Data Representation and Efficient Solution: A Decision Diagram Approach (GC), pp. 371–394.
- SFM-2007-Smith #performance #problem
- Introduction to Software Performance Engineering: Origins and Outstanding Problems (CUS), pp. 395–428.
- SFM-2007-Woodside #design #uml
- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms (CMW), pp. 429–467.