Model-Driven Performance Analysis
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM SIGMETRICS Performance Evaluation Review
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
Evaluating service level agreements using observational probes
Rigorous software engineering for service-oriented systems
Passage-end analysis for analysing robot movement
Rigorous software engineering for service-oriented systems
Programming language design and analysis motivated by hardware evolution
SAS'07 Proceedings of the 14th international conference on Static Analysis
Configuring Systems of Massively Distributed, Autonomous and Interdependent Decision Makers
International Journal of Decision Support System Technology
| Hi-index | 0.00 |
This paper gives a summary of some of the work of the Performance Evaluation Process Algebra (PEPA) project, which was awarded the 2004 Roger Needham Award from the BCS. Centred on the PEPA modelling formalism, the project has sought to balance theory and practice. Theoretical developments have been tested and validated by application to a wide range of problems and such case studies have provided the stimulus for new directions in theory. Both aspects of the work are presented in summary as well as some current and future research topics.