8th International Conference on Performance Evaluation Methodologies and Tools

December 9–11, 2014 | Bratislava, Slovakia

Full papers: 25 mins each

Tool papers: 10 mins each

Tuesday, December 9th

08:00 - 09:00 : Registration

09:00 - 09:10 : Opening

09:10 - 10:10 : Keynote speech: Nahum Shimkin. Blackwell's Approachability and No-regret Learning Algorithms

10:10 - 10:40 : Coffee break

10:40 - 12:05 : Session - Telecommunication Networks (Chair: Dieter Fiems)

● Robbe Block and Benny Van Houdt. Spatial Fairness in Multi-Channel CSMA Line Networks

● Boris Malinowsky, Hans-Peter Schwefel and Oliver Jung. Quantitative Safety and Security Analysis from a Communication Perspective

● Joachim Fabini, Tanja Zseby and Michael Hirschbichler. Representative Delay Measurements (RDM): Facing the Challenge of Modern Networks

● Fabien Geyer, Stefan Schneele and Georg Carle. PETFEN: A Performance Evaluation Tool for Flow-Level Network Modeling of Ethernet Networks (tool paper)

12:05 - 13:05 : Session - Network Bounds (Chair: Cati Llado)

● Hao Wang and Jens Schmitt. End-to-End Delay Bounds for Variable Length Packet Transmissions under Flow Transformations

● Lasse Leskelä. Flow coupling and stochastic ordering of throughputs in linear networks

● Steffen Bondorf and Jens B. Schmitt. The DiscoDNC v2 - A Comprehensive Tool for Deterministic Network Calculus (tool paper)

13:05 - 14:15 : Lunch

14:15 - 15:55 : Session - Spreading Processes (Chair: Katinka Wolter)

● Marily Nika, Thomas Wilding, Dieter Fiems, Koen De Turck and William Knottenbelt. Going Multi-viral: Synthedemic Modelling of Internet-based Spreading Phenomena

● Julio Cesar Louzada Pinto and Tijani Chahed. Modeling user and topic interactions in social networks using Hawkes processes

● Luca Bortolussi and Laura Nenzi. Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic

● Max Tschaikowski and Mirco Tribastone. A Partial-differential Approximation for Spatial Stochastic Process Algebra

15:55 - 16:25 : Coffee break

16:25 - 17:40 : Session - Energy Optimisation (Chair: William Knottenbelt)

● Misikir Eyob Gebrehiwot, Samuli Aalto and Pasi Lassila. Optimal sleep-state control of energy-aware M/G/1 queues

● Huaming Wu and Katinka Wolter. Tradeoff Analysis for Mobile Cloud Offloading based on an additive Energy-Performance Metric

● Pietro Piazzolla, Marco Gribaudo, Davide Cerotti, Riccardo Pinciroli and Giuseppe Serazzi. Energy optimization in queuing networks with multi-class workloads

19:30 - 22:00 : Social dinner

Wednesday, December 10th

09:00 - 10:00 : Plenary lecture: Mérouane Debbah. Scientific Challenges of 5G

10:00 - 10:30 : Coffee break

10:30 - 12:05 : Session - Applied Performance Modelling (Chair: Andrea Marin)

● Nicaise Eric Choungmo Fofack, Mostafa Dehghan, Don Towsley, Misha Badov and Dennis L. Goeckel. On the Performance of General Cache Networks

● Marta Beltran and Francisco Carriedo. Solving Queueing Network Models in Cloud Provisioning Contexts

● Wouter Rogiest, Jan-Pieter Dorsman and Dieter Fiems. Analysis of fibre-loop optical buffers with a void-avoiding schedule

● Christoph Bodenstein and Armin Zimmermann. TimeNET Optimization Enviroment (tool paper)

● Catalina M. Lladó, Connie Smith and Pere Bonet. A Model Transformation Tool: PMIF+ to QNAP (tool paper)

12:05 - 13:00 : Session - Benchmarking, Profiling and Analysis I (Chair: Varsha Apte)

● André van Hoorn, Christian Vögele, Eike Schulz, Wilhelm Hasselbring and Helmut Krcmar. Automatic Extraction of Probabilistic Workload Specifications for Load Testing Session-Based Application Systems

● Nicolas Neu, Kenneth Kent, Charlie Gracie and Andre Hinkenjann. Automatic Application Performance Improvements through VM Parameter Modification after Runtime Behavior Analysis (tool paper)

● Pierre Olivier, Jalil Boukhobza, Mathieu Soula, Michelle Le Grand, Ismet Chaib Draa and Eric Senn. A Tracing Toolset for Embedded Linux Flash File Systems (tool paper)

● Emilio Coppa. An interactive visualization framework for performance analysis (tool paper)

13:00 - 14:00 : Lunch

14:00 - 15:00 : Session - Benchmarking, Profiling and Analysis II (Chair: Kenneth Kent)

● Andreas Brunnert and Helmut Krcmar. Detecting Performance Change in Enterprise Application Versions Using Resource Profiles

● Teerat Pitakrat, Jonas Grunert, Oliver Kabierschke, Fabian Keller and André van Hoorn. A Framework for System Event Classification and Prediction by Means of Machine Learning

● Varsha Apte and Nadeesh T V. PerfCenterLite: Extrapolating Load Test Results for Performance Prediction of Multi-Tier Applications (tool paper)

15:00 - 16:00 : Session - Queueing and Markov processes (Chair: Moshe Haviv)

● Tejas Bodas, Murtuza Ali and D Manjunath. A System with a Choice of Highest-Bidder-First and FIFO Services

● Illes Horvath and Miklos Telek. A heuristic procedure for compact Markov representation of PH distributions

● Anne Bouillard, Ana Busic and Christelle Rovetta. Clones: CLOsed queueing Networks Exact Sampling (tool paper)

16:00 - 16:30 : Coffee break

16:30 - 17:30 : Tool session - Tool papers demonstration

Thursday, December 11th

09:00 - 10:15 : Session - Stochastic Processes (Chair: Lasse Leskelä)

● Julia Kuhn, Michel Mandjes and Yoni Nazarathy. Exploration vs. Exploitation with Partially Observable Gaussian Autoregressive Arms

● Hamed Ghasemieh, Anne Remke and Boudewijn Haverkort. Hybrid Petri nets with multiple stochastic transition firings

● Andrea Marin and Sabina Rossi. On discrete time reversibility modulo state renaming and its applications

10:15 - 10:45 : Coffee break

10:45 - 12:25 : Session - Queuing (Chair: Julia Kuhn)

● Refael Hassin and Alexandra Koshman-Kaz. Optimal Control of a Queue With High-Low Delay Announcements: The Significance of the Queue

● Moshe Haviv. The M/G/1 queueing model with preemptive random priority

● Manu K. Gupta, Nandyala Hemachandra and Jayendran Venkateswaran. On completeness and equivalence of EDD and HOL-PJ dynamic priority schemes in two class M/G/1 queue

● Alessio Angius and Andras Horvath. Approximate Transient Analysis of Queuing Networks by Decomposition based on Time-Inhomogeneous Markov Arrival Processes

12:25 - 12:35 : Closing

12:35 - 14:00 : Lunch