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
1202010
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
822003
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
732008
Routing Device
NJ Davies, JY Holyer, PW Thompson, JT Bradley, PP Francis-Cobley
US Patent 7,006,435, 2006
662006
Fluid computation of passage-time distributions in large Markov models
RA Hayden, A Stefanek, JT Bradley
Theoretical Computer Science 413 (1), 106-141, 2012
602012
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
522006
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
502004
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
492004
Performance queries on semi-Markov stochastic Petri nets with an extended Continuous Stochastic Logic
JT Bradley, NJ Dingle, PG Harrison, WJ Knottenbelt
Petri Nets and Performance Models, IEEE International Workshop on, 62-62, 2003
432003
Hypergraph partitioning for faster parallel pagerank computation
JT Bradley, DV Jager, WJ Knottenbelt, A Trifunoviĉ
Formal Techniques for Computer Systems and Business Processes, 155-171, 2005
392005
Extracting passage times from PEPA models with the HYDRA tool: A case study
JT Bradley, NJ Dingle, ST Gilmore, WJ Knottenbelt
Proceedings of the Nineteenth annual UK Performance Engineering Workshop, 79-90, 2003
382003
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
372012
A new tool for the performance analysis of massively parallel computer systems
A Stefanek, R Hayden, J Bradley
arXiv preprint arXiv:1006.5104, 2010
352010
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
332006
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
312003
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
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
272011
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
252006
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models.
JT Bradley, WJ Knottenbelt
QEST 4, 334-335, 2004
252004
Journey data based arrival forecasting for bicycle hire schemes
MC Guenther, JT Bradley
International Conference on Analytical and Stochastic Modeling Techniques …, 2013
242013
The system can't perform the operation now. Try again later.
Articles 1–20