VALUETOOLS 2017 Final Program

Note: (F) denotes full paper 25 min, (T) denotes tool paper 15 min, (A) denotes fast abstract 10 min

Tuesday, December 5, 2017

8:30-9:00 Registration

9:00-10:30 Tutorial “An introduction to the ORIS tool” (Session chair: Sabina Rossi, Università Ca’ Foscari Venezia)
E. Vicario (Univ. of Florence) and L. Carnevali (Univ. of Florence)

10.30-11:00 Coffee break

11:00-11:15 Welcome and opening session

11:15-12:30 Networking (Session chair: Anne Remke, University of Twente)

  • 11:15-11:40 (F)  Capacity Expansion of Neutral ISPs via Content Peering Charges: The Bargaining Edge
    Kalvit, Anand (IIT Bombay); Kasbekar, Gaurav (IIT Bombay); Manjunath, D (IIT Bombay); Nair, Jayakrishnan
  • 11:40-12:05 (F) Markovian Modeling of Wireless Trace Data
    Kriege, Jan (TU Dortmund)
  • 12:05-12:30 (F) Performance Evaluation of Network Topologies using Graph-Based Deep Learning
    Geyer, Fabien (Technische Universität München)

12:30-14:00 Lunch

14:00- 15:55 Markov models (Session chair: Jan Kriege, TU Dortmund)

  • 14:00-14:25 (F) Whittle networks with resets
    Fourneau, Jean-Michel (DAVID, UVSQ); Dao-Thi, Thu-Ha (Institute of Mathematics, VAST); Tran, Minh-Anh (LACL, UPEC)
  • 14:25-14:50 (F) Perturbation of CTMC Trapping Probabilities with Application to Model Repair
    Gouberman, Alexander (Informatik III, Universität der Bundeswehr München, Germany); Siegle, Markus (Informatik III, Universität der Bundeswehr München, Germany); Tati, Bharath Siva Kumar (Informatik III, Universität der Bundeswehr München, Germany)
  • 14:50-15:15  (F) Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters
    Scheftelowitsch, Dimitri (Informatik IV, TU Dortmund); Buchholz, Peter (Informatik IV, TU Dortmund); Hashemi, Vahid (Saarland University); Hermanns, Holger (Saarland University)
  • 15:15-15:40  (F) Efficient Computation of Renaming Functions for ρ-reversibility Discrete and Continuous Time Markov Chains
    Sottana, Matteo (Università Ca’ Foscari Venezia); Piazza, Carla (Università di Udine); Albarelli, Andrea (Università Ca’ Foscari Venezia)
  • 15:40-15:55  (T) marmoteCore: a Markov Modeling Platform
    Jean-Marie, Alain (Inria)

15.55-16:25 Coffee break

16:25-17:40 Software Performance Engineering (Session chair: Marco Gribaudo,
Politecnico di Milano)

  • 16:25-16:50  (F) Automated and Adaptable Decision Support for Software Performance Engineering
    Walter, Jürgen (University of Würzburg); van Hoorn, Andre (University of Stuttgart); Kounev, Samuel (University of Würzburg)
  • 16:50-17:15  (F) Runtime Performance Prediction of Big Data Workflows with I/O-aware Simulation
    Llwaah, Faris (Newcastle University); Cala, Jacek (Newcastle University); Thomas, Nigel (Newcastle University)
  • 17:15-17:40 (F) The Back End is Only One Part of the Picture: Mobile-Aware Application Performance Monitoring and Problem Diagnosis
    Angerbauer, Katrin (University of Stuttgart); Okanović, Dušan (University of Stuttgart); van Hoorn, André (University of Stuttgart); Heger, Christoph (NovaTec GmbH)

Wednesday, December 6, 2017

9:00-10:00 Keynote talk: The limits of recommendations, and the role of social ties (Session chair: Sabina Rossi, Università Ca’ Foscari Venezia)
A. Panconesi (Univ. La Sapienza)

10:00-10:30 Coffee break

10:30-11:45 Best paper candidates (Session chair: Giuliano Casale, Imperial College London)

  • 10:30-10:55  (F) Reciprocity-driven Sparse Network Formation
    Tsoukatos, Konstantinos P. (Technological Education Institute of Thessaly)
  • 10:55-11:20  (F) MCMC approaches to rumor source inference using pairwise information
    Kalvit, Anand (Dept. of Electrical Engineering, IIT Bombay); Borkar, VivekS. (Dept. of Electrical Engineering, IIT Bombay); Karamchandani, Nikhil (Dept. of Electrical Engineering, IIT Bombay)
  • 11:20-11:45 (F) FCFS Parallel Service Systems and Matching Models
    Adan, Ivo (Eindhoven University of Technology); Righter, Rhonda (University of California at Berkeley); Weiss, Gideon (The University of Haifa)

