QEST 2005: Torino, Italy

Introduction

• Message from the General Chair.
  Electronic Edition (link) BibTeX
• Message from the Program Chairs.
  Electronic Edition (link) BibTeX
• Technical Program Committee.
  Electronic Edition (link) BibTeX
• Reviewers.
  Electronic Edition (link) BibTeX

Invited Talk (Pierpaolo Degano)

• Michele Curti, Davide Prandi, Linda Brodo:
  Formal Executable Descriptions of Biological Systems. 2-12
  Electronic Edition (link) BibTeX

Petri Nets and Process Algebras

• Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario:
  Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. 13-22
  Electronic Edition (link) BibTeX
• Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié:
  On the use of exact lumpability in partially symmetricalWell-formed Nets. 23-32
  Electronic Edition (link) BibTeX
• Jane Hillston:
  Fluid Flow Approximation of PEPA models. 33-43
  Electronic Edition (link) BibTeX

Bisimulation and Approximations

• Roberto Segala, Andrea Turrini:
  Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. 44-53
  Electronic Edition (link) BibTeX
• Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup:
  An approximation algorithm for labelled Markov processes: towards realistic approximation. 54-62
  Electronic Edition (link) BibTeX

Invited Talk (Leana Golubchik)

• Alix L. H. Chow, Leana Golubchik, John C. S. Lui:
  Toward Picture-perfect Streaming on the Internet. 63-73
  Electronic Edition (link) BibTeX

Workload Characterization/Measurements

• C. Murray Woodside, Tao Zheng, Marin Litoiu:
  The Use of Optimal Filters to Track Parameters of Performance Models. 74-84
  Electronic Edition (link) BibTeX

Performability

• Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini:
  Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. 85-94
  Electronic Edition (link) BibTeX
• Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders:
  Evaluating the Dependability of a LEO Satellite Network for Scientific Applications. 95-104
  Electronic Edition (link) BibTeX
• Eitan Bachmat:
  On the performance of D-redundant disk systems. 105-113
  Electronic Edition (link) BibTeX

Markovian Models

• András Horváth:
  Steady State Solution for Models with Geometric and Finite Support Activity Duration. 114-123
  Electronic Edition (link) BibTeX
• Gábor Horváth, Miklós Telek, Peter Buchholz:
  A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation. 124-133
  Electronic Edition (link) BibTeX
• Peter Bazan, Reinhard German:
  Approximate Analysis of Stochastic Models by Self-Correcting Aggregation. 134-144
  Electronic Edition (link) BibTeX

Model Checking

• Lucia Cloth, Boudewijn R. Haverkort:
  Model Checking for Survivability. 145-154
  Electronic Edition (link) BibTeX
• Mihalis Yannakakis, Kousha Etessami:
  Checking LTL Properties of Recursive Markov Chains. 155-165
  Electronic Edition (link) BibTeX

Invited Talk (Thomas Sterling)

• Thomas Sterling:
  Challenges to Evaluating Petaflops Systems. 166-167
  Electronic Edition (link) BibTeX

Architecture Measurements/Modeling II

• Qi Zhang, Alma Riska, Erik Riedel:
  Workload Propagation - Overload in Bursty Servers. 179-188
  Electronic Edition (link) BibTeX
• S. Govind, R. Govindarajan:
  Performance Modeling and Architecture Exploration of Network Processors. 189-198
  Electronic Edition (link) BibTeX
• Matthew Curtis-Maury, Tanping Wang:
  Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications. 199-209
  Electronic Edition (link) BibTeX

Markov Chains/Importance Sampling

• Benny Van Houdt, Chris Blondia:
  QBDs with Marked Time Epochs: a Framework for Transient Performance Measures. 210-219
  Electronic Edition (link) BibTeX
• Victor F. Nicola, Tatiana S. Zaburnenko:
  Importance Sampling Simulation of Population Overflow in Two-node Tandem Networks. 220-229
  Electronic Edition (link) BibTeX
• Werner Sandmann:
  On Optimal Importance Sampling for Discrete Time Markov Chains. 230-240
  Electronic Edition (link) BibTeX

Tool Presentations

• Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico:
  NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. 241-242
  Electronic Edition (link) BibTeX
• Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev:
  A Markov Reward Model Checker. 243-244
  Electronic Edition (link) BibTeX
• YoungMin Kwon, Gul A. Agha:
  iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. 245-246
  Electronic Edition (link) BibTeX
• Elena Gómez-Martínez, José Merseguer:
  A Software Performance Engineering Tool based on the UML-SPT. 247-248
  Electronic Edition (link) BibTeX
• G. Rajeshwari, Santonu Sarkar:
  SAM: A Tool for Software Architecture Modeling and Performance Analysis. 249-250
  Electronic Edition (link) BibTeX
• Koushik Sen, Mahesh Viswanathan, Gul A. Agha:
  VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. 251-252
  Electronic Edition (link) BibTeX
• Max Walter, Carsten Trinitis:
  OpenSESAME Simple but Extensive Structured Availability Modeling Environment. 253-254
  Electronic Edition (link) BibTeX
• Marisa Llorens, Javier Oliver:
  MCReNet: a tool for Marked-Controlled Reconfigurable Nets. 255-256
  Electronic Edition (link) BibTeX
• Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis:
  Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. 257-258
  Electronic Edition (link) BibTeX
• Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders:
  The Mobius Modeling Environment: Recent Extensions - 2005. 259-260
  Electronic Edition (link) BibTeX