VALUETOOLS 2016 FINAL PROGRAM
Regular papers: 25’ (20+5 of questions)
Short papers: 20’ (15+5)
Tool papers: 25’
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) |
|
|
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