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]

J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996. (Gzipped PostScript, 168 pages, 380992 bytes) (PDF, 1594115 bytes)

[3]

S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pages 353-368, Vienna, May 1994. Springer-Verlag. (PDF, 145621 bytes)

[4]

J. Hillston. The nature of synchronisation. In Herzog and Rettelbach [155], pages 51-70. (PDF, 161736 bytes)

[5]

J. Hillston. Compositional Markovian modelling using a process algebra. In W. Stewart, editor, Proceedings of the Second International Workshop on Numerical Solution of Markov Chains: Computations with Markov Chains, Raleigh, North Carolina, January 1995. Kluwer Academic Press. (Gzipped PostScript, 19 pages, 50194 bytes)

[6]

J. Hillston and V. Mertsiotakis. A simple time scale decomposition technique for stochastic process algebras. In Gilmore and Hillston [156], pages 566-577. (Gzipped PostScript, 12 pages, 79045 bytes)

[7]

P. Harrison and J. Hillston. Exploiting quasi-reversible structures in Markovian process algebra models. In Gilmore and Hillston [156], pages 510-520. (Gzipped PostScript, 11 pages, 82116 bytes)

[8]

M. Ribaudo. On the aggregation techniques in stochastic Petri nets and stochastic process algebras. In Gilmore and Hillston [156], pages 600-611. (Gzipped PostScript, 128802 bytes)

[9]

D.R.W. Holton. A PEPA specification of an industrial production cell. In Gilmore and Hillston [156], pages 542-551. (Gzipped PostScript, 10 pages, 106265 bytes)

[10]

S. Donatelli, J. Hillston, and M. Ribaudo. A comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets. In Proc. 6th International Workshop on Petri Nets and Performance Models, Durham, North Carolina, 1995. (PostScript, 11 pages, 187517 bytes) (PDF, 219293 bytes)

[12]

M. Ribaudo. Stochastic Petri net semantics for stochastic process algebras. In Proc. 6th International Workshop on Petri Nets and Performance Models, Durham, North Carolina, 1995. (Gzipped PostScript, 99168 bytes)

[13]

S. Gilmore, J. Hillston, D.R.W. Holton, and M. Rettelbach. Specifications in Stochastic Process Algebra for a Robot Control Problem. International Journal of Production Research, 34(4):1065-1080, 1996. (Gzipped PostScript, 26 pages, 42601 bytes)

[14]

M. Kwiatkowska and G. Norman. Metric denotational semantics for PEPA. In M. Ribaudo, editor, Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling, pages 120-138. Dipartimento di Informatica, Università di Torino, CLUT, July 1996. (Gzipped PostScript, 19 pages, 110459 bytes)

[15]

G. Clark. Formalising the specification of rewards with PEPA. In Ribaudo [157], pages 139-160. (Gzipped PostScript, 22 pages, 82556 bytes)

[16]

S. Gilmore, J. Hillston, and D.R.W. Holton. From SPA models to programs. In Ribaudo [157], pages 179-198. (Gzipped PostScript, 20 pages, 95457 bytes)

[17]

G. Clark. An extended weak isomorphism for model simplification. In Brinksma and Nymeyer [158]. Centre for Telematics and Information Technology, Technical report number 97-14. (Gzipped PostScript, 4 pages, 54449 bytes)

[18]

S. Gilmore and J. Hillston. Refining internal choice in PEPA models. In Pooley and Hillston [163], pages 49-64. (Gzipped PostScript, 16 pages, 81981 bytes)

[19]

G. Clark and J. Hillston. Towards automatic derivation of performance measures from PEPA models. In Pooley and Hillston [163], pages 65-81. (Gzipped PostScript, 17 pages, 58485 bytes)

[20]

A. El-Rayes, M. Kwiatkowska, and S. Minton. Analysing performance of lift systems in PEPA. In R. Pooley and J. Hillston, editors, Proceedings of the Twelfth UK Performance Engineering Workshop, pages 83-100, Edinburgh, Scotland, September 1996. (PDF, 267065 bytes)

[21]

