Journal Articles

Distributed Computation of Transient State Distributions and Passage Time Quantiles in Large Semi-Markov Models. Future Generation Computer Systems, 22(7), pp. 828-837, Elsevier, August, 2006.

.
Iterative Convergence of Passage-time Densities in Semi-Markov Performance Models. Performance Evaluation, 60(1-4), pp. 237-254, Elsevier, April, 2005.

.
Semi-Markov PEPA: Modelling with Generally Distributed Actions. International Journal of Simulation, 6(3-4), pp. 43-51, February, 2005.

.
Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model. IEE Software Engineering, 151(5), pp. 232-239, IEE, September, 2004.

.
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models. Linear Algebra and its Applications, vol. 386, pp. 311-334, Elsevier, July, 2004.

.
An approximate solution of PEPA models using component substitution. Computers and Digital Techniques, 150(2), pp. 67-74, IEE, March, 2003.

.
.
International Conferences

Performance Trees: A New Approach to Quantitative Performance Specification. In MASCOTS'06, Proceedings of the 14th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, IEEE Computer Society, Monterey, September, 2006.

.
Functional Performance Specification with Stochastic Probes. In EPEW'06, Proceedings of the 3rd European Performance Evaluation Workshop, Miklos Telek (Ed.), Lecture Notes in Computer Science, vol. 4054, pp. 31-46, Springer-Verlag, Budapest, June, 2006.

.
Performance analysis of Stochastic Process Algebra models using Stochastic Simulation. In PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems 2006, M Ould-Khaoua, G Min (Eds.), pp. 321, IEEE Computer Society Press, Rhodes, April, 2006.

.
Observing Internet Worm and Virus Attacks with a Small Network Telescope. In PASM'05, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling, Nigel Thomas (Ed.), pp. 113-126, Newcastle, July, 2005.

.
Stochastic simulation methods applied to a secure electronic voting model. In PASM'05, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling, Nigel Thomas (Ed.), pp. 127-149, Newcastle, July, 2005.

.
Hypergraph Partitioning for Faster Parallel PageRank Computation. In EPEW'05, Proceedings of the 2nd European Performance Evaluation Workshop, Leila Kloul (Ed.), Lecture Notes in Computer Science, vol. 3670, pp. 155-171, Springer-Verlag, September, 2005.

.
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. In QEST'04, Proceedings of the 1st IEEE Conference on the Quantitative Evaluation of Systems, Boudewijn Haverkort et al (Ed.), pp. 334-335, IEEE Computer Society Press, University of Twente, Enschede, September, 2004.

.
How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results. In EPEW'04, Proceedings of the European Performance Evaluation Workshop, Manuel Nunez et al (Ed.), Lecture Notes in Computer Science, vol. 3236, pp. 128-142, Springer-Verlag, October, 2004.

.
Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models. In WOSP'04, Proceedings of the 4th International Workshop on Software and Performance, Virigilio Almeida, Doug Lea (Eds.), pp. 49-58, ACM, Redwood City, California, January, 2004.

.
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. In MASCOTS'03, Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, Gabriele Kotsis (Ed.), pp. 344-351, IEEE Computer Society Press, University of Central Florida, October, 2003.

.
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models. In NSMC'03, Proceedings of the 4th International Workshop on Numerical Solutions of Markov Chains, Amy N Langville, William J Stewart (Eds.), pp. 99-120, University of Illinois at Urbana-Champaign, September, 2003.

.
Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic. In PNPM'03, Proceedings of Petri Nets and Performance Models, Gianfranco Ciardo, William Sanders (Eds.), pp. 62-71, IEEE Computer Society, University of Illinois at Urbana-Champaign, September, 2003.

.
Strategies for Exact Iterative Aggregation of Semi-Markov Performance Models. In SPECTS'03, Proceedings of International Symposium on Performance Evaluation of Computer and Telecommunication Systems, M S Obaidat (Ed.), pp. 755-762, SCS, Montreal, July, 2003.

.
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models. In PMEO-PDS'03, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems 2003, Mohamed Ould-Khaoua (Ed.), pp. 281, IPDPS 2003 Workshops, IEEE Computer Society Press, Nice, April, 2003.

.
A Passage-time Preserving Equivalence for Semi-Markov Processes. In TOOLS'02, Proceedings of Computer Performance Evaluation: Modelling Techniques and Tools, Field, A J et al (Ed.), Lecture Notes in Computer Science, vol. 2324, pp. 178-187, Springer-Verlag, Imperial College, London, April, 2002.

