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,
}

Event page: http://www.sti.uniurb.it/events/sfm07pe/

Contents (11 items)

5 ×#performance
3 ×#modelling
3 ×#probability
2 ×#markov

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.