Milan (Italy), November 28-29 2019
|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 is now open! Please register here.
Marco Gribaudo, Politecnico di Milano
Mauro Iacono, Università degli Studi della Campania “Luigi Vanvitelli”
Rostislav Razumchik, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences
Tuan Phung-Duc, University of Tsukuba
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
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:
- 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
- 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
- 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.
Prof. emeritus Giuseppe Serazzi, Politecnico di Milano, Italy
Title: Advanced features for Multi-formalism modelling with JMT-Java Modelling Tools
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
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
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
|13:00-14:00||Lunch (EPEW + PASM)
EPEW registration [Room Beta]
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.
|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
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.
Conference will be hosted at:
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.
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.
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