Berlin, Germany

EPEW 2017

14th European Performance
Engineering Workshop

Berlin (Germany), September 7-8 2017



EPEW 2017 is part of QONFEST 2017, and is co-located
with CONCUR 2017, QEST 2017 and FORMATS 2017.

Important Dates

Paper Submission:May 5th, 2017
Extended: May 12th, 2017
Authors Notification:June 9th, 2017
Extended: June 16th, 2017
Camera ready:June 23rd, 2017
Extended: June 29th, 2017
Conference:September 7-8, 2017

Organizing Committee

General Chairs:
Uwe Nestmann , TU Berlin
Katinka Wolter, FU Berlin

Program Co-Chairs
Antinisca Di Marco, University of L'Aquila
Philipp Reinecke , formerly Hewlett Packard Labs Bristol

Program Committee

Davide Arcelli, University of L'Aquila
Rena Bakhshi, Netherlands eScience Center
Simonetta Balsamo, University Ca' Foscari Venice
Marta Beltrán, King Juan Carlos University
Marco Bernardo, University of Urbino
Ana Busic, INRIA and ENS
Laura Carnevali, University of Florence
Giuliano Casale, Imperial College London
Tadeusz Czachórski, Polish Academy of Sciences
Dieter Fiems, Ghent University
Jean-Michel Fourneau, University of Versailles
Stephen Gilmore, University of Edinburgh
Boudewijn Haverkoort, University of Twente
András Horváth, University of Turin
Gábor Horváth, Technical University of Budapest
Alain Jean-Marie, CNRS University of Montpellier
William Knottenbelt, Imperial College London
Samuel Kounev, University of Würzburg
Vasilis Koutras, University of the Aegean
Lasse Leskelä, Aalto University
Catalina Llado, University of the Balearic Islands
Andrea Marin, University Ca' Foscari Venice
Raffaela Mirandola, Politecnico di Milano
Marco Paolieri, University of Southern California
Roberto Pietrantuono, University Federico II Naples
Agapios Platis, University of the Aegean
Anne Remke, University of Münster
Markus Siegle, University of Munich
Miklós Telek, Technical University of Budapest
Nigel Thomas, University of Newcastle upon Tyne
Petr Tuma, Charles University
Catia Trubiani, GSSI, L'Aquila
Aad van Moorsel, Newcastle University
Maaike Verloop, CNRS Toulouse
Joris Walraevens, Ghent University
Qiushi Wang, Nanyang Technological University
Huaming Wu, Tianjin University
Armin Zimmermann, TU Ilmenau

Previous events

EPEW 2016 (Chios, Greece)
EPEW 2015 (Madrid, Spain)
EPEW 2014 (Florence, Italy)
EPEW 2013 (Venice, Italy)
EPEW 2012 (Munich, Germany)
EPEW 2011 (Borrowdale, UK)
EPEW 2010 (Bertinoro, Italy)
EPEW 2009 (Imperial College, UK)
EPEW 2008 (Palma de Mallorca, Spain)
EPEW 2007 (Berlin, Germany)
EPEW 2006 (Budapest, Hungary)
EPEW 2005 (Versailles, France)
EPEW 2004 (Toledo, Spain)

Proceedings: Springer LNCS Springer Proceedings


Technische Universitat Berlin
Freie Universitat Berlin

Call for Papers

The European Performance Engineering Workshop is an annual event that aims to gather academic and industrial researchers working on all aspects of performance engineering.

We invite original papers related to the following areas:

  1. Theoretical advances in performance modeling and evaluation, e.g.:
    • Probabilistic, stochastic, or performability models, such as Queueing Networks, Petri Nets, and Process Calculi
    • Specification of quantitative properties
    • Analytical and numerical solution techniques and simulation techniques
    • Quantitative model checking, equivalence checking, and static analysis
    • Context-aware modelling and analysis techniques
  2. System, software, and network performance engineering, e.g.:
    • Performance-oriented design, architecture, implementation, deployment, monitoring, and maintenance
    • Constraint-based and model-driven system design
    • Performance analysis, simulation, and experimental design
    • Benchmark design and benchmark-based evaluation and monitoring
    • Automated interpretation of analysis results
    • Quality of service, and trade-offs between security, performance, dependability, energy consumption, usability, etc.
    • Software performance modeling languages, model composition and tool interoperability
  3. Case studies, e.g.:
    • Cloud systems, Hybrid Cloud, and Fog Computing
    • Internet of Things
    • Cyber-physical systems
    • E-health systems

Submissions must be original and should not have been published previously or be under consideration for publication. Accepted papers will be published in the conference proceedings, in the Lecture Notes in Computer Science series, by Springer-Verlag. Authors will be required to sign a copyright release.

Paper Submission

Papers must not exceed 15 pages in camera-ready form, including figures and references. All papers must use the Springer LNCS style, available HERE. All submissions must be in English.

All submissions are handled by our Easychair website. Please click HERE to access it.

Keynote Speakers

Prof. William Knottenbelt, Imperial College London

Short Bio:
William Knottenbelt is Professor of Applied Quantitative Analysis and Director of Industrial Liaison in the Department of Computing at Imperial College London, where he became a Lecturer in 2000. He is a founder of the Imperial Blockchain Forum and is co-Director of the Centre for Cryptocurrency Research and Engineering. He serves on the editorial board of the cryptocurrency/blockchain journal Ledger, is an editor of Performance Evaluation Journal, and has served as general or program chair of numerous conferences and workshops related to quantitative modelling and analysis. A keen supporter of student-led innovation, he is the Innovation Fellow for the Department of Computing and serves on the Entrepreneur First Science Partners panel.


Abstract:
Cryptocurrency and Blockchain Technology: Challenges and Opportunities

