Book Volume 4486 2007

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

Editors:

ISBN: 978-3-540-72482-7 (Print) 978-3-540-72522-0 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Chapter and Conference Paper

    Pages 1-33

    Performance Modelling and Markov Chains

  3. No Access

    Chapter and Conference Paper

    Pages 34-82

    Queueing Networks

  4. No Access

    Chapter and Conference Paper

    Pages 83-131

    Introduction to Generalized Stochastic Petri Nets

  5. No Access

    Chapter and Conference Paper

    Pages 132-179

    Stochastic Process Algebras

  6. No Access

    Chapter and Conference Paper

    Pages 180-219

    A Survey of Markovian Behavioral Equivalences

  7. No Access

    Chapter and Conference Paper

    Pages 220-270

    Stochastic Model Checking

  8. No Access

    Chapter and Conference Paper

    Pages 271-317

    Fluid Models in Performance Analysis

  9. No Access

    Chapter and Conference Paper

    Pages 318-370

    Tackling Large State Spaces in Performance Modelling

  10. No Access

    Chapter and Conference Paper

    Pages 371-394

    Data Representation and Efficient Solution: A Decision Diagram Approach

  11. No Access

    Chapter and Conference Paper

    Pages 395-428

    Introduction to Software Performance Engineering: Origins and Outstanding Problems

  12. No Access

    Chapter and Conference Paper

    Pages 429-467

    From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

  13. Back Matter

    Pages -