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
Paola Quaglia , University of Trento
Davide Prandi , University of Trento
Pierpaolo Degano , University of Pisa, Italy
Linda Brodo , University of Sassari
Corrado Priami , University of Trento
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)

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

Toward Picture-perfect Streaming on the Internet (Abstract)

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

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

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

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

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

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

Eleftheria Athanasopoulou , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
Purvesh Thakker , 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)

P. Buchholz , Universitat Dortmund
M. Telek , Technical University of Budapest
G. Horvath , Technical University of Budapest
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)

Kousha Etessami , University of Edinburgh
Mihalis Yannakakis , Columbia University
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)

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

Workload Propagation - Overload in Bursty Servers (Abstract)

Erik Riedel , Seagate Research, Pittsburgh, P
Qi Zhang , College of William and Mary Williamsburg, VA
Alma Riska , Seagate Research, PA
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)

Gul Agha , University of Illinois at Urbana-Champaign
YoungMin Kwon , 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)

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

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

Mahesh Viswanathan , University of Illinois at Urbana Champaign
Gul Agha , University of Illinois at Urbana Champaign
Koushik Sen , 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)

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

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

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

Author Index (PDF)

pp. 261
108 ms
(Ver )