Preliminary program

The program committee has selected 16 submissions as full papers and 8 as short papers. We received 36 submissions among which 33 has been reviewed by three members of the TPC. Full papers have a time slot of 30 minutes while short papers have a time slot of 20 minutes (included 5 minutes for the discussion).

Monday 16
9:00-10:00 Invited speaker Vittorio Cortellessa
10:00-10:30 Coffee break
10:30-12.20 Session 1: Data fitting
12.20-13.30 Lunch
13:30-15:10 Session 2: Tools and methods for performance engineering
15:10-15:40 Coffee break
15:40-17:20 Session 3: Methodological papers

20:15 Social dinner at Ristorante Povoledo

Tuesday 17
9:00-10:00 Invited speaker Claudio Palazzi
10:00-10:30 Coffee break
10:30-11:50 Session 4: Model checking 1
11:50-13:20 Session 5: Migration scenarios and cloud models
13:20-14:20 Lunch
14:20-15:40 Session 6: Applications of performance engineering
15:40-16:10 Coffee break
16:10-17:40 Session 7: Model checking 2
17:40-17:50 Conclusion

Session 1: Data fitting

  1. Andras Meszaros and Miklos Telek. Canonical representation of discrete order 2 MAP and RAP
  2. Gábor Horváth and Hiroyuki Okamura. A fast EM algorithm for fitting marked Markovian arrival processes with a new special structure
  3. Philipp Reinecke, Tilman Krauß and Katinka Wolter. Phase-type Fitting using HyperStar
  4. Tiberiu Chis. Sliding Hidden Markov Model for Evaluating Discrete Data

Session 2: Tools and methods for performance engineering

  1. Andreas Brunnert, Christian Vögele and Helmut Krcmar. Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications
  2. Vojtech Horky, Frantisek Haas, Jaroslav Kotrc, Martin Lacina, Petr Tuma. Performance Regression Unit Testing: A Case Study
  3. Freek van Den Berg, Boudewijn Haverkort, Anne Remke and Arjan Mooij. Performance Evaluation for Collision Prevention based on a Domain Specific Language
  4. Davide Arcelli, Vittorio Cortellessa and Davide Di Ruscio. Applying model differences to automate performance-driven

Session 3: Methodological papers

  1. Peter Harrison and Zhan Qiu. Performance enhancement by means of task replication
  2. Farah Ait Salaht, Jean-Michel Fourneau, Hind Castel-Taleb and Nihal Pekergin. Stochastic Bounds and Histograms for Network Performance Analysis
  3. Iryna Tsimashenka and William Knottenbelt. Reducing Subtask Dispersion in Fork-Join Systems
  4. Vittoria De Nitto Persone' and Andrea Di Lonardo. An Approximate Mean Value Analysis approach for System Management and Overload Control

Session 4: Model checking 1

  1. Elvio Gilberto Amparore and Susanna Donatelli. Improving and assessing the efficiency of the \MCCSLTA\ model checker
  2. Yang Zhao and Gianfranco Ciardo. Tackling Truncation Errors in CSL Model Checking through Bounding Semantics
  3. Bozena Wozna-Szczesniak, Agnieszka Zbrzezny and Andrzej Zbrzezny. SAT-based Bounded Model Checking for RTECTL and Simply-timed systems

Session 5: Migration scenarios and cloud models

  1. Arwa Aldhalaan and Daniel Menasce. Analytic Performance Modeling and Optimization of Live VM Migration
  2. Davide Cerotti, Marco Gribaudo, Pietro Piazzolla and Giuseppe Serazzi. End-to-End performance of multi-core systems in cloud environments
  3. Robert Vaupel, Qais Noorshams, Samuel Kounev and Ralf Reussner. Using Queuing Models for Large System Migration Scenarios – An Industrial Case Study with IBM System z

Session 6: Applications of performance engineering

  1. Catalina M. Lladó and Connie U. Smith. PMIF+: Extensions to Broaden the Scope of Supported Models
  2. Laura Carnevali, Marco Paolieri, Kumiko Tadano and Enrico Vicario. Towards the quantitative evaluation of phased maintenance procedures using non-Markovian regenerative analysis
  3. Luca Berardinelli, Antinisca Di Marco, Stefano Pace, Stefano Marchesani and Luigi Pomante. Modeling and Timing Analysis of Agilla Agents for WSN applications in Executable UML refactoring of software models

Session 7: Model checking 2

  1. Jasen Markovski. Towards Supervisory Control of Generally-Distributed Discrete-Event Systems
  2. Marco Bernardo and Luca Tesei. Encoding Timed Models as Uniform Labeled Transition Systems
  3. Gian-Luca Dei Rossi, Lucia Gallina and Sabina Rossi. Performance analysis and formal verification of cognitive wireless networks

Invited speaker: Vittorio Cortellessa (Università dell'Aquila, Italy)

  • Title: Performance Antipatterns: state-of-art and future perspectives
  • Abstract:The problem of capturing performance problems is critical in the software design, mostly because the results of performance analysis (i.e. mean values, variances, and probability distributions) are difficult to be interpreted for providing feedback to software designers. Support to the interpretation of performance analysis results that helps to fill the gap between numbers and design alternatives is still lacking. The aim of this talk is to present the work that has been done in the last few years on filling such gap. The work is centered on software performance antipatterns, that are recurring solutions to common mistakes (i.e. bad practices) affecting performance. Such antipatterns can play a key role in the software performance domain, since they can be used in the investigation of performance problems as well as in the formulation of solutions in terms of design alternatives.
    Vittorio Cortellessa's homepage

Invited speaker: Claudio Palazzi (Università di Padova, Italy)

  • Title:Online Game Performance Engineering
  • Abstract: Interactive, massive online games are widely popular applications requiring specific solutions to ensure scalability, interactivity and network fairness. The wireless revolution has further complicated this scenario by adding mobile players competing for network resources with other users. It is hence crucial to provide holistic solutions that enable a top quality online gaming experience regardless whether the player is wired, wireless, or even mobile. To this aim, we analyze how a high level of performance can be ensured through specific engineering of the game architecture, synchronization mechanisms and game gateways.

Claudio Palazzi's homepage