EPEW 2019

16th European Performance
Engineering Workshop

Milan (Italy), November 28-29 2019

Important Dates

Paper submission: September 9, 2019
September 26, 2019 (abstract)
September 30, 2019 (full paper)
Author notification: October 14, 2019
October 21, 2019
Camera ready: November 4, 2019
Conference: November 28-29, 2019

Registration

Registration is now open! Please register here.

Organizing Committee

General chairs:
Marco Gribaudo, Politecnico di Milano
Mauro Iacono, Università degli Studi della Campania “Luigi Vanvitelli”

Program co-chairs:
Rostislav Razumchik, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences
Tuan Phung-Duc, University of Tsukuba

Program Committee

Elvio Gilberto Amparore, Università degli studi di Torino
Paolo Ballarini, CentraleSupelec
Marko Boon, Eindhoven University of Technology
Enrico Barbierato, Università Cattolica del Sacro Cuore
Marco Beccuti, Università degli studi di Torino
Marco Bernardo, University of Urbino
Laura Carnevali, University of Florence
Hind Castel, Telecom SudParis
Davide Cerotti, Università del Piemone Orientale
Ioannis Dimitriou, University of Patras
Dieter Fiems, Ghent University
Jean-Michel Fourneau, University of Versailles
Boudewijn Haverkort, Tilburg University
András Horváth, University of Turin
Esa Hyytia, University of Iceland
Alain Jean-Marie, INRIA
Lasse Leskelä, Aalto University
Oleg Lukashenko, Petrozavodsk State University
Andrea Marin, University of venice
Marco Paolieri, University of Southern California
Nihal Pekergin, Universite Paris-Est Créteil
Agapios Platis, University of the Aegean
Philipp Reinecke, Cardiff University
Alexander Rumyantcev, Karelian Research Centre of the Russian Academy of Sciences

Markus Siegle, Uni Bw Munich
Miklos Telek, Budapest University of Technology and Economics
Nigel Thomas, Newcastle University
Joris Walraevens, Ghent University
Katinka Wolter, Frei Universität Berlin

Previous events

EPEW 2018 (Patis, France)
EPEW 2017
(Berlin, Germany)
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)

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
    • 5G and beyond 
  3. Case studies, e.g.:
    • Cloud systems, Hybrid Cloud, and Fog Computing
    • Internet of Things
    • Cyber-physical systems
    • E-health systems
    • Blockchain and Cryptocurrency applications
    • Sharing services such as carshare and rideshare

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.

Best paper will be invited to sumit their extended work to the Special Issue “Queue and Stochastic Models for Operations Research” of the Mathematics journal.

Paper Submission

Papers must not exceed 15 pages in camera-ready form, including figures. 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. emeritus Giuseppe Serazzi, Politecnico di Milano, Italy

Title: Advanced features for Multi-formalism modelling with JMT-Java Modelling Tools

Abstract
The JMT simulator has been improved with several advanced features that allow the implementation of very complex models. Among them, the simulation of Stochastic Petri Nets (SPN), Generalized Stochastic Petri Nets (GSPN), and Coloured Petri Nets (CPN) allow users to implement Multiformalism Models.
In this type of models, the Petri Nets elements Place and Transition can be integrated with the Queueing Networks (QN) elements in the same model. Therefore, the set of problems that can be modeled has become very large.
In this talk, we will examine some applications of multiformalism models to the modelling of real-world problems.

Prof. Anne Remke, University of Munster, Germany

Title: Hybrid Petri nets featuring multiple random variables

Abstract
Hybrid Petri nets have been extended with random variables to model stochastic time delays. This restricted class of stochastic hybrid sytems has successfully been used to model critical Infrastructures like water sewage systems and smart home energy storage and control.
The logic  STL has been proposed to formulate properties, which can automatically be model checked for Hybrid Petri nets. Model checking requires to first build the underlying state space and then relies on geometric operations on convex state sets which symbolically represent sets of states with similar properties. Once, the satisfaction sets are computed a final integration step is needed to compute the probability that a specific STL formula holds.
This talk gives an overview on the state-of-the-art in model checking Hybrid Petri nets, featuring a newly released tool, which performs full-fledged STL model checking efficiently for Petri nets with a finite but arbitrary number of random variables.

List of Accepted Papers

A. Alhawas, N. Thomas. Abandonment Attack on the LEACH Protocol
M. Bernardo. Coherent Resolutions of Nondeterminism
L. Capra, M. Camilli. Emulating Self-adaptive Stochastic Petri Nets
P. Ezhilchelvan, I. Mitrani, J. Waudby, J. Webber. Design and evaluation of an edge concurrency control protocol for distributed graph databases
B. Klaasse, R. Timmerman, T. van Ballegooijen, M. Boon, G. Eijkelenboom. A novel data-driven algorithm for the automated detection of unexpectedly high traffic flow in uncongested traffic states
L. Liquori, R. Gaeta, M. Sereno. A network aware resource discovery service (a performance evaluation study)
Y. Marchenko, W. Knottenbelt, K. Wolter. EthExplorer: A Tool for Forensic Analysis of the Ethereum blockchain
A. Marin, S.Rossi. A queueing model that works only on biggest jobs
A. Zeifman, Y. Satin, R. Razumchik, A. Kryukova, G. Shilova. Bounding the Rate of Convergence and Computing the Limiting Characteristics for One Class of Finite Capacity Time Varying Markov Queues
M.U. Sardar, C. Dubslaff, S. Klüppelholz, C. Baier, A. Kumar. Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-Core Systems

