SFM 2007: Bertinoro, Italy

Marco Bernardo, Jane Hillston (Eds.): 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. Lecture Notes in Computer Science 4486 Springer 2007, ISBN 978-3-540-72482-7 BibTeX

William J. Stewart:
Performance Modelling and Markov Chains. 1-33
Electronic Edition (link) BibTeX
Simonetta Balsamo, Andrea Marin:
Queueing Networks. 34-82
Electronic Edition (link) BibTeX
Gianfranco Balbo:
Introduction to Generalized Stochastic Petri Nets. 83-131
Electronic Edition (link) BibTeX
Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Stochastic Process Algebras. 132-179
Electronic Edition (link) BibTeX
Marco Bernardo:
A Survey of Markovian Behavioral Equivalences. 180-219
Electronic Edition (link) BibTeX
Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Stochastic Model Checking. 220-270
Electronic Edition (link) BibTeX
Marco Gribaudo, Miklós Telek:
Fluid Models in Performance Analysis. 271-317
Electronic Edition (link) BibTeX
William J. Knottenbelt, Jeremy T. Bradley:
Tackling Large State Spaces in Performance Modelling. 318-370
Electronic Edition (link) BibTeX
Gianfranco Ciardo:
Data Representation and Efficient Solution: A Decision Diagram Approach. 371-394
Electronic Edition (link) BibTeX
Connie U. Smith:
Introduction to Software Performance Engineering: Origins and Outstanding Problems. 395-428
Electronic Edition (link) BibTeX
C. Murray Woodside:
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. 429-467
Electronic Edition (link) BibTeX