AESOP : People / Dr Jeremy Bradley

Swans on frozen lake at Bretton Hall, Yorkshire Sculpture Park, South Yorkshire.

Senior Lecturer

Postal Address

Dr Jeremy Bradley

Department of Computing

Huxley Building

Imperial College London

180 Queen's Gate

London

SW7 2RH

DoC Home page

Office

Room 372 Huxley

Telephone

Within College 48349

In the UK 020 7594 8349

International +44 20 7594 8349

Current project

AMPS: Analysis of Massively Parallel Stochastic Systems

Research students

65 Publications (for more publications, see this author's own publication list)

Book Chapters

Modelling tools and techniques for the performance analysis of wireless protocols: Ashok Argent-Katwala, Jeremy T. Bradley, Nil Geisweiller, Stephen T. Gilmore, Nigel Thomas; Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement; September, 2007
Tackling Large State Spaces in Performance Modelling: William J. Knottenbelt, Jeremy T. Bradley; Formal Methods for Performance Evaluation; May, 2007
Response Time Densities and Quantiles in Large Markov and Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, Peter G. Harrison, William J. Knottenbelt; Performance Evaluation of Parallel, Distributed and Emergent Systems; 2006

Journal Articles

Evaluating fluid semantics for passive stochastic process algebra cooperation: Richard Hayden, Jeremy T. Bradley; Performance Evaluation; Expected 2010
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models: Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston; Journal of Computer and System Sciences; August, 2008
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 Generation Computer Systems; July, 2006
Iterative Convergence of Passage-time Densities in Semi-Markov Performance Models: Jeremy T. Bradley, Helen J. Wilson; Performance Evaluation; April, 2005
Semi-Markov PEPA: Modelling with Generally Distributed Actions: Jeremy T. Bradley; International Journal of Simulation; February, 2005
Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model: Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt; IEE Proceedings - Software; August, 2004
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen J. Wilson; Linear Algebra and Its Applications; June, 2004
An approximate solution of PEPA models using component substitution: Nigel Thomas, Jeremy T. Bradley, David Thornley; IEE Proceedings - Computers and Digital Techniques; March, 2003
Countless Simson Line Configurations: Christopher J. Bradley, Jeremy T. Bradley; The Mathematical Gazette; June, 1996

Conference and Workshop Papers

PageRank: Splitting Homogeneous Singular Linear Systems of Index One: Douglas de Jager, Jeremy T. Bradley; ICTIR'09, 2nd International Conference on the Theory of Information Retrieval; August, 2009
Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems: Richard Hayden, Jeremy T. Bradley; MASCOTS '09, 17th Annual Meeting of the IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems; August, 2009
Aggregation strategies for large semi-Markov processes: Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt; 3rd International Symposium on Semi-Markov Models: Theory and Applications; May, 2009
Fluid semantics for passive stochastic process algebra cooperation: Richard Hayden, Jeremy T. Bradley; VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools; September, 2008
Distributed Response Time Analysis of GSPN Models with MapReduce: Oliver J. Haggarty, William J. Knottenbelt, Jeremy T. Bradley; SPECTS'08, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Edinburgh, 16-18 June 2008; 2008
Extracting Response Times from Fluid Analysis of Performance Models: Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto; SIPEW'08, SPEC International Performance Evaluation Workshop, Darmstadt, 27-28 June 2008; May, 2008
Continuous PEPA Queues: Individual behaviour in continuous queueing networks: Ashok Argent-Katwala, Jeremy T. Bradley; VALUETOOLS'07, 2nd International Conference on Performance Evaluation Methodologies and Tools, Nantes, 23-25 October 2007; November, 2007
Location-Aware Quality of Service Measurements for Service-Level Agreements: Ashok Argent-Katwala, Jeremy T. Bradley, A Clark, Stephen T. Gilmore; TGC'07, Trustworthy Global Computing; November, 2007
PEPA Queues: Capturing customer behaviour in queueing networks: Ashok Argent-Katwala, Jeremy T. Bradley; QAPL'07, 5th Workshop on Quantitative Aspects of Programming Languages; August, 2007
Performance Trees: Expressiveness And Quantitative Semantics: Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt; QEST'07, 4th International Conference on the Quantitative Evaluation of Systems; August, 2007
Asynchronous Iterative Solution for State-Based Performance Metrics: Douglas de Jager, Jeremy T. Bradley; SIGMETRICS'07, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems. 12-16 June, San Diego.; May, 2007
Performance Trees: A New Approach To Quantitative Performance Specification: Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt; MASCOTS'06, 14th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems; August, 2006
Functional Performance Specification with Stochastic Probes: Ashok Argent-Katwala, Jeremy T. Bradley; EPEW'06, 3rd European Performance Evaluation Workshop; May, 2006
Observing Internet Worm and Virus Attacks with a Small Network Telescope: Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt; PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling; May, 2006
Stochastic simulation methods applied to a secure electronic voting model: Jeremy T. Bradley, Stephen T. Gilmore; PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling; May, 2006
Performance analysis of Stochastic Process Algebra models using Stochastic Simulation: Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas; PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems; March, 2006
Hypergraph Partitioning for Faster Parallel PageRank Computation: Jeremy T. Bradley, Douglas de Jager, William J. Knottenbelt, Aleksandar Trifunovic; EPEW'05, Proceedings of the 2nd European Performance Evaluation Workshop; August, 2005
How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results: Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas; EPEW'04, European Performance Evaluation Workshop; September, 2004
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models: Jeremy T. Bradley, William J. Knottenbelt; QEST'04, 1st IEEE International Conference on the Quantitative Evaluation of Systems; August, 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'04, 4th International Workshop on Software and Performance; January, 2004
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'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems; September, 2003
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen J. Wilson; NSMC 2003, 4th International Workshop on Numerical Solution of Markov Chains; August, 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, 10th International Workshop on Petri Nets and Performance Models, Urbana IL, USA; August, 2003
Exact Aggregation Strategies for Semi-Markov Performance Models: Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt; SPECTS 2003, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Montreal, Canada, July 20-24 2003; June, 2003
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; PMEO-PDS 2003, International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems; March, 2003
A Passage-time Preserving Equivalence for Semi-Markov Processes: Jeremy T. Bradley; TOOLS 2002, Computer Performance Evaluation: Modelling Techniques and Tools; March, 2002
Two Solution Methods for Models of Parallel Queues: Nigel Thomas, Jeremy T. Bradley; ESM'01, Fifteenth European Simulation Multiconference; June, 2001
Putting Quality of Service into a Network by making the Traffic Markovian: Jeremy T. Bradley, Nigel Thomas; ESM'01, Fifteenth European Simulation Multiconference; May, 2001
A Matrix-based Method for Analysing Stochastic Process Algebras: Jeremy T. Bradley, N.J. Davies; PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops; June, 2000
Approximating variance in non-product form decomposed models: Nigel Thomas, Jeremy T. Bradley; PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops.; June, 2000
Decomposing Models of Parallel Queues: Nigel Thomas, Jeremy T. Bradley; QNETS'00, Fourth International Workshop on Queueing Networks with Finite Capacity; June, 2000

Journal Special Issue Edited

Modelling Techniques and Tools for Computer Performance Evaluation: Performance Evaluation; September, 2003

Proceedings Edited

Proceedings of EPEW 2009, Computer Performance Engineering. 6th European Workshop Performance Engineering Modelling: EPEW 2009. Computer Performance Engineering. Imperial College London, 9-10 July 2009; June, 2009
Proceedings of PASM 2008, 3rd International Workshop on the Practical Application of Stochastic Modelling: March, 2009
Proceedings of PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling: PASM 2004, Practical Applications of Stochastic Modelling; March, 2005
Practical Applications of Stochastic Modelling 2004: PASM 2004, Practical Applications of Stochastic Modelling, Imperial College London; August, 2004
Proceedings of TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools: March, 2002

National Workshop Papers

A functional central limit theorem for PEPA: Richard Hayden, Jeremy T. Bradley; 8th Workshop on Process Algebra and Stochastically Timed Activities; July, 2009
Truncation of Passage-time Calculations in Semi-Markov Models: Marcel C. Guenther, Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt; UKPEW'09, 25th UK Performance Engineering Workshop; June, 2009
Extracting Fluid Response times from PEPA models: Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto; PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities; June, 2008
ODE-based general moment approximations for PEPA: Richard Hayden, Jeremy T. Bradley; PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities; June, 2008
Fluid-flow solutions in PEPA to the state space explosion problem: Richard Hayden, Jeremy T. Bradley; PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities; June, 2007
PerformDB: Community-driven performance modelling and analysis: Ashok Argent-Katwala, Jeremy T. Bradley; UKPEW 2007, 23rd Annual UK Performance Engineering Workshop; June, 2007
A Continuous State Space Approximation for PEPA Queues: Ashok Argent-Katwala, Jeremy T. Bradley; Process Algebra and Stochastically Timed Activities 2006; May, 2006
Observing Internet Worm and Virus Attacks with a Small Network Telescope: Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt; PASM 2005, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling; June, 2005
Stochastic Simulation Methods applied to a Secure Electronic Voting Model: Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas; PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling; June, 2005
Semi-blind scheduling in a finite capacity system: Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt; UKPEW'04, 20th Annual UK Performance Evaluation Workshop; June, 2004
Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study: Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt; UKPEW 2003, 19th UK Performance Engineering Workshop; June, 2003
An approximate solution of PEPA models using component substitution: Nigel Thomas, Jeremy T. Bradley, David Thornley; Eighteenth Annual UK Performance Engineering Workshop; June, 2002

Technical Reports

Fluid passage-time calculation in large Markov models: Richard Hayden, Jeremy T. Bradley; May, 2009
Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems (extended version): Richard Hayden, Jeremy T. Bradley; Imperial College London; May, 2009
A fluid analysis framework for a Markovian process algebra: Richard Hayden, Jeremy T. Bradley; August, 2008
RCAT: From PEPA to Product form: Jeremy T. Bradley; Department of Computing, Imperial College London; March, 2007

Information from pubs.doc.ic.ac.uk/authors/jb.