The Community for Technology Leaders
Quantitative Evaluation of Systems, International Conference on (2005)
Torino, Italy
Sept. 19, 2005 to Sept. 22, 2005
ISBN: 0-7695-2427-3
TABLE OF CONTENTS
Papers
Invited Talk (Pierpaolo Degano)

Formal Executable Descriptions of Biological Systems (Abstract)

Michele Curti , University of Pisa, Italy
Pierpaolo Degano , University of Pisa, Italy
Davide Prandi , University of Trento
Corrado Priami , University of Trento
Paola Quaglia , University of Trento
Linda Brodo , University of Sassari
pp. 2-12
Petri Nets and Process Algebras

On the use of exact lumpability in partially symmetricalWell-formed Nets (Abstract)

S. Baarir , LIP6, Universite Paris, France
C. Dutheillet , LIP6, Universite Paris, France
S. Haddad , LAMSADE, Universite Paris 9 , France
J.M. Ilie , LIP6 and IUT Paris5, France
pp. 23-32

Fluid Flow Approximation of PEPA models (Abstract)

J. Hillston , University of Edinburgh, UK
pp. 33-43
Bisimulation and Approximations

An approximation algorithm for labelled Markov processes: towards realistic approximation (Abstract)

Alexandre Bouchard-Cote , McGill University Montreal, Quebec, Canada
Norm Ferns , McGill University Montreal, Quebec, Canada
Prakash Panangaden, , McGill University Montreal, Quebec, Canada
Doina Precup , McGill University Montreal, Quebec, Canada
pp. 54-62
Invited Talk (Leana Golubchik)

Toward Picture-perfect Streaming on the Internet (Abstract)

Alix L.H. Chow , Univ. of Southern California
Leana Golubchik , CS and EE-Systems Depts, IMSC, ISI Univ. of Southern California
John C.S. Lui , Chinese Univ. of Hong Kong
pp. 63-73
Workload Characterization/Measurements

The Use of Optimal Filters to Track Parameters of Performance Models (Abstract)

Murray Woodside , Carleton University, Ottawa, Canada
Tao Zheng , Carleton University, Ottawa, Canada
Marin Litoiu , IBM Toronto Lab Canada
pp. 74-84
Performability

Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework (Abstract)

Gribaudo Marco , Universita di Torino, Italy
Moscato Francesco , Universita di Napoli, Italy
Nicola Mazzocca , Universita di Napoli, Italy
Valeria Vittorini , Universita di Napoli, Italy
pp. 85-94

Evaluating the Dependability of a LEO Satellite Network for Scientific Applications (Abstract)

Eleftheria Athanasopoulou , University of Illinois at Urbana-Champaign
Purvesh Thakker , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
pp. 95-104
Markovian Models

A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation (Abstract)

G. Horvath , Technical University of Budapest
M. Telek , Technical University of Budapest
P. Buchholz , Universitat Dortmund
pp. 124-133

Approximate Analysis of Stochastic Models by Self-Correcting Aggregation (Abstract)

Peter Bazan , Friedrich-Alexander University Erlangen-Nurnberg, Germany
Reinhard German , Friedrich-Alexander University Erlangen-Nurnberg, Germany
pp. 134-144
Model Checking

Model Checking for Survivability (Abstract)

Lucia Cloth , University of Twente
Boudewijn R. Haverkort , University of Twente
pp. 145-154

Checking LTL Properties of Recursive Markov Chains (Abstract)

Mihalis Yannakakis , Columbia University
Kousha Etessami , University of Edinburgh
pp. 155-165
Invited Talk (Thomas Sterling)

Challenges to Evaluating Petaflops Systems (PDF)

Thomas Sterling , California Institute of Technology
pp. 166-167
Architecture Measurements/Modeling I

X-Ray: A Tool for Automatic Measurement of Hardware Parameters (Abstract)

Kamen Yotov , Cornell University, Ithaca, NY
Keshav Pingali , Cornell University, Ithaca, NY
Paul Stodghill , Cornell University, Ithaca, NY
pp. 168-178
Architecture Measurements/Modeling II

Workload Propagation - Overload in Bursty Servers (Abstract)