11:45-12:30 Networking tools (Session chair: Marco Scarpa, University of Messina)

  • 11:45 -12:00 (T)  VITO: VIrtual Testbed Orchestration for Automation of Networking Experiments
    Stockmayer, Andreas (University of Tuebingen); Kindermann, Christian (University of Tuebingen); Menth, Michael (University of Tuebingen)
  • 12:00-12:15 (T)  Flent: The FLExible Network Tester
    Høiland-Jørgensen, Toke (Karlstad University); Grazia, CarloAugusto (University of Modena and Reggio Emilia); Hurtig, Per (Karlstad University); Brunstrom, Anna (Karlstad University)
  • 12:15-12:30 (T)  Fast Min-plus Convolution and Deconvolution on GPUs
    Luangsomboon, Natchanon (University of Toronto); Hesse, Robert (University of Toronto); Liebeherr, Jorg (University of Toronto)

12:30-14:00 Lunch

14:00-15:55 Analysis of large systems (Session chair: Alain Jean-Marie, Inria)

  • 14:00-14:25 (F) On dimensioning Cloud-RAN systems
    Quintuna Rodriguez, Veronica (Orange Labs); Guillemin, Fabrice (Orange Labs)
  • 14:25-14:50 (F) Modelling user behaviour at a stochastic road traffic bottleneck
    van Leeuwen, Daphne (CWI); van de Ven, Peter (CWI)
  • 14:50-15:15 (F) Distributionally Robust Games: f-Divergence and Learning
    Tembine, Hamidou; Dario, Bauso (University of Sheffield); Jian, Gao (NYU)
  • 15:15-15:40 (F) Scalable analytical model of the reliability of multicore systems-on-chip by interacting Markovian agents
    Bobbio, Andrea (Università Piemonte Orientale); Bolchini, Cristiana (Politecnico di Milano); Cerotti, Davide (Università Piemonte Orientale); Gribaudo, Marco (Politecnico di Milano); Miele, Antonio (Politecnico di Milano)
  • 15:40-15:55 (T) MAGNET: a Software Library for Markovian Agent Networks
    Scarpa, Marco (Department of Engineering – University of Messina); Molica, Giuseppe (Department of Engineering – University of Messina)

15.55-16:25 Coffee break

16:25-17:45 Petri Nets (Session chair: Giuliana A. Franceschinis, Università del Piemonte Orientale)

  • 16:25-16:50 (F) Evaluating the robustness of scheduling in uncertain environment with Petri nets
    Lefebvre, Dimitri (GREAH Université Le Havre)
  • 16:50-17:15 (F) Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
    Hüls, Jannik (Westfälische Wilhelms-Universität Münster); Schupp, Stefan (RWTH Aachen University); Remke, Anne (Westfälische Wilhelms-Universität Münster); Abraham, Erika (RWTH Aachen University)
  • 17:15-17:30 (T) HYPEG: Statistical Model Checking for hybrid Petri nets
    Pilch, Carina (Westfälische Wilhelms-Universität Münster); Edenfeld, Fabian (Westfälische Wilhelms-Universität Münster); Remke, Anne (Westfälische Wilhelms-Universität Münster)
  • 17:30-17:45 (T) Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language
    Oliveira, Danilo (Federal University of Pernambuco); Matos, Rubens (Federal Institute of Education, Science, and Technology of Sergipe); Dantas, Jamilson (Federal University of Pernambuco); Ferreira, João (Federal University of Pernambuco); Silva, Bruno (Federal University of Pernambuco); Callou, Gustavo (Federal Rural University of Pernambuco); Maciel, Paulo (Federal University of Pernambuco); Brinkmann, André (Johannes Gutenberg University Mainz)

19:45 Social dinner at Restaurant “Le Maschere”

Thursday, December 7, 2017

9:00-10:00 Keynote talk: Load balancing algorithms
Johan van Leeuwaarden (Eindhoven University of Technology) and Debankur Mukherjee (Eindhoven University of Technology)

10:00-10:30 Coffee break

