Computer Performance Engineering

1. Front Matter

   Pages I-XVI

   PDF

2. Advances in Markov Models

   1. Front Matter

      Pages 1-1

      PDF

   2. Analysis of Markov Decision Processes Under Parameter Uncertainty

      • Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch

      Pages 3-18

   3. Bounded Aggregation for Continuous Time Markov Decision Processes

      • Peter Buchholz, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch

      Pages 19-32

   4. Interactive Markovian Equivalence

      • Arpit Sharma

      Pages 33-49

3. Advances in Quantitative Analysis

   1. Front Matter

      Pages 51-51

      PDF

   2. Delay Analysis of Resequencing Buffer in Markov Environment with HOQ-FIFO-LIFO Policy

      • Rostislav Razumchik, Miklós Telek

      Pages 53-68

   3. Analysis of Timed Properties Using the Jump-Diffusion Approximation

      • Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Jeremy Sproston

      Pages 69-84

   4. Stability Analysis of a Multiclass Retrial System with Coupled Orbit Queues

      • Evsey Morozov, Ioannis Dimitriou

      Pages 85-98

4. Model Checking

   1. Front Matter

      Pages 99-99

      PDF

   2. Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra

      • Adrian Godde, Anne Remke

      Pages 101-116

   3. A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking

      • Ulrich Vogl, Markus Siegle

      Pages 117-132

5. Cyber-Physical Systems

   1. Front Matter

      Pages 133-133

      PDF

   2. Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study

      • Karl Meinke

      Pages 135-151

   3. An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines

      • Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario

      Pages 152-166

6. Performance, Energy and Security

   1. Front Matter

      Pages 167-167

      PDF

   2. Machine Learning Models for Predicting Timely Virtual Machine Live Migration

      • Osama Alrajeh, Matthew Forshaw, Nigel Thomas

      Pages 169-183

   3. Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components

      • Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico

      Pages 184-198

   4. Analysis of Performance and Energy Consumption in the Cloud

      • Mehdi Kandi, Farah Aït-Salaht, Hind Castel-Taleb, Emmanuel Hyon

      Pages 199-213

   5. Deriving Power Models for Architecture-Level Energy Efficiency Analyses

      • Christian Stier, Dominik Werle, Anne Koziolek

      Pages 214-229

This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,
Germany, in September 2017.


The 18 papers presented together with the abstracts of two invited talks in this volume 
were carefully reviewed and selected from 30 submissions. 
The papers presented at the workshop reflect the diversity of modern performance
engineering, with topics ranging from advances in Markov models; advances in quantitative analysis; 
model checking; and cyber-physical systems to performance, energy and security.

• performance modeling and evaluation
• Markov Process
• Model Checking
• Software performance Engineering
• System Performance Engineering
• Network performance Engineering
• Software and application security
• Energy and Power Consumption modeling and evaluation
• Reliability Analysis
• Probability
• Software engineering
• Learning systems
• wireless sensor networks

• Bristol, Germany

  Philipp Reinecke

• University of L’Aquila, L’Aquila, Italy

  Antinisca Di Marco

Policies and ethics