Performance Evaluation Methodologies and Tools

.- 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.