10:30-11:45 Queueing Theory 1 (Session chair: Tuan Phung-Duc, University of Tsukuba)

  • 10:30-10:55 (F) Size-Based Routing to Balance Performance of the Queues
    Doncel, Josu (University of the Basque Country); Boxma, Onno (Eindhoven University); Abidini, Murtuza (Eindhoven University)
  • 10:55-11:20  (F) Beyond the shortest queue routing with heterogeneous servers and general cost function
    Hyytia, Esa (University of Iceland); Righter, Rhonda (UC Berkeley); Samúelsson, Sigurður Gauti (Aalto University)
  • 11:20-11:45  (F) Self, Social and Monopoly Optimization in Observable Queues
    Snitkovsky, RanIzhak (Tel Aviv University); Hassin, Refael (Tel Aviv University)

11:45-12:25 Security, Reliability and Energy (Session chair: Laura Carnevali, University of Florence)

  • 11:45-11:55  (A) Trading Optimality for Performance in Location Privacy
    Chatzikokolakis, Konstantinos (CNRS and Ecole Polytechnique); Haddad, Serge (ENS Cachan); Kassem, Ali (INRIA and Ecole Polytechnique); Palamidessi, Catuscia (INRIA and Ecole Polytechnique)
  • 11:55-12:05  (A) Resource allocation in a cloud under viruses attacks
    Sherzer, Eliran; Levi, Hanoch (Tel-Aviv University); Gilboa-Freedman, Gail (IDC)
  • 12:05-12:15  (A)  Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic
    Luisa Vissat, Ludovica (School of Informatics, University of Edinburgh, UK); Hillston, Jane (School of Informatics, University of Edinburgh, UK); Loreti, Michele (DiSIA, University of Firenze, Italy); Nenzi, Laura (Faculty of Informatics, Vienna University of Technology, Austria)
  • 12:15-12:25  (A) Towards Energy Consumption Prediction with Safety Margins for Multicopter Systems
    Dietrich, Thomas (Technische Universität Ilmenau); Krug, Silvia (Technische Universität Ilmenau); Zimmermann, Armin (Technische Universität Ilmenau); Hotz, Thomas (Technische Universität Ilmenau)

12:25-14:00 Lunch

14:00- 15:25 Queueing Theory 2 (Session chair: Uri Yechiali, Tel Aviv University)

  • 14:00-14:25 (F) Achievable region with impatient customers
    Voleti, Veeraruna Kavitha; Sinha, Raman Kumar (IIT Bombay)
  • 14:25-14:50 (F) Profiting the idleness in single server system with orbit-queue
    Phung-Duc, Tuan (University of Tsukuba, JP); Aissani, Amar (University of Science and Technology Houari Boumediene)
  • 14:50-15:15 (F)  Three-way Optimisation of Response Time, Subtask Dispersion and Energy Consumption in Split–Merge Systems
    Pesu, Tommi (Imperial College London); Kettunen, Jani (Google); Wolter, Katinka (Freie Universität Berlin); Knottenbelt, William (Imperial College London)
  • 15:15-15:25 (A)  Exact Computation and Bounds for the Coupling Time in Queueing Systems
    Samain, Sebastian (INRIA); Busic, Ana (INRIA)

15:25-16:15 Networking and simulation (Session chair: C. Piazza, Università di Udine)

  • 15:25-15:35 (A) Adaptive Holding time and Depth-Based Routing for Underwater Wireless Sensor Networks
    Jafri, Mohsin (DAIS, Università Ca’ Foscari Venezia, Italy)
  • 15:35-15:45 (A) Performance Evaluation for Service Function Chains through Automated Model Building
    Fischer, Andreas (Technische Hochschule Deggendorf)
  • 15:45-15:55 (A)  Network Emulation Support in ns-3 Through Kernel Bypass Techniques
    Imputato, Pasquale (Università degli studi di Napoli Federico II); Avallone, Stefano (Università degli studi di Napoli Federico II); Pecorella, Tommaso (Univeristà degli studi di Firenze)
  • 15:55-16:05 (A) Modeling and evaluating performances of complex edge computing based systems: a firefighting support system case study
    Cavalieri d’Oro, Edoardo (Italian National Fire Corp); Colombo, Simone (Politecnico di Milano); Gribaudo, Marco (Politecnico di Milano); Iacono, Mauro (Università degli Studi della Campania “Luigi Vanvitelli”); Manca, Davide (Politecnico di Milano); Piazzolla, Pietro (Politecnico di Milano)
  • 16:05-16:15 (A) Some Notes on Rare-Event Simulation Challenges
    Zimmermann, Armin (Ilmenau University of Technology)

16:15-16:30 Closing session