D.R.W. Holton and J.P.N. Glover. An SPA performance model of a production cell. In D. Kouvatsos, editor, Proceedings of the Thirteenth UK Performance Engineering Workshop, pages 6/1-6/6, Bradford, 1997. (Gzipped PostScript, 6 pages, 62377 bytes)

[22]

N. Thomas and J. Hillston. Using Markovian process algebra to specify interactions in queueing systems. Technical Report ECS-LFCS-97-373, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997. (Gzipped PostScript, 26 pages, 99650 bytes)

[23]

S. Gilmore, J. Hillston, and L. Recalde. Elementary structural analysis for PEPA. Technical Report ECS-LFCS-97-377, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997. (Gzipped PostScript, 16 pages, 84645 bytes)

[24]

J. Hillston and M. Ribaudo. Stochastic process algebras: a new approach to performance modeling. In K. Bagchi and G. Zobrist, editors, Modeling and Simulation of Advanced Computer Systems. Gordon Breach, 1998. (Gzipped PostScript, 22 pages, 88751 bytes)

[25]

J. Hillston. A class of PEPA models exhibiting product form solution over submodels. Technical Report ECS-LFCS-98-382, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, February 1998. (Gzipped PostScript, 39 pages, 154764 bytes)

[26]

G. Clark, S. Gilmore, J. Hillston, and N. Thomas. Experiences with the PEPA performance modelling tools. IEE Proceedings--Software, 146(1):11-19, February 1999. Special issue of papers from the Fourteenth UK PEW. (Gzipped PostScript, 15 pages, 44913 bytes)

[27]

J. Hillston and N. Thomas. Product Form Solution for a class of PEPA Models. In Proceedings of IEEE International Computer Performance and Dependability Symposium, Durham, NC, September 1998. Extended version in Performance Evaluation, 35(3-4), 1999). (Gzipped PostScript, 10 pages, 62847 bytes)

[28]

J. Hillston and N. Thomas. Product form solution for a class of PEPA models. Performance Evaluation, 35(3-4):171-192, 1999. (Gzipped PostScript, 29 pages, 128525 bytes)

[29]

J. Hillston. Exploiting structure in solution: Decomposing composed models. In Priami [159], pages 1-15. (Gzipped PostScript, 15 pages, 106714 bytes)

[30]

S. Gilmore and J. Hillston. Feature interaction in PEPA. In Priami [159], pages 17-26. (Gzipped PostScript, 10 pages, 81488 bytes)

[31]

N. Thomas and S. Gilmore. Applying quasi-separability to Markovian process algebra. In Priami [159], pages 27-36. (Gzipped PostScript, 10 pages, 91609 bytes)

[32]

J. Hillston and N. Thomas. A syntactical analysis of reversible PEPA models. In Priami [159], pages 37-49. (Gzipped PostScript, 13 pages, 121472 bytes)

[33]

E. W. Dempster, N. T. Tomov, J. Lu, C. S. Pua, M. H. Williams, A. Burger, H. Taylor, and P. Broughton. Verifying a performance estimator for parallel DBMSs. In Proceedings of EuroPar 1998, September 1998. (Gzipped PostScript, 10 pages, 48064 bytes)

[34]

H. Bowman, J. Bryans, and J. Derrick. Analysis of a multimedia stream using stochastic process algebra. In C. Priami, editor, Sixth International Workshop on Process Algebras and Performance Modelling, pages 51-69, Nice, September 1998. (Gzipped PostScript, 15 pages, 99725 bytes)

[35]

G. Clark, S. Gilmore, and J. Hillston. Specifying performance measures for PEPA. In J.-P. Katoen, editor, Proceedings of the Fifth International AMAST Workshop on Real-Time and Probabilistic Systems, number 1601 in LNCS, pages 211-227, Bamberg, Germany, May 1999. Springer-Verlag. (Gzipped PostScript, 17 pages, 821204 bytes)

[36]

S. Gilmore and J. Hillston. A feature construct for PEPA. In Davies and Bradley [164], pages 225-236. (Gzipped PostScript, 15 pages, 81064 bytes)

[37]

G. Clark, S. Gilmore, and J. Hillston. The PEPA performance modelling tools. In Hillston [160]. (Gzipped PostScript, 6 pages, 64152 bytes)

[38]

