30th Annual UK Performance Engineering Workshop


September 19th 2014

Newcastle University, UK

Scope of Workshop

The UK Performance Engineering Workshop (UKPEW) is an annual event that aims to gather researchers working on all aspects of performance modelling and analysis.

We solicit original papers on performance evaluation techniques for computer and telecommunication systems analysis. Papers on or related to the following topics are particularly welcome.

  • Performance-oriented design and analysis methods
  • Formal modelling paradigms: stochastic process algebra, stochastic Petri nets, stochastic automata networks, Markov chains, queueing theory,...
  • Solution and simplification techniques for stochastic processes
  • Model checking and validation
  • Approximate results for Markov and semi-Markov Processes
  • Simulation techniques and experimental design
  • Benchmarks and benchmark evaluation
  • Performance tools
  • Performance case studies
  • Performability modelling
  • Software performance engineering
  • Performance and power consumption tradeoffs
  • Performance overhead of secure systems
  • New frontiers of performance evaluation/modelling
  • Performance analysis of communication networks, mobile and wireless networks, software systems, distributed systems, system architectures, embedded systems, web-based systems, grid computing,...

Important dates

  • Paper submission deadline: 18th August 2014
  • Notification to authors: 25th August 2014
  • Camera-ready deadline: 4th September 2014
  • Workshop: 19th September 2014
  • CRC deadline for ENTCS proceedings:19th October 2014


Selected papers from the proceedings of UKPEW'14 will appear as an issue of Elsevier's ENTCS (Electronic Notes in Theoretical Computer Science). This will appear after the workshop. Delegates at the workshop will be given an informal proceedings for the event.

Instructions to authors

Electronic paper submission, either as full paper or extended abstract, should be made via email as PDF to nigel.thomas@ncl.ac.uk.

Camera ready copy of papers should be between 15 and 20 pages long, including figures and bibliography, and in single-column format. Submission is required in PDF format. Word files cannot be accepted. Please follow the manuscript preparation guidelines on the ENTCS web page.


The workshop will be held in the Research Beehive on the campus of Newcastle University. Newcastle is readily accessible by mainline rail services and via Newcastle International Airport (NCL). The University campus can be easily reached from either the rail station or the airport by taking the Metro local train service to Haymarket station. Maps of the campus and the city are available online. Registration will cost £120 (£90 for students) and will cover all publication costs, lunch and refreshments. In order to finalise numbers for catering, participants are asked to register by September 8th 2014.

To register please go to the online registration page. If you have any problems registering, or you have any special requirements (e.g. accessibility or diet) then please email nigel.thomas@ncl.ac.uk.

Provisional programme

Welcome and registration 9.15

Session 1: 9.30-10.30

  • Energy-Aware Profiling for Cloud Computing Environments, Ibrahim Alzamil, Karim Djemame, Django Armstrong, Richard Kavanagh (University of Leeds)
  • Inspecting the Cost of Security in Cloud Computing, Said Naser Said Kamil and Nigel Thomas (Newcastle University)

Coffee 10.30-11

Session 2: 11-12.30

  • Efficient Reliability and Performance Analysis of Layered Queueing Models, Juan F. Perez and Giuliano Casale (Imperial College London)
  • Performance Analysis of Collective Adaptive Behaviour in Time and Space, Cheng Feng, Marco Gribaudo and Jane Hillston (University of Edinburgh and Politecnico di Milano)
  • Development of a Smart Grid Simulation Environment, J. Delamare , B. Bitachon, Z. Peng, Y. Wang, B.R. Haverkort, M.R. Jongerden, (University of Twente)

Lunch 12.30-1.30

Session 3: 1.30-3 PM

  • Validation of automatic vehicle location data in public transport systems, Stephen Gilmore and Daniel Reijsbergen (University of Edinburgh)
  • Dynamic subtask dispersion reduction in split merge and fork join systems, Tommi Pesu and William Knottenbelt (Imperial College London)
  • A Hybrid Simulation Framework for the Analysis of Queueing Networks and Petri Nets, Esmaeil Habibzadeh, Demetres D. Kouvatsos (University of Bradford) and Guzlan M.A. Miskeen (University of Sebha, Libya)

Afternoon tea 3-3.30 PM

Session 4: 3.30-5 PM

  • A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in, Christopher D. Williams and Allan Clark (University of Edinburgh)
  • Performance Modelling and Evaluation of Secure Dynamic Group Communication Systems in RANETs, D.D. Kouvatsos, E. Habibzadeh (University of Bradford) and Guzlan M.A. Miskeen (University of Sebha, Libya)
  • Dynamic server allocation with breakdowns, Thai Ha Nguyen and Nigel Thomas (Newcastle University)