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