G. Clark. Stochastic process algebra structure for insensitivity. In Hillston [160], pages 63-82. (Gzipped PostScript, 20 pages, 102923 bytes)

[39]

R. Pooley. Using UML to derive stochastic process algebra models. In Davies and Bradley [164], pages 23-33. (Gzipped PostScript, 11 pages, 72409 bytes)

[40]

N. Thomas. Extending quasi-separability. In Davies and Bradley [164], pages 131-142. (Gzipped PostScript, 12 pages, 46748 bytes)

[41]

P.R. Mitton and D.R.W. Holton. Extensions to PEPA to simplify the creation of component libraries. In Davies and Bradley [164], pages 209-218. (Gzipped PostScript, 10 pages, 73437 bytes)

[42]

G. Clark. Techniques for the Construction and Analysis of Algebraic Performance Models. PhD thesis, The University of Edinburgh, 2000. (Gzipped PostScript, 167 pages, 523797 bytes)

[43]

G. Clark, S. Gilmore, J. Hillston, and M. Ribaudo. Exploiting modal logic to express performance measures. In B.R. Haverkort, H.C. Bohnenkamp, and C.U. Smith, editors, Computer Performance Evaluation: Modelling Techniques and Tools, Proceedings of the 11th International Conference, number 1786 in LNCS, pages 211-227, Schaumburg, Illinois, USA, March 2000. Springer-Verlag. (Gzipped PostScript, 15 pages, 178636 bytes)

[44]

J. Hunter. Re-evaluation of the PEPA Workbench. Master's thesis, School of Computer Science, The University of Edinburgh, September 1999. (Gzipped PostScript, 44 pages, 187120 bytes)

[45]

J. Tomasik and J. Hillston. Transforming PEPA models to obtain product form bounds. Technical Report EDI-INF-RR-0009, Laboratory for Foundations of Computer Science, The University of Edinburgh, February 2000. (PDF, 370681 bytes)

[46]

J. Hillston and J. Tomasik. Amalgamation of transition sequences in the PEPA formalism. Technical Report EDI-INF-RR-0013, Laboratory for Foundations of Computer Science, The University of Edinburgh, March 2000. (PDF, 384060 bytes)

[47]

L. Console, C. Picardi, and M. Ribaudo. Diagnosis and Diagnosability Analysis using Process Algebras. In Proc. of 11th Int. Workshop on Principles of Diagnosis (DX00), Morelia, Mexico, June 2000. (Gzipped PostScript, 8 pages, 63842 bytes)

[48]

L. Console, C. Picardi, and M. Ribaudo. Diagnosis and Diagnosability Analysis using PEPA. In Proc. of 14th European Conference on Artificial Intelligence, Berlin, August 2000. (Gzipped PostScript, 5 pages, 48328 bytes)

[49]

P. Mitton and R. Holton. PEPA performability modelling using UML statecharts. In Thomas and Bradley [165], pages 19-33. (PostScript, 15 pages, 461625 bytes)

[50]

S. Gilmore and J. Hillston. Performance modelling in PEPA with higher-order functions. In Thomas and Bradley [165], pages 35-46. (Gzipped PostScript, 12 pages, 141963 bytes) (PDF, 204136 bytes)

[52]

N. Thomas, M. Munro, P. King, and R. Pooley. Visualisation for model comprehension. In Thomas and Bradley [165], pages 47-58. (PDF, 348986 bytes)

[53]

J. Bradley and N. Thomas. Constructing a partial order for performance measures. In Thomas and Bradley [165], pages 177-186. (PostScript, 10 pages, 461127 bytes)

[54]

J. Hillston and J. Tomasik. Amalgamation of transition sequences in the PEPA formalism. In Gorrieri et al. [161], pages 523-534. (PostScript, 12 pages, 206520 bytes) (PDF, 142223 bytes)

[56]

N. Thomas, M. Munro, P. King, and R. Pooley. Visual representation of stochastic process algebra models. In Proceedings on the second international Workshop on Software and Performance (WoSP), pages 18-19, Ottawa, Canada, September 2000. ACM. (PDF, 28653 bytes)

[57]

