QEST 2005: Torino, Italy

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