A Matrix-based Method for Analysing Stochastic Process Algebras. - Jeremy T. Bradley; N. J. Davies (ICALP Satellite Workshops, 2000)

Approximating Variance in Non-product Form Decomposed Models. - Nigel Thomas; Jeremy T. Bradley (ICALP Satellite Workshops, 2000)

The SSL Reference Implementation Project. - Jeremy T. Bradley (2000)

A Passage-Time Preserving Equivalence for Semi-Markov Processes. - Jeremy T. Bradley (Computer Performance Evaluation / TOOLS, 2002)

Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models. - Jeremy T. Bradley; Nicholas J. Dingle; Peter G. Harrison; William J. Knottenbelt (IPDPS, 2003)

Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. - Jeremy T. Bradley; Nicholas J. Dingle; Stephen T. Gilmore; William J. Knottenbelt (MASCOTS, 2003)

Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. - Jeremy T. Bradley; Nicholas J. Dingle; Peter G. Harrison; William J. Knottenbelt (PNPM, 2003)

Modelling techniques and tools for computer performance evaluation. - Tony Field; Peter G. Harrison; Jeremy T. Bradley; Uli Harder (Perform. Evaluation, 2003)

How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. - Jeremy T. Bradley; Stephen T. Gilmore; Nigel Thomas (FORTE Workshops, 2004)

The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. - Jeremy T. Bradley; William J. Knottenbelt (QEST, 2004)

Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. - Ashok Argent-Katwala; Jeremy T. Bradley; Nicholas J. Dingle (WOSP, 2004)

Preface. - Jeremy T. Bradley; William J. Knottenbelt (PASM, 2004)

Stochastic analysis of scheduling strategies in a Grid-based resource model. - Nigel Thomas; Jeremy T. Bradley; William J. Knottenbelt (IEE Proc. Softw., 2004)

Hypergraph Partitioning for Faster Parallel PageRank Computation. - Jeremy T. Bradley; Douglas Vincent de Jager; William J. Knottenbelt; Aleksandar Trifunovic (EPEW/WS-FM, 2005)

Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. - Jeremy T. Bradley; Stephen T. Gilmore (PASM@FM, 2005)

Observing Internet Worm and Virus Attacks with a Small Network Telescope. - Uli Harder; Matt W. Johnson; Jeremy T. Bradley; William J. Knottenbelt (PASM@FM, 2005)

Iterative convergence of passage-time densities in semi-Markov performance models. - Jeremy T. Bradley; Helen J. Wilson (Perform. Evaluation, 2005)

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. - 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 (Simulation and Verification of Dynamic Systems, 2006)

Stochastic Process Algebra Models of a Circadian Clock. - Jeremy T. Bradley; Thomas Thorne (Simulation and Verification of Dynamic Systems, 2006)

Functional Performance Specification with Stochastic Probes. - Ashok Argent-Katwala; Jeremy T. Bradley (EPEW, 2006)

Performance analysis of stochastic process algebra models using stochastic simulation. - Jeremy T. Bradley; Stephen T. Gilmore; Nigel Thomas (IPDPS, 2006)

Performance Trees: A New Approach to Quantitative Performance Specification. - Tamas Suto; Jeremy T. Bradley; William J. Knottenbelt (MASCOTS, 2006)

Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models. - Jeremy T. Bradley; Nicholas J. Dingle; Peter G. Harrison; William J. Knottenbelt (Future Gener. Comput. Syst., 2006)

Performance Trees: Expressiveness and Quantitative Semantics. - Tamas Suto; Jeremy T. Bradley; William J. Knottenbelt (QEST, 2007)

Tackling Large State Spaces in Performance Modelling. - William J. Knottenbelt; Jeremy T. Bradley (SFM, 2007)

Asynchronous iterative solution for state-based performance metrics. - Douglas Vincent de Jager; Jeremy T. Bradley (SIGMETRICS, 2007)

