


default search action
10th PASM 2019: Milan, Italy
- Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas:
Tenth International Workshop on the Practical Application of Stochastic Modelling, PASM 2019, Milan, Italy, November 2019. Electronic Notes in Theoretical Computer Science 353, Elsevier 2020 - Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas:
Preface. 1-3 - Ohud Almutairi, Nigel Thomas:
Performance Modelling of the Impact of Cyber Attacks on a Web-based Sales System. 5-20 - Ali Alssaiari, Nigel Thomas:
Energy Consumption by Servers under Unknown Service Demand. 21-38 - Luca Arnaboldi, Ricardo M. Czekster
, Charles Morisset, Roberto Metere:
Modelling Load-Changing Attacks in Cyber-Physical Systems. 39-60 - Enrico Barbierato, Marco Gribaudo
, Mauro Iacono, Alexander H. Levis:
Evaluating the Safety of Crowds in Enclosed Spaces by Markovian Agents. 61-75 - Loubna Echabbi, Jean-Michel Fourneau, Oussama Gacem, Houda Lotfi, Nihal Pekergin:
Stochastic Bounds for the Max Flow in a Network with Discrete Random Capacities. 77-105 - Lelio Campanile, Mauro Iacono, Stefano Marrone, Michele Mastroianni
:
On Performance Evaluation of Security Monitoring in Multitenant Cloud Applications. 107-127 - Amin Soltanieh, Markus Siegle
:
Compositional Model Checking and Model Repair for a Class of Product Form Models. 129-148

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
