| A fluid analysis framework for a Markovian process algebra RA Hayden, JT Bradley Theoretical Computer Science 411 (22-24), 2260-2297, 2010 | 123 | 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 | 83 | 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 | 74 | 2008 |
| Routing Device NJ Davies, JY Holyer, PW Thompson, JT Bradley, PP Francis-Cobley US Patent 7,006,435, 2006 | 72 | 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 | 61 | 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 | 56 | 2006 |
| Tscheremissisches Wörterbuch A Moisio, S Saarinen, J Bradley Suomalais-ugrilainen seura, 2023 | 54 | 2023 |
| 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 | 51 | 2004 |
| 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 | 49 | 2004 |
| 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 | 43 | 2003 |
| 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 | 41 | 2012 |
| 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 | 41 | 2005 |
| 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 | 39 | 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 | 34 | 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 | 33 | 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 | 32 | 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 | 30 | 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 | 29 | 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 | 27 | 2010 |
| The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. JT Bradley, WJ Knottenbelt QEST 4, 334-335, 2004 | 27 | 2004 |