F. Wan. Interface engineering and transient analysis for the PEPA Workbench. Master's thesis, School of Computer Science, The University of Edinburgh, September 2000. (Gzipped PostScript, 54 pages, 322434 bytes)

[58]

S. Gilmore and J. Hillston. The PEPA Feature Construct , pages 125-142. Springer-Verlag, 2001. (PostScript, 18 pages, 349369 bytes) (PDF, 232884 bytes)

[60]

J. Hillston. FMPA Lecture Notes , chapter Exploiting Structure in Solution: Decomposing Composed Models. Springer-Verlag, 2001. (Gzipped PostScript, 37 pages, 304435 bytes)

[61]

PEPA: a stochastic progress algebra formalism, University of Illinois at Urbana-Champaign, October 2000. (PDF, 2017938 bytes)

[62]

J. Hillston and L. Kloul. Performance investigation of an on-line auction system. Concurrency and Computation: Practice and Experience, 13:23-41, 2001. (Gzipped PostScript, 21 pages, 141499 bytes) (PDF, 240271 bytes)

[64]

S. Gilmore, J. Hillston, and M. Ribaudo. An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering, 27(5):449-464, May 2001. (PostScript, 17 pages, 708666 bytes) (PDF, 477182 bytes)

[66]

N. Thomas and J. Bradley. Towards reliable software performance modelling using stochastic process algebra. Technical Report 01-01, University of Durham, 2001. January. (PostScript, 837319 bytes) (PDF, 374716 bytes)

[68]

J. Hillston, L. Recalde, M. Ribaudo, and M. Silva. A comparison of the expressiveness of SPA and bounded SPN models. In B. Haverkort and R. German, editors, Proceedings of the 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, September 2001. IEEE Computer Science Press. (PostScript, 10 pages, 246749 bytes) (PDF, 204623 bytes)

[70]

N. Thomas and J. Bradley. Terminating processes in PEPA. In Djemame and Kara [166], pages 143-154. (PostScript, 12 pages, 208711 bytes)

[71]

S. Gilmore, J. Hillston, and M. Ribaudo. PEPA-coloured stochastic Petri nets. In Djemame and Kara [166], pages 155-166.

[72]

J. Hillston and L. Kloul. An efficient Kronecker representation for PEPA models. In de Alfaro and Gilmore [162], pages 120-135. (PostScript, 16 pages, 370425 bytes) (PDF, 258688 bytes)

[74]

G. Clark and W.H. Sanders. Implementing a stochastic process algebra within the Möbius modeling framework. In de Alfaro and Gilmore [162], pages 200-215. (PostScript, 16 pages, 476501 bytes)

[75]

F. Stathopoulos. Enhancing the PEPA Workbench with simulation and experimentation facilities. Master's thesis, School of Computer Science, The University of Edinburgh, September 2001. (Gzipped PostScript, 84 pages, 656321 bytes)

[76]

James Edwards. Process algebras for protocol validation and analysis. In Proceedings of PREP 2001, pages 1-20, Keele, April 2001. EPSRC. (PostScript, 20 pages, 3676676 bytes) (PDF, 309575 bytes)

[78]

S. Gilmore, J. Hillston, and M. Ribaudo. PEPA nets: A structured performance modelling formalism. In T. Field, P.G. Harrison, J. Bradley, and U. Harder, editors, Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, number 2324 in Lecture Notes in Computer Science, pages 111-130, London, UK, April 2002. Springer-Verlag. (PostScript, 20 pages, 646655 bytes) (PDF, 338409 bytes)

[80]

N. Thomas. Behavioural independence and control in PEPA. In S. Gilmore and J. Hillston, editors, Proceedings of the workshop on Process Algebras and Stochastically Timed Activities, pages 46-56, Edinburgh, Scotland, June 2002. (PostScript, 11 pages, 184746 bytes)

[81]

K. Powell. Rapid prototyping of high-performance concurrent Java applications. Master's thesis, School of Computer Science, The University of Edinburgh, September 2002. (PostScript, 133 pages, 1068430 bytes) (PDF, 540897 bytes)

[83]

J.M. Forneau, L. Kloul, and F. Valois. Performance modelling of hierarchical cellular networks using PEPA. Performance Evaluation, 50(2-3):83-99, November 2002. (PDF, 223933 bytes)

