Full Program

At a Glance

Day 1

8.30-9.15 Registration
9.15-9.30 Opening session
9.30-10.30 Invited talk: Uri Yechiali, Tel Aviv University, Israel
10.30-11.00 Coffee break
11.00-12.30 Network performance
12.30-13.30 Lunch
13.30-15.10 Queueing and queueing games
15.10-15.30 Coffee break + Posters
15.30-17.20 Optimization and Control
18.00 Cultural tour (meeting at Palma Town Hall)


Day 2

9.00-10.00 Invited talk: Susanna Donatelli, Università di Torino, Italy
10.00-10.30 Coffee break + Posters
10.30-12.30 Wireless Networks (part 1)
12.30-14.00 Lunch
14.00-14.40 Wireless Networks (part 2)
14.40-16.00 Security and Cryptography
16.00-16.30 Coffee break + Posters
16.30-18.30 Posters and Tool demo
20.30 Social Dinner


Day 3

9.00-10.00 Invited talk: Dieter Fiems, University of Ghent, Belgium
10.00-10.30 Coffee break
10.30-12.30 Machine Learning and Data Analysis (part 1)
12.30-13.30 Lunch
13.30-14.30 Machine Learning and Data Analysis (part 2)
14.30-15.00 Closing session


Full Program


1.   Invited 1 : Uri Yechiali – Tandem stochastic systems: Jackson networks, asymmetric exclusion processes, asymmetric inclusion processes and Catalan numbers / Session Chair: Eitan Altman


2.   Session 1: Network performances (1h30) / Session Chair: Mikael Touati

1)    Takashi Ikegawa. Effect of payload size on mean response time when message segmentations occur: Case of burst packet arrival (regular)

2)    Tesfaye Amare, Michele Garau, Bjarne E. Helvik. Dependability Modeling and Analysis of 5G Based Monitoring System in Distribution Grids (short)

3)    Zhihao Shang, Han Wu, Katinka Wolter. Performance Evaluation of the Control Plane in Software Defined Networks (short)

4)    Youssef Ait El Mahjoub, Jean-Michel Fourneau, Hind Castel-Taleb. A numerical approach of the analysis of optical container filling (short)


3.   Session 2: Queuing & Queuing Games (1h40) / Session Chair: Jacques Resing

1)    Peter G. Harrison. A semi-product-form for the equilibrium state probabilities in a pair of queues with finite batches (regular)

2)    Daphne van Leeuwen, Sara Ghazanfari, Liron Ravner, Rudesindo Núñez Queija. A bottleneck with randomly distorted arrival times (regular)

3)    Tesnim Naceur and Yezekael Hayel. Revenue maximization with access and information pricing schemes in a partially-observable queueing game (short)

4)    Manu K. Gupta, N. Hemachandra. A proof of the conjecture in “Pricing surplus server capacity for mean waiting time sensitive customers” (short)


4.   Session 3: Optimization & Control (1h50) / Session Chair: Samuli Aalto

1)    Arnaud Cadas, Ana Bušić, Josu Doncel. Optimal Control of Dynamic Bipartite Matching Models (regular)

2)    Uday Kumar M, Sanjay P Bhat, Veeraruna Kavitha, Nandyala Hemachandra. Ultimately Stationary Policies to Approximate Risk-Sensitive Discounted MDPs. (regular)

3)    Murtuza Ali Abidini, Onno Boxma, Cor Hurkens, Ton Koonen, Jacques Resing. Revenue Maximization in an Optical Router Node Using Multiple Wavelengths (regular)

4)    Shireen Seakhoa-King, Paul Balaji, Nicolas Trama Alvarez, William J. Knottenbelt. Revenue-Driven Scheduling in Drone Delivery Networks with Time-Sensitive Service Level Agreements (short)


5.   Invited 2: Susanna Donatelli – Markov regenerative processes solution and stochastic model checking: an on-the-fly approach / Session Chair: Giuliana Franceschinis


6.   Session 4: Wireless networks (2h40) – parts 1 and 2 / Session Chair: Stella Kapodistria

