Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Front Matter....Pages -
Quantitative Evaluation of Service Dependability in Shared Execution Environments....Pages 1-4
Multi-agent Networked Systems with Adversarial Elements....Pages 5-8
A Structured Solution Approach for Markov Regenerative Processes....Pages 9-24
Low-Rank Tensor Methods for Communicating Markov Processes....Pages 25-40
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems....Pages 41-56
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads....Pages 57-73
Finite Abstractions of Stochastic Max-Plus-Linear Systems....Pages 74-89
Mean Field for Performance Models with Generally-Distributed Timed Transitions....Pages 90-105
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models....Pages 106-121
On Performance of Gossip Communication in a Crowd-Sensing Scenario....Pages 122-137
Probabilistic Model Checking of DTMC Models of User Activity Patterns....Pages 138-153
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks....Pages 154-169
A New GreatSPN GUI for GSPN Editing and CSL TA Model Checking....Pages 170-173
The Octave Queueing Package....Pages 174-177
A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs....Pages 178-193
Modelling Replication in NoSQL Datastores....Pages 194-209
On Queues with General Service Demands and Constant Service Capacity....Pages 210-225
Simulation Debugging and Visualization in the Möbius Modeling Framework....Pages 226-240
Scalar: A Distributed Scalability Analysis Framework....Pages 241-244
Non-intrusive Scalable Memory Access Tracer....Pages 245-248
Probabilistic Programming Process Algebra....Pages 249-264
PALOMA: A Process Algebra for Located Markovian Agents....Pages 265-280
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems....Pages 281-296
Continuity Properties of Distances for Markov Processes....Pages 297-312
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata....Pages 313-328
Decidable Problems for Unary PFAs....Pages 329-344
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids....Pages 345-367
Compositionality Results for Quantitative Information Flow....Pages 368-383
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems....Pages 384-387
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains....Pages 388-403
Accelerating Parametric Probabilistic Verification....Pages 404-420
Back Matter....Pages -