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)