@TECHREPORT{ pubsdoc:mean-field-time-varying-rates,
title = {{Mean-field Analysis of Large Scale Markov Fluid Models with Fluid Dependent and Time-Inhomogeneous Rates}},
note = {Accepted subject to minor corrections to AOR September 2013},
author = {Stefanek, Anton and Hayden, Richard and Bradley, Jeremy T.},
year = {2013},
url = {http://pubs.doc.ic.ac.uk/mean-field-time-varying-rates/}}
@INCOLLECTION{ pubsdoc:multiformalism-gpa,
publisher = {IGI Global},
booktitle = {Theory and Application of Multi-Formalism Modeling},
title = {{GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models}},
ISBN = {1466646594},
author = {Bradley, Jeremy T. and Guenther, Marcel C. and Hayden, Richard and Stefanek, Anton},
year = {2013},
url = {http://pubs.doc.ic.ac.uk/multiformalism-gpa/}}
@INPROCEEDINGS{ pubsdoc:london-cycle-hire,
booktitle = {20th International Conference on Analytical Stochastic Modelling Techniques Applications (ASTMA'13)},
title = {{Journey data based arrival forecasting for bicycle hire schemes}},
series = {Lecture Notes in Computer Science},
author = {Guenther, Marcel C. and Bradley, Jeremy T.},
year = {2013},
url = {http://pubs.doc.ic.ac.uk/london-cycle-hire/}}
@INPROCEEDINGS{ pubsdoc:mean-field-wsn,
booktitle = {ICPE'13: Fourth Joint WOSP/SIPEW International Conference on Performance Engineering},
title = {{Mean-field Analysis of Data Flows in Wireless Sensor Networks}},
author = {Guenther, Marcel C. and Bradley, Jeremy T.},
year = {2013},
url = {http://pubs.doc.ic.ac.uk/mean-field-wsn/}}
@COMMENT {
Next entry should have:
publication
It may not work in BibTeX/LaTeX.
}
@INCOLLECTION{ pubsdoc:cloud-dependability,
publisher = {Springer Verlag},
title = {{Providing Dependability and Resilience in the Cloud: Challenges and Opportunities}},
ISBN = {978-3-642-29031-2},
author = {Kounev, Samuel and Reinecke, Philipp and Brosig, Fabian and Bradley, Jeremy T. and Joshi, Kaustubh and Babka, Vlastimil and Gilmore, Stephen T. and Stefanek, Anton},
pages = {65--81},
month = {November},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/cloud-dependability/}}
@COMMENT {
Next entry should have:
publication
It may not work in BibTeX/LaTeX.
}
@INCOLLECTION{ pubsdoc:scalable-stochastic-modelling,
publisher = {Springer},
title = {{Scalable Stochastic Modelling for Resilience}},
ISBN = {978-3-642-29031-2},
author = {Bradley, Jeremy T. and Cloth, Lucia and Hayden, Richard and Kloul, and Reinecke, Philipp and Siegle, Markus and Thomas, Nigel and Wolter, Katinka},
pages = {115--149},
month = {November},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/scalable-stochastic-modelling/}}
@INPROCEEDINGS{ pubsdoc:wsn-hazard-model,
booktitle = {VALUETOOLS'12},
title = {{Mean-field performance analysis of a hazard detection Wireless Sensor Network}},
author = {Guenther, Marcel C. and Bradley, Jeremy T.},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/wsn-hazard-model/}}
@INPROCEEDINGS{ pubsdoc:gpa-probes,
booktitle = {9th International Conference on Quantitative Evaluation of Systems (QEST 2012)},
title = {{Specification and efficient computation of passage-time distributions in GPA}},
author = {Kohut, Matej and Stefanek, Anton and Hayden, Richard and Bradley, Jeremy T.},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/gpa-probes/}}
@INPROCEEDINGS{ pubsdoc:energy-office,
booktitle = {28th UK Performance Engineering Workshop (UKPEW 2012)},
title = {{Energy Consumption in The Office}},
author = {Stefanek, Anton and Harder, Uli and Bradley, Jeremy T.},
month = {June},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/energy-office/}}
@INPROCEEDINGS{ pubsdoc:large-spatial-performance-models,
booktitle = {Graduate School Summer Research Symposium 2012},
title = {{Large spatial performance models: Think global, Analyse local!}},
author = {Guenther, Marcel C. and Bradley, Jeremy T.},
month = {June},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/large-spatial-performance-models/}}
@INPROCEEDINGS{ pubsdoc:moment-closures-non-linear-rates,
booktitle = {EPEW 2012, 9th European Performance Engineering Workshop},
title = {{Moment closures for performance models with highly non-linear rates}},
author = {Guenther, Marcel C. and Stefanek, Anton and Bradley, Jeremy T.},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/moment-closures-non-linear-rates/}}
@INPROCEEDINGS{ pubsdoc:pctmc-wsn-modelling,
booktitle = {UKPEW'12, 28th UK Performance Engineering Workshop},
title = {{PCTMC models of Wireless Sensor Network protocols}},
author = {Guenther, Marcel C. and Bradley, Jeremy T.},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/pctmc-wsn-modelling/}}
@INPROCEEDINGS{ pubsdoc:fluid-reward-feedback,
booktitle = {ASMTA 2012, 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications},
title = {{Mean-field analysis of Markov models with reward feedback}},
series = {Lecture Notes in Computer Science},
author = {Stefanek, Anton and Hayden, Richard and Gonagle, Marc Mac and Bradley, Jeremy T.},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/fluid-reward-feedback/}}
@TECHREPORT{ pubsdoc:icep2012-proceedings,
title = {{Proceedings of Imperial College Energy and Performance Colloquium (ICEP 2012)}},
editor = {Bradley, Jeremy T. and Hayden, Richard},
month = {May},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/icep2012-proceedings/}}
@ARTICLE{ pubsdoc:fluid-passage-time,
journal = {Theoretical Computer Science},
title = {{Fluid computation of passage time distributions in large Markov models}},
volume = {413},
number = {1},
note = {Submitted to TCS November 2010. Accepted July 2011. Available online August 2011. Extended version of June 2009 technical report entitled ``Fluid passage-time calculation in large Markov models''},
author = {Hayden, Richard and Stefanek, Anton and Bradley, Jeremy T.},
pages = {106--141},
month = {January},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/fluid-passage-time/}}
@ARTICLE{ pubsdoc:fluid-unified-stochastic-probes,
journal = {IEEE Transactions on Software Engineering},
title = {{Performance specification and evaluation with Unified Stochastic Probes and fluid analysis}},
note = {Submitted 14 August 2010. Revised 24 October 2011. Accepted 24 December 2011.},
author = {Hayden, Richard and Bradley, Jeremy T. and Clark, A},
month = {January},
year = {2012},
url = {http://pubs.doc.ic.ac.uk/fluid-unified-stochastic-probes/}}
@ARTICLE{ pubsdoc:fluid-performance-energy,
journal = {SIGMETRICS Performance Evaluation Review},
title = {{Fluid computation of the performance-energy trade-off in large scale Markov models}},
author = {Stefanek, Anton and Hayden, Richard and Bradley, Jeremy T.},
month = {December},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/fluid-performance-energy/}}
@ARTICLE{ pubsdoc:hillston-fluid-pepa,
journal = {The Computer Journal},
title = {{Invited Response to Computer Journal Lecture by Prof. Jane Hillston}},
note = {Submitted as a response to Prof. Jane Hillston's Computer Journal lecture on 24 February 2011. Accepted 19 October 2011.},
author = {Bradley, Jeremy T. and Thomas, Nigel and Hayden, Richard and Stefanek, Anton},
month = {November},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/hillston-fluid-pepa/}}
@TECHREPORT{ pubsdoc:virtualised-energy,
title = {{Capturing the energy-performance trade-off in virtualised computing models}},
note = {Under review.},
author = {Stefanek, Anton and Hayden, Richard and Bradley, Jeremy T.},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/virtualised-energy/}}
@INPROCEEDINGS{ pubsdoc:gpanalyser,
booktitle = {QEST'11, 8th International Conference on Quantitative Evaluation of Systems},
title = {{GPA - A tool for fluid scalability analysis of massively parallel systems}},
note = {This paper describes an open-source tool, the Grouped PEPA Analyser, for the rapid performance analysis of massively parallel systems. The project can be found on: http://code.google.com/p/gpanalyser/ with more information and older versions at: http://www.doc.ic.ac.uk/~as1005/gpa/},
author = {Stefanek, Anton and Hayden, Richard and Bradley, Jeremy T.},
pages = {147--148},
month = {September},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/gpanalyser/}}
@INPROCEEDINGS{ pubsdoc:masspa-higher-moments,
booktitle = {EPEW 2011, 8th European Performance Engineering Workshop},
title = {{Higher moment analysis of a spatial stochastic process algebra}},
volume = {6977},
series = {Lecture Notes in Computer Science},
author = {Guenther, Marcel C. and Bradley, Jeremy T.},
pages = {87--101},
month = {September},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/masspa-higher-moments/}}
@INPROCEEDINGS{ pubsdoc:masspa-modeller,
booktitle = {Imperial College Computing Student Workshop (ICCSW)},
title = {{MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool}},
author = {Guenther, Marcel C. and Bradley, Jeremy T.},
month = {August},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/masspa-modeller/}}
@INPROCEEDINGS{ pubsdoc:moment-closures,
booktitle = {10th Workshop on Process Algebra and Stochastically Timed Activities 2011 (PASTA'11)},
title = {{Normal and inhomogeneous moment closures for stochastic process algebras}},
author = {Stefanek, Anton and Guenther, Marcel C. and Bradley, Jeremy T.},
month = {August},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/moment-closures/}}
@COMMENT {
Could not make an entry for Journal Special Issue Edited: http://pubs.doc.ic.ac.uk/compj-performance-si/
}
@INCOLLECTION{ pubsdoc:non-product-form-queues,
publisher = {Springer Verlag},
booktitle = {Next Generation Internet: Performance Evaluation and Applications},
title = {{Analysis of non-product form parallel queues using a Markovian process algebra}},
volume = {5233},
series = {Lecture Notes in Computer Science},
author = {Thomas, Nigel and Bradley, Jeremy T.},
pages = {331--342},
month = {March},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/non-product-form-queues/}}
@INPROCEEDINGS{ pubsdoc:fluid-energy-rewards,
booktitle = {ICPE 2011, 2nd ACM/SPEC International Conference on Performance Engineering, March 14-16, 2011, Karlsruhe, Germany},
title = {{Fluid analysis of energy consumption using rewards in massively parallel Markov models}},
ISBN = {978-1-4503-0695-9},
author = {Stefanek, Anton and Hayden, Richard and Bradley, Jeremy T.},
pages = {121--131},
month = {March},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/fluid-energy-rewards/}}
@INPROCEEDINGS{ pubsdoc:mean-field-markov-chain,
booktitle = {QAPL 2012, 10th Workshop on Quantitative Aspects of Programming Languages},
title = {{Mean field and fluid approaches to Markov chain analysis}},
note = {Invited talk for QAPL 2012},
author = {Bradley, Jeremy T.},
pages = {62--64},
month = {March},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/mean-field-markov-chain/}}
@ARTICLE{ pubsdoc:smp-passage-time-aggregation,
journal = {Performance Evaluation},
title = {{Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes}},
volume = {68},
number = {3},
note = {Submitted September 2009. Accepted 25 October 2010.},
author = {Guenther, Marcel C. and Dingle, Nicholas J. and Bradley, Jeremy T. and Knottenbelt, William J.},
pages = {211--236},
month = {March},
year = {2011},
url = {http://pubs.doc.ic.ac.uk/smp-passage-time-aggregation/}}
@ARTICLE{ pubsdoc:asynchronous-performance-methods,
journal = {Performance Evaluation},
title = {{Extracting State-Based Performance Metrics using Asynchronous Iterative Techniques}},
volume = {67},
number = {12},
note = {Submitted to PEJ 3 March 2009. Accepted 20 August 2010. The associated presentation was given on 3 June 2011 as part of the Numerical Analysis and Scientific Computing Seminar series, School of Mathematics/MIMS, The University of Manchester.},
author = {de Jager, Douglas and Bradley, Jeremy T.},
pages = {1353--1372},
month = {December},
year = {2010},
url = {http://pubs.doc.ic.ac.uk/asynchronous-performance-methods/}}
@INPROCEEDINGS{ pubsdoc:hybrid-anl-pepa,
booktitle = {9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)},
title = {{Hybrid analysis of large scale PEPA models}},
author = {Stefanek, Anton and Hayden, Richard and Bradley, Jeremy T.},
month = {August},
year = {2010},
url = {http://pubs.doc.ic.ac.uk/hybrid-anl-pepa/}}
@INPROCEEDINGS{ pubsdoc:gpa-massive-pepa-analysis,
booktitle = {UKPEW'10, 26th UK Performance Engineering Workshop. 7-8th July, University of Warwick},
title = {{GPA - Tool for rapid analysis of very large scale PEPA models}},
ISBN = {9-780955-970320},
author = {Stefanek, Anton and Hayden, Richard and Bradley, Jeremy T.},
pages = {91--101},
month = {June},
year = {2010},
url = {http://pubs.doc.ic.ac.uk/gpa-massive-pepa-analysis/}}
@ARTICLE{ pubsdoc:fluid-framework-mpa,
journal = {Theoretical Computer Science},
title = {{A fluid analysis framework for a Markovian process algebra}},
volume = {411},
number = {22--24},
note = {Submitted to TCS, September 2008. Accepted 5 Feb 2010.},
author = {Hayden, Richard and Bradley, Jeremy T.},
pages = {2260--2297},
month = {April},
year = {2010},
url = {http://pubs.doc.ic.ac.uk/fluid-framework-mpa/}}
@TECHREPORT{ pubsdoc:weighted-first-past-the-post,
title = {{The Aftermath of the 2010 UK General Election: Weighted First-Past-The-Post}},
author = {Bradley, Jeremy T. and Wilson, Helen J.},
month = {April},
year = {2010},
url = {http://pubs.doc.ic.ac.uk/weighted-first-past-the-post/}}
@ARTICLE{ pubsdoc:passive-fluid-semantics,
journal = {Performance Evaluation},
title = {{Evaluating fluid semantics for passive stochastic process algebra cooperation}},
volume = {67},
number = {4},
note = {Submitted December 2008; Accepted 1 August 2009.},
author = {Hayden, Richard and Bradley, Jeremy T.},
pages = {260--284},
month = {March},
year = {2010},
url = {http://pubs.doc.ic.ac.uk/passive-fluid-semantics/}}
@INPROCEEDINGS{ pubsdoc:pepa-ode-moments-tool,
booktitle = {Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), March 27-28, 2010, Paphos, Cyprus},
title = {{A new tool for the performance analysis of massively parallel computer systems}},
volume = {28},
ISSN = {2075-2180},
series = {Electronic Proceedings in Theoretical Computer Science},
author = {Stefanek, Anton and Hayden, Richard and Bradley, Jeremy T.},
pages = {159--181},
month = {March},
year = {2010},
url = {http://pubs.doc.ic.ac.uk/pepa-ode-moments-tool/}}
@PROCEEDINGS{ pubsdoc:pasm2009-proceedings,
title = {{Practical Applications of Stochastic Modelling 2009}},
volume = {261},
series = {Electronic Notes in Theoretical Computer Science},
editor = {Thomas, Nigel and Bradley, Jeremy T. and Knottenbelt, William J. and Dingle, Nicholas J. and Harder, Uli},
pages = {1--4},
month = {February},
year = {2010},
url = {http://pubs.doc.ic.ac.uk/pasm2009-proceedings/}}
@COMMENT {
Could not make an entry for Journal Special Issue Edited: http://pubs.doc.ic.ac.uk/ukpew2008-special-issue/
}
@INPROCEEDINGS{ pubsdoc:pagerank-explanation,
booktitle = {ICTIR'09, 2nd International Conference on the Theory of Information Retrieval},
title = {{PageRank: Splitting Homogeneous Singular Linear Systems of Index One}},
volume = {5766},
series = {Lecture Notes in Computer Science},
author = {de Jager, Douglas and Bradley, Jeremy T.},
pages = {17--28},
month = {August},
year = {2009},
url = {http://pubs.doc.ic.ac.uk/pagerank-explanation/}}
@PROCEEDINGS{ pubsdoc:mascots2009,
title = {{Proceedings of MASCOTS 2009, 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems}},
editor = {Bradley, Jeremy T. and Conrad, James M. and Harder, Uli and Knottenbelt, William J. and Riley, George F. and Field, A. J.},
month = {August},
year = {2009},
url = {http://pubs.doc.ic.ac.uk/mascots2009/}}
@INPROCEEDINGS{ pubsdoc:stmcs-fluid,
booktitle = {MASCOTS '09, 17th Annual Meeting of the IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems},
title = {{Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems}},
author = {Hayden, Richard and Bradley, Jeremy T.},
month = {August},
year = {2009},
url = {http://pubs.doc.ic.ac.uk/stmcs-fluid/}}
@INPROCEEDINGS{ pubsdoc:pepa-functional-central-limit,
booktitle = {8th Workshop on Process Algebra and Stochastically Timed Activities},
title = {{A functional central limit theorem for PEPA}},
author = {Hayden, Richard and Bradley, Jeremy T.},
pages = {13--23},
month = {July},
year = {2009},
url = {http://pubs.doc.ic.ac.uk/pepa-functional-central-limit/}}
@ARTICLE{ pubsdoc:distributed-response-time,
journal = {SIMULATION},
title = {{Distributed Response Time Analysis of GSPN Models with MapReduce}},
volume = {85},
number = {8},
author = {Haggarty, Oliver J. and Knottenbelt, William J. and Bradley, Jeremy T.},
pages = {497--509},
month = {July},
year = {2009},
url = {http://pubs.doc.ic.ac.uk/distributed-response-time/}}
@INPROCEEDINGS{ pubsdoc:spatial-pi-calculus,
booktitle = {8th Workshop on Process Algebra and Stochastically Timed Activities},
title = {{Spatial extension of stochastic pi calculus}},
author = {Stefanek, Anton and Vigliotti, Maria and Bradley, Jeremy T.},
pages = {109--117},
month = {July},
year = {2009},
url = {http://pubs.doc.ic.ac.uk/spatial-pi-calculus/}}
@PROCEEDINGS{ pubsdoc:epew2009-proceedings,
title = {{Proceedings of EPEW 2009, Computer Performance Engineering. 6th European Workshop Performance Engineering Modelling}},
volume = {5652},
ISSN = {0302-9743},
ISBN = {978-3-642-02923-3},
series = {Lecture Notes in Computer Science},
editor = {Bradley, Jeremy T.},
month = {June},
year = {2009},
url = {http://pubs.doc.ic.ac.uk/epew2009-proceedings/}}
@INPROCEEDINGS{ pubsdoc:passage-time-truncation,
booktitle = {UKPEW'09, 25th UK Performance Engineering Workshop},
title = {{Truncation of Passage-time Calculations in Semi-Markov Models}},
ISBN = {978-0-9559703-1-3},
author = {Guenther, Marcel C. and Bradley, Jeremy T. and Dingle, Nicholas J. and Knottenbelt, William J.},
pages = {17--28},
month = {June},
year = {2009},
url = {http://pubs.doc.ic.ac.uk/passage-time-truncation/}}
@INPROCEEDINGS{ pubsdoc:semi-markov-partition,
booktitle = {3rd International Symposium on Semi-Markov Models: Theory and Applications},
title = {{Aggregation strategies for large semi-Markov processes}},
author = {Guenther, Marcel C. and Dingle, Nicholas J. and Bradley, Jeremy T. and Knottenbelt, William J.},
month = {May},
year = {2009},
url = {http://pubs.doc.ic.ac.uk/semi-markov-partition/}}
@PROCEEDINGS{ pubsdoc:pasm2008-entcs,
title = {{Proceedings of PASM 2008, 3rd International Workshop on the Practical Application of Stochastic Modelling}},
volume = {232},
series = {Electronic Notes in Theoretical Computer Science},
note = {PASM 2008, Palma de Mallorca, Spain, September 2008},
editor = {Thomas, Nigel and Bradley, Jeremy T. and Knottenbelt, William J.},
pages = {1--178},
month = {March},
year = {2009},
url = {http://pubs.doc.ic.ac.uk/pasm2008-entcs/}}
@INPROCEEDINGS{ pubsdoc:fluid-passive-spa,
booktitle = {VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools},
title = {{Fluid semantics for passive stochastic process algebra cooperation}},
ISBN = {978-963-9799-31-8},
note = {An extended version to appear in Performance Evaluation: http://pubs.doc.ic.ac.uk/passive-fluid-semantics/},
author = {Hayden, Richard and Bradley, Jeremy T.},
month = {September},
year = {2008},
url = {http://pubs.doc.ic.ac.uk/fluid-passive-spa/}}
@ARTICLE{ pubsdoc:continuous-pepa-worms,
journal = {Journal of Computer and System Sciences},
title = {{Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models}},
volume = {74},
number = {6},
author = {Bradley, Jeremy T. and Gilmore, Stephen T. and Hillston, Jane},
pages = {1013--1032},
month = {August},
year = {2008},
url = {http://pubs.doc.ic.ac.uk/continuous-pepa-worms/}}
@INPROCEEDINGS{ pubsdoc:circadian,
booktitle = {EPEW'08, 5th European Performance Evaluation Workshop},
title = {{A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra}},
volume = {5261},
series = {Lecture Notes in Computer Science},
author = {Bradley, Jeremy T.},
pages = {79--94},
month = {August},
year = {2008},
url = {http://pubs.doc.ic.ac.uk/circadian/}}
@INPROCEEDINGS{ pubsdoc:mapreduce-responsetime,
booktitle = {SPECTS'08, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Edinburgh, 16-18 June 2008},
title = {{Distributed Response Time Analysis of GSPN Models with MapReduce}},
ISBN = {978-1-56555-320-0},
note = {Best paper award at SPECTS 2008},
author = {Haggarty, Oliver J. and Knottenbelt, William J. and Bradley, Jeremy T.},
pages = {82--90},
year = {2008},
url = {http://pubs.doc.ic.ac.uk/mapreduce-responsetime/}}
@INPROCEEDINGS{ pubsdoc:responsetimes-fluidpepa,
booktitle = {PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities},
title = {{Extracting Fluid Response times from PEPA models}},
note = {This is a short version summary of the full paper that appeared at SIPEW 2008 (http://pubs.doc.ic.ac.uk/responsetimes-fluidanalysis).},
author = {Bradley, Jeremy T. and Hayden, Richard and Knottenbelt, William J. and Suto, Tamas},
month = {June},
year = {2008},
url = {http://pubs.doc.ic.ac.uk/responsetimes-fluidpepa/}}
@INPROCEEDINGS{ pubsdoc:ode-moments-pepa,
booktitle = {PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities},
title = {{ODE-based general moment approximations for PEPA}},
author = {Hayden, Richard and Bradley, Jeremy T.},
month = {June},
year = {2008},
url = {http://pubs.doc.ic.ac.uk/ode-moments-pepa/}}
@INPROCEEDINGS{ pubsdoc:responsetimes-fluidanalysis,
booktitle = {SIPEW'08, SPEC International Performance Evaluation Workshop, Darmstadt, 27-28 June 2008},
title = {{Extracting Response Times from Fluid Analysis of Performance Models}},
volume = {5119},
series = {Lecture Notes in Computer Science},
author = {Bradley, Jeremy T. and Hayden, Richard and Knottenbelt, William J. and Suto, Tamas},
pages = {29--43},
month = {May},
year = {2008},
url = {http://pubs.doc.ic.ac.uk/responsetimes-fluidanalysis/}}
@INPROCEEDINGS{ pubsdoc:continuous-pepa-queue-networks,
booktitle = {VALUETOOLS'07, 2nd International Conference on Performance Evaluation Methodologies and Tools, Nantes, 23-25 October 2007},
title = {{Continuous PEPA Queues: Individual behaviour in continuous queueing networks}},
number = {54},
author = {Argent-Katwala, Ashok and Bradley, Jeremy T.},
month = {November},
year = {2007},
url = {http://pubs.doc.ic.ac.uk/continuous-pepa-queue-networks/}}
@INPROCEEDINGS{ pubsdoc:location-probes,
booktitle = {TGC'07, Trustworthy Global Computing},
title = {{Location-Aware Quality of Service Measurements for Service-Level Agreements}},
volume = {4912},
series = {Lecture Notes in Computer Science},
author = {Argent-Katwala, Ashok and Bradley, Jeremy T. and Clark, A and Gilmore, Stephen T.},
pages = {222--239},
month = {November},
year = {2007},
url = {http://pubs.doc.ic.ac.uk/location-probes/}}
@INCOLLECTION{ pubsdoc:wireless-protocol-modelling,
publisher = {Nova Science Publishers, Inc},
booktitle = {Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement},
title = {{Modelling tools and techniques for the performance analysis of wireless protocols}},
number = {1},
ISBN = {1-60021-713-3},
author = {Argent-Katwala, Ashok and Bradley, Jeremy T. and Geisweiller, Nil and Gilmore, Stephen T. and Thomas, Nigel},
month = {September},
year = {2007},
url = {http://pubs.doc.ic.ac.uk/wireless-protocol-modelling/}}
@INPROCEEDINGS{ pubsdoc:pepa-queues,
booktitle = {QAPL'07, 5th Workshop on Quantitative Aspects of Programming Languages},
title = {{PEPA Queues: Capturing customer behaviour in queueing networks}},
volume = {190},
number = {3},
series = {Electronic Notes in Theoretical Computer Science},
author = {Argent-Katwala, Ashok and Bradley, Jeremy T.},
pages = {3--25},
month = {August},
year = {2007},
url = {http://pubs.doc.ic.ac.uk/pepa-queues/}}
@INPROCEEDINGS{ pubsdoc:pts-expressiveness-semantics,
booktitle = {QEST'07, 4th International Conference on the Quantitative Evaluation of Systems},
title = {{Performance Trees: Expressiveness And Quantitative Semantics}},
ISBN = {0-7695-2883-X},
author = {Suto, Tamas and Bradley, Jeremy T. and Knottenbelt, William J.},
pages = {41--50},
month = {August},
year = {2007},
url = {http://pubs.doc.ic.ac.uk/pts-expressiveness-semantics/}}
@INPROCEEDINGS{ pubsdoc:fluid-spa-synopsis,
booktitle = {PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities},
title = {{Fluid-flow solutions in PEPA to the state space explosion problem}},
author = {Hayden, Richard and Bradley, Jeremy T.},
pages = {25--37},
month = {June},
year = {2007},
url = {http://pubs.doc.ic.ac.uk/fluid-spa-synopsis/}}
@INPROCEEDINGS{ pubsdoc:performdb,
booktitle = {UKPEW 2007, 23rd Annual UK Performance Engineering Workshop},
title = {{PerformDB: Community-driven performance modelling and analysis}},
author = {Argent-Katwala, Ashok and Bradley, Jeremy T.},
pages = {86--94},
month = {June},
year = {2007},
url = {http://pubs.doc.ic.ac.uk/performdb/}}
@INPROCEEDINGS{ pubsdoc:asynchronous-iterations,
booktitle = {SIGMETRICS'07, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems. 12-16 June, San Diego.},
title = {{Asynchronous Iterative Solution for State-Based Performance Metrics}},
author = {de Jager, Douglas and Bradley, Jeremy T.},
pages = {373--374},
month = {May},
year = {2007},
url = {http://pubs.doc.ic.ac.uk/asynchronous-iterations/}}
@INCOLLECTION{ pubsdoc:large-state-spaces,
publisher = {Springer},
booktitle = {Formal Methods for Performance Evaluation},
title = {{Tackling Large State Spaces in Performance Modelling}},
volume = {4486},
series = {Lecture Notes in Computer Science},
note = {Bernardo, Hillston (Eds)},
author = {Knottenbelt, William J. and Bradley, Jeremy T.},
pages = {318--370},
month = {May},
year = {2007},
url = {http://pubs.doc.ic.ac.uk/large-state-spaces/}}
@TECHREPORT{ pubsdoc:rcat-pepa-product-form,
title = {{RCAT: From PEPA to Product form}},
volume = {2007},
number = {2},
note = {Note that a new version of this report was added 28 Feb 2008. This expanded on the previous version and also corrected a few errors.},
author = {Bradley, Jeremy T.},
pages = {1--8},
month = {March},
year = {2007},
url = {http://pubs.doc.ic.ac.uk/rcat-pepa-product-form/}}
@INCOLLECTION{ pubsdoc:response-time-chapter,
publisher = {Nova Science Publishers, Inc},
booktitle = {Performance Evaluation of Parallel, Distributed and Emergent Systems},
title = {{Response Time Densities and Quantiles in Large Markov and Semi-Markov Models}},
volume = {1},
ISBN = {1-59454-817-X},
author = {Bradley, Jeremy T. and Dingle, Nicholas J. and Harder, Uli and Harrison, Peter G. and Knottenbelt, William J.},
pages = {3--41},
year = {2006},
url = {http://pubs.doc.ic.ac.uk/response-time-chapter/}}
@INPROCEEDINGS{ pubsdoc:performance-trees,
booktitle = {MASCOTS'06, 14th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems},
title = {{Performance Trees: A New Approach To Quantitative Performance Specification}},
author = {Suto, Tamas and Bradley, Jeremy T. and Knottenbelt, William J.},
pages = {303--313},
month = {August},
year = {2006},
url = {http://pubs.doc.ic.ac.uk/performance-trees/}}
@INPROCEEDINGS{ pubsdoc:spa-circadian,
booktitle = {Simulation and Verification of Dynamic Systems, Dagstuhl},
title = {{Stochastic Process Algebra Models of a Circadian Clock}},
volume = {6161},
ISSN = {1862-4405},
series = {Dagstuhl Seminar Proceedings},
note = {Available at: http://drops.dagstuhl.de/opus/volltexte/2006/705/ This was an early version of an EPEW 2008 paper. This seminar paper only discussed modelling approaches and contained no actual analysis or validation. For more information see: http://pubs.doc.ic.ac.uk/circadian/},
author = {Bradley, Jeremy T. and Thorne, Thomas},
month = {August},
year = {2006},
url = {http://pubs.doc.ic.ac.uk/spa-circadian/}}
@INPROCEEDINGS{ pubsdoc:simulation-verification,
booktitle = {Simulation and Verification of Dynamic Systems, Dagstuhl},
title = {{Working Groups' Report: The Challenge of Combining Simulation and Verification}},
volume = {6161},
ISSN = {1862-4405},
series = {Dagstuhl Seminar Proceedings},
note = {Also available at: http://drops.dagstuhl.de/opus/volltexte/2006/724},
author = {Batt, Gregory and Bradley, Jeremy T. and Ewald, Roland and Fages, and Hermanns, Holger and Hillston, Jane and Kemper, Peter and Martens, Alke and Mosterman, Pieter J. and Nielson, Flemming and Sokolsky, Oleg and Uhrmacher, Adelinde M.},
month = {August},
year = {2006},
url = {http://pubs.doc.ic.ac.uk/simulation-verification/}}
@ARTICLE{ pubsdoc:transient-semi-markov-chains,
journal = {Future Generation Computer Systems},
title = {{Distributed Computation of Transient State Distributions and Passage Time Quantiles in Large Semi-Markov Models}},
volume = {22},
number = {7},
author = {Bradley, Jeremy T. and Dingle, Nicholas J. and Harrison, Peter G. and Knottenbelt, William J.},
pages = {828--837},
month = {July},
year = {2006},
url = {http://pubs.doc.ic.ac.uk/transient-semi-markov-chains/}}
@INPROCEEDINGS{ pubsdoc:continuous-pepa-queues,
booktitle = {Process Algebra and Stochastically Timed Activities 2006},
title = {{A Continuous State Space Approximation for PEPA Queues}},
author = {Argent-Katwala, Ashok and Bradley, Jeremy T.},
month = {May},
year = {2006},
url = {http://pubs.doc.ic.ac.uk/continuous-pepa-queues/}}
@INPROCEEDINGS{ pubsdoc:functional-performance-probes,
booktitle = {EPEW'06, 3rd European Performance Evaluation Workshop},
title = {{Functional Performance Specification with Stochastic Probes}},
volume = {4054},
series = {Lecture Notes in Computer Science},
author = {Argent-Katwala, Ashok and Bradley, Jeremy T.},
pages = {31--46},
month = {May},
year = {2006},
url = {http://pubs.doc.ic.ac.uk/functional-performance-probes/}}
@INPROCEEDINGS{ pubsdoc:network-telescope-entcs,
booktitle = {PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling},
title = {{Observing Internet Worm and Virus Attacks with a Small Network Telescope}},
volume = {151},
number = {3},
ISSN = {1571-0661},
series = {Electronic Notes in Theoretical Computer Science},
note = {The data has now been released in anonymised form at http://www.doc.ic.ac.uk/~uh/network-telescope/.},
author = {Harder, Uli and Johnson, Matthew and Bradley, Jeremy T. and Knottenbelt, William J.},
pages = {47--59},
month = {May},
year = {2006},
url = {http://pubs.doc.ic.ac.uk/network-telescope-entcs/}}
@INPROCEEDINGS{ pubsdoc:stochastic-secure-voting,
booktitle = {PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling},
title = {{Stochastic simulation methods applied to a secure electronic voting model}},
volume = {151},
number = {3},
series = {Electronic Notes in Theoretical Computer Science},
author = {Bradley, Jeremy T. and Gilmore, Stephen T.},
pages = {5--25},
month = {May},
year = {2006},
url = {http://pubs.doc.ic.ac.uk/stochastic-secure-voting/}}
@INPROCEEDINGS{ pubsdoc:spa-stochastic-simulation,
booktitle = {PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems},
title = {{Performance analysis of Stochastic Process Algebra models using Stochastic Simulation}},
author = {Bradley, Jeremy T. and Gilmore, Stephen T. and Thomas, Nigel},
pages = {321},
month = {March},
year = {2006},
url = {http://pubs.doc.ic.ac.uk/spa-stochastic-simulation/}}
@INPROCEEDINGS{ pubsdoc:hypergraph-fast-pagerank,
booktitle = {EPEW'05, Proceedings of the 2nd European Performance Evaluation Workshop},
title = {{Hypergraph Partitioning for Faster Parallel PageRank Computation}},
volume = {3670},
series = {Lecture Notes in Computer Science},
author = {Bradley, Jeremy T. and de Jager, Douglas and Knottenbelt, William J. and Trifunovic, Aleksandar},
pages = {155--171},
month = {August},
year = {2005},
url = {http://pubs.doc.ic.ac.uk/hypergraph-fast-pagerank/}}
@INPROCEEDINGS{ pubsdoc:network-telescope,
booktitle = {PASM 2005, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling},
title = {{Observing Internet Worm and Virus Attacks with a Small Network Telescope}},
author = {Harder, Uli and Johnson, Matthew and Bradley, Jeremy T. and Knottenbelt, William J.},
pages = {113--126},
month = {June},
year = {2005},
url = {http://pubs.doc.ic.ac.uk/network-telescope/}}
@INPROCEEDINGS{ pubsdoc:stochastic-simulation-voting,
booktitle = {PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling},
title = {{Stochastic Simulation Methods applied to a Secure Electronic Voting Model}},
author = {Bradley, Jeremy T. and Gilmore, Stephen T. and Thomas, Nigel},
pages = {127--149},
month = {June},
year = {2005},
url = {http://pubs.doc.ic.ac.uk/stochastic-simulation-voting/}}
@ARTICLE{ pubsdoc:convergence-semi-markov,
journal = {Performance Evaluation},
title = {{Iterative Convergence of Passage-time Densities in Semi-Markov Performance Models}},
volume = {60},
number = {1--4},
author = {Bradley, Jeremy T. and Wilson, Helen J.},
pages = {237--254},
month = {April},
year = {2005},
url = {http://pubs.doc.ic.ac.uk/convergence-semi-markov/}}
@PROCEEDINGS{ pubsdoc:pasm2004-entcs,
title = {{Proceedings of PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling}},
volume = {128},
number = {4},
series = {Electronic Notes in Theoretical Computer Science},
note = {http://www.sciencedirect.com/science/journal/15710661/128/4},
editor = {Bradley, Jeremy T. and Knottenbelt, William J.},
pages = {1--164},
month = {March},
year = {2005},
url = {http://pubs.doc.ic.ac.uk/pasm2004-entcs/}}
@ARTICLE{ pubsdoc:semi-markov-pepa,
journal = {International Journal of Simulation},
title = {{Semi-Markov PEPA: Modelling with Generally Distributed Actions}},
volume = {6},
number = {3--4},
ISSN = {1473-804X},
author = {Bradley, Jeremy T.},
pages = {43--51},
month = {February},
year = {2005},
url = {http://pubs.doc.ic.ac.uk/semi-markov-pepa/}}
@INPROCEEDINGS{ pubsdoc:pepa-synchronisation-passage,
booktitle = {EPEW'04, European Performance Evaluation Workshop},
title = {{How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results}},
volume = {3236},
series = {Lecture Notes in Computer Science},
author = {Bradley, Jeremy T. and Gilmore, Stephen T. and Thomas, Nigel},
pages = {128--142},
month = {September},
year = {2004},
url = {http://pubs.doc.ic.ac.uk/pepa-synchronisation-passage/}}
@ARTICLE{ pubsdoc:grid-resource-pepa-model-iee,
journal = {IEE Proceedings - Software},
title = {{Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model}},
volume = {151},
number = {5},
author = {Thomas, Nigel and Bradley, Jeremy T. and Knottenbelt, William J.},
pages = {232--239},
month = {September},
year = {2004},
url = {http://pubs.doc.ic.ac.uk/grid-resource-pepa-model-iee/}}
@PROCEEDINGS{ pubsdoc:pasm2004-proceedings,
title = {{Practical Applications of Stochastic Modelling 2004}},
editor = {Bradley, Jeremy T. and Knottenbelt, William J.},
month = {August},
year = {2004},
url = {http://pubs.doc.ic.ac.uk/pasm2004-proceedings/}}
@INPROCEEDINGS{ pubsdoc:ipc-hydra-qest,
booktitle = {QEST'04, 1st IEEE International Conference on the Quantitative Evaluation of Systems},
title = {{The ipc/HYDRA Tool Chain for the Analysis of PEPA Models}},
author = {Bradley, Jeremy T. and Knottenbelt, William J.},
pages = {334--335},
month = {August},
year = {2004},
url = {http://pubs.doc.ic.ac.uk/ipc-hydra-qest/}}
@ARTICLE{ pubsdoc:semi-markov-laa,
journal = {Linear Algebra and Its Applications},
title = {{Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models}},
volume = {386},
author = {Bradley, Jeremy T. and Dingle, Nicholas J. and Knottenbelt, William J. and Wilson, Helen J.},
pages = {311--334},
month = {June},
year = {2004},
url = {http://pubs.doc.ic.ac.uk/semi-markov-laa/}}
@INPROCEEDINGS{ pubsdoc:semi-blind,
booktitle = {UKPEW'04, 20th Annual UK Performance Evaluation Workshop},
title = {{Semi-blind scheduling in a finite capacity system}},
note = {A more comprehensive version of this work appeared in IEE Software: http://aesop.doc.ic.ac.uk/pubs/grid-resource-pepa-model-iee/},
author = {Thomas, Nigel and Bradley, Jeremy T. and Knottenbelt, William J.},
month = {June},
year = {2004},
url = {http://pubs.doc.ic.ac.uk/semi-blind/}}
@INPROCEEDINGS{ pubsdoc:regular-probes,
booktitle = {WOSP'04, 4th International Workshop on Software and Performance},
title = {{Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models}},
volume = {29},
number = {1},
series = {ACM SIGSOFT Software Engineering Notes},
author = {Argent-Katwala, Ashok and Bradley, Jeremy T. and Dingle, Nicholas J.},
pages = {49--58},
month = {January},
year = {2004},
url = {http://pubs.doc.ic.ac.uk/regular-probes/}}
@INPROCEEDINGS{ pubsdoc:ipc-pepa-passage-time,
booktitle = {MASCOTS'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems},
title = {{Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler}},
note = {Gabriele Kotsis (Ed.)},
author = {Bradley, Jeremy T. and Dingle, Nicholas J. and Gilmore, Stephen T. and Knottenbelt, William J.},
pages = {344--351},
month = {September},
year = {2003},
url = {http://pubs.doc.ic.ac.uk/ipc-pepa-passage-time/}}
@COMMENT {
Could not make an entry for Journal Special Issue Edited: http://pubs.doc.ic.ac.uk/perf-eval-03/
}
@INPROCEEDINGS{ pubsdoc:passage-nsmc2003,
booktitle = {NSMC 2003, 4th International Workshop on Numerical Solution of Markov Chains},
title = {{Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models}},
author = {Bradley, Jeremy T. and Dingle, Nicholas J. and Knottenbelt, William J. and Wilson, Helen J.},
pages = {99--120},
month = {August},
year = {2003},
url = {http://pubs.doc.ic.ac.uk/passage-nsmc2003/}}
@INPROCEEDINGS{ pubsdoc:ecsl-pnpm2003,
booktitle = {PNPM 2003, 10th International Workshop on Petri Nets and Performance Models, Urbana IL, USA},
title = {{Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic}},
author = {Bradley, Jeremy T. and Dingle, Nicholas J. and Harrison, Peter G. and Knottenbelt, William J.},
pages = {62--71},
month = {August},
year = {2003},
url = {http://pubs.doc.ic.ac.uk/ecsl-pnpm2003/}}
@INPROCEEDINGS{ pubsdoc:agg-spects2003,
booktitle = {SPECTS 2003, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Montreal, Canada, July 20-24 2003},
title = {{Exact Aggregation Strategies for Semi-Markov Performance Models}},
author = {Bradley, Jeremy T. and Dingle, Nicholas J. and Knottenbelt, William J.},
pages = {755--762},
month = {June},
year = {2003},
url = {http://pubs.doc.ic.ac.uk/agg-spects2003/}}
@INPROCEEDINGS{ pubsdoc:pepa-ukpew2003,
booktitle = {UKPEW 2003, 19th UK Performance Engineering Workshop},
title = {{Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study}},
author = {Bradley, Jeremy T. and Dingle, Nicholas J. and Gilmore, Stephen T. and Knottenbelt, William J.},
pages = {79--90},
month = {June},
year = {2003},
url = {http://pubs.doc.ic.ac.uk/pepa-ukpew2003/}}
@INPROCEEDINGS{ pubsdoc:passage-pmeo2003,
booktitle = {PMEO-PDS 2003, International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems},
title = {{Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models}},
ISBN = {0-7695-1926-1},
author = {Bradley, Jeremy T. and Dingle, Nicholas J. and Harrison, Peter G. and Knottenbelt, William J.},
pages = {281},
month = {March},
year = {2003},
url = {http://pubs.doc.ic.ac.uk/passage-pmeo2003/}}
@ARTICLE{ pubsdoc:approx-pepa-subst-iee,
journal = {IEE Proceedings - Computers and Digital Techniques},
title = {{An approximate solution of PEPA models using component substitution}},
volume = {150},
number = {2},
ISSN = {1350-2387},
author = {Thomas, Nigel and Bradley, Jeremy T. and Thornley, David},
pages = {67--74},
month = {March},
year = {2003},
url = {http://pubs.doc.ic.ac.uk/approx-pepa-subst-iee/}}
@INPROCEEDINGS{ pubsdoc:approx-pepa-subst-ukpew,
booktitle = {28th UK Performance Engineering Workshop (UKPEW 2002)},
title = {{An approximate solution of PEPA models using component substitution}},
author = {Thomas, Nigel and Bradley, Jeremy T. and Thornley, David},
month = {June},
year = {2002},
url = {http://pubs.doc.ic.ac.uk/approx-pepa-subst-ukpew/}}
@INPROCEEDINGS{ pubsdoc:semi-markov-equivalence,
booktitle = {TOOLS 2002, Computer Performance Evaluation: Modelling Techniques and Tools},
title = {{A Passage-time Preserving Equivalence for Semi-Markov Processes}},
volume = {2324},
series = {Lecture Notes in Computer Science},
author = {Bradley, Jeremy T.},
pages = {178--187},
month = {March},
year = {2002},
url = {http://pubs.doc.ic.ac.uk/semi-markov-equivalence/}}
@PROCEEDINGS{ pubsdoc:tools2002,
title = {{Proceedings of TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools}},
volume = {2324},
ISBN = {3-540-43539-5},
series = {Lecture Notes in Computer Science},
note = {London, UK, April 14-17, 2002.},
editor = {Field, A. J. and Harrison, Peter G. and Bradley, Jeremy T. and Harder, Uli},
month = {March},
year = {2002},
url = {http://pubs.doc.ic.ac.uk/tools2002/}}
@INPROCEEDINGS{ pubsdoc:parallel-queue-solution,
booktitle = {ESM'01, Fifteenth European Simulation Multiconference},
title = {{Two Solution Methods for Models of Parallel Queues}},
author = {Thomas, Nigel and Bradley, Jeremy T.},
pages = {741--745},
month = {June},
year = {2001},
url = {http://pubs.doc.ic.ac.uk/parallel-queue-solution/}}
@INPROCEEDINGS{ pubsdoc:qos-markovian-traffic,
booktitle = {ESM'01, Fifteenth European Simulation Multiconference},
title = {{Putting Quality of Service into a Network by making the Traffic Markovian}},
author = {Bradley, Jeremy T. and Thomas, Nigel},
pages = {746--750},
month = {May},
year = {2001},
url = {http://pubs.doc.ic.ac.uk/qos-markovian-traffic/}}
@INPROCEEDINGS{ pubsdoc:matrix-based-spa-analysis,
booktitle = {PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops},
title = {{A Matrix-based Method for Analysing Stochastic Process Algebras}},
author = {Bradley, Jeremy T. and Davies, N.J.},
pages = {579--590},
month = {June},
year = {2000},
url = {http://pubs.doc.ic.ac.uk/matrix-based-spa-analysis/}}
@INPROCEEDINGS{ pubsdoc:decomposed-model-variance,
booktitle = {PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops.},
title = {{Approximating variance in non-product form decomposed models}},
author = {Thomas, Nigel and Bradley, Jeremy T.},
pages = {607--619},
month = {June},
year = {2000},
url = {http://pubs.doc.ic.ac.uk/decomposed-model-variance/}}
@INPROCEEDINGS{ pubsdoc:decomposing-queues,
booktitle = {QNETS'00, Fourth International Workshop on Queueing Networks with Finite Capacity},
title = {{Decomposing Models of Parallel Queues}},
author = {Thomas, Nigel and Bradley, Jeremy T.},
pages = {381--388},
month = {June},
year = {2000},
url = {http://pubs.doc.ic.ac.uk/decomposing-queues/}}
@PHDTHESIS{ pubsdoc:reliable-modelling-spa,
school = {Dept. of Computer Science, University of Bristol},
title = {{Towards Reliable Modelling with Stochastic Process Algebras}},
author = {Bradley, Jeremy T.},
month = {February},
year = {2000},
url = {http://pubs.doc.ic.ac.uk/reliable-modelling-spa/}}
@ARTICLE{ pubsdoc:simson-lines,
journal = {The Mathematical Gazette},
title = {{Countless Simson Line Configurations}},
volume = {80},
number = {488},
author = {Bradley, Christopher J. and Bradley, Jeremy T.},
pages = {314--321},
month = {June},
year = {1996},
url = {http://pubs.doc.ic.ac.uk/simson-lines/}}