Abstract is missing.
- PrefaceMatthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas. 1-3 [doi]
- Performance Modelling of the Impact of Cyber Attacks on a Web-based Sales SystemOhud Almutairi, Nigel Thomas. 5-20 [doi]
- Energy Consumption by Servers under Unknown Service DemandAli Alssaiari, Nigel Thomas. 21-38 [doi]
- Modelling Load-Changing Attacks in Cyber-Physical SystemsLuca Arnaboldi, Ricardo M. Czekster, Charles Morisset, Roberto Metere. 39-60 [doi]
- Evaluating the Safety of Crowds in Enclosed Spaces by Markovian AgentsEnrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis. 61-75 [doi]
- Stochastic Bounds for the Max Flow in a Network with Discrete Random CapacitiesLoubna Echabbi, Jean-Michel Fourneau, Oussama Gacem, Houda Lotfi, Nihal Pekergin. 77-105 [doi]
- On Performance Evaluation of Security Monitoring in Multitenant Cloud ApplicationsLelio Campanile, Mauro Iacono, Stefano Marrone 0001, Michele Mastroianni. 107-127 [doi]
- Compositional Model Checking and Model Repair for a Class of Product Form ModelsAmin Soltanieh, Markus Siegle. 129-148 [doi]