Description
This book constitutes the refereed proceedings of the 18th EAI International Conference on Performance Evaluation Methodologies and Tools, Valuetools 2025, which took place in Glasgow, UK during December 11 12, 2025
The 18 full papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized into topical sections as follows: Queueing Models; Stochastic Models; Cyber Attacks; Tools; Networks and Routing.
.- Queueing models
.- A queueing model under a threshold balking strategy based on recent customers decisions.
.- A simulation study of the sojourn time in queueing systems with stochastically delayed information.
.- Social welfare optimization in a queueing game with heterogeneous customers and partial information.
.- Stochastic Models
.- There are Several Ways out of the Hospital. And into.
.- Exact Persistent Stochastic Non-Interference.
.- Performance paradox in matching models with abandonment.
.- The Arnoldi Aggregation for Approximate Transient Distributions of Markov Chains.
.- Efficient Agent Based Simulation exploiting the model structure.
.- Efficient Guaranteed Controllers for Switched Dynamical Systems Using Probabilistic Approximations.
.- Cyber Attacks
.- Modeling Lateral Attack Containment via Honeypot Architectures in Virtualized Systems.
.- Multidomain Cyber Deception: A Multigraph Centrality Game Approach.
.- Tools
.- OOPredictor: Predicting Object-Oriented Accesses using Static Analysis.
.- Enhancing the PEPA Eclipse Plug-in.
.- DrawNET 4: a suite to create graph-based modeling tools.
.- Networks and Routing
.- Impact of Packetization on Network Calculus Analysis.
.- Demonstration of effective UCB-based routing in skill-based queues on real-world data.
.- Rewriting for efficient multiformalism performance modeling of a smart city edge server.
.- Localized Statistical Learning of Cell Loads in Cellular Networks.
