Programme

9:00 am - 9:25 am

Selfish Vaccination Behavior in Large Population: A Mean Field Game Approach of SEIR Dynamics

Mohamed Arnouss, Yezekael Hayel and Karam Allali

9:25 am - 9:50 am

Estimating Customer’s Perception of Service Value and Potential Demand in a Two-Location Service System

Nishant Mangre and Jiesen Wang

9:50 am - 10:10 am

Performance Analysis of RIS-Assisted Communications

Hamza Adrat, Laurent Decreusefond and Philippe Martins

10:15 am - 11:15 am

KEYNOTE SPEECH

*Prof. Katinka Wolter

11:15 am - 11:45 am

Coffee Break

11:45 am - 12:10 pm

Instability of Some LJF and LRTF Queueing Networks

Tymoteusz Chojecki and Lukasz Kruk

12:10 pm - 12:35 pm

Modelling Asymmetric Datacenters with JMT

Giovanni De Novellis

1:00 pm - 2:00 pm

Lunch

12:35 pm - 1:00 pm

Probabilistic Process Discovery with Stochastic Process Trees

Probabilistic Process Discovery with Stochastic Process Trees

2:00 pm - 2:25 pm

Analysis of Multi-server Queueing Systems with Setup Times and Power-saving Modes

Thu Le-Anh and Tuan Phung-Duc

2:25 pm - 2:50 pm

After-Service Blocking in Tandem Queues

Tim de Boer, René Bekker and Robert Van der Mei

2:50 pm - 3:15 pm

Generalized Proportional Lumpability

Sabina Rossi and Carla Piazza

3:15 pm - 3:45 pm

Networking, Chat and Coffee

3:45 pm - 4:00 pm

Stalls in Java Applications on x86 Platforms

Stalls in Java Applications on x86 Platforms

4:00 pm - 4:15 pm

A Web-Based solution for Sales Representative Scheduling

Massimo Canonico and Francesco Desimoni

4:15 pm - 4:30 pm

Detection of Non-Neutrality in Video Streaming: Demonstrating and Evaluating the Wehe Tool

Antoine Lesieur, Patrick Maillé and Bruno Tuffin

4:30 pm - 4:45 pm

Nancy.Expressions: Towards a Computer Algebra System for Deterministic Network Calculus

Andrea Trasacco, Raffaele Zippo and Giovanni Stea

4:45 pm - 5:10 pm

Towards an Efficient Model Reduction for Parameter Estimation of Biochemical Networks

Adrien Le Coënt, Benoit Barbot and Nihal Pekergin

7:00 pm - 12:00 pm

Gala Dinner

9:00 am - 9:25 am

PAK-MAN: Enhancing Parallel Bayesian Optimization of Cloud and HPC Systems via Machine Learning

Leonardo Barone, Bruno Guindani, Roberto Sala, Davide Gadioli, Danilo Ardagna and Alessandra Guglielmi

9:25 am - 9:50 am

A Study on Inference Latency for Vision Transformers on Mobile Devices

Zhuojin Li, Marco Paolieri and Leana Golubchik

9:50 am - 10:15 am

Runtime Management of Artificial Intelligence Applications Through Hierarchical Reinforcement Learning

Riccardo Cavadini, Hamta Sedghani, Federica Filippini and Danilo Ardagna

10:15 am - 11:15 am

KEYNOTE SPEECH

Prof. Enrico Zio

11:15 am - 11:45 am

Coffee Break

11:45 am - 12:10 pm

Synthesis Tool Suite for Large Stochastic Model

Lorenzo Matteucci, Michele Loreti and Michela Quadrini

12:10 pm - 12:35 pm

Maximizing Infection: A Competitive Non-Cooperative Game Between Two Malware Designers

Arnold Willie Kouam Kounchou, Arthur Farel Ngoufo Mboho, Yezekael Hayel, Gabriel Deugoue and Charles Kamhoua

12:35 pm - 1:00 pm

Games Among Selfish and Team Stations in Polling Systems

Khushboo Agarwal and Eitan Altman

1:00 pm - 2:00 pm

Lunch

2:00 pm - 2:25 pm

Safe Battery Use and Grid Convenience in an Intelligent Energy Control System

Julius Adelt, Paula Herber, Johann Hurink, Mathis Niehage, Anne Remke and Lisa Willemsen

2:25 pm - 2:50 pm

Can Increasing the Hit Ratio Hurt Cache Throughput?

Ziyue Qiu, Juncheng Yang and Mor Harchol-Balter

2:50 pm - 3:15 pm

Version Age Optimal Content Update and Transmission in an Edge Caching System

Anu Krishna, Ankita Koley and Chandramani Singh