Searching...
Advanced Search
Q
QEST
2010
2010 Seventh International Conference on the Quantitative Evaluation of Systems
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
2010 Seventh International Conference on the Quantitative Evaluation of Systems
Williamsburg, VA, USA
September 15-September 18
ISBN: 978-0-7695-4188-4
Table of Contents
Papers
[Front cover]
(PDF)
pp. C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
[Copyright notice]
(PDF)
pp. iv
ABSTRACT
PDF
Table of contents
(PDF)
pp. v-viii
ABSTRACT
PDF
Message from the General Co-chairs
(PDF)
pp. ix
ABSTRACT
PDF
Message from the Program Committee Co-chairs
(PDF)
pp. x-xi
ABSTRACT
PDF
Chairs and Committees
(PDF)
pp. xii
ABSTRACT
PDF
Technical Program Committee
(PDF)
pp. xiii-xiii
ABSTRACT
PDF
External reviewers
(PDF)
pp. xiv
ABSTRACT
PDF
The Role of Quantitative Models in Building Scalable Cloud Infrastructures
(Abstract)
Joseph L. Hellerstein
pp. 3
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Model Checking Multivariate State Rewards
(Abstract)
Bo Friis Nielsen
Flemming Nielson
Hanne Riis Nielson
pp. 7-16
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Information Hiding in Probabilistic Concurrent Systems
(Abstract)
Miguel E. Andrés
Catuscia Palamidessi
Peter van Rossum
Ana Sokolova
pp. 17-26
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
(Abstract)
Ralf Wimmer
Bettina Braitling
Bernd Becker
Ernst Moritz Hahn
Pepijn Crouzen
Holger Hermanns
Abhishek Dhama
Oliver Theel
pp. 27-36
ABSTRACT
PDF
PURCHASE ARTICLE: $19
DTMC Model Checking by SCC Reduction
(Abstract)
Erika Ábrahám
Nils Jansen
Ralf Wimmer
Joost-Pieter Katoen
Bernd Becker
pp. 37-46
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Phase-Type Representation for the Queue Length Distribution of a Semi-Markovian Queue
(Abstract)
Benny Van Houdt
pp. 49-58
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Prediction Model for Software Performance in Symmetric Multiprocessing Environments
(Abstract)
Jens Happe
Henning Groenda
Michael Hauck
Ralf H. Reussner
pp. 59-68
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Evaluation of Entropy Based Approaches to Alert Detection in High Performance Cluster Logs
(Abstract)
Adetokunbo Makanju
A. Nur Zincir-Heywood
Evangelos E. Milios
pp. 69-78
ABSTRACT
PDF
PURCHASE ARTICLE: $19
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN
(Abstract)
Elvio Amparore Gilberto
Susanna Donatelli
pp. 79-80
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC
(Abstract)
Ana Bušic
J. M. Fourneau
pp. 81-82
ABSTRACT
PDF
PURCHASE ARTICLE: $19
PSI2: Envelope Perfect Sampling of Non Monotone Systems
(Abstract)
Ana Bušic
Bruno Gaujal
Gaël Gorgo
Jean-Marc Vincent
pp. 83-84
ABSTRACT
PDF
PURCHASE ARTICLE: $19
ProFiDo - The Processes Fitting Toolkit Dortmund
(Abstract)
Falko Bause
Peter Buchholz
Jan Kriege
pp. 87-96
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes
(Abstract)
Falko Bause
Gábor Horváth
pp. 97-106
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Canonical Form Based MAP(2) Fitting
(Abstract)
Levente Bodrog
Peter Buchholz
Jan Kriege
Miklós Telek
pp. 107-116
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Reflections on the Numerical Solution of Markov Chains
(Abstract)
William J. Stewart
pp. 119
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Compositional Design Methodology with Constraint Markov Chains
(Abstract)
Benoît Caillaud
Benoît Delahaye
Kim G. Larsen
Axel Legay
Mikkel L. Pedersen
Andrzej Wasowski
pp. 123-132
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Compositional Verification of Probabilistic Systems Using Learning
(Abstract)
Lu Feng
Marta Kwiatkowska
David Parker
pp. 133-142
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
(Abstract)
Jayanand Asok Kumar
Shobha Vasudevan
pp. 143-152
ABSTRACT
PDF
PURCHASE ARTICLE: $19
MC4CSLTA: An Efficient Model Checking Tool for CSLTA
(Abstract)
Elvio Amparore Gilberto
Susanna Donatelli
pp. 153-154
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Abstraction and Model Checking in the PEPA Plug-In for Eclipse
(Abstract)
Michael J. A. Smith
pp. 155-156
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Model Checking Randomized Algorithms with Java PathFinder
(Abstract)
Xin Zhang
Franck van Breugel
pp. 157-158
ABSTRACT
PDF
PURCHASE ARTICLE: $19
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
(Abstract)
Michael Huth
Nir Piterman
Daniel Wagner
pp. 161-170
ABSTRACT
PDF
PURCHASE ARTICLE: $19
The Measurable Space of Stochastic Processes
(Abstract)
Luca Cardelli
Radu Mardare
pp. 171-180
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Hybrid Semantics for PEPA
(Abstract)
Luca Bortolussi
Vashti Galpin
Jane Hillston
Mirco Tribastone
pp. 181-190
ABSTRACT
PDF
PURCHASE ARTICLE: $19
AWPS - Simulation Based Automated Web Performance Analysis and Prediction
(Abstract)
Martin Pinzger
Gabriele Kotsis
pp. 191-192
ABSTRACT
PDF
PURCHASE ARTICLE: $19
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks
(Abstract)
Frederic Didier
Thomas A. Henzinger
Maria Mateescu
Verena Wolf
pp. 193-194
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY
(Abstract)
Junaid Babar
Andrew Miner
pp. 195-196
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Reasoning about MDPs as Transformers of Probability Distributions
(Abstract)
Vijay Anand Korthikanti
Mahesh Viswanathan
Gul Agha
YoungMin Kwon
pp. 199-208
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes
(Abstract)
Martin R. Neuhäußer
Lijun Zhang
pp. 209-218
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Timed Branching Processes
(Abstract)
Ashutosh Trivedi
Dominik Wojtczak
pp. 219-228
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes
(Abstract)
András Horváth
Lorenzo Ridi
Enrico Vicario
pp. 231-240
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Automating the Mean-Field Method for Large Dynamic Gossip Networks
(Abstract)
Rena Bakhshi
Jörg Endrullis
Stefan Endrullis
Wan Fokkink
Boudewijn Haverkort
pp. 241-250
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Rare Event Simulation for Highly Dependable Systems with Fast Repairs
(Abstract)
Daniël Reijsbergen
Pieter-Tjerk de Boer
Werner Scheinhardt
Boudewijn Haverkort
pp. 251-260
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Quantifying Opacity
(Abstract)
Béatrice Bérard
John Mullins
Mathieu Sassolas
pp. 263-272
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Fortuna: Model Checking Priced Probabilistic Timed Automata
(Abstract)
Jasper Berendsen
David N. Jansen
Frits Vaandrager
pp. 273-281
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Searching for Heavy Tails in Web Robot Traffic
(Abstract)
Derek Doran
Swapna S. Gokhale
pp. 282-291
ABSTRACT
PDF
PURCHASE ARTICLE: $19
On the Theory of Stochastic Processors
(Abstract)
Parasara Sridhar Duggirala
Sayan Mitra
Rakesh Kumar
Dean Glazeski
pp. 292-301
ABSTRACT
PDF
PURCHASE ARTICLE: $19
From Systems to Components: Constructive Methods for Product-Form Solutions
(Abstract)
Andrea Marin
Maria Grazia Vigliotti
pp. 305
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Quantitative Evaluation of Security Metrics
(Abstract)
William H. Sanders
pp. 306
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Scalable Differential Analysis of Large Process Algebra Models
(Abstract)
Mirco Tribastone
pp. 307
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Reliability Models
(Abstract)
Larry Leemis
pp. 308
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 309-310
ABSTRACT
PDF
[Publisher's information]
(PDF)
pp. 312
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