1)    Anne Savard, E. Veronica Belmega. Optimal Power Allocation in a Relay-aided Cognitive Network (regular) – part 1

2)    Bartłomiej Błaszczyszyn, Paul Mühlethaler. Analyzing LoRa long-range, low-power, wide-area networks using stochastic geometry. (regular) – part 1

3)    Matha Deghel, Patrick Brown, Ana Galindo-Serrano, Salah Eddine Elayoubi. Uplink Contention-based Transmission Schemes for URLLC Services (regular) – part 1

4)    Paolo Ballarini, Benoît Barbot, Nicolas Vasselin. Performance modelling of access control mechanisms for local and vehicular wireless network (regular) – part 1

5)    Cosimo Anglano, Massimo Canonico, Marco Guazzone. WQR-UD: An online scheduling algorithm for FemtoClouds (short) – part 2

6)    Anaïs Vergne. Computing the k-coverage of a wireless network (short) – part 2


7.   Session 5: Security & Cryptography (1h20) / Session Chair: Susanna Donatelli

1)    S.M. Werner, P.J. Pritz, A. Zamyatin, and W.J. Knottenbelt. Uncle Traps: Harvesting Rewards in a Queue-based Ethereum Mining Pool (regular)

2)    Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza. Delimited Persistent Stochastic Non-Interference (regular)

3)    Majed Alrowaithy, Nigel Thomas. Investigating the Performance of C and C++ Cryptographic Libraries (short)


8.   Session 6: Posters and Tool Demos (2h)

1)    Poster: Tomoyuki Ohta, Jürgen Dunkel. Simulation of Evacuation Route Guidance in MANET-based Building Evacuation System

2)    Poster: Lelio Campanile, Mauro Iacono, Marco Gribaudo, Michele Mastroianni. Quantitative Modeling of the Behaviour of an Autonomic Router

3)    Poster: Eitan Altman, Said Boularouk, Didier Josselin. Constrained Markov Decision Processes with Total Expected Cost Criteria

4)    Poster: Saad Alateef, Nigel Thomas. Battery Models Investigation and Evaluation Using a Power Demand Generated from Driving Cycles

5)    Poster: Indu Yadav, Prasanna Chaporkar, Abhay Karandikar. GOSPAL: An Efficient Strategy-Proof Mechanism for Constrained Resource Allocation

6)    Tool: Susanna Donatelli and Elvio G. Amparore. GreatSPN  for stochastic and qualitative model-checking of systems

7)    Tool: Paolo Ballarini, Benoit Barbot and Nicolas Vasselin. COSMOS

8)    Tool: Zhihao Shang, Han Wu and Katinka Wolter. An OpenFlow Controller Performance Evaluation Tool

9)    Tool: Shireen Seakhoa-King and William Knottenbelt. Revenue-Driven Scheduling in a Drone Delivery Network Simulation using SpatialOS


9.   Invited 3: Dieter Fiems  – Data-driven appointment scheduling / Session Chairs: Mikael Touati / Cati Lladó


10. Session 7: Machine Learning & Data analytics (3h)  parts 1 and 2 / Session Chairs: Anne Savard (part 1) / Katinka Wolter (part 2)

1)    Samuli Aalto, Pasi Lassila, Ianire Taboada. Indexability of an opportunistic scheduling problem with partial channel information (regular) – part 1

2)    Irched Chafaa, E. Veronica Belmega, Mérouane Debbah. Adversarial Multi-armed Bandit for mmWave Beam Alignment with One-Bit Feedback (regular) – part 1

3)    Arghyadip Roy, Vivek Borkar, Abhay Karandikar, Prasanna Chaporkar. A Structure-aware Online Learning Algorithm for Markov Decision Processes (regular)– part 1

4)    Eitan Altman, Tania Jiménez. Measuring Audience Retention in YouTube (regular, 30 minutes – paper 33) – part 1

5)    Thomas Kenbeek, Stella Kapodistria, Alessandro Di Bucchianico. Data-driven Online Monitoring of Wind Turbines (regular) – part 2

6)    Ahmed Kamoun, Patrick Maillé, Bruno Tuffin. Evaluating the performance and neutrality/bias of search engines (regular) – part 2