Jeremy T. Bradley

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 6

Top Venues

EPEW/UKPEW

Electron. Notes Theor. Comput. Sci.

QEST

ASMTA

University of Bristol, UK (PHD)

Education History

University of Bristol, UK

PHD

Publications

Dimitrios Letsios, Jeremy T. Bradley, Suraj G, Ruth Misener, Natasha Page
Approximate and robust bounded job start scheduling for Royal Mail delivery offices. J. Sched. 24 (2) (2021)
Jeremy T. Bradley, Dimitrios Letsios, Ruth Misener, Natasha Page
Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries Under Uncertainty. COCOA (2019)
Dimitrios Letsios, Jeremy T. Bradley, Suraj G, Ruth Misener, Natasha Page
Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries under Uncertainty. CoRR (2019)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates. Ann. Oper. Res. 239 (2) (2016)
Jeremy T. Bradley, Matthew Forshaw, Anton Stefanek, Nigel Thomas
Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System. Electron. Notes Theor. Comput. Sci. 318 (2015)
Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas
Preface. Electron. Notes Theor. Comput. Sci. 310 (2015)
Natarajan Gautam, Yunjian Xu, Jeremy T. Bradley
Meeting inelastic demand in systems with storage and renewable sources. SmartGridComm (2014)
Marcel C. Guenther, Jeremy T. Bradley
On Performance of Gossip Communication in a Crowd-Sensing Scenario. QEST (2014)
Richard A. Hayden, Jeremy T. Bradley, Allan Clark
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis. IEEE Trans. Software Eng. 39 (1) (2013)
Marcel C. Guenther, Jeremy T. Bradley
Mean-field analysis of data flows in wireless sensor networks. ICPE (2013)
Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas
Preface. Electron. Notes Theor. Comput. Sci. 296 (2013)
Marcel C. Guenther, Jeremy T. Bradley
Journey Data Based Arrival Forecasting for Bicycle Hire Schemes. ASMTA (2013)
Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
Specification and Efficient Computation of Passage-Time Distributions in GPA. QEST (2012)
Anton Stefanek, Richard A. Hayden, Mark Mac Gonagle, Jeremy T. Bradley
Mean-Field Analysis of Markov Models with Reward Feedback. ASMTA (2012)
Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley
Moment Closures for Performance Models with Highly Non-linear Rates. EPEW/UKPEW (2012)
Xian Yang, Rui Han, Yike Guo, Jeremy T. Bradley, Benita Cox, Robert Dickinson, Richard Kitney
Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA. BMC Bioinform. 13 (S-14) (2012)
Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley
Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci. 413 (1) (2012)
Marcel C. Guenther, Jeremy T. Bradley
PCTMC Models of Wireless Sensor Network Protocols. EPEW/UKPEW (2012)
Marcel C. Guenther, Jeremy T. Bradley
Mean-field performance analysis of a hazard detection Wireless Sensor network. VALUETOOLS (2012)
Jeremy T. Bradley, Nigel Thomas, Richard A. Hayden, Anton Stefanek
Invited Response to Computer Journal Lecture by Prof. Jane Hillston. Comput. J. 55 (7) (2012)
Anton Stefanek, Uli Harder, Jeremy T. Bradley
Energy Consumption in the Office. EPEW/UKPEW (2012)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
Fluid analysis of energy consumption using rewards in massively parallel markov models. ICPE (2011)
Jeremy T. Bradley
Computer Performance Evaluation: Preface. Comput. J. 54 (5) (2011)
Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt
Passage-time computation and aggregation strategies for large semi-Markov processes. Perform. Evaluation 68 (3) (2011)
Marcel C. Guenther, Jeremy T. Bradley
MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool. ICCSW (2011)
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig
Preface. Electron. Notes Theor. Comput. Sci. 275 (2011)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
Fluid computation of the performance: energy tradeoff in large scale Markov models. SIGMETRICS Perform. Evaluation Rev. 39 (3) (2011)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. QEST (2011)
Marcel C. Guenther, Jeremy T. Bradley
Higher Moment Analysis of a Spatial Stochastic Process Algebra. EPEW (2011)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39 (3) (2011)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
A new tool for the performance analysis of massively parallel computer systems QAPL (2010)
Richard A. Hayden, Jeremy T. Bradley
A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci. 411 (22-24) (2010)
Richard A. Hayden, Jeremy T. Bradley
Evaluating fluid semantics for passive stochastic process algebra cooperation. Perform. Evaluation 67 (4) (2010)
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder
Preface. Electron. Notes Theor. Comput. Sci. 261 (2010)
Douglas Vincent de Jager, Jeremy T. Bradley
Extracting state-based performance metrics using asynchronous iterative techniques. Perform. Evaluation 67 (12) (2010)
Oliver J. Haggarty, William J. Knottenbelt, Jeremy T. Bradley
Distributed Response Time Analysis of GSPN Models with MapReduce. Simul. 85 (8) (2009)
Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt
Performance engineering - editorial. IET Softw. 3 (6) (2009)
Douglas Vincent de Jager, Jeremy T. Bradley
PageRank: Splitting Homogeneous Singular Linear Systems of Index One. ICTIR (2009)
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
Preface. Electron. Notes Theor. Comput. Sci. 232 (2009)
Richard A. Hayden, Jeremy T. Bradley
Shared Transaction Markov Chains for fluid analysis of massively parallel systems. MASCOTS (2009)
Richard A. Hayden, Jeremy T. Bradley
Fluid semantics for passive stochastic process algebra cooperation. VALUETOOLS (2008)
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. 74 (6) (2008)
Jeremy T. Bradley
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra. EPEW (2008)
Jeremy T. Bradley, Richard A. Hayden, William J. Knottenbelt, Tamas Suto
Extracting Response Times from Fluid Analysis of Performance Models. SIPEW (2008)
Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
Performance Trees: Expressiveness and Quantitative Semantics. QEST (2007)
Ashok Argent-Katwala, Jeremy T. Bradley
Continuous PEPA queues: individual behaviour in continuous queueing networks. VALUETOOLS (2007)
Douglas Vincent de Jager, Jeremy T. Bradley
Asynchronous iterative solution for state-based performance metrics. SIGMETRICS (2007)
William J. Knottenbelt, Jeremy T. Bradley
Tackling Large State Spaces in Performance Modelling. SFM (2007)
Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore
Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC (2007)
Ashok Argent-Katwala, Jeremy T. Bradley
PEPA Queues: Capturing Customer Behaviour in Queueing Networks. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models. Future Gener. Comput. Syst. 22 (7) (2006)
Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
Performance Trees: A New Approach to Quantitative Performance Specification. MASCOTS (2006)
Jeremy T. Bradley, Stephen T. Gilmore
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. Electron. Notes Theor. Comput. Sci. 151 (3) (2006)
Jeremy T. Bradley, Thomas Thorne
Stochastic Process Algebra Models of a Circadian Clock. Simulation and Verification of Dynamic Systems (2006)
Uli Harder, Matt W. Johnson, Jeremy T. Bradley, William J. Knottenbelt
Observing Internet Worm and Virus Attacks with a Small Network Telescope. Electron. Notes Theor. Comput. Sci. 151 (3) (2006)
Ashok Argent-Katwala, Jeremy T. Bradley
Functional Performance Specification with Stochastic Probes. EPEW (2006)
Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems (2006)
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS (2006)
Jeremy T. Bradley, Helen J. Wilson
Iterative convergence of passage-time densities in semi-Markov performance models. Perform. Evaluation 60 (1-4) (2005)
Jeremy T. Bradley, William J. Knottenbelt
Preface. Electron. Notes Theor. Comput. Sci. 128 (4) (2005)
Jeremy T. Bradley, Douglas Vincent de Jager, William J. Knottenbelt, Aleksandar Trifunovic
Hypergraph Partitioning for Faster Parallel PageRank Computation. EPEW/WS-FM (2005)
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
Stochastic analysis of scheduling strategies in a Grid-based resource model. IEE Proc. Softw. 151 (5) (2004)
Jeremy T. Bradley, William J. Knottenbelt
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. QEST (2004)
Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. WOSP (2004)
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. FORTE Workshops (2004)
Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
Modelling techniques and tools for computer performance evaluation. Perform. Evaluation 54 (2) (2003)
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models. IPDPS (2003)
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. MASCOTS (2003)
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. PNPM (2003)
Jeremy T. Bradley
A Passage-Time Preserving Equivalence for Semi-Markov Processes. Computer Performance Evaluation / TOOLS (2002)
Jeremy T. Bradley, N. J. Davies
A Matrix-based Method for Analysing Stochastic Process Algebras. ICALP Satellite Workshops (2000)
Nigel Thomas, Jeremy T. Bradley
Approximating Variance in Non-product Form Decomposed Models. ICALP Satellite Workshops (2000)

Jeremy T. Bradley.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeremy T. Bradley