Abstract is missing.
- Uniting Academic Achievements on Performance Analysis with Industrial NeedsBart D. Theelen, Jozef Hooman. 3-18 [doi]
- Stochastic Modeling for Performance Evaluation of Database Replication ProtocolsPeter T. Popov, Kizito Salako, Vladimir Stankovic. 21-37 [doi]
- A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted LivingLaura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario. 38-53 [doi]
- Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game TheoryFarshad Shams, Mirco Tribastone. 54-69 [doi]
- PCA-Based Method for Detecting Integrity Attacks on Advanced Metering InfrastructureVarun Badrinath Krishna, Gabriel A. Weaver, William H. Sanders. 70-85 [doi]
- U-Check: Model Checking and Parameter Synthesis Under UncertaintyLuca Bortolussi, Dimitrios Milios, Guido Sanguinetti. 89-104 [doi]
- mapfit: An R-Based Tool for PH/MAP Parameter EstimationHiroyuki Okamura, Tadashi Dohi. 105-112 [doi]
- A Compression App for Continuous Probability DistributionsMichael Bungert, Holger Hermanns, Reza Pulungan. 113-121 [doi]
- Computing Structural Properties of Symmetric NetsLorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis. 125-140 [doi]
- Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout SynthesisTomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák. 141-159 [doi]
- Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form AnalysesAndrea Marin, Sabina Rossi. 160-175 [doi]
- A Numerical Analysis of Dynamic Fault Trees Based on Stochastic BoundsJean-Michel Fourneau, Nihal Pekergin. 176-191 [doi]
- Quantitative Placement of Services in Hierarchical CloudsAsser N. Tantawi. 195-210 [doi]
- N-Queens Attack DomainsUlya Bayram, Kristin Yvonne Rozier, Eric William Davis Rozier. 211-227 [doi]
- Quantitative Analysis of Consistency in NoSQL Key-Value StoresSi Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer. 228-243 [doi]
- Impact of Policy Design on Workflow Resiliency Computation TimeJohn C. Mace, Charles Morisset, Aad P. A. van Moorsel. 244-259 [doi]
- Perfect Sampling for Multiclass Closed Queueing NetworksAnne Bouillard, Ana Busic, Christelle Rovetta. 263-278 [doi]
- Power and Effectiveness in Queueing SystemsGerardo Rubino. 279-294 [doi]
- A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous DomainYang Gao, Martin Fränzle. 295-311 [doi]
- Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control SystemsPontus Boström, Mikko Heikkilä, Mikko Huova, Marina A. Waldén, Matti Linjama. 312-328 [doi]