AESOP : People / Dr Jeremy Bradley

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

Reader

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

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

Book Chapters

GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models: Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek; Theory and Application of Multi-Formalism Modeling; 2013
Scalable Stochastic Modelling for Resilience: Jeremy T. Bradley, Lucia Cloth, Richard Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter; Resilience Assessment and Evaluation of Computing Systems; June, 2012
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; October, 2007
Tackling Large State Spaces in Performance Modelling: William J. Knottenbelt, Jeremy T. Bradley; Formal Methods for Performance Evaluation; June, 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

Fluid computation of passage time distributions in large Markov models: Richard Hayden, Anton Stefanek, Jeremy T. Bradley; Theoretical Computer Science; January, 2012
Fluid computation of the performance-energy trade-off in large scale Markov models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; SIGMETRICS Performance Evaluation Review; December, 2011
Performance specification and evaluation with Unified Stochastic Probes and fluid analysis: Richard Hayden, Jeremy T. Bradley, A Clark; IEEE Transactions on Software Engineering; December, 2011
Invited Response to Computer Journal Lecture by Prof. Jane Hillston: Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek; The Computer Journal; November, 2011
Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes: Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt; Performance Evaluation; March, 2011
Extracting State-Based Performance Metrics using Asynchronous Iterative Techniques: Douglas de Jager, Jeremy T. Bradley; Performance Evaluation; December, 2010
A fluid analysis framework for a Markovian process algebra: Richard Hayden, Jeremy T. Bradley; Theoretical Computer Science; May, 2010
Evaluating fluid semantics for passive stochastic process algebra cooperation: Richard Hayden, Jeremy T. Bradley; Performance Evaluation; April, 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; September, 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; August, 2006
Iterative Convergence of Passage-time Densities in Semi-Markov Performance Models: Jeremy T. Bradley, Helen J. Wilson; Performance Evaluation; May, 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; October, 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; July, 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; July, 1996

Conference and Workshop Papers

Journey data based arrival forecasting for bicycle hire schemes: Marcel C. Guenther, Jeremy T. Bradley; 20th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASTMA'13); 2013
Mean-field Analysis of Data Flows in Wireless Sensor Networks: Marcel C. Guenther, Jeremy T. Bradley; ICPE'13: Fourth Joint WOSP/SIPEW International Conference on Performance Engineering; 2013
Specification and efficient computation of passage-time distributions in GPA: Matej Kohut, Anton Stefanek, Richard Hayden, Jeremy T. Bradley; 9th International Conference on Quantitative Evaluation of Systems (QEST 2012); 2012
Moment closures for performance models with highly non-linear rates: Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley; EPEW 2012, 9th European Performance Engineering Workshop; 2012
Mean-field analysis of Markov models with reward feedback: Anton Stefanek, Richard Hayden, Marc Mac Gonagle, Jeremy T. Bradley; ASMTA 2012, 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications; 2012
GPA - A tool for fluid scalability analysis of massively parallel systems: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; QEST'11, 8th International Conference on Quantitative Evaluation of Systems; October, 2011
Higher moment analysis of a spatial stochastic process algebra: Marcel C. Guenther, Jeremy T. Bradley; EPEW 2011, 8th European Performance Engineering Workshop; October, 2011
Fluid analysis of energy consumption using rewards in massively parallel Markov models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; ICPE 2011, 2nd ACM/SPEC International Conference on Performance Engineering, March 14-16, 2011, Karlsruhe, Germany; March, 2011
A new tool for the performance analysis of massively parallel computer systems: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), March 27-28, 2010, Paphos, Cyprus; March, 2010
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; September, 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; September, 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; June, 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; October, 2008
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra: Jeremy T. Bradley; EPEW'08, 5th European Performance Evaluation Workshop; 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; June, 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; September, 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; September, 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.; June, 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; September, 2006
Functional Performance Specification with Stochastic Probes: Ashok Argent-Katwala, Jeremy T. Bradley; EPEW'06, 3rd European Performance Evaluation Workshop; June, 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; June, 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; June, 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; April, 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; September, 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; October, 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; September, 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; October, 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; September, 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; September, 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; July, 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 Modelling, Evaluation, and Optimization of Parallel and Distributed Systems; April, 2003
A Passage-time Preserving Equivalence for Semi-Markov Processes: Jeremy T. Bradley; TOOLS 2002, Computer Performance Evaluation: Modelling Techniques and Tools; April, 2002
Two Solution Methods for Models of Parallel Queues: Nigel Thomas, Jeremy T. Bradley; ESM'01, Fifteenth European Simulation Multiconference; July, 2001
Putting Quality of Service into a Network by making the Traffic Markovian: Jeremy T. Bradley, Nigel Thomas; ESM'01, Fifteenth European Simulation Multiconference; June, 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; July, 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.; July, 2000
Decomposing Models of Parallel Queues: Nigel Thomas, Jeremy T. Bradley; QNETS'00, Fourth International Workshop on Queueing Networks with Finite Capacity; July, 2000