[84]

G. Clark and J. Hillston. Product form solution for an insensitive stochastic process algebra structure. Performance Evaluation, 50(2-3):129-151, November 2002. (PDF, 190450 bytes)

[85]

Stephen Gilmore, Zully Grant-Duff, Peter Harrison, and Jane Hillston. Systematic transformations to find quasi-reversible structures in PEPA models. In Proceedings of the Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2002), pages 1-16, Edinburgh, June 2002. (PDF, 267759 bytes)

[86]

Nigel Thomas, Jeremy Bradley, and David Thornley. An approximate solution of PEPA models using substitution. IEE Proceedings - Computers and Digital Techniques, 150(2):67-74, March 2003. (PostScript, 11 pages, 2895459 bytes)

[87]

J. Bradley, N. Dingle, S. Gilmore, and W. Knottenbelt. Extracting passage times from PEPA models with the HYDRA tool: A case study. In Jarvis [167], pages 79-90. (PostScript, 12 pages, 208514 bytes)

[88]

J. Hillston, L. Kloul, and A. Mokhtari. Active nodes performance analysis using PEPA. In Jarvis [167], pages 244-256. (PostScript, 13 pages, 330782 bytes)

[89]

J.T. Bradley, N.J. Dingle, S.T. Gilmore, and W.J. Knottenbelt. Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. In G Kotsis, editor, Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pages 344-351, University of Central Florida, October 2003. IEEE Computer Society Press. (PostScript)

[90]

S. Gilmore and L. Kloul. A unified tool for performance modelling and prediction. In B. Littlewood S. Anderson and M. Felici, editors, Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003), volume 2788 of LNCS, pages 179-192. Springer-Verlag, 2003. (PostScript, 14 pages, 2860284 bytes)

[91]

S. Gilmore, J. Hillston, M. Ribaudo, and L. Kloul. PEPA nets: A structured performance modelling formalism. Performance Evaluation, 54(2):79-104, October 2003. (PostScript, 35 pages, 384808 bytes) (PDF, 314278 bytes)

[93]

L. Brodo, P. Degano, S. Gilmore, J. Hillston, and C. Priami. Performance evaluation for global computation. In C. Priami, editor, Global Computing: Programming environments, languages, security, and analysis of systems. Proceedings of the IST/FET International Workshop (GC 2003), volume 2874 of LNCS, pages 229-253, Rovereto, Italy, February 2003. Springer-Verlag. (PDF, 357619 bytes)

[94]

S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. Software performance modelling using PEPA nets. In Proceedings of the Fourth International Workshop on Software and Performance, pages 13-24, Redwood Shores, California, USA, January 2004. ACM Press. (PDF)

[95]

A. Argent-Katwala, J.T. Bradley, and N.J. Dingle. Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. In Proceedings of the Fourth International Workshop on Software and Performance, pages 49-58, Redwood Shores, California, USA, January 2004. ACM Press. (PostScript)

[96]

L. Kloul. PEPA: Une approche formelle pour la modélisation des performances , January 2004. Invited seminar at Laboratoire CITI, INSA Lyon. (PostScript)

[97]

S. Gilmore, J. Hillston, and L. Kloul. PEPA nets. In M.C. Calzarossa and E. Gelenbe, editors, Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures, number 2965 in Lecture Notes in Computer Science, pages 311-335. Springer-Verlag, 2004. (PostScript, 25 pages, 323512 bytes) (PDF, 248066 bytes)

[99]

Mikael Buchholtz, Stephen Gilmore, Jane Hillston, and Flemming Nielson. Securing statically-verified communications protocols against timing attacks. In J. Bradley and W. Knottenbelt, editors, Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, pages 61-79, London, England, September 2004. (PDF, 256170 bytes)

[100]

Mikael Buchholtz, Stephen Gilmore, Jane Hillston, and Flemming Nielson. Securing statically-verified communications protocols against timing attacks.. Electr. Notes Theor. Comput. Sci., 128(4):123-143, 2005.

[101]

Muffy Calder, Stephen Gilmore, and Jane Hillston. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In Anna Ingolfsdottir and Hanne Riis Nielson, editors, Proceedings of the BioConcur Workshop on Concurrent Models in Molecular Biology, London, England, August 2004. (PDF, 180725 bytes)