.
Putting Quality of Service into a Network by making the Traffic Markovian. In ESM'01, Proceedings of the Fifteenth European Simulation Multiconference, E J H Kerckhoffs, M Snorek (Eds.), pp. 746-750, SCS, Prague, June, 2001.

.
Two Solution Methods for Models of Parallel Queues. In ESM'01, Proceedings of the Fifteenth European Simulation Multiconference, E J H Kerckhoffs, M Snorek (Eds.), pp. 741-745, SCS, Prague, July, 2001.

.
A Matrix-based Method for Analysing Stochastic Process Algebras. In PAPM'00, Proceedings of the 8th International Workshop on Process Algebra and Performance Modelling, J D P Rolim (Ed.), pp. 579-590, ICALP Workshops, Carleton Scientific, Geneva, July, 2000.

.
Approximating variance in non-product form decomposed models. In PAPM'00, Proceedings of the 8th International Workshop on Process Algebra and Performance Modelling, J D P Rolim (Ed.), pp. 607-619, ICALP Workshops, Carleton Scientific, Geneva, July, 2000.

.
Decomposing Models of Parallel Queues. In QNETS'00, Proceedings of the Fourth International Workshop on Queueing Networks with Finite Capacity, pp. 381-388, Ilkley, July, 2000.

.
Reliable Performance Modelling with Approximate Synchronisations. In PAPM'99, Proceedings of the 7th International Workshop on Process Algebra and Performance Modelling, Jane Hillston, Manuel Silva (Eds.), pp. 99-118, Prensas Universitarias de Zaragoza, Zaragoza, September, 1999.

.
Book Chapter

Response time Densities and Quantiles in Large Markov and Semi-Markov Models. In Performance Evaluation of Parallel, Distributed and Emergent Systems, Nova Science, 2006.

.
Edited Journal Issues

Modelling Techniques and Tools for Computer Performance Evaluation. A J Field, P G Harrison, J T Bradley, U Harder (Eds.). Performance Evaluation, 54(2), pp. 77-206, Elsevier, October, 2003.

Edited Proceedings

Proceedings of Practical Applications of Stochastic Modelling. J T Bradley, W J Knottenbelt (Eds.). The Royal Society, London, September, 2004.

Proceedings of Computer Performance Evaluation: Modelling Techniques and Tools. A J Field, P G Harrison, J T Bradley, U Harder (Eds.). Lecture Notes in Computer Science, vol. 2324, Springer-Verlag, Imperial College, London, April, 2002.

Proceedings of the 16th Annual UK Performance Engineering Workshop. N Thomas, J T Bradley (Eds.). Department of Computer Science, University of Durham, July, 2000.

Proceedings of the 15th Annual UK Performance Engineering Workshop. J T Bradley, N J Davies (Eds.). Tech. Report, CSTR-99-007, ISBN 0 9524027 8 5, Department of Computer Science, University of Bristol, Research Press, July, 1999.

Tutorials

Reliability Modelling in Software with Random Processes. In WOSP'00, Tutorials of the Second International Workshop on Software and Performance, R J Pooley (Ed.), ACM, Ottawa, September, 2000.

.
Seminars

Why I'm always late!: using stochastic process algebras to model the Circadian clock. In Verification and Simulation Worshop, Dagstuhl seminar series, Dagstuhl Schloss, 20 April, 2006.

.
The Future is Collaborative Performance Engineering!. In UKPEW 2005, Invited talk, University of Newcastle, 1 June, 2005.

.
Internet Worm Attacks and Stochastic Agent Models. In From Many-Particle Physics to Multi-Agent Systems, Max Planck Institute for the Physics of Complex Systems, Dresden, 2 September, 2004.

.
Measuring Uncertainty with Stochastic Probes. In LFCS Seminar Series, School of Informatics, University of Edinburgh, 28 October, 2003.

.
National Conferences

Semi-Markov PEPA: Compositional Modelling and Analysis with Generally Distributed Actions. In UKPEW'04, Proceedings of 20th Annual UK Performance Engineering Workshop, Irfan Awan (Ed.), pp. 266-275, University of Bradford, July, 2004.

.
Semi-blind Scheduling in a Finite Capacity System. In UKPEW'04, Proceedings of 20th Annual UK Performance Engineering Workshop, Irfan Awan (Ed.), pp. 38-47, University of Bradford, July, 2004.

