Jeremy T. Bradley

A fluid analysis framework for a Markovian process algebra

Richard A. Hayden, Jeremy T. Bradley · Theoretical Computer Science · 2010 · 93 citations

Engineering, Mathematics, Fluid Dynamics +13

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

Jeremy T. Bradley, Stephen Gilmore, Jane Hillston · Journal of Computer and System Sciences · 2007 · 66 citations · Full text

Computing, Computer Engineering, Computer Science +13

Fluid computation of passage-time distributions in large Markov models

Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley · Theoretical Computer Science · 2011 · 57 citations

Engineering, Computer Science, Physics +10

Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models

Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle · ACM SIGSOFT Software Engineering Notes · 2004 · 34 citations

Computing, Computer Science, Computer Systems +17

Observing Internet Worm and Virus Attacks with a Small Network Telescope

Uli Harder, Matt Johnson, Jeremy T. Bradley et al. · Electronic Notes in Theoretical Computer Science · 2006 · 32 citations · Full text

Computing, Computer Science, Cybersecurity +12