Qi Zhang , College of William and Mary Williamsburg, VA
Alma Riska , Seagate Research, PA
Erik Riedel , Seagate Research, Pittsburgh, P
pp. 179-188

Performance Modeling and Architecture Exploration of Network Processors (Abstract)

S. Govind , Indian Institute of Science Bangalore, India
R. Govindarajan , Indian Institute of Science Bangalore, India
pp. 189-198

Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications (Abstract)

Matthew Curtis-Maury , College of William and Mary, Williamsburg, VA
Tanping Wang, , College of William and Mary, Williamsburg, VA
pp. 199-209
Markov Chains/Importance Sampling

QBDs with Marked Time Epochs: a Framework for Transient Performance Measures (Abstract)

B. Van Houdt , University of Antwerp, Belgium
C. Blondia , University of Antwerp, Belgium
pp. 210-219

Importance Sampling Simulation of Population Overflow in Two-node Tandem Networks (Abstract)

Victor F. Nicola , University of Twente, Enschede, The Netherlands
Tatiana S. Zaburnenko , University of Twente, Enschede, The Netherlands
pp. 220-229

On Optimal Importance Sampling for Discrete Time Markov Chains (Abstract)

Werner Sandmann , Universitat Bamberg Feldkirchenstr
pp. 230-240
Tool Presentations

NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms (Abstract)

Lorenzo Falai , University of Florence, Italy
Andrea Bondavalli , University of Florence, Italy
Felicita Di Giandomenico , CNR, ISTI Institute, Pisa, Italy
pp. 241-242

A Markov Reward Model Checker (Abstract)

Joost-Pieter Katoen , RWTH Aachen, , Germany
Maneesh Khattri , University of Twente, Netherlands
Ivan S. Zapreev , University of Twente, Netherlands
pp. 243-244

iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs (Abstract)

YoungMin Kwon , University of Illinois at Urbana-Champaign
Gul Agha , University of Illinois at Urbana-Champaign
pp. 245-246

A Software Performance Engineering Tool based on the UML-SPT (Abstract)

Elena Gomez-Martinez , Universidad de Zaragoza, Spain
Jose Merseguer , Universidad de Zaragoza, Spain
pp. 247-248

SAM: A Tool for Software Architecture Modeling and Performance Analysis (Abstract)

G Rajeshwari , Infosys Technologies Ltd
Santonu Sarkar , Infosys Technologies Ltd
pp. 249-250

VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems (Abstract)

Koushik Sen , University of Illinois at Urbana Champaign
Mahesh Viswanathan , University of Illinois at Urbana Champaign
Gul Agha , University of Illinois at Urbana Champaign
pp. 251-252

OpenSESAME Simple but Extensive Structured Availability Modeling Environment (Abstract)

Max Walter , Universitat Munchen, Lehrstuhl fur Rechnertechnik, Germany
Carsten Trinitis , Universitat Munchen, Lehrstuhl fur Rechnertechnik, Germany
pp. 253-254

MCReNet: a tool for Marked-Controlled Reconfigurable Nets (Abstract)

Marisa Llorens , Universidad Politecnica de Valencia (UPV), Spain
Javier Oliver , Universidad Politecnica de Valencia (UPV), Spain
pp. 255-256

Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems (Abstract)

Marco Gribaudo , Univ. di Torino, Italy
Daniele Codetta-Raiteri , Univ. di Torino, Italy
Giuliana Franceschinis , Univ. del Piemonte Orientale, Italy
pp. 257-258

The Mobius Modeling Environment: Recent Extensions - 2005 (Abstract)

Tod Courtney , University of Illinois at Urbana-Champaign
Salem Derisavi , University of Illinois at Urbana-Champaign
Shravan Gaonkar , University of Illinois at Urbana-Champaign
Mark Griffith , University of Illinois at Urbana-Champaign
Vinh Lam , University of Illinois at Urbana-Champaign
Michael McQuinn , University of Illinois at Urbana-Champaign
Eric Rozier , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
pp. 259-260
Author Index

Author Index (PDF)

pp. 261
86 ms
(Ver 3.3 (11022016))