Jeremy Bradley
Jeremy Bradley
Computer Science, Imperial College London
Verified email at - Homepage
Cited by
Cited by
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
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
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
Performance queries on semi-Markov stochastic Petri nets with an extended Continuous Stochastic Logic
JT Bradley, NJ Dingle, PG Harrison, WJ Knottenbelt
Hypergraph partitioning for faster parallel pagerank computation
JT Bradley, DV de Jager, WJ Knottenbelt, A Trifunović
Formal Techniques for Computer Systems and Business Processes: European …, 2005
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
Extracting passage times from PEPA models with the HYDRA tool: A case study
JT Bradley, NJ Dingle, ST Gilmore, WJ Knottenbelt
A new tool for the performance analysis of massively parallel computer systems
A Stefanek, R Hayden, J Bradley
arXiv preprint arXiv:1006.5104, 2010
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
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
Providing dependability and resilience in the cloud: Challenges and opportunities
S Kounev, P Reinecke, F Brosig, JT Bradley, K Joshi, V Babka, A Stefanek, ...
Resilience assessment and evaluation of computing systems, 65-81, 2012
Оҥай марий йылме: A comprehensive introduction to the Mari language
T Riese, J Bradley, E Yakimova, G Krylova
Vienna: Department of Finno-Ugric Studies, University of Vienna, 2010
Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA
X Yang, R Han, Y Guo, J Bradley, B Cox, R Dickinson, R Kitney
BMC bioinformatics 13 (14), 1-17, 2012
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
The system can't perform the operation now. Try again later.
Articles 1–20