This event is endorsed
and organized by

10th EAI International Conference on Performance Evaluation Methodologies and Tools

October 25–28, 2016 | Taormina, Italy


Regular papers: 25’ (20+5 of questions)

Short papers: 20’ (15+5)

Tool papers:  25’


Wednesday, October 26th


Welcome Session


Keynote: Jiannong Cao

Title: Mobile Cloud Application Partitioning in Dynamic and MultiUser Environments

Chair: Antonio Puliafito


Coffee break


Network calculus, workload and scheduling

Chair: Andrea Marin


Generalizing Window Flow Control in Bivariate Network Calculus to Enable Leftover Service in the Loop

Michael Beck (University of Kaiserslautern), Jens Schmitt (University of Kaiserslautern)


Generalizing Network Calculus Analysis to Derive Performance Guarantees for Multicast Flows

Steffen Bondorf (Distributed Computer Systems (DISCO) Lab, University of Kaiserslautern), Fabien Geyer (Airbus Group Innovations)


Fair workload distribution for multi-server systems with pulling strategies

Sabina Rossi (University Ca' Foscari Venice), Andrea Marin (University Ca' Foscari Venice)


Optimal population mix in pool depletion systems with two-class workload

Davide Cerotti (Politecnico di Milano), Marco Gribaudo (Politecnico di Milano), Riccardo Pinciroli (Politecnico di Milano), Giuseppe Serazzi (Politecnico di Milano)


(Short paper) Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process

Jannik Hüls (Westfälische Wilhelms-Universität Münster, Institute of Mathematics and Computer Science Münster, Germany), Anne Remke (Westfälische Wilhelms-Universität Münster, Institute of Mathematics and Computer Science Münster, Germany)


Lunch break


Simulation, sensitivity analysis and applications

Chair: Bruno Tuffin


Simulation from the Normal Distribution Truncated to an Interval in the Tail

Zdravko Botev (University of New South Wales), Pierre L'Ecuyer (DIRO, Université de Montréal)


Compositional Construction of Importance Functions in Fully Automated Importance Splitting

Carlos Budde (FAMAF - UNC), Pedro D'Argenio (FAMAF - UNC), Raúl Monti (FAMAF - UNC)


fDRIT - An Evaluation tool for Transient Removal Methods in  Discrete Event Stochastic Simulations

Sushma Nagaraj (Technische Universität Ilmenau), Armin Zimmermann (Technische Universität Ilmenau)


Parametric Sensitivity and Uncertainty Propagation in Dependability Models

Riccardo Pinciroli (Politecnico di Milano), Kishor Trivedi (Duke University), Andrea Bobbio (Università del Piemonte Orientale)


Sensitivity of Application Performance to Resource Availability (Short paper)

Ajitha Rajan (University of Edinburgh), Boris Penev (University of Edinburgh)


Coffee break


Tools 1

Chair: Helena Szczerbicka


Simulation Modeling for Speed Scaling Designs

Maryam Elahi (University of Calgary), Carey Williamson (University of Calgary)


Testing Spn-ps perfect sampling tool on fork-join queueing networks

