WOSP '08 Proceedings of the 7th international workshop on Software and performance
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 Flow Approach to Usability Analysis of Multi-user Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Scalable Analysis of Scalable Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Quantitative Analysis of Web Services Using SRMC
Formal Methods for Web Services
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Scalable analysis of collective behaviour in smart service systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Replicating web services for scalability
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Efficient solutions of a PEPA model of a key distribution centre
Performance Evaluation
Early model-analysis of logistics systems
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Design and development of software tools for Bio-PEPA
Winter Simulation Conference
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
Rigorous software engineering for service-oriented systems
Hi-index | 0.00 |
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, and stochastic simulation.