[102]

Bryce Mitchell and Jane Hillston. Analysing web service composition with PEPA. In J. Bradley, editor, Proceedings of the Third Workshop on Process Algebras and Stochastically Timed Activities, pages 33-44, Edinburgh, Scotland, June 2004. (PostScript, 12 pages, 879194 bytes) (PDF, 86760 bytes)

[104]

Jeremy T. Bradley, Stephen T. Gilmore, and Nigel Thomas. How synchronisation strategy approximation in PEPA implementations affects passage time performance results. In M. Núñez et al, editor, Applying Formal Methods: Testing, Performance, and M/E-Commerce (EPEW 2004), volume 3236 of LNCS, pages 128-142. Springer-Verlag, October 2004. (PostScript, 14 pages, 324485 bytes) (PDF, 191353 bytes)

[106]

Stephen Gilmore, Valentin Haenel, Jane Hillston, and Leï la Kloul. PEPA nets in practice: Modelling a decentralised peer-to-peer emergency medial application. In M. Núñez et al, editor, Applying Formal Methods: Testing, Performance, and M/E-Commerce (EPEW 2004), volume 3236 of LNCS, pages 262-277. Springer-Verlag, October 2004. (PDF, 157272 bytes)

[107]

J. Hillston and M. Ribaudo. Modelling mobility with PEPA nets. In Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004), volume 3280 of LNCS, pages 513-522, Kemer-Antalya, Turkey, October 2004. Springer-Verlag. (PDF, 197454 bytes)

[108]

S. Gilmore, L. Kloul, and D. Piazza. Modelling role-playing games using PEPA nets. In Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004), volume 3280 of LNCS, pages 523-532, Kemer-Antalya, Turkey, October 2004. Springer-Verlag. (PDF, 251789 bytes)

[109]

Jane Hillston, Leï la Kloul, and Amdjed Mokhtari. Towards a feasible active networking scenario. Telecommunication Systems, 27(2-4):413-438, October 2004. (PDF, 396408 bytes)

[110]

Adam Duguid. Modelling BitTorrent in PEPA , March 2005. School of Informatics Undergraduate Dissertation. (PostScript, 69 pages, 17108670 bytes)

[111]

Anthony Rinaldi. A visual debugger for the PEPA Workbench , March 2005. School of Informatics Undergraduate Dissertation. (PDF, 621235 bytes)

[112]

Muffy Calder, Stephen Gilmore, and Jane Hillston. Automatically deriving ODEs from process algebra models of signalling pathways. In Gordon Plotkin, editor, Proceedings of Computational Methods in Systems Biology (CMSB 2005), pages 204-215, Edinburgh, Scotland, April 2005. (PDF, 240908 bytes)

[113]

J. Hillston. Tuning systems: From composition to performance. The Computer Journal, 48(4):385-400, May 2005. The Needham Lecture paper. (PDF, 268484 bytes)

[114]

J. Hillston. Process algebras for quantitative analysis. In Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pages 239-248, Chicago, June 2005. IEEE Computer Society Press. (PDF)

[115]

Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, and Carlo Montangero. End-to-end integrated security and performance analysis on the DEGAS Choreographer platform. In I.J. Hayes J.S. Fitzgerald and A. Tarlecki, editors, Proceedings of the International Symposium of Formal Methods Europe (FM 2005), number 3582 in LNCS, pages 286-301. Springer-Verlag, June 2005. (PDF, 783696 bytes)

[116]

J. Hillston. Fluid flow approximation of PEPA models. In Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, pages 33-43, Torino, Italy, September 2005. IEEE Computer Society Press. (PDF)

[117]

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)

[118]

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)

[119]

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)

[120]

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)

[121]

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)

[122]

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)

[123]

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)

[124]

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)

[125]

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)

[126]

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)

[127]

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)

[128]

J. Hillston and L. Kloul. Formal techniques for performance analysis: blending SAN and PEPA. Formal Aspects of Computing, 19(1):3-33, 2007. (PDF, 649575 bytes)

[129]

