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 BibTeX
Introduction
Invited Talk
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
Electronic Edition (link) BibTeX
- Michele Garetto, Marco Gribaudo:
Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques.
73-82
Electronic Edition (link) BibTeX
- Roger Kalden, Boudewijn R. Haverkort:
Measuring and Modeling of Application Flow Length in Commercial GPRS Networks.
83-92
Electronic Edition (link) BibTeX
- Ana Busic, Mouad Ben Mamoun, Jean-Michel Fourneau:
Modeling Fiber Delay Loops in an All Optical Switch.
93-102
Electronic Edition (link) BibTeX
- Greg Franks, Dorina C. Petriu, C. Murray Woodside, Jing Xu, Peter Tregunno:
Layered Bottlenecks and Their Mitigation.
103-114
Electronic Edition (link) BibTeX
Session 1.4:
Tools
- Samuel Kounev, Christofer Dutz, Alejandro P. Buchmann:
QPME - Queueing Petri Net Modeling Environment.
115-116
Electronic Edition (link) BibTeX
- Michael Knoke, Armin Zimmermann:
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0.
117-118
Electronic Edition (link) BibTeX
- Marco Bertoli, Giuliano Casale, Giuseppe Serazzi:
Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis.
119-120
Electronic Edition (link) BibTeX
- Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner:
A PMIF Semantic Validation Tool.
121-122
Electronic Edition (link) BibTeX
- Bernard Berthomieu, François Vernadat:
Time Petri Nets Analysis with TINA.
123-124
Electronic Edition (link) BibTeX
- Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0.
125-126
Electronic Edition (link) BibTeX
- Luigi Sassoli, Enrico Vicario:
Analysis of Real Time Systems through the ORIS Tool.
127-128
Electronic Edition (link) BibTeX
- Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet:
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.
129-130
Electronic Edition (link) BibTeX
- Frank Ciesinski, Christel Baier:
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.
131-132
Electronic Edition (link) BibTeX
- Jose M. Martinez, Boudewijn R. Haverkort:
MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.
133-134
Electronic Edition (link) BibTeX
- Peter Kemper, Carsten Tepper:
Traviando - Debugging Simulation Traces with Message Sequence Charts.
135-136
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri:
Integration of an MPS Modeling Approach into Mobius.
139-140
Electronic Edition (link) BibTeX
- Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, Christos D. Antonopoulos:
PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors.
141-144
Electronic Edition (link) BibTeX
Invited Talk
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
Electronic Edition (link) BibTeX
- Mouad Ben Mamoun, Nihal Pekergin, Sana Younès:
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions.
189-198
Electronic Edition (link) BibTeX
- Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston:
CSL Model Checking for Generalized Stochastic Petri Nets.
199-210
Electronic Edition (link) BibTeX
Session 2.3:
Lumpability
Session 2.4:
Markov Models
Invited Talk
Session 3.1:
Optimization in Networks
Session 3.2:
Reachability
Session 3.3:
Queuing
Session 3.4:
Server Systems
Copyright © Sat May 16 23:35:31 2009
by Michael Ley (ley@uni-trier.de)
