Accepted Papers

Full Papers

Id Title Authors
271501 Achievable region with impatient customers Voleti, Veeraruna Kavitha; Sinha, Raman Kumar (IIT Bombay)
271577 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)
271725 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)
271845 Distributionally Robust Games: f-Divergence and Learning Tembine, Hamidou; Dario, Bauso (University of Sheffield); Jian, Gao (NYU)
271956 Self, Social and Monopoly Optimization in
Observable Queues
Snitkovsky, RanIzhak (Tel Aviv University); Hassin, Refael (Tel Aviv University)
271994 Size-Based Routing to Balance Performance of the Queues Doncel, Josu (University of the Basque Country); Boxma, Onno (Eindhoven University); Abidini, Murtuza (Eindhoven University)
271996 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)
271997 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)
272006 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)
272171 Evaluating the robustness of scheduling in uncertain environment with Petri nets Lefebvre, Dimitri (GREAH Université Le Havre)
272188 Runtime Performance Prediction of Big Data
Workflows with I/O-aware Simulation
Llwaah, Faris (Newcastle University); Cala, Jacek (Newcastle University); Thomas, Nigel (Newcastle University)
272203 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)
272302 Whittle networks with resets Fourneau, Jean-Michel (DAVID, UVSQ); Dao-Thi, Thu-Ha (Institute of Mathematics, VAST); Tran, Minh-Anh (LACL, UPEC)
272311 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)
272314 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)
272322 On dimensioning Cloud-RAN systems Quintuna Rodriguez, Veronica (Orange Labs); Guillemin, Fabrice (Orange Labs)
272323 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)
272324 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)
272350 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)
272362 Modelling user behaviour at a stochastic road traffic bottleneck van Leeuwen, Daphne (CWI); van de Ven, Peter (CWI)
272373 Markovian Modeling of Wireless Trace Data Kriege, Jan (TU Dortmund)
272380 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
272463 Reciprocity-driven Sparse Network Formation Tsoukatos, Konstantinos P. (Technological Education Institute of Thessaly)
272498 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)
272231 Performance Evaluation of Network Topologies using Graph-Based Deep Learning Geyer, Fabien (Technische Universität München)

Tool Papers

Id Title Authors
271998 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)
271369 VITO: VIrtual Testbed Orchestration for Automation of Networking Experiments Stockmayer, Andreas (University of Tuebingen); Kindermann, Christian (University of Tuebingen); Menth, Michael (University of Tuebingen)
272000 Fast Min-plus Convolution and Deconvolution on GPUs Luangsomboon, Natchanon (University of Toronto); Hesse, Robert (University of Toronto); Liebeherr, Jorg (University of Toronto)
272236 marmoteCore: a Markov Modeling Platform Jean-Marie, Alain (Inria)
272494 MAGNET: a Software Library for Markovian Agent Networks Scarpa, Marco (Department of Engineering – University of Messina); Molica, Giuseppe (Department of Engineering – University of Messina)
271973 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)
272325 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)

Fast Abstracts

Id Title Authors
272521 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)
274011 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)
273996 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)
273924 Exact Computation and Bounds for the Coupling Time in Queueing Systems Samain, Sebastian (INRIA); Busic, Ana (INRIA)
273848 Resource allocation in a cloud under viruses attacks Sherzer, Eliran; Levi, Hanoch (Tel-Aviv University); Gilboa-Freedman, Gail (IDC)
274023 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)
273923 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)
273920 Performance Evaluation for Service Function Chains through Automated Model Building Fischer, Andreas (Technische Hochschule Deggendorf)
273913 Adaptive Holding time and Depth-Based Routing for Underwater Wireless Sensor Networks Jafri, Mohsin (DAIS, Università Ca’ Foscari Venezia, Italy)
274007 Some Notes on Rare-Event Simulation Challenges Zimmermann, Armin (Ilmenau University of Technology)