QEST 2010:
Williamsburg, Virginia, USA
QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010.
IEEE Computer Society 2010, ISBN 978-0-7695-4188-4
Invited Talk
Probabilistic Model Checking
- Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson:
Model Checking Multivariate State Rewards.
7-16

- Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova:
Information Hiding in Probabilistic Concurrent Systems.
17-26

- Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel:
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.
27-36

- Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
DTMC Model Checking by SCC Reduction.
37-46

Performance Evaluation and Queuing Theory
- Benny Van Houdt:
A Phase-Type Representation for the Queue Length Distribution of a Semi-Markovian Queue.
49-58

- Jens Happe, Henning Groenda, Michael Hauck, Ralf H. Reussner:
A Prediction Model for Software Performance in Symmetric Multiprocessing Environments.
59-68

- Adetokunbo Makanju, A. Nur Zincir-Heywood, Evangelos E. Milios:
An Evaluation of Entropy Based Approaches to Alert Detection in High Performance Cluster Logs.
69-78

- Elvio Gilberto Amparore, Susanna Donatelli:
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN.
79-80

- Ana Busic, Jean-Michel Fourneau:
A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC.
81-82

- Ana Busic, Bruno Gaujal, Gaël Gorgo, Jean-Marc Vincent:
PSI2: Envelope Perfect Sampling of Non Monotone Systems.
83-84

Distribution Fitting
Invited Talk
Compositional Probabilistic Model Checking
- Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Compositional Design Methodology with Constraint Markov Chains.
123-132

- Lu Feng, Marta Z. Kwiatkowska, David Parker:
Compositional Verification of Probabilistic Systems Using Learning.
133-142

- Jayanand Asok Kumar, Shobha Vasudevan:
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs.
143-152

- Elvio Gilberto Amparore, Susanna Donatelli:
MC4CSLTA: An Efficient Model Checking Tool for CSLTA.
153-154

- Michael J. A. Smith:
Abstraction and Model Checking in the PEPA Plug-In for Eclipse.
155-156

- Xin Zhang, Franck van Breugel:
Model Checking Randomized Algorithms with Java PathFinder.
157-158

Foundations
- Michael Huth, Nir Piterman, Daniel Wagner:
p-Automata: New Foundations for Discrete-Time Probabilistic Verification.
161-170

- Luca Cardelli, Radu Mardare:
The Measurable Space of Stochastic Processes.
171-180

- Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone:
Hybrid Semantics for PEPA.
181-190

- Martin Pinzger, Gabriele Kotsis:
AWPS - Simulation Based Automated Web Performance Analysis and Prediction.
191-192

- Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.
193-194

- Junaid Babar, Andrew S. Miner:
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY.
195-196

Markov Decision Processes
Solution Techniques
Applications 1
Tutorials
Last update Sat May 18 19:37:33 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page