QEST 2006:
Riverside,
California,
USA
Third International Conference on the Quantitative Evaluaiton of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA.
IEEE Computer Society 2006, ISBN 0-7695-2665-9 
Introduction
- Message from the General Chair.
- Message from the Program Committee Chairs.
- Technical Program Committee.
- Reviewers.
Invited Talk
- Joseph Y. Halpern:
Causality, Responsibility, and Blame: A Structural-Model Approach.
3-8
Session 1.1:
Measurements
Session 1.2:
Storage Systems
Session 1.3:
Network Models
- Anne Remke, Boudewijn R. Haverkort, Lucia Cloth:
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks.
63-72
- Michele Garetto, Marco Gribaudo:
Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques.
73-82
- Roger Kalden, Boudewijn R. Haverkort:
Measuring and Modeling of Application Flow Length in Commercial GPRS Networks.
83-92
- Ana Busic, Mouad Ben Mamoun, Jean-Michel Fourneau:
Modeling Fiber Delay Loops in an All Optical Switch.
93-102
- Greg Franks, Dorina C. Petriu, C. Murray Woodside, Jing Xu, Peter Tregunno:
Layered Bottlenecks and Their Mitigation.
103-114
Session 1.4:
Tools
- Samuel Kounev, Christofer Dutz, Alejandro P. Buchmann:
QPME - Queueing Petri Net Modeling Environment.
115-116
- Michael Knoke, Armin Zimmermann:
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0.
117-118
- Marco Bertoli, Giuliano Casale, Giuseppe Serazzi:
Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis.
119-120
- Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner:
A PMIF Semantic Validation Tool.
121-122
- Bernard Berthomieu, François Vernadat:
Time Petri Nets Analysis with TINA.
123-124
- Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0.
125-126
- Luigi Sassoli, Enrico Vicario:
Analysis of Real Time Systems through the ORIS Tool.
127-128
- Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet:
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.
129-130
- Frank Ciesinski, Christel Baier:
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.
131-132
- Jose M. Martinez, Boudewijn R. Haverkort:
MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.
133-134
- Peter Kemper, Carsten Tepper:
Traviando - Debugging Simulation Traces with Message Sequence Charts.
135-136
- Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders:
Data Analysis and Visualization within the Möbius Modeling Environment.
137-138
- Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri:
Integration of an MPS Modeling Approach into Mobius.
139-140
- Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, Christos D. Antonopoulos:
PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors.
141-144
Invited Talk
- Pierre L'Ecuyer:
Modeling and Optimization Problems in Contact Centers.
145-156
Session 2.1:
Markov Decision Processes
Session 2.2:
Model Checking
- Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Compositional Quantitative Reasoning.
179-188
- Mouad Ben Mamoun, Nihal Pekergin, Sana Younès:
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions.
189-198
- Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston:
CSL Model Checking for Generalized Stochastic Petri Nets.
199-210
Session 2.3:
Lumpability
Session 2.4:
Markov Models
Invited Talk
- Arif Merchant:
Designing and managing storage systems: issues, techniques, and challenges.
265-268
Session 3.1:
Optimization in Networks
Session 3.2:
Reachability
Session 3.3:
Queuing
Session 3.4:
Server Systems
Copyright © Tue Nov 10 00:06:55 2009
by Michael Ley (ley@uni-trier.de)