Program

Presentations and Keynotes will be in Room Alpha, ground floor, Building 24. Coffe breaks and lunches, will be in Room Beta, ground floor, Building 24 (just in front of Room Alpha). Registration will be done in Room Beta, during coffee breaks and lunches. During the presentations, Room Beta will be available to participants for meetings and personal working space.

Presentations should be 20-25 minutes, to allow another 5-10 minutes for questions and discussion.

Thursday, November 28th, 2019

09:30-13:00 PASM
13:00-14:00 Lunch (EPEW + PASM)
EPEW registration [Room Beta]
14:00-15:00 Keynote 1:
Advanced features for Multi-formalism modelling with JMT-Java Modelling Tools
Prof. G. Serazzi
15:00-15:30 Coffe break [Room Beta]
15:30- A novel data-driven algorithm for the automated detection of unexpectedly high traffic flow in uncongested traffic states.
B. Klaasse, R. Timmerman, T. van Ballegooijen, M. Boon, G. Eijkelenboom
Coherent resolutions of nondeterminism.
M.Bernardo
00:00-17:00 EthExplorer: a tool for forensic analysis of the Ethereum blockchain.
Y. Marchenko, W. Knottenbelt, K. Wolter
17:30-19:30 Beer at “Birrificio di Lambrate
20:00-22:00 Social dinner at “Hostaria Terza Carbonaia

Friday, November 29th, 2019

10:00-11:00 Keynote 2:
Hybrid Petri nets featuring multiple random variables
Prof. A. Remke
11:00-11:30 Coffe break [Room Beta]
11:30- Abandonment Attack on the LEACH Protocol.
A. Alhawas, N. Thomas
A network aware resource discovery service
(a performance evaluation study).
L. Liquori, R. Gaeta, M. Sereno
00:00-13:00 Performance evaluation of thermal-constrained scheduling strategies in multi-core systems.
M.U. Sardar, C. Dubslaff, S. Klüppelholz, C. Baier, A. Kumar
13:00-14:00 Lunch [Room Beta]
14:00- Bounding the rate of convergence for one class of finite capacity time varying markov queues.
A. Zeifman, Y. Satin, R. Razumchik, A. Kryukova, G. Shilova
A queueing model that works only on biggest jobs.
A. Marin, S.Rossi
Design and evaluation of an edge concurrency control protocol for distributed graph databases.
P. Ezhilchelvan, I. Mitrani, J. Waudby, J. Webber
00:00-16:00 Emulating self-adaptive stochastic Petri nets.
L. Capra, M. Camilli
16:00-16:30 Coffe break and closing [Room Beta]

Social events informations (Thursday 28th, from 17:00)

The first day of the conference will end at 17:00, and the social dinner will start at 20:00. For the participants who do not want to return to their Hotel, or go toward the center of the city for shopping, we will organize a Beer at the “Birrificio di Lambrate“, Via Camillo Golgi, 60, a traditional brewery of Milano which has a pub just one block away from the conference venue.

We will then meet the other participants in front of the main building of Politecnico di Milano, in Piazza Leonardo da Vinci, 32, at 19:45, and we will walk together at the dinner place: “Hostaria Terza Carbonaia“, Via Degli Scipioni, 3. Participants might also reach the group directly at the restaurant if they prefer.

You can find above a map of the area with the selected locations.

 

Venue

Conference will be hosted at:

Room ALPHA (Bulding 24),
Politecnico di Milano,
Via Golgi 42,
Milano, Italy.

The building can be easily reched from the “Lambrate M2” metro station on the M2 metro line (Green Line), that passes through all the major train stations in Milano (Cadorna – where most of the trains from the Malpensa Airport ends – Garibaldi and Centrale). From the Lambrate M2 station, exit through the “Via Pacini / Via Gorssich” end (see picture below), which is opposite to the train station. From there, if you take Via Grossich (just on the right when you exit the station), it will become Via Golgi after a couple of blocks.

Below you can find a small map with the directions shown.

Accommodation

The conference takes place near the centre of Milano. Many hotels of various prices can be found close to the conference venue. Also, any hotel near the Green Metro Line will allow participants to reach the venue in a reasonable amount of time.

Contacts

Marco Gribaudo: marco[dot]gribaudo[at]polimi[dot]it
Mauro Iacono: mauro[dot]iacono[at]unicampania[dot]it

Tuan Phung-Duc: tuan[at]sk[dot]tsukuba[dot]ac[dot]jp
Rostislav Razumchik: 
rrazumchik[at]ipiran[dot]ru