Jeremy Bradley: Selected Publications
Journal Articles
International Conferences
A Argent-Katwala, J T Bradley.
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.
J T Bradley, S T Gilmore, N A Thomas.
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.
J T Bradley, D de Jager, W J Knottenbelt, A Trifunovic.
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.
J T Bradley, W J Knottenbelt.
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.
J T Bradley, S T Gilmore, N A Thomas.
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.
A Argent-Katwala, J T Bradley, N J Dingle.
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.
J T Bradley, N J Dingle, S T Gilmore, W J Knottenbelt.
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.
J T Bradley, N J Dingle, W J Knottenbelt, H J Wilson.
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.
J T Bradley, N J Dingle, W J Knottenbelt, P G Harrison.
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.
J T Bradley, N J Dingle, P G Harrison, W J Knottenbelt.
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.
J T Bradley.
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.
N Thomas, J T Bradley.
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.
Book Chapter
Edited Journal Issues
Edited Proceedings
Tutorials
Seminars
National Conferences
J T Bradley.
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.
N Thomas, J T Bradley.
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.
J T Bradley, N J Davies.
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
Technical Reports
J T Bradley, C J Vowden.
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.
J T Bradley, N J Davies.
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