The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
A compositional approach to performance modelling
A compositional approach to performance modelling
The inductive approach to verifying cryptographic protocols
Journal of Computer Security
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Information Processing Letters
A Practical Secret Voting Scheme for Large Scale Elections
ASIACRYPT '92 Proceedings of the Workshop on the Theory and Application of Cryptographic Techniques: Advances in Cryptology
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
WOSP '04 Proceedings of the 4th international workshop on Software and performance
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Stochastic Process Algebra Based Software Process Simulation Modeling
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Quantitative Analysis of Web Services Using SRMC
Formal Methods for Web Services
Relating layered queueing networks and process algebra models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Evaluating service level agreements using observational probes
Rigorous software engineering for service-oriented systems
Hi-index | 0.00 |
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the discrete state space of a PEPA model by a continuous equivalent, we can draw on rate equation simulation techniques from both chemical and biological modelling to avoid having to directly enumerate the huge state spaces involved. We use stochastic simulation techniques to provide traces of course-of-values time series representing the number of components in a particular state. Using such a technique we can get simulation results for models exceeding 10^1^0^0^0^0 states within only a few seconds.