@comment{pepa.bib: A bibliography of papers, books, talks and articles on Performance Evaluation Process Algebra (PEPA). Last updated: 5th October 2009. } @Book{pepa, author = "J.~Hillston", title = "A Compositional Approach to Performance Modelling", publisher = "Cambridge University Press", year = 1996, postscript = {book.ps.gz}, pdf = {book.pdf} } @inproceedings{workbench, author = "S.~Gilmore and J.~Hillston", title = "{The {PEPA} Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling}", booktitle = "Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation", address = "Vienna", year = 1994, publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", number = "794", month = may, pages = "353--368", pdf = {workbench.pdf} } @InProceedings{synchronisation, author = "J.~Hillston", title = "The Nature of Synchronisation", crossref = "papm2", pages = "51--70", pdf = {synchronisation.pdf} } @InProceedings{compositional, author = "J.~Hillston", title = "Compositional {M}arkovian Modelling Using a Process Algebra", editor = "W.~Stewart", booktitle = "Proceedings of the Second International Workshop on Numerical Solution of Markov Chains: Computations with Markov Chains", year = "1995", publisher = "Kluwer Academic Press", address = "Raleigh, North Carolina", month = jan, postscript = "compositional.ps.gz" } @InProceedings{timescale, author = "J.~Hillston and V.~Mertsiotakis", title = "A simple time scale decomposition technique for stochastic process algebras", crossref = "papm3", pages = "566--577", postscript = {timescale.ps.gz} } @InProceedings{quasireversibility, author = "P.~Harrison and J.~Hillston", title = "Exploiting quasi-reversible structures in {M}arkovian process algebra models", crossref = "papm3", pages = "510--520", postscript = {quasireversibility.ps.gz} } @InProceedings{aggregation, author = "M.~Ribaudo", title = "On the Aggregation Techniques in Stochastic {P}etri Nets and Stochastic Process Algebras", crossref = "papm3", pages = "600--611", postscript = {aggregation.ps.gz} } @InProceedings{workcell, author = "D.R.W.~Holton", title = "A {PEPA} specification of an industrial production cell", crossref = "papm3", pages = "542--551", postscript = {workcell.ps.gz} } @InProceedings{comparison, author = "S.~Donatelli and J.~Hillston and M.~Ribaudo", title = "{A comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets}", booktitle = "Proc. 6th International Workshop on Petri Nets and Performance Models", year = 1995, address = "Durham, North Carolina", postscript = "comparison.ps", pdf = "comparison.pdf" } @InProceedings{spnsemantics, author = "M.~Ribaudo", title = "Stochastic {P}etri Net Semantics for Stochastic Process Algebras", booktitle = "Proc. 6th International Workshop on Petri Nets and Performance Models", year = 1995, address = "Durham, North Carolina", postscript = "spnsemantics.ps.gz" } @Article{robot, author = "S. Gilmore and J. Hillston and D.R.W. Holton and M. Rettelbach", title = "{Specifications in Stochastic Process Algebra for a Robot Control Problem}", journal = "International Journal of Production Research", year = 1996, volume = 34, number = 4, pages = "1065--1080", postscript = {robot.ps.gz} } @InProceedings{metric, author = {M.~Kwiatkowska and G.~Norman}, title = {Metric Denotational Semantics for {PEPA}}, booktitle = {Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling}, year = 1996, editor = {M.~Ribaudo}, month = jul, organization = {Dipartimento di Informatica, Universit\`a\ di Torino}, publisher = {CLUT}, pages = "120--138", postscript = {metric.ps.gz} } @InProceedings{rewards, author = {G.~Clark}, title = {Formalising the specification of rewards with {PEPA}}, crossref = "papm4", pages = "139--160", postscript = {rewards.ps.gz} } @InProceedings{spa_models, author = "S. Gilmore and J. Hillston and D.R.W. Holton", title = "From {SPA} Models to Programs", crossref = "papm4", pages = "179--198", postscript = {spa_models.ps.gz} } @InProceedings{isomorphism, author = "G.~Clark", title = "An Extended Weak Isomorphism for Model Simplification", crossref = "papm5", postscript = {isomorphism.ps.gz} } @InProceedings{internalchoice, author = "S.~Gilmore and J.~Hillston", title = "Refining internal choice in {PEPA} models", crossref = "ukpew96", pages = "49--64", postscript = {internalchoice.ps.gz} } @InProceedings{perfmeasures, author = "G.~Clark and J.~Hillston", title = "Towards Automatic Derivation of Performance Measures from {PEPA} Models", crossref = "ukpew96", pages = "65--81", postscript = {perfmeasures.ps.gz} } @InProceedings{lifts, author = "A.~El-Rayes and M.~Kwiatkowska and S.~Minton", title = "Analysing performance of lift systems in {PEPA}", booktitle = {Proceedings of the Twelfth UK Performance Engineering Workshop}, year = 1996, editor = {R.~Pooley and J.~Hillston}, address = {Edinburgh, Scotland}, month = sep, pages = "83--100", pdf = {lifts.pdf} } @InProceedings{cell, author = {D.R.W.~Holton and J.P.N.~Glover}, title = {An {SPA} performance model of a production cell}, booktitle = {Proceedings of the Thirteenth UK Performance Engineering Workshop}, pages = {6/1--6/6}, year = 1997, editor = {D.~Kouvatsos}, address = {Bradford}, postscript = {cell.ps.gz} } @TechReport{queues, author = {N. Thomas and J. Hillston}, title = {Using {Markovian} Process Algebra to Specify Interactions in Queueing Systems}, institution = {Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh}, year = 1997, number = {ECS-LFCS-97-373}, postscript = {queues.ps.gz} } @TechReport{structural, author = {S. Gilmore and J. Hillston and L. Recalde}, title = {Elementary structural analysis for {PEPA}}, institution = {Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh}, year = 1997, number = {ECS-LFCS-97-377}, postscript = {structural.ps.gz} } @InCollection{tutorial, author = "J.~Hillston and M.~Ribaudo", title = "Stochastic Process Algebras: a new approach to performance modeling", booktitle = "Modeling and Simulation of Advanced Computer Systems", publisher = "Gordon Breach", year = 1998, editor = "K.~Bagchi and G.~Zobrist", postscript = "tutorial.ps.gz" } @TechReport{prodform, author = "J. Hillston", title = "A Class of {PEPA} Models Exhibiting Product Form Solution over Submodels", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh", year = 1998, number = {ECS-LFCS-98-382}, month = feb, postscript = {prodform.ps.gz} } @Article{experiences, author = {G. Clark and S. Gilmore and J. Hillston and N. Thomas}, title = {Experiences with the {PEPA} Performance Modelling Tools}, journal = {IEE Proceedings---Software}, year = 1999, month = feb, pages = {11--19}, volume = 146, number = 1, note = {Special issue of papers from the Fourteenth UK PEW}, postscript = {experiences.ps.gz} } @InProceedings{prodformsoln, author = "J. Hillston and N. Thomas", title = "{Product Form Solution for a class of {PEPA} Models}", booktitle = "Proceedings of IEEE International Computer Performance and Dependability Symposium", year = 1998, month = sep, address = {Durham, NC}, note = {Extended version in {\em Performance Evaluation}, {\bf 35}(3--4), 1999)}, postscript = {prodformsoln.ps.gz} } @Article{prodformsolnjournal, author = {J. Hillston and N. Thomas}, title = {Product Form Solution for a class of {PEPA} Models}, journal = {Performance Evaluation}, year = 1999, volume = 35, number = {3--4}, pages = {171--192}, postscript = {prodformsolnjournal.ps.gz} } @InProceedings{exploitingstructure, author = {J. Hillston}, title = {Exploiting Structure in Solution: Decomposing Composed Models}, crossref = {papm6}, pages = {1--15}, postscript = {exploitingstructure.ps.gz} } @InProceedings{features, author = {S. Gilmore and J. Hillston}, title = {Feature Interaction in {PEPA}}, crossref = {papm6}, pages = {17--26}, postscript = {features.ps.gz} } @InProceedings{quasiseparability, author = {N. Thomas and S. Gilmore}, title = {Applying Quasi-Separability to {M}arkovian Process Algebra}, crossref = {papm6}, pages = {27--36}, postscript = {quasiseparability.ps.gz} } @InProceedings{reverse, author = {J. Hillston and N. Thomas}, title = {A Syntactical Analysis of Reversible {PEPA} Models}, crossref = {papm6}, pages = {37--49}, postscript = {reverse.ps.gz} } @InProceedings{pepa:dbms, author = {E. W. Dempster and N. T. Tomov and J. Lu and C. S. Pua and M. H. Williams and A. Burger and H. Taylor and P. Broughton}, title = {Verifying a Performance Estimator for Parallel {DBMS}s}, booktitle = {Proceedings of EuroPar 1998}, month = sep, year = {1998}, postscript = {verifying_dbms.ps.gz} } @inproceedings{multimedia, author = {H. Bowman and J. Bryans and J. Derrick}, title = {Analysis of a Multimedia Stream using Stochastic Process Algebra}, month = {September}, year = {1998}, pages = {51--69}, url = {http://www.cs.ukc.ac.uk/pubs/1998/611}, address = {Nice}, booktitle = {Sixth International Workshop on Process Algebras and Performance Modelling}, editor = {C. Priami}, postscript = {multimedia.ps.gz} } @InProceedings{specifying, author = {G. Clark and S. Gilmore and J. Hillston}, title = {Specifying Performance Measures for {PEPA}}, booktitle = {Proceedings of the Fifth International AMAST Workshop on Real-Time and Probabilistic Systems}, editor = {J.-P. Katoen}, address = {Bamberg, Germany}, month = may, year = 1999, number = 1601, series = {LNCS}, publisher = {Springer-Verlag}, pages = {211--227}, postscript = {specifying.ps.gz} } @InProceedings{construct, author = {S.~Gilmore and J.~Hillston}, title = {A feature construct for {PEPA}}, crossref = {ukpew99}, pages = {225--236}, postscript = {construct.ps.gz} } @InProceedings{tools, author = {G. Clark and S. Gilmore and J. Hillston}, title = {The {PEPA} Performance Modelling Tools}, booktitle = {Proceedings of the Seventh Annual Workshop on Process Algebra and Performance Modelling}, crossref = {papm7}, postscript = {tools.ps.gz} } @InProceedings{insensitivity, author = {G. Clark}, title = {Stochastic Process Algebra Structure for Insensitivity}, booktitle = {Proceedings of the Seventh Annual Workshop on Process Algebra and Performance Modelling}, crossref = {papm7}, pages = {63--82}, postscript = {insensitivity.ps.gz} } @InProceedings{uml, author = {R. Pooley}, title = {Using {UML} to derive stochastic process algebra models}, crossref = {ukpew99}, pages = {23--33}, postscript = {uml.ps.gz} } @InProceedings{extending, author = {N. Thomas}, title = {Extending Quasi-Separability}, crossref = {ukpew99}, pages = {131--142}, postscript = {extendingquasiseparability.ps.gz} } @InProceedings{libraries, author = {P.R. Mitton and D.R.W. Holton}, title = {Extensions to {PEPA} to simplify the creation of component libraries}, crossref = {ukpew99}, pages = {209--218}, postscript = {libraries.ps.gz} } @PhdThesis{GrahamPhD, author = "G.~Clark", title = "Techniques for the Construction and Analysis of Algebraic Performance Models", school = "The University of Edinburgh", year = "2000", postscript = {techniques.ps.gz} } @InProceedings{exploitinglogic, author = {G. Clark and S. Gilmore and J. Hillston and M. Ribaudo}, title = {Exploiting modal logic to express performance measures}, booktitle = {Computer Performance Evaluation: Modelling Techniques and Tools, Proceedings of the 11th International Conference}, editor = {B.R. Haverkort and H.C. Bohnenkamp and C.U. Smith}, address = {Schaumburg, Illinois, USA}, month = mar, year = 2000, number = 1786, series = {LNCS}, publisher = {Springer-Verlag}, pages = {211--227}, postscript = {exploitinglogic.ps.gz} } @MastersThesis{reevaluation, author = {J. Hunter}, title = {Re-evaluation of the {PEPA Workbench}}, school = {School of Computer Science, The University of Edinburgh}, year = 1999, month = sep, postscript = {reevaluation.ps.gz} } @TechReport{transforming, author = {J. Tomasik and J. Hillston}, title = {Transforming {PEPA} models to obtain product form bounds}, institution = {Laboratory for Foundations of Computer Science, The University of Edinburgh}, year = 2000, number = {EDI-INF-RR-0009}, month = feb, pdf = {transforming.pdf} } @TechReport{amalgamation, author = {J. Hillston and J. Tomasik}, title = {Amalgamation of Transition Sequences in the {PEPA} Formalism}, institution = {Laboratory for Foundations of Computer Science, The University of Edinburgh}, year = 2000, number = {EDI-INF-RR-0013}, month = mar, pdf = {amalgamation.pdf} } @inproceedings{diagnosis, author = {L.~Console AND C.~Picardi AND M.~Ribaudo}, title = "{Diagnosis and Diagnosability Analysis using Process Algebras}", booktitle = {Proc. of 11th Int. Workshop on Principles of Diagnosis (DX00)}, address = {Morelia, Mexico}, month = {June}, year = 2000, postscript = {diagnosis.ps.gz} } @inproceedings{pepadiagnosis, author = {L.~Console AND C.~Picardi AND M.~Ribaudo}, title = {{Diagnosis and Diagnosability Analysis using PEPA}}, booktitle = {{Proc. of 14th European Conference on Artificial Intelligence}}, address = {Berlin}, month = {August}, year = 2000, postscript = {pepadiagnosis.ps.gz} } @InProceedings{pepaUML, author = {P. Mitton and R. Holton}, title = {{PEPA} Performability Modelling using {UML} statecharts}, crossref = {ukpew00}, pages = {19--33}, year = 2000, postscript = {pepaUML.ps} } @InProceedings{higherorderperformance, author = {S. Gilmore and J. Hillston}, title = {Performance modelling in {PEPA} with higher-order functions}, crossref = {ukpew00}, pages = {35--46}, year = 2000, postscript = {higherorder.ps.gz}, pdf = {higherorder.pdf} } @InProceedings{visualisation, author = {N. Thomas and M. Munro and P. King and R. Pooley}, title = {Visualisation for model comprehension}, crossref = {ukpew00}, pages = {47--58}, year = 2000, pdf = {visualisation.pdf} } @InProceedings{partialorder, author = {J. Bradley and N. Thomas}, title = {Constructing a partial order for performance measures}, crossref = {ukpew00}, pages = {177--186}, year = 2000, postscript = {partialorder.ps} } @InProceedings{amalgamationpepa, author = {J. Hillston and J. Tomasik}, title = {Amalgamation of transition sequences in the {PEPA} formalism}, crossref = {papm8}, pages = {523--534}, postscript = {amalgamationpepa.ps}, pdf = {amalgamationpepa.pdf} } @InProceedings{visual, author = {N. Thomas and M. Munro and P. King and R. Pooley}, title = {Visual representation of stochastic process algebra models}, booktitle = {Proceedings on the second international Workshop on Software and Performance (WoSP)}, pages = {18--19}, year = 2000, address = {Ottawa, Canada}, month = sep, publisher = {ACM}, pdf = {visual.pdf} } @MastersThesis{transientanalysis, author = {F. Wan}, title = {Interface Engineering and Transient Analysis for the {PEPA Workbench}}, school = {School of Computer Science, The University of Edinburgh}, year = 2000, month = sep, postscript = {transientanalysis.ps.gz} } @InBook{pepafeatureconstruct, author = {S.~Gilmore and J.~Hillston}, title = {The {PEPA} Feature Construct}, booktitle = {Language Constructs for Describing Features}, publisher = {Springer-Verlag}, year = {2001}, pages = {125--142}, postscript = {pepafeatureconstruct.ps}, pdf = {pepafeatureconstruct.pdf} } @InBook{exploitingstructureinsolution, author = {J. Hillston}, title = {FMPA Lecture Notes}, chapter = {Exploiting Structure in Solution: Decomposing Composed Models}, publisher = {Springer-Verlag}, year = 2001, postscript = {exploitingstructureinsolution.ps.gz} } @Proceedings{formalism, author = {G. Clark}, title = {{PEPA}: a stochastic progress algebra formalism}, year = 2000, booktitle = {Proceedings of the First Review Meeting of the Motorola Center for High-Availability System Validation}, address = {University of Illinois at Urbana-Champaign}, month = oct, url = {http://www.crhc.uiuc.edu//PERFORM/motorola/10-4-00-meeting.html}, pdf = {formalism.pdf} } @Article{auction, author = {J. Hillston and L. Kloul}, title = {Performance Investigation of an On-Line Auction System}, journal = {Concurrency and Computation: Practice and Experience}, year = {2001}, volume = {13}, pages = {23--41}, postscript = {auction.ps.gz}, pdf = {auction.pdf} } @Article{canonical, author = {S.~Gilmore and J.~Hillston and M. Ribaudo}, title = {An efficient algorithm for aggregating {PEPA} models}, journal = {IEEE Transactions on Software Engineering}, volume = 27, number = 5, pages = {449--464}, year = 2001, month = may, postscript = {canonical.ps}, PDF = {canonical.pdf} } @TechReport{towardsreliablemodelling, author = {N. Thomas and J. Bradley}, title = {Towards reliable software performance modelling using stochastic process algebra}, institution = {University of Durham}, year = 2001, number = {01-01}, note = jan, postscript = {towardsreliablemodelling.ps}, PDF = {towardsreliablemodelling.pdf} } @InProceedings{spnpepa, author = {J.~Hillston and L.~Recalde and M.~Ribaudo and M.~Silva}, title = {A Comparison of the Expressiveness of {SPA} and Bounded {SPN} models}, booktitle = {Proceedings of the 9th International Workshop on Petri Nets and Performance Models}, year = 2001, editor = {B.~Haverkort and R.~German}, address = {Aachen, Germany}, month = sep, publisher = {IEEE Computer Science Press}, postscript = {spnpepa.ps}, pdf = {spnpepa.pdf} } @InProceedings{terminating, author = {N. Thomas and J. Bradley}, title = {Terminating processes in {PEPA}}, booktitle = {Proceedings of the Seventeenth UK Performance Engineering Workshop}, crossref = {ukpew01}, pages = {143--154}, postscript = {terminating.ps} } @InProceedings{pcpn, author = {S. Gilmore and J. Hillston and M. Ribaudo}, title = {{PEPA}-Coloured Stochastic {Petri} nets}, booktitle = {Proceedings of the Seventeenth UK Performance Engineering Workshop}, crossref = {ukpew01}, pages = {155--166} } @InProceedings{kronecker, author = {J. Hillston and L. Kloul}, title = {An Efficient {Kronecker} Representation for {PEPA} Models}, crossref = {papm9}, pages = {120--135}, postscript = {kronecker.ps}, pdf = {kronecker.pdf} } @InProceedings{pepamobius, author = {G. Clark and W.H. Sanders}, title = {Implementing a Stochastic Process Algebra within the {M}\"obius Modeling Framework}, pages = {200--215}, crossref = {papm9}, postscript = {pepamobius.ps} } @MastersThesis{simulationexperimentation, author = {F. Stathopoulos}, title = {Enhancing the {PEPA Workbench} with Simulation and Experimentation facilities}, school = {School of Computer Science, The University of Edinburgh}, year = 2001, month = sep, postscript = {simulationexperimentation.ps.gz} } @InProceedings{protocolvalidation, author = {James Edwards}, title = {Process Algebras for Protocol Validation and Analysis}, booktitle = {Proceedings of PREP 2001}, pages = {1--20}, year = 2001, address = {Keele}, month = apr, publisher = {EPSRC}, postscript = {protocolvalidation.ps}, pdf = {protocolvalidation.pdf} } @InProceedings{pepanets, author = {S. Gilmore and J. Hillston and M. Ribaudo}, title = {{PEPA} nets: A structured performance modelling formalism}, booktitle = {Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation}, year = 2002, editor = {T.~Field and P.G.~Harrison and J.~Bradley and U.~Harder}, address = {London, UK}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 2324, pages = {111--130}, month = apr, postscript = {pepanets.ps}, pdf = {pepanets.pdf} } @InProceedings{behaviouralindependence, author = {N. Thomas}, title = {Behavioural independence and control in {PEPA}}, booktitle = {Proceedings of the workshop on Process Algebras and Stochastically Timed Activities}, year = 2002, editor = {S. Gilmore and J. Hillston}, address = {Edinburgh, Scotland}, pages = {46--56}, month = jun, postscript = {behaviouralindependence.ps} } @MastersThesis{pepatojava, author = {K. Powell}, title = {Rapid Prototyping of High-performance Concurrent {Java} Applications}, school = {School of Computer Science, The University of Edinburgh}, year = 2002, month = sep, postscript = {pepatojava.ps}, pdf = {pepatojava.pdf}, } @Article{manhattan, author = {J.M. Forneau and L. Kloul and F. Valois}, title = {Performance Modelling of Hierarchical Cellular Networks using {PEPA}}, journal = {Performance Evaluation}, year = 2002, volume = 50, number = {2--3}, pages = {83--99}, month = nov, pdf = {manhattan.pdf} } @Article{insensitive, author = {G. Clark and J. Hillston}, title = {Product form solution for an insensitive stochastic process algebra structure}, journal = {Performance Evaluation}, year = 2002, volume = 50, number = {2--3}, pages = {129--151}, month = nov, pdf = {insensitive.pdf} } @InProceedings{systematictransformations, author = {Stephen Gilmore and Zully Grant-Duff and Peter Harrison and Jane Hillston}, title = {Systematic transformations to find quasi-reversible structures in {PEPA} models}, booktitle = {Proceedings of the Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2002)}, pages = {1--16}, year = 2002, address = {Edinburgh}, month = jun, pdf = {systematictransformations.pdf} } @Article{approximatesolution, author = {Nigel Thomas and Jeremy Bradley and David Thornley}, title = {An approximate solution of {PEPA} models using substitution}, journal = {IEE Proceedings - Computers and Digital Techniques}, year = 2003, volume = 150, number = 2, month = mar, pages = {67--74}, postscript = {approximatesolution.ps} } @InProceedings{pepahydra, author = {J. Bradley and N. Dingle and S. Gilmore and W. Knottenbelt}, title = {Extracting passage times from {PEPA} models with the {HYDRA} tool: A case study}, booktitle = {Proceedings of the Nineteenth annual UK Performance Engineering Workshop}, crossref = {ukpew03}, pages = {79--90}, postscript = {pepahydra.ps} } @InProceedings{activenodes, author = {J. Hillston and L. Kloul and A. Mokhtari}, title = {Active nodes performance analysis using {PEPA}}, booktitle = {Proceedings of the Nineteenth annual UK Performance Engineering Workshop}, crossref = {ukpew03}, pages = {244--256}, postscript = {activenodes.ps} } @InProceedings{ipc, author = {J.T. Bradley and N.J. Dingle and S.T. Gilmore and W.J. Knottenbelt}, title = {Derivation of passage-time densities in {PEPA} models using {IPC}: The {Imperial PEPA Compiler}}, booktitle = {Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems}, editor = {G Kotsis}, pages = {344--351}, publisher = {IEEE Computer Society Press}, address = {University of Central Florida}, month = oct, year = 2003, postscript = {http://www.dcs.ed.ac.uk/pepa/ipc.ps} } @InProceedings{umlpepaprism, author = {S. Gilmore and L. Kloul}, title = {A unified tool for performance modelling and prediction}, booktitle = {Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003)}, pages = {179--192}, year = 2003, editor = {S. Anderson, B. Littlewood and M. Felici}, volume = 2788, series = {LNCS}, publisher = {Springer-Verlag}, postscript = {umlpepaprism.ps} } @Article{pepanetsJournal, author = {S. Gilmore and J. Hillston and M. Ribaudo and L. Kloul}, title = {{PEPA} nets: A structured performance modelling formalism}, journal = {Performance Evaluation}, year = 2003, volume = 54, number = 2, pages = {79--104}, month = oct, postscript = {pepanetsJournal.ps}, pdf = {pepanetsJournal.pdf} } @InProceedings{global, author = {L. Brodo and P. Degano and S. Gilmore and J. Hillston and C. Priami}, title = {Performance evaluation for global computation}, booktitle = {Global Computing: Programming environments, languages, security, and analysis of systems. Proceedings of the IST/FET International Workshop (GC~2003)}, pages = {229--253}, month = feb, year = 2003, editor = {C. Priami}, volume = 2874, address = "Rovereto, Italy", series = {LNCS}, publisher = {Springer-Verlag}, pdf = {global.pdf}, } @inProceedings{pepanetsprismwosp, author = {S. Gilmore and J. Hillston and L. Kloul and M. Ribaudo}, title = {Software performance modelling using {PEPA} nets}, booktitle = {Proceedings of the Fourth International Workshop on Software and Performance}, pages = {13--24}, year = 2004, address = {Redwood Shores, California, USA}, month = jan, publisher = {ACM Press}, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/pepanetsprism.pdf} } @inProceedings{stochasticprobes, author = {A. Argent-Katwala and J.T. Bradley and N.J. Dingle}, title = {Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models}, booktitle = {Proceedings of the Fourth International Workshop on Software and Performance}, pages = {49--58}, year = 2004, address = {Redwood Shores, California, USA}, month = jan, publisher = {ACM Press}, PostScript = {http://www.dcs.ed.ac.uk/pepa/stochasticprobes.ps} } @Misc{pepa_approche, author = {L. Kloul}, title = {{PEPA}: Une approche formelle pour la mod\'elisation des performances}, year = 2004, month = jan, note = {Invited seminar at Laboratoire CITI, INSA Lyon}, PostScript = {http://www.dcs.ed.ac.uk/pepa/pepa_approche.ps} } @InProceedings{pepanetstutorial, author = {S. Gilmore and J. Hillston and L. Kloul}, title = {{PEPA} nets}, booktitle = {Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures}, year = 2004, editor = {M.C.~Calzarossa and E. Gelenbe}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 2965, pages = {311--335}, postscript = {pepanetstutorial.ps}, pdf = {pepanetstutorial.pdf} } @InProceedings{timingattacks, author = {Mikael Buchholtz and Stephen Gilmore and Jane Hillston and Flemming Nielson}, title = {Securing statically-verified communications protocols against timing attacks}, booktitle = {Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling}, pages = {61--79}, year = 2004, editor = {J. Bradley and W. Knottenbelt}, address = {London, England}, month = sep, pdf = {timingattacks.pdf} } @article{timingattacksJOURNAL, author = {Mikael Buchholtz and Stephen Gilmore and Jane Hillston and Flemming Nielson}, title = {Securing Statically-verified Communications Protocols Against Timing Attacks.}, journal = {Electr. Notes Theor. Comput. Sci.}, volume = {128}, number = {4}, year = {2005}, pages = {123--143}, ee = {http://dx.doi.org/10.1016/j.entcs.2005.01.016}, bibsource = {DBLP, http://dblp.uni-trier.de} } @InProceedings{RKIPbioconcur04, author = {Muffy Calder and Stephen Gilmore and Jane Hillston}, title = {Modelling the influence of {RKIP} on the {ERK} signalling pathway using the stochastic process algebra {PEPA}}, booktitle = {Proceedings of the BioConcur Workshop on Concurrent Models in Molecular Biology}, year = 2004, editor = {Anna Ingolfsdottir and Hanne Riis Nielson}, address = {London, England}, month = aug, pdf = {RKIPbioconcur04.pdf} } @InProceedings{webservice, author = {Bryce Mitchell and Jane Hillston}, title = {Analysing Web Service Composition with {PEPA}}, booktitle = {Proceedings of the Third Workshop on Process Algebras and Stochastically Timed Activities}, pages = {33--44}, year = 2004, editor = {J. Bradley}, address = {Edinburgh, Scotland}, month = jun, postscript = {webservice.ps}, pdf = {webservice.pdf} } @InProceedings{synchronisationstrategy, author = {Jeremy T. Bradley and Stephen T. Gilmore and Nigel Thomas}, title = {How synchronisation strategy approximation in {PEPA} implementations affects passage time performance results}, booktitle = {Applying Formal Methods: Testing, Performance, and M/E-Commerce (EPEW 2004)}, pages = {128--142}, year = 2004, editor = {{M. N\'u\~{n}ez} \emph{et al}}, volume = 3236, series = {LNCS}, month = oct, publisher = {Springer-Verlag}, postscript = {synchronisationstrategy.ps}, pdf = {synchronisationstrategy.pdf} } @InProceedings{ermodel, author = {Stephen Gilmore and Valentin Haenel and Jane Hillston and Le\"\i la Kloul}, title = {{PEPA} nets in practice: Modelling a decentralised peer-to-peer emergency medial application}, booktitle = {Applying Formal Methods: Testing, Performance, and M/E-Commerce (EPEW 2004)}, pages = {262--277}, year = 2004, editor = {{M. N\'u\~{n}ez} \emph{et al}}, volume = 3236, series = {LNCS}, month = oct, publisher = {Springer-Verlag}, pdf = {ermodel.pdf} } @InProceedings{pepanetsmobility, author = {J. Hillston and M. Ribaudo}, title = {Modelling Mobility with {PEPA} Nets}, booktitle = {Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004)}, pages = {513--522}, year = 2004, volume = 3280, series = {LNCS}, address = {Kemer-Antalya, Turkey}, month = oct, publisher = {Springer-Verlag}, pdf = {pepanetsmobility.pdf} } @InProceedings{pepanetsmmporg, author = {S. Gilmore and L. Kloul and D. Piazza}, title = {Modelling Role-Playing Games using {PEPA} Nets}, booktitle = {Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004)}, pages = {523-532}, year = 2004, volume = 3280, series = {LNCS}, address = {Kemer-Antalya, Turkey}, month = oct, publisher = {Springer-Verlag}, pdf = {pepanetsmmporg.pdf} } @Article{feasibleactivenetworking, author = {Jane Hillston and Le\"\i la Kloul and Amdjed Mokhtari}, title = {Towards a Feasible Active Networking Scenario}, journal = {Telecommunication Systems}, volume = 27, number = {2--4}, pages = {413--438}, year = 2004, month = oct, publisher = {Springer Netherlands}, pdf = {feasibleactivenetworking.pdf} } @Misc{bittorrent, author = {Adam Duguid}, title = {Modelling {BitTorrent} in {PEPA}}, note = {School of Informatics Undergraduate Dissertation}, month = mar, year = 2005, PostScript = {bittorrent.ps} } @Misc{visualsinglestepdebugger, author = {Anthony Rinaldi}, title = {A visual debugger for the {PEPA} {Workbench}}, note = {School of Informatics Undergraduate Dissertation}, month = mar, year = 2005, PDF = {visualsinglestepdebugger.pdf} } @InProceedings{highlowodes, author = {Muffy Calder and Stephen Gilmore and Jane Hillston}, title = {Automatically deriving {ODEs} from process algebra models of signalling pathways}, booktitle = {Proceedings of Computational Methods in Systems Biology (CMSB 2005)}, year = 2005, pages = {204--215}, editor = {Gordon Plotkin}, address = {Edinburgh, Scotland}, month = apr, pdf = {highlowodes.pdf} } @Article{tuningsystems, author = {J. Hillston}, title = {Tuning Systems: From Composition to Performance}, journal = {The Computer Journal}, year = 2005, volume = 48, number = 4, pages = {385--400}, month = may, note = {The Needham Lecture paper}, PDF = {tuningsystems.pdf} } @InProceedings{quantitativeanalysis, author = {J. Hillston}, title = {Process Algebras for Quantitative Analysis}, booktitle = {Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)}, pages = {239-248}, year = 2005, address = {Chicago}, month = jun, publisher = {IEEE Computer Society Press}, pdf = {http://www.dcs.ed.ac.uk/pepa/quantitativeanalysis.pdf} } @InProceedings{endtoend, author = {Mikael Buchholtz and Stephen Gilmore and Valentin Haenel and Carlo Montangero}, title = {End-to-end integrated security and performance analysis on the {DEGAS} {Choreographer} platform}, booktitle = {Proceedings of the International Symposium of Formal Methods Europe (FM 2005)}, pages = {286--301}, year = 2005, editor = {J.S. Fitzgerald, I.J. Hayes and A. Tarlecki}, number = 3582, series = {LNCS}, month = jun, publisher = {Springer-Verlag}, pdf = {endtoend.pdf} } @InProceedings{fluidflow, author = {J. Hillston}, title = {Fluid Flow Approximation of {PEPA} models}, booktitle = {Proceedings of the Second International Conference on the Quantitative Evaluation of Systems}, pages = {33--43}, year = 2005, address = {Torino, Italy}, month = sep, publisher = {IEEE Computer Society Press}, pdf = {http://www.dcs.ed.ac.uk/pepa/fluidflow.pdf} } @InProceedings{precedencepepa, author = {Jean-Michel Fourneau and {Le\"\i la} Kloul}, title = {A Precedence {PEPA} Model for Performance and Reliability Analysis}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop (EPEW 2006)}, pages = {1--15}, year = 2006, editor = {{Andr\'as} {Horv\'ath} and {Mikl\'os} Telek}, number = 4054, series = {LNCS}, month = jun, publisher = {Springer-Verlag}, pdf = {precedencepepa.pdf} } @InProceedings{functionequivalent, author = {Jane Hillston and {Le\"\i la} Kloul}, title = {A Function-Equivalent Components Based Simplification Technique for {PEPA} Models}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop (EPEW 2006)}, pages = {16--30}, year = 2006, editor = {{Andr\'as} {Horv\'ath} and {Mikl\'os} Telek}, number = 4054, series = {LNCS}, month = jun, publisher = {Springer-Verlag}, pdf = {functionequivalent.pdf} } @InProceedings{functionalperformancespecification, author = {Ashok Argent-Katwala and Jeremy T. Bradley}, title = {Functional Performance Specification with Stochastic Probes}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop (EPEW 2006)}, pages = {31--46}, year = 2006, editor = {{Andr\'as} {Horv\'ath} and {Mikl\'os} Telek}, number = 4054, series = {LNCS}, month = jun, publisher = {Springer-Verlag}, pdf = {functionalperformancespecification.pdf} } @InProceedings{ipccondor, author = {Allan Clark and Stephen Gilmore}, title = {Evaluating quality of service for service level agreements}, booktitle = {Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems}, pages = {172--185}, year = 2006, editor = {Lubo\v{s} Brim and Martin Leucker}, address = {Bonn, Germany}, month = aug, pdf = {ipccondor.pdf} } @inproceedings{coping, author = {Adam Duguid}, title = {Coping with the Parallelism of {BitTorrent}: Conversion of {PEPA} to {ODEs} in Dealing with State Space Explosion}, year = {2006}, pages = {156--170}, editor = {Eugene Asarin and Patricia Bouyer}, booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4202}, pdf = {coping.pdf} } @inproceedings{evaluatingscalability, author = {Stephen Gilmore and Mirco Tribastone}, title = {Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System}, year = {2006}, pages = {156--170}, editor = {Mario Bravetti and Manuel T. {N\'u\~nez} and Gianluigi Zavattaro}, booktitle = {Third International Workshop on Web Services and Formal Methods (WS-FM'06)}, address = {Vienna, Austria}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4184}, pdf = {evaluatingscalability.pdf} } @inproceedings{strongercomputationalmodelling, author = {Muffy Calder and Adam Duguid and Stephen Gilmore and Jane Hillston}, title = {Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods}, year = {2006}, pages = {63--77}, editor = {Corrado Priami}, booktitle = {Proceedings of the Fourth International Conference on Computational Methods in Systems Biology (CMSB 2006)}, address = {Trento, Italy}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4210}, pdf = {strongercomputationalmodelling.pdf} } @InProceedings{RKIPTCSB06, author = {Muffy Calder and Stephen Gilmore and Jane Hillston}, title = {Modelling the influence of {RKIP} on the {ERK} signalling pathway using the stochastic process algebra {PEPA}}, booktitle = {Transactions on Computational Systems Biology VII}, year = {2006}, publisher = {Springer}, month = {1--23}, series = {LNCS}, number = 4230, pdf = {RKIPTCSB06.pdf} } @MastersThesis{stenicothesis, author = {Marco Stenico}, title = {Modelling molecular systems with discrete concentration levels in the context of the process algebra {PEPA}: Stochastic and deterministic interpretations}, school = {Universit\`a degli Studi di Trento}, year = {2006}, note = {Corso di Laurea in Informatica Specialistica thesis}, pdf = {stenicothesis.pdf} } @inproceedings{performancebackoff, author = {T. Razafindralambo and F. Valois}, title = {Performance evaluation of backoff algorithms in 802.11 ad-hoc networks}, booktitle = {PE-WASUN '06: Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks}, year = {2006}, pages = {82--89}, location = {Terromolinos, Spain}, publisher = {ACM Press}, address = {New York, NY, USA}, pdf = {performancebackoff.pdf} } @inproceedings{hiddenterminals, author = {T. Razafindralambo and F. Valois}, title = {Stochastic behavior study of backoff algorithms in case of hidden terminals}, booktitle = {Proceedings of the 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC'06)}, year = {2006}, pages = {1--6}, location = {Helsinki, Finland}, publisher = {IEEE Press}, pdf = {hiddenterminals.pdf} } @Article{blending, author = {J. Hillston and L. Kloul}, title = {Formal techniques for performance analysis: blending {SAN} and {PEPA}}, journal = {Formal Aspects of Computing}, year = 2007, volume = {19}, number = {1}, pages = {3--33}, pdf = {blending.pdf} } @InBook{stochasticprocessalgebras, author = {Allan Clark and Stephen Gilmore and Jane Hillston and Mirco Tribastone}, chapter = {Stochastic Process Algebras}, title = {Formal Methods for Performance Evaluation: the 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007}, publisher = {Springer-Verlag}, year = 2007, volume = 4486, address = {Bertinoro, Italy}, month = {May--June}, pages = {132--179}, pdf = {stochasticprocessalgebras.pdf} } @InProceedings{ThePEPAPlug-inProject, author = {Mirco Tribastone}, title = {{The PEPA Plug-in Project}}, booktitle = {Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST)}, year = 2007, editor = {Mor Harchol-Balter and Marta Kwiatkowska and Miklos Telek}, month = sep, publisher = {IEEE}, pages = {53--54}, pdf = {PEPAplugin.pdf} } @InProceedings{ipclib, author = {Allan Clark}, title = {{The ipclib PEPA Library}}, booktitle = {Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST)}, year = 2007, editor = {Mor Harchol-Balter and Marta Kwiatkowska and Miklos Telek}, month = sep, publisher = {IEEE}, pages = {55--56}, pdf = {ipclib.pdf} } @InProceedings{passivecooperation, author = {Richard Hayden and Jeremy Bradley}, booktitle = {VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools}, title = {{Fluid semantics for passive stochastic process algebra cooperation}}, month = {October}, year = 2008, pdf = {passivecooperation.pdf} } @InProceedings{sockpepa, author = {Mario Bravetti and Stephen Gilmore and Claudio Guidi and Mirco Tribastone}, title = {Replicating Web Services for Scalability}, booktitle = {Proceedings of the Third International Conference on Trustworthy Global Computing (TGC'07)}, editor = {G. Barthe and C. Fournet}, pages = {204--221}, year = 2008, volume = 4912, series = {LNCS}, publisher = {Springer-Verlag}, pdf = {sockpepa.pdf} } @InProceedings{LocationAwareStochasticProbes, author = {Ashok Argent-Katwala and Jeremy Bradley and Allan Clark and Stephen Gilmore}, title = {Location-Aware Quality of Service Measurements for Service-Level Agreements}, booktitle = {Proceedings of the Third International Conference on Trustworthy Global Computing (TGC'07)}, editor = {G. Barthe and C. Fournet}, pages = {222--239}, year = 2008, volume = 4912, series = {LNCS}, publisher = {Springer-Verlag}, pdf = {locationawarestochasticprobes.pdf} } @InProceedings{MapEffectsInMobileIPv6, author = {Hao Wang and Dave Laurenson and Jane Hillston}, title = {{PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6}}, booktitle = {Proceedings of the 15th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2007)}, OPTcrossref = {}, OPTkey = {}, OPTpages = {}, year = {2007}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, address = {Istanbul, Turkey}, month = oct, OPTorganization ={}, publisher = {IEEE Computer Society Press}, OPTnote = {}, pdf = {MapEffectsInMobileIPv6.pdf} } @MastersThesis{DissertationLucaGerosa, author = {Luca Gerosa}, title = {Stochastic Process Algebras as Design and Analysis Framework for Synthetic Biology Modelling}, school = {University of Trento}, year = {2007}, OPTkey = {}, OPTtype = {}, OPTaddress = {}, OPTmonth = dec, OPTnote = {}, pdf = {DissertationLucaGerosa.pdf} } @Article{PersonalDistributedEnvironment, author = {Jie Ding and Jane Hillston and Dave Laurenson}, title = {Performance Modelling of Content Adaptation for a Personal Distributed Environment}, journal = {Personal Wireless Communication}, year = {2007}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, month = nov, note = {doi 10.1007/s11277-007-9427-4}, pdf = {PersonalDistributedEnvironment.pdf} } @InProceedings{rsvp, author = {Hao Wang and Dave Laurenson and Jane Hillston}, title = {{Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra}}, booktitle = {Proceedings of the IEEE International Conference on Communications (ICC 2008)}, OPTcrossref = {}, OPTkey = {}, OPTpages = {}, year = {2008}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, address = {Beijing, China}, month = may, OPTorganization = {}, OPTpublisher = {}, note = {To appear}, pdf = {rsvp.pdf} } @Misc{visualnavigator, author = {Paul McEwan}, title = {{A Visual Single-Step Navigator for the Eclipse PEPA Plug-in}}, howpublished = {Undergraduate 4th Year Project Report}, address = {School of Informatics, The University of Edinburgh}, month = mar, year = 2008, pdf = {visualnavigator.pdf} } @InProceedings{fsppepa, author = {Ashok Argent-Katwala and Allan Clark and Howard Foster and Stephen Gilmore and Philip Mayer and Mirco Tribastone}, title = {Safety and Response-Time Analysis of an Automotive Accident Assistance Service}, booktitle = {Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)}, pages = {191--205}, year = 2008, number = 17, series = {Communications in Computer and Information Science (CCIS)}, address = {Porto Sani, Greece}, month = oct, publisher = {Springer-Verlag}, pdf = {fsppepa.pdf} } @InProceedings{umlpepamarte, author = {Mirco Tribastone and Stephen Gilmore}, title = {Automatic Extraction of {PEPA} Performance Models from {UML} Activity Diagrams Annotated with the {MARTE} Profile}, booktitle = {Proceedings of the 7th International Workshop on Software and Performance (WOSP2008)}, pages = {67--78}, year = 2008, address = {Princeton NJ, USA}, publisher = {ACM Press}, pdf = {umlpepamarte.pdf} } @InProceedings{uml2pepa, author = {Mirco Tribastone and Stephen Gilmore}, title = {Automatic Translation of {UML} Sequence Diagrams into {PEPA} Models}, booktitle = {5th International Conference on the Quantitative Evaluation of SysTems (QEST 2008)}, pages = {205--214}, year = 2008, address = {St Malo, France}, publisher = {IEEE Computer Society Press}, pdf = {uml2pepa.pdf} } @InProceedings{xsp, author = {Allan Clark and Stephen Gilmore}, title = {State-aware performance analysis with {eXtended Stochastic Probes}}, booktitle = {Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008)}, pages = {125--140}, year = 2008, editor = {Nigel Thomas and Carlos Juiz}, volume = 5261, series = {LNCS}, address = {Palma de Mallorca, Spain}, month = sep, publisher = {Springer}, pdf = {xsp.pdf} } @InProceedings{partialevaluation, author = {Allan Clark and Adam Duguid and Stephen Gilmore and Mirco Tribastone}, title = {Partial evaluation of {PEPA} models for fluid-flow analysis}, booktitle = {Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008)}, pages = {2--16}, year = 2008, editor = {Nigel Thomas and Carlos Juiz}, volume = 5261, series = {LNCS}, address = {Palma de Mallorca, Spain}, month = sep, publisher = {Springer}, pdf = {partialevaluation.pdf} } @InProceedings{assemblycode, author = {Lamia Djoudi and {Le\"\i la} Kloul}, title = {Assembly Code Analysis Using Stochastic Process Algebra}, booktitle = {Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008)}, pages = {95--109}, year = 2008, editor = {Nigel Thomas and Carlos Juiz}, volume = 5261, series = {LNCS}, address = {Palma de Mallorca, Spain}, month = sep, publisher = {Springer}, pdf = {assemblycode.pdf} } @inproceedings{Gal08a, author = "Vashti Galpin", title = "Continuous approximation of {PEPA} models and {P}etri nets", booktitle = "Proceedings of the European Simulation and Modelling Conference (ESM 2008)", month = "27-29 October", address = "Le Havre, France", year = 2008, pages = "492-499", pdf = {ContinuousPEPAandPetriNets.pdf} } @InProceedings{terminatinguniformisation, author = {A. Clark and S. Gilmore}, title = {Terminating Passage-Time Calculations on Uniformised {M}arkov Chains}, booktitle = {Proceedings of the Twenty-Fourth annual UK Performance Engineering Workshop}, pages = {64--75}, editor = {Argent-Katwala, Ashok and Dingle, Nicholas J. and Harder, Uli}, month = jun, year = 2008, pdf = {terminatinguniformisation.pdf} } @article{relating, author = {Nil Geisweiller and Jane Hillston and Marco Stenico}, title = {Relating continuous and discrete {PEPA} models of signalling pathways}, journal = {Theor. Comput. Sci.}, volume = {404}, number = {1-2}, year = {2008}, pages = {97-111}, ee = {http://dx.doi.org/10.1016/j.tcs.2008.04.012}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{kdc, author = {Yishi Zhao and Nigel Thomas}, title = {Approximate Solution of a {PEPA} Model of a Key Distribution Centre}, year = 2008, pages = {44-57}, editor = {Samuel Kounev and Ian Gorton and Kai Sachs}, booktitle = {Performance Evaluation: Metrics, Models and Benchmarks, SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = 5119, year = 2008 } @article{worms, author = {Jeremy T. Bradley and Stephen Gilmore and Jane Hillston}, title = {Analysing distributed {I}nternet worm attacks using continuous state-space approximation of process algebra models}, journal = {J. Comput. Syst. Sci.}, volume = {74}, number = {6}, year = {2008}, pages = {1013-1032}, pdf = {worms.pdf} } @Article{pepaeclipseplugin, author = {M. Tribastone and A. Duguid and S. Gilmore}, title = {The {PEPA} {Eclipse} {Plug-in}}, journal = {Performance Evaluation Review}, year = {2009}, volume = {36}, number = {4}, pages = {28--33}, month = mar, pdf = {pepaeclipseplugin.pdf} } @InProceedings{transformationsprobeplacement, author = {Allan Clark and Stephen Gilmore}, title = {{Transformations in {PEPA} Models and Stochastic Probe Placement}}, booktitle = {Proceedings of the Twenty-Fifth UK Performance Engineering Workshop}, year = 2009, editor = {Djemame, Karim}, address = {Leeds University}, month = jul, pages = {1--16}, pdf = {transformationsprobeplacement.pdf} } @inproceedings{passageend, author = {Allan Clark and Adam Duguid and Stephen Gilmore}, title = {Passage-End Analysis}, pages = {110-115}, editor = {Jeremy T. Bradley}, booktitle = {Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5652}, year = {2009}, pdf = {passageend.pdf} } @inproceedings{formalmethodsbiochemical, author = {Muffy Calder and Stephen Gilmore and Jane Hillston and Vladislav Vyshemirsky}, title = {Formal methods for biochemical signalling pathways}, year = {2009}, OPTpages = {??}, editor = {Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I}, booktitle = {Formal Methods: State of the Art and New Directions}, publisher = {Springer}, pdf = {formalmethodsbiochemical.pdf}, note = {To appear October 2009} } @comment{Cross-referenced proceedings appear at the end} @Proceedings{papm2, title = "Proceedings of the Second International Workshop on Process Algebras and Performance Modelling", booktitle = "Proceedings of the Second International Workshop on Process Algebras and Performance Modelling", year = 1994, editor = "U.~Herzog and M.~Rettelbach", address = "Erlangen", month = nov } @Proceedings{papm3, title = "Proceedings of the Third International Workshop on Process Algebras and Performance Modelling", booktitle = "Proceedings of the Third International Workshop on Process Algebras and Performance Modelling", year = 1995, editor = "S.~Gilmore and J.~Hillston", publisher = "Special Issue of {\it The Computer Journal}, 38(7)", month = dec } @Proceedings{papm4, title = {Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling}, year = 1996, editor = {M.~Ribaudo}, month = jul, organization = {Dipartimento di Informatica, Universit\`a\ di Torino}, publisher = {CLUT} } @Proceedings{papm5, title = {Proceedings of the Fifth Annual Workshop on Process Algebra and Performance Modelling}, year = 1997, editor = {E.~Brinksma and A.~Nymeyer}, month = jun, organization = {University of Twente}, note = {Centre for Telematics and Information Technology, Technical report number 97-14} } @Proceedings{papm6, title = {Proceedings of the Sixth Annual Workshop on Process Algebra and Performance Modelling}, booktitle = {Proceedings of the Sixth Annual Workshop on Process Algebra and Performance Modelling}, year = 1998, editor = {C. Priami}, month = sep, address = {Nice, France}, organization = {Universit\`a\ degli studi di Verona} } @Proceedings{papm7, title = {Proceedings of the Seventh Annual Workshop on Process Algebra and Performance Modelling}, booktitle = {Proceedings of the Seventh Annual Workshop on Process Algebra and Performance Modelling}, year = 1999, editor = {J. Hillston}, month = sep, address = {Zaragosa, Spain}, publisher = {University of Zaragosa Press} } @Proceedings{papm8, title = {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)}, booktitle = {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)}, year = 2000, editor = {R. {Gorrieri et al}.}, month = sep, address = {Geneva, Switzerland}, publisher = {Carleton Scientific}, series = {Proceedings in Informatics}, number = 8 } @Proceedings{papm9, title = {Proceedings of the first joint PAPM-PROBMIV Workshop}, booktitle = {Proceedings of the first joint PAPM-PROBMIV Workshop}, year = 2001, editor = {L. {de Alfaro} and S. Gilmore}, month = sep, address = {Aachen, Germany}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {2165} } @Proceedings{ukpew96, title = {Proceedings of the Twelfth UK Performance Engineering Workshop}, year = 1996, editor = {R.~Pooley and J.~Hillston}, address = {Department of Computer Science, The University of Edinburgh}, month = sep } @Proceedings{ukpew99, title = {Proceedings of the Fifteenth UK Performance Engineering Workshop}, year = 1999, editor = {N. Davies and J. Bradley}, address = {The University of Bristol}, month = jul } @Proceedings{ukpew00, title = {Proceedings of the Sixteenth UK Performance Engineering Workshop}, year = 2000, editor = {N. Thomas and J. Bradley}, address = {University of Durham}, month = jul } @Proceedings{ukpew01, title = {Proceedings of the Seventeenth UK Performance Engineering Workshop}, year = 2001, editor = {K. Djemame and M. Kara}, address = {University of Leeds}, month = jul } @Proceedings{ukpew03, title = {Proceedings of the Ninteenth UK Performance Engineering Workshop}, year = 2003, editor = {S. Jarvis}, address = {University of Warwick}, month = jul } @comment{pepa.bib: End of file}