A compositional approach to performance modelling
A compositional approach to performance modelling
Product form solution for a class of PEPA models
IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
Exploiting structure in solution: decomposing compositional models
Lectures on formal methods and performance analysis
Observations on Non-repudiation
ASIACRYPT '96 Proceedings of the International Conference on the Theory and Applications of Cryptology and Information Security: Advances in Cryptology
Turning back time in Markovian process algebra
Theoretical Computer Science
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Approximate Solution of a PEPA Model of a Key Distribution Centre
SIPEW '08 Proceedings of the SPEC international workshop on Performance Evaluation: Metrics, Models and Benchmarks
Partial Evaluation of PEPA Models for Fluid-Flow Analysis
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Efficient solutions of a PEPA model of a key distribution centre
Performance Evaluation
A fair non-repudiation protocol
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
Mean value analysis for a class of PEPA models
The Computer Journal
Product-form solution in PEPA via the reversed process
Network performance engineering
Hi-index | 0.00 |
In this paper we consider two very different case studies explored using scalable analysis techniques and stochastic process algebra. The first case study is a classical computer science problem: determining the efficiency of two non-repudiation protocols. We use PEPA to specify the model derived from the protocol specification and mean value analysis and fluid approximation to derive the desired metrics. In the second case study we model a human-centric system, concerning patient flow through a hospital clinic. The model is derived from the clinic practice and observed takt times are used to populate the model. We use PEPA and fluid approximations to derive measures. The two case studies demonstrate the power and versatility of the modelling and analysis approaches used.