QEST 2010: Williamsburg, Virginia, USA

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, 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

• 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 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
  

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