An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Performance modelling of hierarchical cellular networks using PEPA
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
A Mixed Abstraction Level Simulation Model of Large-Scale Internet Worm Infestations
MASCOTS '02 Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Simulating realistic network worm traffic for worm warning system design and testing
Proceedings of the 2003 ACM workshop on Rapid malcode
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Fluid semantics for passive stochastic process algebra cooperation
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
A Computer Virus Spread Model Based on Cellular Automata on Graphs
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Bio-PEPA for Epidemiological Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Evaluating fluid semantics for passive stochastic process algebra cooperation
Performance Evaluation
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Replicating web services for scalability
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Scaling performance analysis using fluid-flow approximation
Rigorous software engineering for service-oriented systems
Fluid computation of passage-time distributions in large Markov models
Theoretical Computer Science
Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Don't just go with the flow: cautionary tales of fluid flow approximation
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Don't just go with the flow: cautionary tales of fluid flow approximation
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Continuous approximation of collective system behaviour: A tutorial
Performance Evaluation
Survival vs. revenue: modelling and reasoning on population dynamics (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Learning and designing stochastic processes from logical constraints
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Bounds on the deviation of discrete-time Markov chains from their mean-field model
Performance Evaluation
Hi-index | 0.00 |
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-based model of infection based solely on the underlying process description of the infection agent model. Thus, rather than craft a differential equation model directly, we derive this representation automatically from a high-level process model expressed in the PEPA process algebra. This extends existing population infection dynamics models of Internet worms by explicitly using frequency-based spread of infection. Three types of worm attack are analysed which are differentiated by the nature of recovery from infection and vulnerability to subsequent attacks. To perform this analysis we make use of continuous state-space approximation, a recent breakthrough in the analysis of massively parallel stochastic process algebra models. Previous explicit state-representation techniques can only analyse systems of order 10^9 states, whereas continuous state-space approximation can allow analysis of models of 10^1^0^0^0^0 states and beyond.