default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQEST 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
- Joseph L. Hellerstein:
The Role of Quantitative Models in Building Scalable Cloud Infrastructures. 3
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, 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
- Falko Bause, Peter Buchholz, Jan Kriege:
ProFiDo - The Processes Fitting Toolkit Dortmund. 87-96 - Falko Bause, Gábor Horváth:
Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes. 97-106 - Levente Bodrog, Peter Buchholz, Jan Kriege, Miklós Telek:
Canonical Form Based MAP(2) Fitting. 107-116
Invited Talk
- William J. Stewart:
Reflections on the Numerical Solution of Markov Chains. 119
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
- Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon:
Reasoning about MDPs as Transformers of Probability Distributions. 199-208 - Martin R. Neuhäußer, Lijun Zhang:
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes. 209-218 - Ashutosh Trivedi, Dominik Wojtczak:
Timed Branching Processes. 219-228
Solution Techniques
- András Horváth, Lorenzo Ridi, Enrico Vicario:
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. 231-240 - Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan J. Fokkink, Boudewijn R. Haverkort:
Automating the Mean-Field Method for Large Dynamic Gossip Networks. 241-250 - Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort:
Rare Event Simulation for Highly Dependable Systems with Fast Repairs. 251-260
Applications 1
- Béatrice Bérard, John Mullins, Mathieu Sassolas:
Quantifying Opacity. 263-272 - Jasper Berendsen, David N. Jansen, Frits W. Vaandrager:
Fortuna: Model Checking Priced Probabilistic Timed Automata. 273-281 - Derek Doran, Swapna S. Gokhale:
Searching for Heavy Tails in Web Robot Traffic. 282-291 - Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar, Dean Glazeski:
On the Theory of Stochastic Processors. 292-301
Tutorials
- Andrea Marin, Maria Grazia Vigliotti:
From Systems to Components: Constructive Methods for Product-Form Solutions. 305 - William H. Sanders:
Quantitative Evaluation of Security Metrics. 306 - Mirco Tribastone:
Scalable Differential Analysis of Large Process Algebra Models. 307 - Lawrence Leemis:
Reliability Models. 308
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
