| Monday morning | ||
| 9:00 | 9:15 | Welcome session |
| 9:15 | 10:15 |
[keynote talk] Martina Maggio. Cloud Control: using control theory to optimize cloud applications performance |
| 10:15 | 10:30 | Coffee break |
| 10:30 | 12:30 | Network traffic modeling |
|
Kazutomo Kobayashi and Yukio Takahashi. Asymptotic End-to-end Backlog Evaluation in a Packet Network with a Wide Range of Traffic Flows Including Fractional Brownian Motions |
||
|
Andrei Bejan, Richard Gibbens, Robert Hancock and Don Towsley. Capacity bounds and robustness in multipath networks |
||
|
Steffen Bondorf and Jens Schmitt. Calculating Accurate End-to-End Delay Bounds – You Better Know Your Cross-Traffic |
||
|
Michael Beck and Jens Schmitt. Window Flow Control in Stochastic Network Calculus – The General Service Case |
||
|
Felipe Olmos and Bruno Kauffmann. An Inverse Problem Approach for Content Popularity Estimation |
||
|
[Fast abstract] Ian Marsh. Understanding cache dynamics in the network: a software approach |
||
| 12:30 | 13:30 | Lunch |
| Monday afternoon | ||
| 13:30 | 15:00 | Network and wireless tools |
|
Ekaterina Evdokimova, Koen De Turck, Sabine Wittevrongel and Dieter Fiems. An Analytical Performance Evaluation Tool for Wireless Access Points with Opportunistic Scheduling |
||
|
Michael Faath and Rolf Winter. A GLIMPSE of the Internet's Fabric |
||
|
Minoo Kargar Bideh, Andreas Petlund, Carsten Griwodz, Iffat Ahmed, Pal Halvorsen, Razieh Behjati, Anna Brunstrom and Stefan Alfredsson. TADA: An Active Measurement Tool for Automatic Detection of AQM |
||
|
Priyesh Shetty, Vivek Borkar and Gaurav Kasbekar. An Adaptive Window Scheme for Backoff in 802.11 MAC Protocol |
||
|
Henda Ben Cheikh. Integration of streaming and elastic traffic: Modeling and Performance Analysis |
||
|
[Fast abstract] Nico Beierle and Peter M. Kruse. Combining profiling and monitoring to analyze test coverage and identify performance problems |
||
| 15:00 | 15:30 | Coffee break |
| 15:30 | 16:45 | Wireless networks |
|
Choman Abdullah and Nigel Thomas. Performance Modelling of IEEE 802.11g Wireless LAN |
||
|
Amira Choutri, Dominique Barth, Leila Kloul and Olivier Marcé. Centralized Mobile Users Assignment Strategies for Energy Management in Het-LTE Networks |
||
|
Soohwan Lee, Sangwoo Moon and Yung Yi. On Greening Cellular Networks by Sharing Base Stations: A Game-theoretic Approach |
||
| 18:30 | Open-ended | Social Event and Dinner at Riva Bar. |
| Tuesday morning | ||
| 9:00 | 10:00 |
[keynote talk] Tobias Scheffer. Active Model Evaluation |
| 10:00 | 10:30 | Coffee break |
| 10:30 | 12:30 | Analytical modeling |
|
Marko Boon and Erik Winands. Critically loaded k-limited polling systems |
||
|
Jori Selen, Ivo Adan and Stella Kapodistria. Approximate performance analysis of generalized join the shortest queue routing |
||
|
Wendy Ellens, Péter Kovács, Rudesindo Núñez-Queija and Hans van den Berg. Routing policies for a partially observable two-server queueing system |
||
|
Peter Buchholz, Jan Kriege and Dimitri Scheftelowitsch. Equivalence and Minimization for Model Checking Labeled Markov Chains |
||
|
Hamed Ghasemieh, Anne Remke, Boudewijn Haverkort and Gianfranco Ciardo. Approximate Analysis of Hybrid Petri nets with Probabilistic Timed Transitions |
||
|
[Fast abstract] Michelle Borm, Brendan Patch, Thomas Taimre and Ivo Adan. Evaluation of a Self-organized Traffic Light Policy |
||
| 12:30 | 13:30 | Lunch and Poster Presentations |
| Tuesday afternoon | ||
| 13:30 | 15:30 | Analytical modeling tools |
|
Andrea Marin and Sabina Rossi. Priority-based bandwidth allocation in wireless sensor networks |
||
|
Tiberiu Chis and Peter Harrison. Higher response time moments for M/M/1 discriminatory processor-sharing queues |
||
|
Tobias Helms, Steffen Mentel and Adelinde M. Uhrmacher. Dynamic State Space Partitioning for Adaptive Simulation Algorithms |
||
|
Pieter-Tjerk de Boer, Daniel Reijsbergen and Werner Scheinhardt. Interactive comparison of hypothesis tests for statistical model checking |
||
|
Freek van den Berg, Boudewijn Haverkort and Jozef Hooman. Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques |
||
|
Ken Keefe and William Sanders. Reliability Analysis with Dynamic Reliability Block Diagrams in the Mobius Modeling Tool |
||
|
[Fast abstract] Michele Ciavotta, Danilo Ardagna and Anne Koziolek. Palladio Optimization Suite: QoS optimization for component-based Cloud applications |
||
| 15:30 | 16:00 | Coffee break and Tool Demonstrations |
| 16:00 | 18:00 | Cloud and distributed computing I |
|
Marta Beltran. Defining an Elasticity Metric for Cloud Computing Environments |
||
|
Johan van Leeuwaarden, Britt Mathijsen and Fiona Sloothaak. Cloud provisioning in the QED regime |
||
|
Gian-Luca Dei Rossi, Mauro Iacono and Andrea Marin. Evaluating the impact of eDoS attacks to cloud facilities |
||
|
Wouter Minnebo and Benny Van Houdt. Analysis of Rate-Based Pull and Push Strategies with Limited Migration Rates in Large Distributed Networks |
||
|
Guillaume Chapuis, Stephan Eidenbenz and Nandakishore Santhi. GPU Performance Prediction Through Parallel Discrete Event Simulation and Common Sense |
||
| Wednesday morning | ||
| 9:00 | 10:30 | Cloud and distributed computing II |
|
Jóakim von Kistowski and Samuel Kounev. Univariate Interpolation-based Modeling of Power and Performance |
||
|
Said Naser Said Kamil and Nigel Thomas. A performance model of the Trusted Cloud Computing Platform VM Launch Protocol |
||
|
Massimo Canonico and Davide Monfrecola. CloudTUI-FTS: a user-friendly and powerful tool to manage Cloud Computing Platforms |
||
|
Jianing Zhao and Peter Kemper. Protecting Encryption Keys in Mobile Systems Against Memory Errors |
||
|
Marziyeh Bayati, Mohamed Dahmoune, Jean-Michel Fourneau, Nihal Pekergin and Dimitris Vekris. A tool based on traffic traces and stochastic monotonicity to analyze data centers and their energy consumption |
||
|
[Fast abstract] Mahdi Eslamimehr and George Edwards. End-to-End Cross-Language Test Case Generation for Web Applications |
||
| 10:30 | 11:00 | Coffee break |
| 11:00 | 13:00 | Applications |
|
Daniel Reijsbergen and Rajeev Ratan. Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh |
||
|
Pia Kempker, Nico van Dijk, Werner Scheinhardt, Hans van den Berg, and Johann Hurink. Optimization of Charging Strategies for Electric Vehicles in PowerMatcher-Driven Smart Energy Grids |
||
|
Huaming Wu and Katinka Wolter. Analysis of the Energy-Performance Tradeoff for Delayed Mobile Offloading |
||
|
Maurits de Graaf, Richard J. Boucherie, Johann L. Hurink and Jan-Kees W. van Ommeren. Average Case Analysis of the MST-heuristic for the Power Assignment Problem: special cases |
||
|
Konstantin Nasartschuk, Marcel Dombrowski, Tristan M. Basa, Md. Mazder Rahman, Gerhard W. Dueck and Kenneth B. Kent. GarCoSim: A Framework for Automated Memory Management Research and Evaluation |
||
|
Almudena Diaz-Zayas, Álvaro Manuel Recio-Pérez, César Augusto García-Pérez and Pedro Merino. Extending TestelDroid to support remote control and large-scale testing in mobile networks |
||
| 13:00 | 13:15 | Closing session |