Simonetta Balsamo (Universita Ca' Foscari Venezia), Andrea Marin (Universita Ca' Foscari Venezia), Ivan Stojic (Universita Ca' Foscari Venezia)


J2CBROKER: A Service Broker Simulation Tool For Cooperative Clouds

Maurizio Giacobbe (Department of Engineering, University of Messina), Riccardo Di Pietro (Department of Engineering, University of Messina), Carlo Puliafito (DIEEI, University of Catania), Marco Scarpa (Department of Engineering, University of Messina)


jSSTL - A Tool to Monitor Spatio-Temporal Properties

Laura Nenzi (IMT, Lucca, Italy), Luca Bortolussi (DMG, University of Trieste), Michele Loreti (University of Florence)



Thursday, Oct 27th


Keynote: Kishor Trivedi

Title: Reliability and Availability Modeling in Practice

Chair: Antonio Puliafito


Coffee break



Chair: Kishor Trivedi


Performance Analysis of SDN Switches with Hardware and Software Flow Tables

Piotr Rygielski (University of Würzburg), Marian Seliuchenko (Lviv Polytechnic National University), Samuel Kounev (University of Würzburg), Mykhailo Klymash (Lviv Polytechnic National University)


Performability Evaluation of Software Defined Networking Infrastructures

Mario Di Mauro (University of Salerno), Maurizio Longo (University of Salerno), Fabio Postiglione (University of Salerno)


Caching Games between Content Providers and Internet Service Providers

Vaggelis Douros (Orange Labs), Salah Eddine Elayoubi (Orange Labs), Eitan Altman (INRIA), Yezekael Hayel (University of Avignon)


Performance of Data Traffic in Small Cells Networks with Inter-Cell Mobility

Philippe OLIVIER (Orange Labs), Alain SIMONIAN (Orange Labs)


(Short paper) Delay Efficient load balancing scheme for Component Carrier selection in Carrier Aggregation in LTE-A

Aditi Gupta (IIT Delhi, India), Dharmaraja Selvamuthu (IIT Delhi, India), Subrat Kar (IIT Delhi, New Delhi 110016, India)


Lunch break



Chair: S. Dharmaraja


Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems

Jose Martinez (Duke University), Kishor Trivedi (Duke University), Benny Cheng (Naval Surface Warfare Center)


Stationary solutions of discrete and continuous Petri nets with priorities

Xavier Allamigeon (INRIA and CMAP, École polytechnique, CNRS), Vianney Boeuf (INRIA and CMAP, École polytechnique, CNRS, École des Ponts ParisTech, Brigade de sapeurs-pompiers de Paris), Stéphane Gaubert (INRIA and CMAP, École polytechnique, CNRS)


Quantitative assessment of workflow performance through PH reduction

Salvatore Distefano (University of Messina), Marco Scarpa (University of Messina)


Efficient solution of extended Multiple-Phased Systems

Elvio Amparore (Università di Torino), Susanna Donatelli (Università di Torino)


(Short paper) Reducing Subtask Dispersion in Hidden Stochastic PERT networks

Tommi Pesu (Imperial College London), William Knottenbelt (Imperial College London)


Coffee break


Tools 2

Chair: Armin Zimmerman


BuTools 2: a Rich Toolbox for Markovian Performance Evaluation

Gabor Horvath (Budapest University of Technology and Economics), Miklos Telek (MTA-BME Information Systems Research Group)


A Short Tutorial On Using SGsim Framework For Smart Grid Applications

Abdalkarim Awad (Birzeit University, Palestine), Peter Bazan (University of Erlangen, Germany), Reinhard German (University of Erlangen, Germany)


Modeling Security Requirements for VNE algorithms

Andreas Fischer (), Ramona Kühn (University of Passau), Waseem Mandarawi (University of Passau), Hermann de Meer (University of Passau)


An Integrated Model-driven Framework for Simulation, Analysis, and Testing Based on OMG Standards

Vitali Schneider (Friedrich-Alexander University of Erlangen-Nürnberg), Anna Deitsch (Friedrich-Alexander University of Erlangen-Nürnberg), Reinhard German (Friedrich-Alexander University of Erlangen-Nürnberg)



Friday, Oct 28


Keynote: Pierre L’Ecuyer

Title: Supercanonical convergence rates  in the simulation of Markov chains

Chair: Bruno Tuffin


Coffee break


Queuing networks analysis

Chair: Dieter Fiems


Dispatching fixed-sized jobs with multiple deadlines to parallel heterogeneous servers

Esa Hyytia (), Rhonda Righter (UC Berkeley), Olivier Bilenne (Aalto University), Xiaohu Wu (Aalto University)


A Maclaurin-series expansion approach to coupled queues with phase-type distributed service times

Eline De Cuypere (Ghent University), Koen De Turck (CentraleSupélec), Sabine Wittevrongel (Ghent University), Dieter Fiems (Ghent University)


Dynamic Parameter Substitution for solution of Layered Queueing Networks with Timeout Decisions

Lianhua Li (Carleton University), Greg Franks (Carleton University)


(Short paper) A Stable Mean Value Analysis Algorithm for Closed Systems with Load-dependent Queues

Lei Zhang (McMaster University), Douglas Down (McMaster University)


(Short paper) Should I add an Intermittent Serve

Raymond Marie (Irisa)


Lunch break


Clouds, federations and big data

Chair: Marco Scarpa


A Queuing Network Model for Performance Prediction of Apache Cassandra

Salvatore Dipietro (Imperial College London, UK), Giuliano Casale (Imperial College London, UK), Giuseppe Serazzi (Politecnico di Milano, Italy)


Automating the Deployment of Multi-Cloud Application in Federated Cloud Environments

Alfonso Panarello (DICIEAMA, University of Messina), Uwe Breitenbücher (IAAS, University of Stuttgart), Frank Leymann (IAAS, University of Stuttgart), Antonio Puliafito (DICIEAMA, University of Messina), Michael Zimmermann (IAAS, University of Stuttgart)


A Federation model to support semantic SPARQL queries for Enterprise Data Governance

Mirco Casoni (Imola Informatica S.p.a.), Stefano Monti (Imola Informatica S.p.a.), Francesco Sprotetto (Imola Informatica S.p.a.), Antonio Corradi (University of Bologna), Luca Foschini (University of Bologna), Riccardo Venanzi (University of Ferrara)


(Short paper) Towards an Ontology development for automated applications in Smart City environment of SmartME Project

Nidhi Kushwaha (IIIT Allahabad), OP VYAS (IIIT ALLAHABAD), Carlo Puliafito (University of Catania), Ranjana Vyas (IIIT Allahabad)


(Short paper) Quantitative evaluation of Cloud-based network virtualization mechanisms for IoT

Salvatore Distefano (University of Messina), Giovanni Merlino (University of Messina), Antonio Puliafito (University of Messina), Francesco Longo (University of Messina), Dario Bruneo (University of Messina)


(Short paper) Performance Prediction for Burstable Cloud Resources

Daniel J Dubois (Imperial College London), Giuliano Casale (Imperial College London)





InfQ 2016 Program


      8:25 - Workshop opening and welcome, E. Casalicchio and S. Di Stefano

Session 1 - New Metrics and models

8:30         Modeling and shaping the lifetime of target detection sensor networks, L. Donatiello, G. Marfia

8:50         Resiliency Quantification for Large Scale Systems: An IaaS Cloud Use Case, R. Ghosh, F. Longo, V. Naik, A. Rindos, K. Trivedi.

9:10         Vulnerability Evaluation of Distributed Reputation Management Systems, V. Agate,  A. De Paola, G. Lo Re, M. Morana


9:30 – 9:50 Coffee Break

Section 2 - New Techniques and Approaches

10:00       Fluid Petri Nets for the Performance Evaluation of MapReduce Applications, E. Gianniti, A. M. Rizzi, E. Barbierato, M. Gribaudo, D. Ardagna

10:20       A Correlation-based Methodology to Infer Communication Patterns between Cloud Virtual Machines, R. Lancellotti, C. Canali

10:40       Extending Queuing Networks to Assess Mobile CrowdSensing Application Performance, R. Pinciroli, S. Distefano


11:00     Phd Defence Corner: M. Nardelli

11:40     Project Proposal Corner: Open Discussion

13:00 - 14:00 Lunch


Section 3 - New Problems and Application Domains

14:10       Joint Operator Replication and Placement Optimization for Distributed Streaming Applications, V. Cardellini, V. Grassi, F. Lo Presti, M. Nardelli

14:30       A Latency-Aware Reward Model Based Greedy Heuristic for the Virtual Network Embedding Problem, F. Bianchi, F. Lo Presti

14:50       Dealing with indetermination in biochemical networks, Marco Beccuti, Niccolo’ Totis, F. Cordero, G. Balbo, L. Follia, C. Riganti, F. Novelli

15:10       Autonomic Orchestration of Containers: Problem Definition and Research Challenges, E. Casalicchio


15:30 - 15:50     Coffee Break

              15:50 – 18/18:30 Birds of a Feather: Open Discussion