The Community for Technology Leaders
Quantitative Evaluation of Systems, International Conference on (2006)
Riverside, California
Sept. 11, 2006 to Sept. 14, 2006
ISBN: 0-7695-2665-9
TABLE OF CONTENTS
Introduction
Papers

list-reviewer (PDF)

pp. xv
Invited Talk

Causality, Responsibility, and Blame: A Structural-Model Approach (Abstract)

Joseph Y. Halpern , Cornell University, Ithaca, NY 14853, USA
pp. 3-8
Session 1.1: Measurements

Behavior of Available End-to-end Bandwidth: Non-Parametric Approach (Abstract)

Alexander Chobanyan , Michigan State University East Lansing, MI
Matt Mutka , Michigan State University East Lansing, MI
Shlomo Levental , Michigan State University East Lansing, MI
Ning Xi , Michigan State University East Lansing, MI
pp. 9-18

Continuous Bytecode Instruction Counting for CPU Consumption Estimation (Abstract)

Andrea Camesi , Ecole Polytechnique Federale de Lausanne (EPFL), CH-1015 Lausanne, Switzerland
Jarle Hulaas , Ecole Polytechnique Federale de Lausanne (EPFL), CH-1015 Lausanne, Switzerland
Walter Binder , Ecole Polytechnique Federale de Lausanne (EPFL), CH-1015 Lausanne, Switzerland
pp. 19-30
Session 1.2: Storage Systems

Toolbox for Dimensioning Windows Storage Systems (Abstract)

Jalil Boukhobza , Versailles Saint Quentin University, PRiSM
Claude Timsit , Versailles Saint Quentin University, PRiSM
pp. 31-40

Long-Range Dependence at the Disk Drive Level (Abstract)

Alma Riska , Seagate Research, Pittsburgh, PA
Erik Riedel , Seagate Research, Pittsburgh, PA
pp. 41-50

Rate-Controlled Scheduling of Expired Writes for Volatile Caches (Abstract)

Seetharami R. Seelam , University of Texas at El Paso
Jayaraman Suresh Babu , University of Texas at El Paso
Patricia J. Teller , University of Texas at El Paso
pp. 51-62
Session 1.3: Network Models

Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques (Abstract)

Michele Garetto , Universita di Torino, Italy
Marco Gribaudo , Universita di Torino, Italy
pp. 73-82

Measuring and Modeling of Application Flow Length in Commercial GPRS Networks (Abstract)

Roger Kalden , Ericsson Research, Aachen, Germany
Boudewijn R. Haverkort , University of Twente, The Netherlands
pp. 83-92

Modeling Fiber Delay Loops in an All Optical Switch (Abstract)

Ana Busic , PRiSM, Universite de Versailles Saint-Quentin-en-Yvelines, 78000 Versailles, France
Mouad Ben Mamoun , Universite Mohammed V, B.P. 1014, Rabat, Maroc
Jean-Michel Fourneau , PRiSM, Universite de Versailles Saint-Quentin-en-Yvelines, 78000 Versailles, France
pp. 93-102

Layered Bottlenecks and Their Mitigation (Abstract)

Greg Franks , Carleton University
Dorina Petriu , Carleton University
Murray Woodside , Carleton University
Jing Xu , Carleton University
Peter Tregunno , Alcatel
pp. 103-114
Session 1.4: Tools

QPME - Queueing Petri Net Modeling Environment (Abstract)

Samuel Kounev , University of Cambridge, UK
Christofer Dutz , Darmstadt University of Technology, Germany
Alejandro Buchmann , Darmstadt University of Technology, Germany
pp. 115-116

Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0 (Abstract)

Michael Knoke , Technische Universitat Berlin Institut f¨ur Technische Informatik und Mikroelektronik, Germany
Armin Zimmermann , University Potsdam, Postfach, Germany
pp. 117-118

Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis (Abstract)

Marco Bertoli , Politecnico di Milano - DEI, Milan, Italy
Giuliano Casale , Politecnico di Milano - DEI, Milan, Italy
Giuseppe Serazzi , Politecnico di Milano - DEI, Milan, Italy
pp. 119-120

A PMIF Semantic Validation Tool (Abstract)

Daniel Garcia , Universitat de les Illes Balears, Spain
Catalina M. Llado , Universitat de les Illes Balears, Spain
Connie U. Smith , Performance Engineering Services, New Mexico, 87504-2640 USA
Ramon Puigjaner , Universitat de les Illes Balears, Spain
pp. 121-122

Time Petri Nets Analysis with TINA (Abstract)

Bernard Berthomieu , LAAS / CNRS, France
Francois Vernadat , LAAS / CNRS, France
pp. 123-124

UPPAAL 4.0 (Abstract)