Allan Clark, Stephen Gilmore, Jane Hillston, and Mirco Tribastone. Formal Methods for Performance Evaluation: the 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007 , volume 4486, chapter Stochastic Process Algebras, pages 132-179. Springer-Verlag, Bertinoro, Italy, May-June 2007. (PDF, 1058930 bytes)

[130]

Mirco Tribastone. The PEPA Plug-in Project. In Mor Harchol-Balter, Marta Kwiatkowska, and Miklos Telek, editors, Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), pages 53-54. IEEE, September 2007. (PDF, 126621 bytes)

[131]

Allan Clark. The ipclib PEPA Library. In Mor Harchol-Balter, Marta Kwiatkowska, and Miklos Telek, editors, Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), pages 55-56. IEEE, September 2007. (PDF, 166758 bytes)

[132]

Richard Hayden and Jeremy Bradley. Fluid semantics for passive stochastic process algebra cooperation. In VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools, October 2008.

[133]

Mario Bravetti, Stephen Gilmore, Claudio Guidi, and Mirco Tribastone. Replicating web services for scalability. In G. Barthe and C. Fournet, editors, Proceedings of the Third International Conference on Trustworthy Global Computing (TGC'07), volume 4912 of LNCS, pages 204-221. Springer-Verlag, 2008. (PDF, 1011942 bytes)

[134]

Ashok Argent-Katwala, Jeremy Bradley, Allan Clark, and Stephen Gilmore. Location-aware quality of service measurements for service-level agreements. In G. Barthe and C. Fournet, editors, Proceedings of the Third International Conference on Trustworthy Global Computing (TGC'07), volume 4912 of LNCS, pages 222-239. Springer-Verlag, 2008. (PDF, 224792 bytes)

[135]

Hao Wang, Dave Laurenson, and Jane Hillston. PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. In Proceedings of the 15th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2007), Istanbul, Turkey, October 2007. IEEE Computer Society Press. (PDF, 723825 bytes)

[136]

Luca Gerosa. Stochastic process algebras as design and analysis framework for synthetic biology modelling. Master's thesis, University of Trento, 2007. (PDF, 1671994 bytes)

[137]

Jie Ding, Jane Hillston, and Dave Laurenson. Performance modelling of content adaptation for a personal distributed environment. Personal Wireless Communication, November 2007. doi 10.1007/s11277-007-9427-4. (PDF, 883737 bytes)

[138]

Hao Wang, Dave Laurenson, and Jane Hillston. Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra. In Proceedings of the IEEE International Conference on Communications (ICC 2008), Beijing, China, May 2008. To appear. (PDF, 123362 bytes)

[139]

Paul McEwan. A Visual Single-Step Navigator for the Eclipse PEPA Plug-in. Undergraduate 4th Year Project Report, March 2008. (PDF, 1009405 bytes)

[140]

Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, and Mirco Tribastone. Safety and response-time analysis of an automotive accident assistance service. In Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), number 17 in Communications in Computer and Information Science (CCIS), pages 191-205, Porto Sani, Greece, October 2008. Springer-Verlag. (PDF, 1906629 bytes)

[141]

Mirco Tribastone and Stephen Gilmore. Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. In Proceedings of the 7th International Workshop on Software and Performance (WOSP2008), pages 67-78, Princeton NJ, USA, 2008. ACM Press. (PDF, 426546 bytes)

[142]

Mirco Tribastone and Stephen Gilmore. Automatic translation of UML sequence diagrams into PEPA models. In 5th International Conference on the Quantitative Evaluation of SysTems (QEST 2008), pages 205-214, St Malo, France, 2008. IEEE Computer Society Press. (PDF, 311224 bytes)

[143]

Allan Clark and Stephen Gilmore. State-aware performance analysis with eXtended Stochastic Probes. In Nigel Thomas and Carlos Juiz, editors, Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008), volume 5261 of LNCS, pages 125-140, Palma de Mallorca, Spain, September 2008. Springer. (PDF, 305335 bytes)

[144]

Allan Clark, Adam Duguid, Stephen Gilmore, and Mirco Tribastone. Partial evaluation of PEPA models for fluid-flow analysis. In Nigel Thomas and Carlos Juiz, editors, Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008), volume 5261 of LNCS, pages 2-16, Palma de Mallorca, Spain, September 2008. Springer. (PDF, 392690 bytes)