Journal Special Issues Edited

Performance Engineering: Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt; IET Software; December, 2009
Modelling Techniques and Tools for Computer Performance Evaluation: Performance Evaluation; October, 2003

Proceedings Edited

Practical Applications of Stochastic Modelling 2009: PASM 2009, Practical Applications of Stochastic Modelling, Imperial College London; February, 2010
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; July, 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; April, 2005
Practical Applications of Stochastic Modelling 2004: PASM 2004, Practical Applications of Stochastic Modelling, Imperial College London; September, 2004
Proceedings of TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools: April, 2002

National Workshop Papers

Energy Consumption in The Office: Anton Stefanek, Uli Harder, Jeremy T. Bradley; 28th UK Performance Engineering Workshop (UKPEW 2012); July, 2012
PCTMC models of Wireless Sensor Network protocols: Marcel C. Guenther, Jeremy T. Bradley; UKPEW'12, 28th UK Performance Engineering Workshop; 2012
MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool: Marcel C. Guenther, Jeremy T. Bradley; Imperial College Computing Student Workshop (ICCSW); September, 2011
Normal and inhomogeneous moment closures for stochastic process algebras: Anton Stefanek, Marcel C. Guenther, Jeremy T. Bradley; 10th Workshop on Process Algebra and Stochastically Timed Activities 2011 (PASTA'11); September, 2011
Hybrid analysis of large scale PEPA models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010); September, 2010
GPA - Tool for rapid analysis of very large scale PEPA models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; UKPEW'10, 26th UK Performance Engineering Workshop. 7-8th July, University of Warwick; July, 2010
A functional central limit theorem for PEPA: Richard Hayden, Jeremy T. Bradley; 8th Workshop on Process Algebra and Stochastically Timed Activities; August, 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; July, 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; July, 2008
ODE-based general moment approximations for PEPA: Richard Hayden, Jeremy T. Bradley; PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities; July, 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; July, 2007
PerformDB: Community-driven performance modelling and analysis: Ashok Argent-Katwala, Jeremy T. Bradley; UKPEW 2007, 23rd Annual UK Performance Engineering Workshop; July, 2007
A Continuous State Space Approximation for PEPA Queues: Ashok Argent-Katwala, Jeremy T. Bradley; Process Algebra and Stochastically Timed Activities 2006; June, 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; July, 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; July, 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; July, 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; July, 2003
An approximate solution of PEPA models using component substitution: Nigel Thomas, Jeremy T. Bradley, David Thornley; 28th UK Performance Engineering Workshop (UKPEW 2002); July, 2002

Technical Reports

Proceedings of Imperial College Energy and Performance Colloquium (ICEP 2012): Department of Computing, Imperial College London; June, 2012
Capturing the energy-performance trade-off in virtualised computing models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; Dept of Computing, Imperial College London; 2011
RCAT: From PEPA to Product form: Jeremy T. Bradley; Department of Computing, Imperial College London; March, 2007

Posters

Mean-field performance analysis of a hazard detection Wireless Sensor Network: Marcel C. Guenther, Jeremy T. Bradley; VALUETOOLS'12; 2012
Large spatial performance models: Think global, Analyse local!: Marcel C. Guenther, Jeremy T. Bradley; Graduate School Summer Research Symposium 2012; July, 2012

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