 | 2009 |
| 35 |  | Jeremy T. Bradley:
Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings
Springer 2009 |
| 34 |  | Douglas V. de Jager,
Jeremy T. Bradley:
PageRank: Splitting Homogeneous Singular Linear Systems of Index One.
ICTIR 2009: 17-28 |
| 33 |  | Nigel Thomas,
Jeremy T. Bradley,
William J. Knottenbelt:
Preface.
Electr. Notes Theor. Comput. Sci. 232: 1-3 (2009) |
| 32 |  | Oliver J. Haggarty,
William J. Knottenbelt,
Jeremy T. Bradley:
Distributed Response Time Analysis of GSPN Models with MapReduce.
Simulation 85(8): 497-509 (2009) |
| 2008 |
| 31 |  | Jeremy T. Bradley:
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra.
EPEW 2008: 79-94 |
| 30 |  | Jeremy T. Bradley,
Richard Hayden,
William J. Knottenbelt,
Tamas Suto:
Extracting Response Times from Fluid Analysis of Performance Models.
SIPEW 2008: 29-43 |
| 29 |  | 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): 1013-1032 (2008) |
| 2007 |
| 28 |  | Tamas Suto,
Jeremy T. Bradley,
William J. Knottenbelt:
Performance Trees: Expressiveness and Quantitative Semantics.
QEST 2007: 41-50 |
| 27 |  | William J. Knottenbelt,
Jeremy T. Bradley:
Tackling Large State Spaces in Performance Modelling.
SFM 2007: 318-370 |
| 26 |  | Douglas V. de Jager,
Jeremy T. Bradley:
Asynchronous iterative solution for state-based performance metrics.
SIGMETRICS 2007: 373-374 |
| 25 |  | Ashok Argent-Katwala,
Jeremy T. Bradley,
Allan Clark,
Stephen Gilmore:
Location-Aware Quality of Service Measurements for Service-Level Agreements.
TGC 2007: 222-239 |
| 24 |  | Ashok Argent-Katwala,
Jeremy T. Bradley:
Continuous PEPA queues: individual behaviour in continuous queueing networks.
VALUETOOLS 2007: 54 |
| 23 |  | Ashok Argent-Katwala,
Jeremy T. Bradley:
PEPA Queues: Capturing Customer Behaviour in Queueing Networks.
Electr. Notes Theor. Comput. Sci. 190(3): 3-25 (2007) |
| 2006 |
| 22 |  | Ashok Argent-Katwala,
Jeremy T. Bradley:
Functional Performance Specification with Stochastic Probes.
EPEW 2006: 31-46 |
| 21 |  | Jeremy T. Bradley,
Stephen T. Gilmore,
Nigel Thomas:
Performance analysis of stochastic process algebra models using stochastic simulation.
IPDPS 2006 |
| 20 |  | Tamas Suto,
Jeremy T. Bradley,
William J. Knottenbelt:
Performance Trees: A New Approach to Quantitative Performance Specification.
MASCOTS 2006: 303-313 |
| 19 |  | 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 |
| 18 |  | Jeremy T. Bradley,
Thomas Thorne:
Stochastic Process Algebra Models of a Circadian Clock.
Simulation and Verification of Dynamic Systems 2006 |
| 17 |  | Uli Harder,
Matt W. Johnson,
Jeremy T. Bradley,
William J. Knottenbelt:
Observing Internet Worm and Virus Attacks with a Small Network Telescope.
Electr. Notes Theor. Comput. Sci. 151(3): 47-59 (2006) |
| 16 |  | Jeremy T. Bradley,
Stephen T. Gilmore:
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model.
Electr. Notes Theor. Comput. Sci. 151(3): 5-25 (2006) |
| 15 |  | 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 Generation Comp. Syst. 22(7): 828-837 (2006) |
| 2005 |
| 14 |  | Jeremy T. Bradley,
Douglas V. de Jager,
William J. Knottenbelt,
Aleksandar Trifunovic:
Hypergraph Partitioning for Faster Parallel PageRank Computation.
EPEW/WS-FM 2005: 155-171 |
| 13 |  | Jeremy T. Bradley,
William J. Knottenbelt:
Preface.
Electr. Notes Theor. Comput. Sci. 128(4): 1-2 (2005) |
| 12 |  | Jeremy T. Bradley,
Helen J. Wilson:
Iterative convergence of passage-time densities in semi-Markov performance models.
Perform. Eval. 60(1-4): 237-254 (2005) |
| 2004 |
| 11 |  | Jeremy T. Bradley,
Stephen T. Gilmore,
Nigel Thomas:
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results.
FORTE Workshops 2004: 128-142 |
| 10 |  | Jeremy T. Bradley,
William J. Knottenbelt:
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models.
QEST 2004: 334-335 |
| 9 |  | 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: 49-58 |
| 8 |  | Nigel Thomas,
Jeremy T. Bradley,
William J. Knottenbelt:
Stochastic analysis of scheduling strategies in a Grid-based resource model.
IEE Proceedings - Software 151(5): 232-239 (2004) |
| 2003 |
| 7 |  | 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: 281 |
| 6 |  | 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: 344- |
| 5 |  | Tony Field,
Peter G. Harrison,
Jeremy T. Bradley,
Uli Harder:
Modelling techniques and tools for computer performance evaluation.
Perform. Eval. 54(2): 77-78 (2003) |
| 2002 |
| 4 |  | Tony Field,
Peter G. Harrison,
Jeremy T. Bradley,
Uli Harder:
Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings
Springer 2002 |
| 3 |  | Jeremy T. Bradley:
A Passage-Time Preserving Equivalence for Semi-Markov Processes.
Computer Performance Evaluation / TOOLS 2002: 178-187 |
| 2000 |
| 2 |  | Jeremy T. Bradley,
N. J. Davies:
A Matrix-based Method for Analysing Stochastic Process Algebras.
ICALP Satellite Workshops 2000: 579-590 |
| 1 |  | Nigel Thomas,
Jeremy T. Bradley:
Approximating Variance in Non-product Form Decomposed Models.
ICALP Satellite Workshops 2000: 607-619 |