[145]

Lamia Djoudi and Leï la Kloul. Assembly code analysis using stochastic process algebra. In Nigel Thomas and Carlos Juiz, editors, Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008), volume 5261 of LNCS, pages 95-109, Palma de Mallorca, Spain, September 2008. Springer. (PDF, 534563 bytes)

[146]

Vashti Galpin. Continuous approximation of PEPA models and Petri nets. In Proceedings of the European Simulation and Modelling Conference (ESM 2008), pages 492-499, Le Havre, France, 27-29 October 2008. (PDF, 194716 bytes)

[147]

A. Clark and S. Gilmore. Terminating passage-time calculations on uniformised Markov chains. In Ashok Argent-Katwala, Nicholas J. Dingle, and Uli Harder, editors, Proceedings of the Twenty-Fourth annual UK Performance Engineering Workshop, pages 64-75, June 2008. (PDF, 387232 bytes)

[148]

Nil Geisweiller, Jane Hillston, and Marco Stenico. Relating continuous and discrete PEPA models of signalling pathways. Theor. Comput. Sci., 404(1-2):97-111, 2008.

[149]

Yishi Zhao and Nigel Thomas. Approximate solution of a PEPA model of a key distribution centre. In Samuel Kounev, Ian Gorton, and Kai Sachs, editors, Performance Evaluation: Metrics, Models and Benchmarks, SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings, volume 5119 of Lecture Notes in Computer Science, pages 44-57. Springer, 2008.

[150]

Jeremy T. Bradley, Stephen Gilmore, and Jane Hillston. Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci., 74(6):1013-1032, 2008. (PDF, 317519 bytes)

[151]

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

[152]

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)

[153]

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)

[154]

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)

[155]

U. Herzog and M. Rettelbach, editors. Proceedings of the Second International Workshop on Process Algebras and Performance Modelling , Erlangen, November 1994.

[156]

S. Gilmore and J. Hillston, editors. Proceedings of the Third International Workshop on Process Algebras and Performance Modelling. Special Issue of The Computer Journal, 38(7), December 1995.

[157]

M. Ribaudo, editor. Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling. Dipartimento di Informatica, Università di Torino, CLUT, July 1996.

[158]

E. Brinksma and A. Nymeyer, editors. Proceedings of the Fifth Annual Workshop on Process Algebra and Performance Modelling. University of Twente, June 1997. Centre for Telematics and Information Technology, Technical report number 97-14.

[159]

C. Priami, editor. Proceedings of the Sixth Annual Workshop on Process Algebra and Performance Modelling , Nice, France, September 1998. Università degli studi di Verona.

[160]

J. Hillston, editor. Proceedings of the Seventh Annual Workshop on Process Algebra and Performance Modelling , Zaragosa, Spain, September 1999. University of Zaragosa Press.

[161]

R. Gorrieri et al., editor. ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages and Programming (Proceedings of the Eighth Annual Workshop on Process Algebra and Performance Modelling) , number 8 in Proceedings in Informatics, Geneva, Switzerland, September 2000. Carleton Scientific.

[162]

L. de Alfaro and S. Gilmore, editors. Proceedings of the first joint PAPM-PROBMIV Workshop , volume 2165 of Lecture Notes in Computer Science, Aachen, Germany, September 2001. Springer-Verlag.

[163]

R. Pooley and J. Hillston, editors. Proceedings of the Twelfth UK Performance Engineering Workshop , Department of Computer Science, The University of Edinburgh, September 1996.

[164]

N. Davies and J. Bradley, editors. Proceedings of the Fifteenth UK Performance Engineering Workshop , The University of Bristol, July 1999.

[165]

N. Thomas and J. Bradley, editors. Proceedings of the Sixteenth UK Performance Engineering Workshop , University of Durham, July 2000.

[166]

K. Djemame and M. Kara, editors. Proceedings of the Seventeenth UK Performance Engineering Workshop , University of Leeds, July 2001.

[167]

S. Jarvis, editor. Proceedings of the Ninteenth UK Performance Engineering Workshop , University of Warwick, July 2003.