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
