Preliminary Program

9:00 am - 10:00 am

Registration

10:00 am - 10:25 am

A queueing model under a threshold balking strategy based on recent customers' decisions

Antonis Economou, Odysseas Kanavetas, Athanasia Manou, and Sotiris Tzinakis

10:25 am - 10:50 am

A simulation study of the sojourn time in queueing systems with stochastically delayed information

Kazuma Abe, Tuan Phung-Duc, and Masaki Onishi

10:50 am - 11:15 am

TBA

11:15 am - 11:45 am

Coffee Break

11:45 am - 12:10 pm

DrawNET 4: a suit to create graph-based modeling tools

Marco Gribaudo

12:10 pm - 12:35 pm

Enhancing the PEPA Eclipse Plug-in

Riccardo Romanello, Carla Piazza, Sabina Rossi, and Alberto Casagrande

12:35 pm - 2:00 pm

Lunch

2:00 pm - 3:00 pm

Invited talk

TBA

3:00 pm - 3:30 pm

Coffee Break

3:30 pm - 3:55 pm

Multidomain Cyber Deception: A Multigraph Centrality Game Approach

Arthur Farel Ngoufo Mboho, Willie Kouam, Franklin Tchakounte, Yezekael Hayel, and Charles Kamhoua

3:55 pm - 4:20 pm

Modeling Lateral Attack Containment via Honeypot Architectures in Virtualized Systems

Pierre Charreaux, Yezekahel Hayel, Francesco De Pellegrini, Alexandre Reiffers-Masson, and Françoise Sailhan

4:20 pm - 4:45 pm

There are Several Ways out of the Hospital. And into. On Acyclic Phase-Type Distributions with Multiple Exits and Entries

Dominic Zimmer and Holger Hermanns

7:45 pm - 9:00 pm

Social Dinner

Cottiers Restaurant

9:30 am - 9:55 am

The Arnoldi Aggregation for Approximate Transient Distributions of Markov Chains

Patrick Sonnentag, Fabian Michel, and Markus Siegle

9:55 am - 10:20 am

Exact Persistent Stochastic Non-Interference

Riccardo Romanello, Carla Piazza, and Sabina Rossi

10:20 am - 10:45 am

Performance paradox in matching models with abandonment

Ana Busic, Jean-Michel Fourneau, and Shu Li

10:45 am - 11:15 am

Coffee Break

11:15 am - 11:40 am

Efficient Guaranteed Controllers for Switched Dynamical Systems Using Probabilistic Approximations

Yahia Bahloul, Adrien Le Coënt, Benoit Barbot, and Nihal Pekergin

11:40 am - 12:05 pm

TBA

12:05 pm - 1:15 pm

Lunch

1:15 pm - 1:40 pm

Localized Statistical Learning of Cell Loads in Cellular Networks

Lucas Darlavoix, Bartłomiej Błaszczyszyn, and Mohamed Kadhem Karray

1:40 pm - 2:05 pm

Demonstration of effective UCB-based routing in skill-based queues on real-world data

Sanne van Kempen, Jaron Sanders, Fiona Sloothaak, and Maarten Wolf

12:05 pm - 2:30 pm

Impact of Packetization on Network Calculus Analysis

Yuming Jiang

2:30 pm - 3:00 pm

Coffee Break

3:00 pm - 3:25 pm

TBA

3:25 pm - 3:50 pm

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis

Hassan Arafat, David Bremner, Kenneth Kent, and Julian Wang

3:50 pm - 4:00 pm

Closing Ceremony

Best Paper Announcement

Scroll to Top