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.

M. Tribastone, A. Duguid, and S. Gilmore. The PEPA Eclipse Plug-in. Performance Evaluation Review, 36(4):28-33, March 2009. (PDF, 278186 bytes)

Allan Clark and Stephen Gilmore. Transformations in PEPA Models and Stochastic Probe Placement. In Karim Djemame, editor, Proceedings of the Twenty-Fifth UK Performance Engineering Workshop, pages 1-16, Leeds University, July 2009. (PDF, 200007 bytes)

Allan Clark, Adam Duguid, and Stephen Gilmore. Passage-end analysis. In Jeremy T. Bradley, editor, Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings, volume 5652 of Lecture Notes in Computer Science, pages 110-115. Springer, 2009. (PDF, 121226 bytes)

Muffy Calder, Stephen Gilmore, Jane Hillston, and Vladislav Vyshemirsky. Formal methods for biochemical signalling pathways. In Jonathan P.; Siddiqi Jawed I Boca, Paul P.; Bowen, editor, Formal Methods: State of the Art and New Directions. Springer, 2009. To appear October 2009. (PDF, 253986 bytes)