The meteoric rise of blockchain-enabled cryptocurrencies, and Bitcoin in particular, has received global attention, not least from governments, entrepreneurs and researchers. Cryptocurrencies provide an attractive alternative to traditional fiat currencies via a distributed, trustless and self-governing framework which not only enables low-friction financial transactions around the globe but also preserves the freedom and privacy of spending inherent in cash transactions. This talk will cover some of the challenges and opportunities posed by this emerging technology, with a special emphasis on a performance evaluation/quantitative modelling perspective, and will outline ongoing directions of research in the Imperial College Centre for Cryptocurrency Research and Engineering.


Antonino Sabetta, SAP Research

Short Bio:
Antonino Sabetta is a senior researcher at the Security Research department of SAP. The main focus of Antonino's recent work is the analysis and management of vulnerabilities of open-source components when embedded in large-scale enterprise applications. In particular, Antonino is interested in the application of machine-learning to the mining of open-source software repositories and the automation of the vulnerability management workflow. Before moving to SAP in 2010, Antonino was a researcher at CNR, Pisa, Italy. He earned his PhD in Computer Science and Automation Engineering from the University of Rome Tor Vergata, Italy in 2007. From the same university he had received in 2003 his "Laurea cum Laude" degree in Computer Engineering.


Abstract:
Open-source libraries included in enterprise applications: workhorses or trojan horses?

New vulnerabilities affecting open-source software (OSS) are reported on a daily basis. At the same time, the adoption of OSS components in commercial software has been increasing at a fast pace over the years, to the point that establishing effective vulnerability management practices for OSS has become critical for the software industry. In this talk we will give an overview of the challenges related to assessing and mitigating the impact that OSS vulnerabilities can have on the enterprise applications that embed them. We will discuss how we are tackling these challenges through a combination of techniques, including static and dynamic analysis, and, more recently, machine learning. Finally, we will summarize the lessons we learned along the journey that brought our early research prototype to evolve into an enterprise-grade OSS vulnerability analysis toolkit, which is now being rolled out to hundreds of development units across our company.


Program

Time Thu Sep. 7th Fri Sep. 8th
08:30 Registration
09:00 EPEW Keynote II
Open-source libraries included in enterprise applications: workhorses or trojan horses?
Antonino Sabetta
09:30 EPEW Opening
10:00 Invited Talk (QEST/FORMATS/EPEW): Morten Bisgaard Technical Session III

Learning-Based Testing of Cyber-Physical Systems-of-Systems: a Platooning Study
Karl Meinke

An inspection-based compositional approach to the quantitative evaluation of assembly lines
Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano and Enrico Vicario

11:00 Coffee break Coffee break
11:30 Technical Session I

Delay analysis of resequencing buffer in Markov environment with HOQ-FIFO-LIFO policy
Rostislav Razumchik and Miklos Telek

Analysis of Timed Properties Using the Jump-Diffusion Approximation
Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich and Jeremy Sproston

Stability Analysis of a Multiclass Retrial System with Coupled Orbit Queues
Evsey Morozov and Ioannis Dimitriou

Technical Session IV

Analysis of Markov Decision Processes under Parameter Uncertainty
Peter Buchholz, Iryna Dohndorf and Dimitri Scheftelowitsch

Interactive Markovian Equivalence
Arpit Sharma

Bounded Aggregation For Continuous Time Markov Decision Processes
Peter Buchholz, Iryna Dohndorf, Alexander Frank and Dimitri Scheftelowitsch

13:00 Lunch break


Lunch break


14:30 EPEW Keynote I
Cryptocurrency and Blockchain Technology: Challenges and Opportunities
William Knottenbelt
Technical Session V

Model-based Simulation in Möbius: an Efficient Approach Targeting Loosely Interconnected Components
Giulio Masetti, Silvano Chiaradonna and Felicita Di Giandomenico

Model checking the STL time-bounded Until on Hybrid Petri Nets using Nef polyhedra
Adrian Godde and Anne Remke

A new approach to predicting reliable project runtimes via probabilistic model checking
Markus Siegle and Ulrich Vogl

15:30 Technical Session IIa

ADaCS: A Tool for Analysing Data Collection Strategies
John Mace, Nipun Thekkummal, Charles Morisset and Aad van Moorsel

16:00 Coffee break Coffee break
16:30 Technical Session IIb

Deriving Power Models for Architecture-Level Energy Efficiency Analyses
Christian Stier, Dominik Werle and Anne Koziolek

Analysis of performance and energy consumption in the cloud
Mehdi Kandi, Farah Ait Salaht, Hind Castel and Emmanuel Hyon

Machine learning models for predicting timely virtual machine live migration
Osama Alrajeh, Matthew Forshaw and Nigel Thomas

Technical Session VI

Stochastic Models for Solar Power
Dimitra Politaki and Sara Alouf

Improving ZooKeeper Atomic Broadcast Performance by Coin Tossing
Ibrahim El-Sanosi and Paul Ezhilchelvan

Modelling and analysis of commit protocols with PEPA
Said Naser Said Kamil and Nigel Thomas

18:00 Closing
19:00 Dinner

Venue

The conference will be held at the Harnack-Haus, in Berlin, Germany


Brandenburg Gate
Fernsehturm
Reichstag
museumsinsel
Berlin_Dom
Haus_der_Kulturen_der_Welt

Contacts

Uwe Nestmann: uwe[dot]nestmann[at]tu-berlin[dot]de
Katinka Wolter: katinka[dot]wolter[at]fu-berlin[dot]de
Antinisca Di Marco: antinisca[dot]dimarco[at]univaq[dot]it
Philipp Reinecke : philipp[dot]reinecke[at]fu-berlin[dot]de