dblp.uni-trier.de www.uni-trier.de

QEST 2005: Torino, Italy

Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy. IEEE Computer Society 2005 BibTeX

Introduction

Invited Talk (Pierpaolo Degano)

Petri Nets and Process Algebras

Bisimulation and Approximations

Invited Talk (Leana Golubchik)

Workload Characterization/Measurements

Performability

Markovian Models

Model Checking

Invited Talk (Thomas Sterling)

Architecture Measurements/Modeling II

Markov Chains/Importance Sampling

Tool Presentations

Copyright © Sat May 16 23:35:31 2009 by Michael Ley (ley@uni-trier.de)