Location-Aware Quality of Service Measurements for Service-Level Agreements. - Ashok Argent-Katwala; Jeremy T. Bradley; Allan Clark; Stephen Gilmore (TGC, 2007)

Continuous PEPA queues: individual behaviour in continuous queueing networks. - Ashok Argent-Katwala; Jeremy T. Bradley (VALUETOOLS, 2007)

PEPA Queues: Capturing Customer Behaviour in Queueing Networks. - Ashok Argent-Katwala; Jeremy T. Bradley (QAPL, 2007)

A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra. - Jeremy T. Bradley (EPEW, 2008)

Extracting Response Times from Fluid Analysis of Performance Models. - Jeremy T. Bradley; Richard A. Hayden; William J. Knottenbelt; Tamas Suto (SIPEW, 2008)

Fluid semantics for passive stochastic process algebra cooperation. - Richard A. Hayden; Jeremy T. Bradley (VALUETOOLS, 2008)

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. - Jeremy T. Bradley; Stephen T. Gilmore; Jane Hillston (J. Comput. Syst. Sci., 2008)

PageRank: Splitting Homogeneous Singular Linear Systems of Index One. - Douglas Vincent de Jager; Jeremy T. Bradley (ICTIR, 2009)

Shared Transaction Markov Chains for fluid analysis of massively parallel systems. - Richard A. Hayden; Jeremy T. Bradley (MASCOTS, 2009)

Preface. - Nigel Thomas; Jeremy T. Bradley; William J. Knottenbelt; Nicholas J. Dingle; Uli Harder (PASM@MASCOTS, 2009)

Performance engineering - editorial. - Ashok Argent-Katwala; Jeremy T. Bradley; Nicholas J. Dingle; Uli Harder; William J. Knottenbelt (IET Softw., 2009)

Distributed Response Time Analysis of GSPN Models with MapReduce. - Oliver J. Haggarty; William J. Knottenbelt; Jeremy T. Bradley (Simul., 2009)

A new tool for the performance analysis of massively parallel computer systems - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (QAPL, 2010)

Evaluating fluid semantics for passive stochastic process algebra cooperation. - Richard A. Hayden; Jeremy T. Bradley (Perform. Evaluation, 2010)

Extracting state-based performance metrics using asynchronous iterative techniques. - Douglas Vincent de Jager; Jeremy T. Bradley (Perform. Evaluation, 2010)

A fluid analysis framework for a Markovian process algebra. - Richard A. Hayden; Jeremy T. Bradley (Theor. Comput. Sci., 2010)

Higher Moment Analysis of a Spatial Stochastic Process Algebra. - Marcel C. Guenther; Jeremy T. Bradley (EPEW, 2011)

MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool. - Marcel C. Guenther; Jeremy T. Bradley (ICCSW, 2011)

GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (QEST, 2011)

Fluid analysis of energy consumption using rewards in massively parallel markov models. - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (ICPE, 2011)

Computer Performance Evaluation: Preface. - Jeremy T. Bradley (Comput. J., 2011)

Preface. - Nigel Thomas; Jeremy T. Bradley; William J. Knottenbelt; Samuel Kounev; Nikolaus Huber; Fabian Brosig (PASM@ICPE, 2011)

Passage-time computation and aggregation strategies for large semi-Markov processes. - Marcel C. Guenther; Nicholas J. Dingle; Jeremy T. Bradley; William J. Knottenbelt (Perform. Evaluation, 2011)

Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only). - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (SIGMETRICS Perform. Evaluation Rev., 2011)

Fluid computation of the performance: energy tradeoff in large scale Markov models. - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (SIGMETRICS Perform. Evaluation Rev., 2011)

Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra. - Nigel Thomas; Jeremy T. Bradley (Network Performance Engineering, 2011)

