Quantitative Evaluation of Systems

1. Front Matter

   Pages I-XVI

   PDF

2. Keynote Presentation

   1. Front Matter

      Pages 1-1

      PDF

   2. Uniting Academic Achievements on Performance Analysis with Industrial Needs

      • Bart Theelen, Jozef Hooman

      Pages 3-18

3. Modelling and Applications

   1. Front Matter

      Pages 19-19

      PDF

   2. Stochastic Modeling for Performance Evaluation of Database Replication Protocols

      • Peter Popov, Kizito Salako, Vladimir Stankovic

      Pages 21-37

   3. A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living

      • Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario

      Pages 38-53

   4. Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory

      • Farshad Shams, Mirco Tribastone

      Pages 54-69

   5. PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure

      • Varun Badrinath Krishna, Gabriel A. Weaver, William H. Sanders

      Pages 70-85

4. Tools

   1. Front Matter

      Pages 87-87

      PDF

   2. U-Check: Model Checking and Parameter Synthesis Under Uncertainty

      • Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

      Pages 89-104

   3. mapfit: An R-Based Tool for PH/MAP Parameter Estimation

      • Hiroyuki Okamura, Tadashi Dohi

      Pages 105-112

   4. A Compression App for Continuous Probability Distributions

      • Michael Bungert, Holger Hermanns, Reza Pulungan

      Pages 113-121

5. Petri Nets, Process Algebra and Fault Trees

   1. Front Matter

      Pages 123-123

      PDF

   2. Computing Structural Properties of Symmetric Nets

      • Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis

      Pages 125-140

   3. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis

      • Tomáš Brázdil, Ľuboš Korenčiak, Jan Krčál, Petr Novotný, Vojtěch Řehák

      Pages 141-159

   4. Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses

      • Andrea Marin, Sabina Rossi

      Pages 160-175

   5. A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds

      • J. M. Fourneau, Nihal Pekergin

      Pages 176-191

6. Applications

   1. Front Matter

      Pages 193-193

      PDF

   2. Quantitative Placement of Services in Hierarchical Clouds

      • Asser N. Tantawi

      Pages 195-210

   3. Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains

      • Ulya Bayram, Kristin Yvonne Rozier, Eric W. D. Rozier

      Pages 211-227

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.

• Automata theory
• Big data
• Domain specific languages
• Formal languages
• Formal methods
• Hardware validation
• Markov processes
• Model checking
• Modeling and simulation
• Models of computation
• Network performance evaluation
• Performance
• Probabilistic representations
• Reliability
• Safety critical systems
• Software system models
• Stochastic modeling
• Theory of computation
• Timed and hybrid models
• Verification

• Universidad de Zaragoza, Zaragoza, Spain

  Javier Campos

• University of Twente, Enschede, The Netherlands

  Boudewijn R. Haverkort

Policies and ethics