Formal Methods for Performance Evaluation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540724827, 9783540725220

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Performance Modelling and Markov Chains

Formal Methods for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72522-0_1 ◽

2007 ◽

pp. 1-33 ◽

Author(s):

William J. Stewart

Keyword(s):

Markov Chains ◽

Performance Modelling

Download Full-text

Introduction to Generalized Stochastic Petri Nets

Formal Methods for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72522-0_3 ◽

2007 ◽

pp. 83-131 ◽

Author(s):

Gianfranco Balbo

Keyword(s):

Stochastic Petri Nets ◽

Generalized Stochastic Petri Nets

Download Full-text

Fluid Models in Performance Analysis

Formal Methods for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72522-0_7 ◽

2007 ◽

pp. 271-317 ◽

Author(s):

Marco Gribaudo ◽

Miklós Telek

Keyword(s):

Performance Analysis ◽

Download Full-text

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

Formal Methods for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72522-0_11 ◽

2007 ◽

pp. 429-467 ◽

Author(s):

Murray Woodside

Download Full-text

Introduction to Software Performance Engineering: Origins and Outstanding Problems

Formal Methods for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72522-0_10 ◽

2007 ◽

pp. 395-428 ◽

Author(s):

Connie U. Smith

Keyword(s):

Software Performance ◽

Performance Engineering ◽

Software Performance Engineering

Download Full-text

A Survey of Markovian Behavioral Equivalences

Formal Methods for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72522-0_5 ◽

2007 ◽

pp. 180-219 ◽

Author(s):

Marco Bernardo

Download Full-text

Tackling Large State Spaces in Performance Modelling

Formal Methods for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72522-0_8 ◽

2007 ◽

pp. 318-370 ◽

Author(s):

William J. Knottenbelt ◽

Jeremy T. Bradley

Keyword(s):

Performance Modelling ◽

State Spaces ◽

Download Full-text

Queueing Networks

Formal Methods for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72522-0_2 ◽

2007 ◽

pp. 34-82 ◽

Author(s):

Simonetta Balsamo ◽

Andrea Marin

Keyword(s):

Queueing Networks

Download Full-text

Stochastic Process Algebras

Formal Methods for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72522-0_4 ◽

2007 ◽

pp. 132-179 ◽

Author(s):

Allan Clark ◽

Stephen Gilmore ◽

Jane Hillston ◽

Mirco Tribastone

Keyword(s):

Stochastic Process ◽

Process Algebras ◽

Stochastic Process Algebras

Download Full-text

Stochastic Model Checking

Formal Methods for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72522-0_6 ◽

2007 ◽

pp. 220-270 ◽

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Stochastic Model Checking

Download Full-text