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)

Shlomo Levental , Michigan State University East Lansing, MI
Matt Mutka , Michigan State University East Lansing, MI
Alexander Chobanyan , 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)

Walter Binder , Ecole Polytechnique Federale de Lausanne (EPFL), CH-1015 Lausanne, Switzerland
Jarle Hulaas , Ecole Polytechnique Federale de Lausanne (EPFL), CH-1015 Lausanne, Switzerland
Andrea Camesi , 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)

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

UPPAAL 4.0 (Abstract)

pp. 125-126
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)

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

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

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

Layered Bottlenecks and Their Mitigation (Abstract)

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

QPME - Queueing Petri Net Modeling Environment (Abstract)

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

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

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

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

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

A PMIF Semantic Validation Tool (Abstract)

Catalina M. Llado , Universitat de les Illes Balears, Spain
Daniel Garcia , 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)

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

UPPAAL 4.0 (Abstract)

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

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

E. Vicario , Universita di Firenze, Italia
L. Sassoli , 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
Sylvain Peyronnet , LRDE/EPITA
Richard Lassaigne , Equipe de Logique - U. Paris VII
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)

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.
Tod Courtney , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Vinh Lam , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Mark Griffith , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Shravan Gaonkar , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Michael McQuinn , University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
pp. 137-138

Integration of an MPS Modeling Approach into Mobius (Abstract)

Silvano Chiaradonna , ISTI-CNR, Via G. Moruzzi 1, 56124 Pisa, Italy
Fabrizio Squittieri , DSI, Universita di Firenze, Viale Morgagni, Italy
Andrea Bondavalli , DSI, Universita di Firenze, Viale Morgagni 65,Firenze, Italy
Paolo Lollini , 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)

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

Compositional Performability Evaluation for STATEMATE (Abstract)

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

Compositional Quantitative Reasoning (Abstract)

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

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

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

CSL Model Checking for Generalized Stochastic Petri Nets (Abstract)

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

Efficient lumpability check in partially symmetric systems (Abstract)

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

Lumping Markov Chains with Silent Steps (Abstract)

Nikola Trcka , Technische Universiteit Eindhoven, Netherlands
Jasen Markovski , 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)

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

Limiting Behavior of Markov Chains with Eager Attractors (Abstract)

Sven Sandberg , Uppsala University, Sweden
Noomene Ben Henda , Uppsala University, Sweden
Richard Mayr , NC State University, USA.
Parosh Aziz Abdulla , 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
Bruno Tuffin , IRISMNRIA Rennes Campus de Beaulieu, France
Victor M. Ramos R. , UAM-Iztapalapa, Iztapalapa, Mexico
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)

Gabor Horvath , Technical University of Budapest, 1521 Budapest, Hungary
Miklos Telek , Technical University of Budapest, 1521 Budapest, Hungary
Sandor Racz , Technical University of Budapest, 1521 Budapest, Hungary
Levente Bodrog , 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)

Keywan Tabatabai , The College of William and Mary Williamsburg, VA
Haining Wang , The College of William and Mary Williamsburg, VA
Mengjun Xie , 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
Katinka Wolter , Institut fur Informatik Berlin, Germany
Aad P. A. van Moorsel , University of Newcastle upon Tyne, U.K.
pp. 375-384

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

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

Author Index (PDF)

pp. 395
82 ms
(Ver )