.
Extracting Passage Times from PEPA models with the HYDRA Tool: a Case Study. In UKPEW'03, Proceedings of 19th Annual UK Performance Engineering Workshop, S A Jarvis (Ed.), pp. 79-90, University of Warwick, July, 2003.

.
Semi-Markov PEPA: a contradiction in terms?. In PASTA'03, Proceedings of 2nd Int. Workshop on Process Algebras and Stochastically Timed Activities, S T Gilmore (Ed.), pp. 1-6, LFCS, Edinburgh, June, 2003.

.
Ants and Agents: Global Complexity from Local Simplicity. In PASTA'02, Proceedings of Int. Workshop on Process Algebras and Stochastically Timed Activities, S T Gilmore (Ed.), Edinburgh, June, 2002.

.
An Approximate Solution of PEPA Models Using Component Substitution. In UKPEW'02, Proceedings of 18th Annual UK Performance Engineering Workshop, M Ould-Khaoua (Ed.), pp. 223-234, Glasgow, July, 2002.

.
Transient and Passage-time Distributions in Semi-Markov Processes. In UKPEW'02, Proceedings of 18th Annual UK Performance Engineering Workshop, M Ould-Khaoua (Ed.), pp. 153-162, Glasgow, July, 2002.

.
Terminating Processes in PEPA. In UKPEW'01, Proceedings of 17th Annual UK Performance Engineering Workshop, K Djemame, M Kara (Eds.), pp. 143-154, Leeds, July, 2001.

.
Constructing a Partial Order for Performance Measures. In UKPEW'00, Proceedings of 16th Annual UK Performance Engineering Workshop, N Thomas, J Bradley (Eds.), pp. 177-186, Durham, July, 2000.

.
Measuring Improved Reliability in Stochastic Systems. In UKPEW'99, Proceedings of the 15th Annual UK Performance Engineering Workshop, J T Bradley, N J Davies (Eds.), Tech. Report, CSTR-99-007, pp. 121-130, Bristol, July, 1999.

.
Theses

Towards Reliable Modelling with Stochastic Process Algebras. PhD Thesis, Department of Computer Science, University of Bristol, Bristol BS8 1UB, UK, October, 1999.

.
The SSL Reference Implementation Project. MSc Thesis, Department of Computer Science, University of Bristol, Bristol BS8 1UB, UK, October, 1995.

.
Technical Reports

Convergence and Correctness of an Iterative Scheme for Calculating Passage Times in Semi-Markov Processes. Tech. Rep., 2004/1, Department of Applied Maths, University of Leeds, Woodhouse Lane, Leeds, LS2 9JT, UK, February, 2004.

.
Report on Extracting Transient Distributions from Semi-Markov Processes. CS Tech. Rep., 2001(8), Department of Computer Science, University of Durham, South Road, Durham, DH1 3LE, UK, July, 2001.

.
Constructing a Residual Density Operator. CS Tech. Rep., 2001(9), Department of Computer Science, University of Durham, South Road, Durham, DH1 3LE, UK, July, 2001.

.
Report on the Numerical Inversion of Laplace Transforms of Probabilistic Functions: A Haskell Implementation. CS Tech. Rep., 2001(6-7), Department of Computer Science, University of Durham, South Road, Durham, DH1 3LE, UK, July, 2001.

.
A Note on the Proof of Reduction of Biconnected Digraphs to Normal Forms. Tech. Report, CSTR-99-009, Department of Computer Science, University of Bristol, Bristol BS8 1UB, UK, September, 1999.

.
An Aggregation Technique for Analysing Some Generally Distributed Stochastic Processes. Tech. Report, CSTR-99-003, Department of Computer Science, University of Bristol, Bristol BS8 1UB, UK, March, 1999.

.
Reliable Performance Modelling with Approximate Synchronisations. Tech. Report, CSTR-99-002, Department of Computer Science, University of Bristol, Bristol BS8 1UB, UK, February, 1999.

.
Compositional BDD Construction: A Lazy Algorithm. Tech. Report, CSTR-98-005, Department of Computer Science, University of Bristol, Bristol BS8 1UB, UK, April, 1998.

.
Analysis of the SSL Protocol. Tech. Report, CSTR-95-021, Department of Computer Science, University of Bristol, Bristol BS8 1UB, UK, June, 1995.

.
Last updated by awk: Thu 29 Jun 09:57 BST 2006