Abstract is missing.
- The Role of Quantitative Models in Building Scalable Cloud InfrastructuresJoseph L. Hellerstein. 3 [doi]
- Model Checking Multivariate State RewardsBo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson. 7-16 [doi]
- Information Hiding in Probabilistic Concurrent SystemsMiguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova. 17-26 [doi]
- Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic SystemsRalf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Catuscia Dhama, Oliver E. Theel. 27-36 [doi]
- DTMC Model Checking by SCC ReductionErika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. 37-46 [doi]
- A Phase-Type Representation for the Queue Length Distribution of a Semi-Markovian QueueBenny Van Houdt. 49-58 [doi]
- A Prediction Model for Software Performance in Symmetric Multiprocessing EnvironmentsJens Happe, Henning Groenda, Michael Hauck, Ralf H. Reussner. 59-68 [doi]
- An Evaluation of Entropy Based Approaches to Alert Detection in High Performance Cluster LogsAdetokunbo Makanju, A. Nur Zincir-Heywood, Evangelos E. Milios. 69-78 [doi]
- DSPN-Tool: A New DSPN and GSPN Solver for GreatSPNElvio Gilberto Amparore, Susanna Donatelli. 79-80 [doi]
- A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMCAna Busic, Jean-Michel Fourneau. 81-82 [doi]
- PSI2: Envelope Perfect Sampling of Non Monotone SystemsAna Busic, Bruno Gaujal, Gaël Gorgo, Jean-Marc Vincent. 83-84 [doi]
- ProFiDo - The Processes Fitting Toolkit DortmundFalko Bause, Peter Buchholz, Jan Kriege. 87-96 [doi]
- Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal ProcessesFalko Bause, Gábor Horváth. 97-106 [doi]
- Canonical Form Based MAP(2) FittingLevente Bodrog, Peter Buchholz, Jan Kriege, Miklós Telek. 107-116 [doi]
- Reflections on the Numerical Solution of Markov ChainsWilliam J. Stewart. 119 [doi]
- Compositional Design Methodology with Constraint Markov ChainsBenoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. 123-132 [doi]
- Compositional Verification of Probabilistic Systems Using LearningLu Feng, Marta Z. Kwiatkowska, David Parker. 133-142 [doi]
- Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware DesignsJayanand Asok Kumar, Shobha Vasudevan. 143-152 [doi]
- MC4CSLTA: An Efficient Model Checking Tool for CSLTAElvio Gilberto Amparore, Susanna Donatelli. 153-154 [doi]
- Abstraction and Model Checking in the PEPA Plug-In for EclipseMichael J. A. Smith. 155-156 [doi]
- Model Checking Randomized Algorithms with Java PathFinderXin Zhang, Franck van Breugel. 157-158 [doi]
- p-Automata: New Foundations for Discrete-Time Probabilistic VerificationMichael Huth, Nir Piterman, Daniel Wagner. 161-170 [doi]
- The Measurable Space of Stochastic ProcessesLuca Cardelli, Radu Mardare. 171-180 [doi]
- Hybrid Semantics for PEPALuca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone. 181-190 [doi]
- AWPS - Simulation Based Automated Web Performance Analysis and PredictionMartin Pinzger 0002, Gabriele Kotsis. 191-192 [doi]
- SABRE: A Tool for Stochastic Analysis of Biochemical Reaction NetworksFrédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf. 193-194 [doi]
- Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarYJunaid Babar, Andrew S. Miner. 195-196 [doi]
- Reasoning about MDPs as Transformers of Probability DistributionsVijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, Youngmin Kwon. 199-208 [doi]
- Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision ProcessesMartin R. Neuhäußer, Lijun Zhang. 209-218 [doi]
- Timed Branching ProcessesAshutosh Trivedi, Dominik Wojtczak. 219-228 [doi]
- Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State ClassesAndrás Horváth, Lorenzo Ridi, Enrico Vicario. 231-240 [doi]
- Automating the Mean-Field Method for Large Dynamic Gossip NetworksRena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort. 241-250 [doi]
- Rare Event Simulation for Highly Dependable Systems with Fast RepairsDaniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort. 251-260 [doi]
- Quantifying OpacityBéatrice Bérard, John Mullins, Mathieu Sassolas. 263-272 [doi]
- Fortuna: Model Checking Priced Probabilistic Timed AutomataJasper Berendsen, David N. Jansen, Frits W. Vaandrager. 273-281 [doi]
- Searching for Heavy Tails in Web Robot TrafficDerek Doran, Swapna S. Gokhale. 282-291 [doi]
- On the Theory of Stochastic ProcessorsParasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar, Dean Glazeski. 292-301 [doi]
- From Systems to Components: Constructive Methods for Product-Form SolutionsAndrea Marin, Maria Grazia Vigliotti. 305 [doi]
- Quantitative Evaluation of Security MetricsWilliam H. Sanders. 306 [doi]
- Scalable Differential Analysis of Large Process Algebra ModelsMirco Tribastone. 307 [doi]
- Reliability ModelsLawrence Leemis. 308 [doi]