John Murphy, University College Dublin, Republic of Ireland.
Samuel Kounev, KIT, Germany.
Accepted papers
Oliver Perks, Simon Hammond, Simon Pennycook and Stephen Jarvis. WMTrace - A Lightweight Memory Allocation Tracker and Analysis Framework
Marcel Guenther and Jeremy Bradley. Higher moment analysis of a spatial stochastic process algebra
Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar and Wan Fokkink. Stochastic Restricted Broadcast Process Theory
Kelly Rosa Braghetto, Joao Eduardo Ferreira and Jean-Marc Vincent. Performance Evaluation of Business Processes through a Formal Transformation to SAN
Steven Wright, Simon Pennycook, Simon Hammond and Stephen Jarvis. RIOT - A Parallel Input/Output Tracer
Helmut Hlavacs and Michael Nussbaumer. Optimization for Multi-Thread Data Flow Software
Philipp Reinecke and Katinka Wolter. On Stochastic Fault-Injection for IP-Packet Loss Emulation
Katinka Wolter, Philipp Reinecke and Alfons Mittermaier. Model-based Evaluation and Improvement of PTP Syntonisation Accuracy in Packet-Switched Backhaul Networks for Mobile Applications
Thu Ha Dao Thi, Jean-Michel Fourneau and Minh Anh Tran. Multi-class Network with Phase Type Service Time and Group Deletion Signal
Rouaa Yassin Kassab and Aad Van Moorsel. Formal Mapping of WSLA Contracts on Stochastic Models
Abolhassan Shamsaie, Wan Fokkink and Jafar Habibi. Analysis of Gossip-based Information Propagation in Wireless Mesh Networks
Salvador Alcaraz, Katja Gilly, Carlos Juiz and Ramon Puigjaner. Accommodating short and long web traffic flows over a DiffServ architecture
Nikolas Anastasiou, William Knottenbelt and Andrea Marin. Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data
Jean-Michel Fourneau and Franck Quessette. Monotonicity and Efficient Computation of Bounds with Time Parallel Simulation
Anna Kolesnichenko, Anne Remke, Pieter-Tjerk De Boer and Boudewijn Haverkort. Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study
Aleksander Wieczorek, Ana Busic and Emmanuel Hyon. Critical level policies in lost sales inventory systems with different demand classes
Poster presentations
Michael Smith and Stephen Gilmore. Visualisation for Stochastic Process Algebras: The Graphic Truth
Marco Bernardo, Vittorio Cortellessa and Mirko Flamminj. TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks
Dennis Westermann, Rouven Krebs and Jens Happe. Efficient Experiment Selection in Automated Software Performance Evaluations
Davide Cerotti, Enrico Barbierato and Marco Gribaudo. A tool suite for modelling spatial interdependencies of distributed systems with Markovian Agents
Vlastimil Babka and Petr Tuma. Can Linear Approximation Improve Performance Prediction?
Richard Kavanagh and Karim Djemame. A Grid Broker Pricing Mechanism for Temporal and Budget Guarantees