Scalable Stochastic Modelling for Resilience. - Jeremy T. Bradley; Lucia Cloth; Richard A. Hayden; Leïla Kloul; Philipp Reinecke; Markus Siegle; Nigel Thomas; Katinka Wolter (Resilience Assessment and Evaluation of Computing Systems, 2012)

Providing Dependability and Resilience in the Cloud: Challenges and Opportunities. - Samuel Kounev; Philipp Reinecke; Fabian Brosig; Jeremy T. Bradley; Kaustubh Joshi 001; Vlastimil Babka; Anton Stefanek; Stephen Gilmore (Resilience Assessment and Evaluation of Computing Systems, 2012)

Mean-Field Analysis of Markov Models with Reward Feedback. - Anton Stefanek; Richard A. Hayden; Mark Mac Gonagle; Jeremy T. Bradley (ASMTA, 2012)

PCTMC Models of Wireless Sensor Network Protocols. - Marcel C. Guenther; Jeremy T. Bradley (EPEW/UKPEW, 2012)

Moment Closures for Performance Models with Highly Non-linear Rates. - Marcel C. Guenther; Anton Stefanek; Jeremy T. Bradley (EPEW/UKPEW, 2012)

Energy Consumption in the Office. - Anton Stefanek; Uli Harder; Jeremy T. Bradley (EPEW/UKPEW, 2012)

Specification and Efficient Computation of Passage-Time Distributions in GPA. - Matej Kohut; Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (QEST, 2012)

Mean-field performance analysis of a hazard detection Wireless Sensor network. - Marcel C. Guenther; Jeremy T. Bradley (VALUETOOLS, 2012)

Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA. - Xian Yang 001; Rui Han 001; Yike Guo; Jeremy T. Bradley; Benita Cox; Robert Dickinson; Richard Kitney (BMC Bioinform., 2012)

Invited Response to Computer Journal Lecture by Prof. Jane Hillston. - Jeremy T. Bradley; Nigel Thomas; Richard A. Hayden; Anton Stefanek (Comput. J., 2012)

Preface. - Jeremy T. Bradley; Keijo Heljanko; William J. Knottenbelt; Nigel Thomas (PASM/PDMC, 2012)

Fluid computation of passage-time distributions in large Markov models. - Richard A. Hayden; Anton Stefanek; Jeremy T. Bradley (Theor. Comput. Sci., 2012)

Journey Data Based Arrival Forecasting for Bicycle Hire Schemes. - Marcel C. Guenther; Jeremy T. Bradley (ASMTA, 2013)

Mean-field analysis of data flows in wireless sensor networks. - Marcel C. Guenther; Jeremy T. Bradley (ICPE, 2013)

Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis. - Richard A. Hayden; Jeremy T. Bradley; Allan Clark (IEEE Trans. Software Eng., 2013)

On Performance of Gossip Communication in a Crowd-Sensing Scenario. - Marcel C. Guenther; Jeremy T. Bradley (QEST, 2014)

Meeting inelastic demand in systems with storage and renewable sources. - Natarajan Gautam; Yunjian Xu; Jeremy T. Bradley (SmartGridComm, 2014)

Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System. - Jeremy T. Bradley; Matthew Forshaw; Anton Stefanek; Nigel Thomas (UKPEW, 2014)

Preface. - Jeremy T. Bradley; William J. Knottenbelt; Nigel Thomas (PASM, 2014)

Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates. - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (Ann. Oper. Res., 2016)

Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries Under Uncertainty. - Jeremy T. Bradley; Dimitrios Letsios; Ruth Misener; Natasha Page (COCOA, 2019)

Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries under Uncertainty. - Dimitrios Letsios; Jeremy T. Bradley; Suraj G; Ruth Misener; Natasha Page (CoRR, 2019)

Approximate and robust bounded job start scheduling for Royal Mail delivery offices. - Dimitrios Letsios; Jeremy T. Bradley; Suraj G; Ruth Misener; Natasha Page (J. Sched., 2021)