Quantitative Evaluation of Systems

1. Front Matter

   PDF

2. Keynote Presentations

   1. Quantitative Evaluation of Service Dependability in Shared Execution Environments

      • Samuel Kounev

      Pages 1-4

   2. Multi-agent Networked Systems with Adversarial Elements

      • Tamer Başar

      Pages 5-8

3. Kronecker and Product Form Methods

   1. A Structured Solution Approach for Markov Regenerative Processes

      • Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli

      Pages 9-24

   2. Low-Rank Tensor Methods for Communicating Markov Processes

      • Daniel Kressner, Francisco Macedo

      Pages 25-40

4. Hybrid Systems

   1. A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems

      • Luca Bortolussi, Guido Sanguinetti

      Pages 41-56

   2. Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

      • Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate

      Pages 57-73

   3. Finite Abstractions of Stochastic Max-Plus-Linear Systems

      • Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate

      Pages 74-89

5. Mean Field/Population Analysis

   1. Mean Field for Performance Models with Generally-Distributed Timed Transitions

      • Richard A. Hayden, Illés Horváth, Miklós Telek

      Pages 90-105

   2. Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models

      • Luca Bortolussi, Rytis Paškauskas

      Pages 106-121

   3. On Performance of Gossip Communication in a Crowd-Sensing Scenario

      • Marcel C. Guenther, Jeremy T. Bradley

      Pages 122-137

6. Models and Tools

   1. Probabilistic Model Checking of DTMC Models of User Activity Patterns

      • Oana Andrei, Muffy Calder, Matthew Higgs, Mark Girolami

      Pages 138-153

   2. Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks

      • Geert Heijenk, Martijn van Eenennaam, Anne Remke

      Pages 154-169

   3. A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking

      • Elvio Gilberto Amparore

      Pages 170-173

   4. The Octave Queueing Package

      • Moreno Marzolla

      Pages 174-177

7. Simulation

   1. A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs

      • Stéphane Durand, Bruno Gaujal, Florence Perronnin, Jean-Marc Vincent

      Pages 178-193

   2. Modelling Replication in NoSQL Datastores

      • Rasha Osman, Pietro Piazzolla

      Pages 194-209

8. Queueing, Debugging and Tools

   1. On Queues with General Service Demands and Constant Service Capacity

      • Herwig Bruneel, Wouter Rogiest, Joris Walraevens, Sabine Wittevrongel

      Pages 210-225

   2. Simulation Debugging and Visualization in the Möbius Modeling Framework

      • Craig Buchanan, Ken Keefe

      Pages 226-240

   3. Scalar: A Distributed Scalability Analysis Framework

      • Thomas Heyman, Davy Preuveneers, Wouter Joosen

      Pages 241-244

This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model checking.

• Markov processes
• computer networks
• formal languages and automata theory
• formal methods
• hardware validation
• model checking
• models of computation
• performance evaluation
• reliability
• safety critical systems
• simulation
• stochastic model checking
• theory of computation
• theory of probability
• timed and hybrid models
• verification

• School of Computing Science, University of Glasgow, Glasgow, UK

  Gethin Norman

• University of Illinois, Urbana, USA

  William Sanders

Policies and ethics