Jeremy Bradley
Jeremy Bradley
Computer Science, Imperial College London
Verified email at - Homepage
TitleCited byYear
A fluid analysis framework for a Markovian process algebra
RA Hayden, JT Bradley
Theoretical Computer Science 411 (22-24), 2260-2297, 2010
Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler
JT Bradley, NJ Dingle, ST Gilmore, WJ Knottenbelt
11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation …, 2003
Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
JT Bradley, ST Gilmore, J Hillston
Journal of Computer and System Sciences 74 (6), 1013-1032, 2008
Routing Device
NJ Davies, JY Holyer, PW Thompson, JT Bradley, PP Francis-Cobley
US Patent 7,006,435, 2006
Fluid computation of passage-time distributions in large Markov models
RA Hayden, A Stefanek, JT Bradley
Theoretical Computer Science 413 (1), 106-141, 2012
Hypergraph-based parallel computation of passage time densities in large semi-Markov models
JT Bradley, NJ Dingle, WJ Knottenbelt, HJ Wilson
Linear algebra and its applications 386, 311-334, 2004
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models
A Argent-Katwala, JT Bradley, NJ Dingle
ACM SIGSOFT Software Engineering Notes 29 (1), 49-58, 2004
Observing internet worm and virus attacks with a small network telescope
U Harder, MW Johnson, JT Bradley, WJ Knottenbelt
Electronic Notes in Theoretical Computer Science 151 (3), 47-59, 2006
Performance queries on semi-Markov stochastic Petri nets with an extended Continuous Stochastic Logic
JT Bradley, NJ Dingle, PG Harrison, WJ Knottenbelt
Extracting passage times from PEPA models with the HYDRA tool: A case study
JT Bradley, NJ Dingle, ST Gilmore, WJ Knottenbelt
Performance specification and evaluation with unified stochastic probes and fluid analysis
RA Hayden, JT Bradley, A Clark
IEEE Transactions on Software Engineering 39 (1), 97-118, 2012
Performance trees: A new approach to quantitative performance specification
T Suto, JT Bradley, WJ Knottenbelt
14th IEEE International Symposium on Modeling, Analysis, and Simulation, 303-313, 2006
Distributed computation of passage time quantiles and transient state distributions in large semi-Markov models
JT Bradley, NJ Dingle, PG Harrison, WJ Knottenbelt
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003
A new tool for the performance analysis of massively parallel computer systems
A Stefanek, R Hayden, J Bradley
arXiv preprint arXiv:1006.5104, 2010
Hypergraph partitioning for faster parallel pagerank computation
JT Bradley, DV de Jager, WJ Knottenbelt, A Trifunović
Formal Techniques for Computer Systems and Business Processes, 155-171, 2005
Stochastic analysis of scheduling strategies in a GRID-based resource model
N Thomas, JT Bradley, WJ Knottenbelt
IEE Proceedings-software 151 (5), 232-239, 2004
Fluid analysis of energy consumption using rewards in massively parallel Markov models
A Stefanek, RA Hayden, JT Bradley
Proceedings of the 2nd ACM/SPEC International Conference on Performance …, 2011
Stochastic simulation methods applied to a secure electronic voting model
JT Bradley, ST Gilmore
Electronic Notes in Theoretical Computer Science 151 (3), 5-25, 2006
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models.
JT Bradley, WJ Knottenbelt
QEST 4, 334-335, 2004
Performance Trees: Expressiveness and quantitative semantics
T Suto, JT Bradley, WJ Knottenbelt
Fourth International Conference on the Quantitative Evaluation of Systems …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20