Gerd Behrmann , Aalborg University, Denmark
Alexandre David , Aalborg University, Denmark
Kim G. Larsen , Aalborg University, Denmark
John Hakansson , Uppsala University, Sweden
Paul Pettersson , Uppsala University, Sweden
Wang Yi , Uppsala University, Sweden
Martijn Hendriks , Radboud University Nijmegen, Netherlands
pp. 125-126

Analysis of Real Time Systems through the ORIS Tool (Abstract)

L. Sassoli , Universita di Firenze, Italia
E. Vicario , Universita di Firenze, Italia
pp. 127-128

APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains (Abstract)

Thomas Herault , LRI - U. Paris-Sud, France
Richard Lassaigne , Equipe de Logique - U. Paris VII
Sylvain Peyronnet , LRDE/EPITA
pp. 129-130

LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems (Abstract)

Frank Ciesinski , Universitat Bonn, Institut fur Informatik I, Germany
Christel Baier , Universitat Bonn, Institut fur Informatik I, Germany
pp. 131-132

MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets (Abstract)

Jose M. Martinez , University of Twente, the Netherlands
Boudewijn R. Haverkort , University of Twente, the Netherlands
pp. 133-134

Traviando - Debugging Simulation Traces with Message Sequence Charts (Abstract)

Peter Kemper , College of William and Mary Williamsburg, Virginia 23187-8795, USA
Carsten Tepper , Universitat Dortmund, Germany
pp. 135-136

Data Analysis and Visualization within the M¨obius Modeling Environment (Abstract)

Tod Courtney , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Shravan Gaonkar , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Mark Griffith , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Vinh Lam , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Michael McQuinn , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Eric Rozier , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
William H. Sanders , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
pp. 137-138

Integration of an MPS Modeling Approach into Mobius (Abstract)

Andrea Bondavalli , DSI, Universita di Firenze, Viale Morgagni 65,Firenze, Italy
Silvano Chiaradonna , ISTI-CNR, Via G. Moruzzi 1, 56124 Pisa, Italy
Paolo Lollini , DSI, Universita di Firenze, Viale Morgagni, Italy
Fabrizio Squittieri , DSI, Universita di Firenze, Viale Morgagni, Italy
pp. 139-140
Invited Talk

Modeling and Optimization Problems in Contact Centers (Abstract)

Pierre L'Ecuyer , Universite de Montreal, Canada
pp. 145-156
Session 2.1: Markov Decision Processes

Game-based Abstraction for Markov Decision Processes (Abstract)

Marta Kwiatkowska , University of Birmingham, UK
Gethin Norman , University of Birmingham, UK
David Parker , University of Birmingham, UK
pp. 157-166

Compositional Performability Evaluation for STATEMATE (Abstract)

Eckard Bode , Kuratorium OFFIS e.V., Oldenburg, Germany
Marc Herbstritt , Albert-Ludwigs-University Freiburg im Breisgau, Germany
Holger Hermanns , Saarland University, Saarbr¨ucken, Germany
Sven Johr , Saarland University, Saarbr¨ucken, Germany
Thomas Peikenkamp , Kuratorium OFFIS e.V., Oldenburg, Germany
Reza Pulungan , Saarland University, Saarbr¨ucken, Germany
Ralf Wimmer , Albert-Ludwigs-University Freiburg im Breisgau, Germany
Bernd Becker , Albert-Ludwigs-University Freiburg im Breisgau, Germany
pp. 167-178
Session 2.2: Model Checking

Compositional Quantitative Reasoning (Abstract)

Krishnendu Chatterjee , UC Berkeley
Luca de Alfaro , UC Santa Cruz
Marco Faella , Universita di Napoli Federico II
Thomas A. Henzinger , EPFL and UC Berkeley
Rupak Majumdar , UC Los Angeles
Marielle Stoelinga , University of Twente
pp. 179-188

Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions (Abstract)

Mouad Ben Mamoun , Universite Mohammed V, Rabat, Maroc
Nihal Pekergin , Universite Paris 1, France
Sana Younes , PRiSM, Universite Versailles St Quentin, France
pp. 189-198

CSL Model Checking for Generalized Stochastic Petri Nets (Abstract)

Davide Cerotti , Universita di Torino, 10149 Torino, Italy
Susanna Donatelli , Universita di Torino, 10149 Torino, Italy
Andras Horvath , Universita di Torino, 10149 Torino, Italy
Jeremy Sproston , Universita di Torino, 10149 Torino, Italy
pp. 199-210
Session 2.3: Lumpability

Efficient lumpability check in partially symmetric systems (Abstract)

M. Beccuti , Univ. del Piemonte Orientale Alessandria, Italy
G. Franceschinis , Univ. del Piemonte OrientaleAlessandria, Italy
S. Baarir , LIP6, Univ. Pierre et Marie Curie, France
J-M. Ilie , LIP6, Univ. Pierre et Marie Curie, France
pp. 211-220

