Wednesday, October 26th

9:00

Welcome Session

9:15

Keynote: Jiannong Cao

Title: Mobile Cloud Application Partitioning in Dynamic and MultiUser Environments

Chair: Antonio Puliafito

10:15

Coffee break

10:45-12:45

Network calculus, workload and scheduling

Chair: Andrea Marin

10:45

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)

11:10

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)

11:35

Fair workload distribution for multi-server systems with pulling strategies

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

12:00

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)

12:25

(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)

12:45

Lunch break

13:45-15:45

Simulation, sensitivity analysis and applications

Chair: Bruno Tuffin

13:45

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)

14:10

Compositional Construction of Importance Functions in Fully Automated Importance Splitting

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

14:35

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)

15:00

Parametric Sensitivity and Uncertainty Propagation in Dependability Models

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

15:25

Sensitivity of Application Performance to Resource Availability (Short paper)

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

15:45

Coffee break

16:15-17:55

Tools 1

Chair: Helena Szczerbicka

16:15

Simulation Modeling for Speed Scaling Designs

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

16:40

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)

17:05

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)

17:30

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

9:00

Keynote: Kishor Trivedi

Title: Reliability and Availability Modeling in Practice

Chair: Antonio Puliafito

10:00

Coffee break

10:30-12:30

Networking

Chair: Kishor Trivedi

10:30

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)

10:55

Performability Evaluation of Software Defined Networking Infrastructures

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

11:20

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)

11:45

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

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

12:05

(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)

12:30

Lunch break

13:45-15:45

Methodologies

Chair: S. Dharmaraja

13:45

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)

14:10

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)

14:35

Quantitative assessment of workflow performance through PH reduction

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

15:00

Efficient solution of extended Multiple-Phased Systems

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

15:25

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

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

15:45

Coffee break

16:15-17:55

Tools 2

Chair: Armin Zimmerman

16:15

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)

16:40

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)

17:05

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)

17:30

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

9:00

Keynote: Pierre L’Ecuyer

Title: Supercanonical convergence rates  in the simulation of Markov chains

Chair: Bruno Tuffin

10:00

Coffee break

10:30-12:25

Queuing networks analysis

Chair: Dieter Fiems

10:30

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)

10:55

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)

11:20

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

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

11:45

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

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

12:05

(Short paper) Should I add an Intermittent Serve

Raymond Marie (Irisa)

12:25

Lunch break

13:30-15:45

Clouds, federations and big data

Chair: Marco Scarpa

13:30

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)

13:55

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)

14:20

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)

14:45

(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)

15:05

(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)

15:25

(Short paper) Performance Prediction for Burstable Cloud Resources

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