Follow
Jeremy Bradley
Jeremy Bradley
Computer Science, Imperial College London
Verified email at doc.ic.ac.uk - Homepage
Title
Cited by
Cited by
Year
A fluid analysis framework for a Markovian process algebra
RA Hayden, JT Bradley
Theoretical Computer Science 411 (22-24), 2260-2297, 2010
1222010
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
812003
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
742008
Routing Device
NJ Davies, JY Holyer, PW Thompson, JT Bradley, PP Francis-Cobley
US Patent 7,006,435, 2006
702006
Fluid computation of passage-time distributions in large Markov models
RA Hayden, A Stefanek, JT Bradley
Theoretical Computer Science 413 (1), 106-141, 2012
612012
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
542006
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
532004
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
482004
Performance queries on semi-Markov stochastic Petri nets with an extended Continuous Stochastic Logic
JT Bradley, NJ Dingle, PG Harrison, WJ Knottenbelt
IEEE COMPUTER SOC, 2003
442003
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
422005
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
392012
Extracting passage times from PEPA models with the HYDRA tool: A case study
JT Bradley, NJ Dingle, ST Gilmore, WJ Knottenbelt
382003
A new tool for the performance analysis of massively parallel computer systems
A Stefanek, R Hayden, J Bradley
arXiv preprint arXiv:1006.5104, 2010
342010
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
342006
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
332003
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
302004
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
272012
Оҥай марий йылме: 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
272010
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
262012
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
262011
The system can't perform the operation now. Try again later.
Articles 1–20