Lumping Markov Chains with Silent Steps (Abstract)

Jasen Markovski , Technische Universiteit Eindhoven, Netherlands
Nikola Trcka , Technische Universiteit Eindhoven, Netherlands
pp. 221-232
Session 2.4: Markov Models

Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques (Abstract)

Peter Buchholz , Universitat Dortmund, Germany
Peter Kemper , College of William and Mary, Williamsburg, Virginia 23187-
pp. 233-242

Bound-Preserving Composition for Markov Reward Models (Abstract)

David Daly , IBM T.J. Watson Research Center Yorktown Heights, NY
Peter Buchholz , Universitat Dortmund, Germany
William H. Sanders , University of Illinois at Urbana-Champaign
pp. 243-252

Limiting Behavior of Markov Chains with Eager Attractors (Abstract)

Parosh Aziz Abdulla , Uppsala University, Sweden
Noomene Ben Henda , Uppsala University, Sweden
Richard Mayr , NC State University, USA.
Sven Sandberg , Uppsala University, Sweden
pp. 253-264
Invited Talk

Designing and managing storage systems: issues, techniques, and challenges (PDF)

Arif Merchant , Hewlett-Packard Laboratories, Palo Alto, CA
pp. 265-268
Session 3.1: Optimization in Networks

Optimization of Cache Expiration Dates in Content Networks (Abstract)

Hector Cancela , Universidad de la República, Uruguay
Pablo Rodríguez-Bocca , Universidad de la República, Uruguay
pp. 269-278

Optimal Static Pricing of Reverse-Link DS-CDMA Multiclass Traffic (Abstract)

Yezekael Hayel , IRISMNRIA Rennes Campus de Beaulieu, France
Victor M. Ramos R. , UAM-Iztapalapa, Iztapalapa, Mexico
Bruno Tuffin , IRISMNRIA Rennes Campus de Beaulieu, France
pp. 279-290
Session 3.2: Reachability

Strategy Improvement for Concurrent Reachability Games (Abstract)

Krishnendu Chatterjee , UC Berkeley
Luca de Alfaro , UC Santa Cruz
Thomas A. Henzinger , EPFL and UC Berkeley
pp. 291-300

Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability (Abstract)

Joost-Pieter Katoen , RWTH Aachen, Software Modeling and Verification Group, D-52056 Aachen, Germany
Ivan S. Zapreev , University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands
pp. 301-310

Probably on Time and within BudgetOn Reachability in Priced Probabilistic Timed Automata (Abstract)

Jasper Berendsen , University of Twente, Netherlands
David N. Jansen , University of Twente, Netherlands
Joost-Pieter Katoen , RWTH Aachen Software Modeling and Verification Group Aachen, Germany
pp. 311-322
Session 3.3: Queuing

A tool support for automatic analysis based on the tagged customer approach (Abstract)

Levente Bodrog , Technical University of Budapest, 1521 Budapest, Hungary
Gabor Horvath , Technical University of Budapest, 1521 Budapest, Hungary
Sandor Racz , Technical University of Budapest, 1521 Budapest, Hungary
Miklos Telek , Technical University of Budapest, 1521 Budapest, Hungary
pp. 323-332

On Single-Class Load-Dependent Normalizing Constant Equations (Abstract)

Giuliano Casale , Neptuny R&D,via Durando 10-G I-20158 Milan, Italy
pp. 333-342

Threshold Workload Control in the BMAP/G/1 Queue (Abstract)

Ho Woo Lee , Sungkyunkwan University, Korea
Jung Woo Baek , Sungkyunkwan University, Korea
pp. 353-364
Session 3.4: Server Systems

Identifying Low-ProfileWeb Server's IP Fingerprint (Abstract)

Mengjun Xie , The College of William and Mary Williamsburg, VA
Keywan Tabatabai , The College of William and Mary Williamsburg, VA
Haining Wang , The College of William and Mary Williamsburg, VA
pp. 365-374

The Fast and the Fair: A Fault-Injection-Driven Comparison of Restart Oracles for Reliable Web Services (Abstract)

Philipp Reinecke , Institut fur Informatik Berlin, Germany
Aad P. A. van Moorsel , University of Newcastle upon Tyne, U.K.
Katinka Wolter , Institut fur Informatik Berlin, Germany
pp. 375-384

Load Balancing for Performance Differentiation in Dual-Priority Clustered Servers (Abstract)

Ningfang Mi , College of William and Mary Williamsburg, VA
Qi Zhang , College of William and Mary Williamsburg, VA
Alma Riska , Seagate Research, Pittsburgh, PA
Evgenia Smirni , College of William and Mary Williamsburg, VA
pp. 385-394
Author Index

Author Index (PDF)

pp. 395
85 ms
(Ver 3.3 (11022016))