PEPA — Performance Evaluation Process Algebra

Bibliography of papers on PEPA

[ All | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 ]

This is a bibliography of papers, articles and books on the use and development of Performance Evaluation Process Algebra (PEPA). Many of the papers listed here are available from this page via hyperlinks. The PEPA bibliography is also available as a BibTeX file, DVI, PostScript and PDF.

If you have written a paper on PEPA which you would like to have included here or you would like to make updates or corrections to this list please send an email to Stephen Gilmore.

This page is also indexed at Citeseer. If the paper you are looking for is not here you can query Citeseer for papers on PEPA.

[1]

Jean-Michel Fourneau and Leï la Kloul. A precedence PEPA model for performance and reliability analysis. In András Horváth and Miklós Telek, editors, Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop (EPEW 2006), number 4054 in LNCS, pages 1-15. Springer-Verlag, June 2006. (PDF, 543715 bytes)

[2]

Jane Hillston and Leï la Kloul. A function-equivalent components based simplification technique for PEPA models. In András Horváth and Miklós Telek, editors, Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop (EPEW 2006), number 4054 in LNCS, pages 16-30. Springer-Verlag, June 2006. (PDF, 482919 bytes)

[3]

Ashok Argent-Katwala and Jeremy T. Bradley. Functional performance specification with stochastic probes. In András Horváth and Miklós Telek, editors, Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop (EPEW 2006), number 4054 in LNCS, pages 31-46. Springer-Verlag, June 2006. (PDF, 557691 bytes)

[4]

Allan Clark and Stephen Gilmore. Evaluating quality of service for service level agreements. In Lubos Brim and Martin Leucker, editors, Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems, pages 172-185, Bonn, Germany, August 2006. (PDF, 298139 bytes)

[5]

Adam Duguid. Coping with the parallelism of BitTorrent: Conversion of PEPA to ODEs in dealing with state space explosion. In Eugene Asarin and Patricia Bouyer, editors, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings, volume 4202 of Lecture Notes in Computer Science, pages 156-170. Springer, 2006. (PDF, 822863 bytes)

[6]

Stephen Gilmore and Mirco Tribastone. Evaluating the scalability of a web service-based distributed e-learning and course management system. In Mario Bravetti, Manuel T. Núñez, and Gianluigi Zavattaro, editors, Third International Workshop on Web Services and Formal Methods (WS-FM'06), volume 4184 of Lecture Notes in Computer Science, pages 156-170, Vienna, Austria, 2006. Springer. (PDF, 235016 bytes)

[7]

Muffy Calder, Adam Duguid, Stephen Gilmore, and Jane Hillston. Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. In Corrado Priami, editor, Proceedings of the Fourth International Conference on Computational Methods in Systems Biology (CMSB 2006), volume 4210 of Lecture Notes in Computer Science, pages 63-77, Trento, Italy, 2006. Springer. (PDF, 4089299 bytes)

[8]

Muffy Calder, Stephen Gilmore, and Jane Hillston. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In Transactions on Computational Systems Biology VII, number 4230 in LNCS. Springer, 1-23 2006. (PDF, 366320 bytes)

[9]

Marco Stenico. Modelling molecular systems with discrete concentration levels in the context of the process algebra PEPA: Stochastic and deterministic interpretations. Master's thesis, Università degli Studi di Trento, 2006. Corso di Laurea in Informatica Specialistica thesis. (PDF, 677990 bytes)

[10]

T. Razafindralambo and F. Valois. Performance evaluation of backoff algorithms in 802.11 ad-hoc networks. In PE-WASUN '06: Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks, pages 82-89, New York, NY, USA, 2006. ACM Press. (PDF, 222587 bytes)

[11]

T. Razafindralambo and F. Valois. Stochastic behavior study of backoff algorithms in case of hidden terminals. In Proceedings of the 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC'06), pages 1-6. IEEE Press, 2006. (PDF, 147384 bytes)