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

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

Last update Fri May 25 08:36:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page