AESOP home

People

Dr Jeremy Bradley

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

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

External Associate
DoC Home page
Telephone
Within College 48349
In the UK 020 7594 8349
International +44 20 7594 8349
Research student

94 Publications with AESOP

Book Chapters
GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models [PDF]
Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek
Theory and Application of Multi-Formalism Modeling
2013
Providing Dependability and Resilience in the Cloud: Challenges and Opportunities [PDF]
Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Stephen T. Gilmore, Anton Stefanek
Resilience Assessment and Evaluation of Computing Systems
November, 2012
Scalable Stochastic Modelling for Resilience [PDF]
Jeremy T. Bradley, Lucia Cloth, Richard Hayden, Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
Resilience Assessment and Evaluation of Computing Systems
November, 2012
Modelling tools and techniques for the performance analysis of wireless protocols [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF]
Richard Hayden, Anton Stefanek, Jeremy T. Bradley
Theoretical Computer Science
January, 2012
Performance specification and evaluation with Unified Stochastic Probes and fluid analysis [PDF]
Richard Hayden, Jeremy T. Bradley, A Clark
IEEE Transactions on Software Engineering
January, 2012
Fluid computation of the performance-energy trade-off in large scale Markov models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
SIGMETRICS Performance Evaluation Review
December, 2011
Invited Response to Computer Journal Lecture by Prof. Jane Hillston [PDF]
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 [PDF]
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 [PDF]
Douglas de Jager, Jeremy T. Bradley
Performance Evaluation
December, 2010
A fluid analysis framework for a Markovian process algebra [PDF]
Richard Hayden, Jeremy T. Bradley
Theoretical Computer Science
May, 2010
Evaluating fluid semantics for passive stochastic process algebra cooperation [PDF]
Richard Hayden, Jeremy T. Bradley
Performance Evaluation
April, 2010
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
Jeremy T. Bradley, Helen J. Wilson
Performance Evaluation
May, 2005
Semi-Markov PEPA: Modelling with Generally Distributed Actions [PDF] [GZipped Postscript]
Jeremy T. Bradley
International Journal of Simulation
February, 2005
Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model [PDF] [Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF]
Nigel Thomas, Jeremy T. Bradley, David Thornley
IEE Proceedings - Computers and Digital Techniques
March, 2003
Countless Simson Line Configurations [PDF] [GZipped Postscript]
Christopher J. Bradley, Jeremy T. Bradley
The Mathematical Gazette
July, 1996
Conference and Workshop Papers
Journey data based arrival forecasting for bicycle hire schemes [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF] [GZipped Postscript]
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 [PDF] [Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
Jeremy T. Bradley
EPEW'08, 5th European Performance Evaluation Workshop
September, 2008
Distributed Response Time Analysis of GSPN Models with MapReduce [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF]
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 [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley
QAPL'07, 5th Workshop on Quantitative Aspects of Programming Languages
September, 2007
Performance Trees: Expressiveness And Quantitative Semantics [PDF] [GZipped Postscript]
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 [PDF] [Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
Jeremy T. Bradley
TOOLS 2002, Computer Performance Evaluation: Modelling Techniques and Tools
April, 2002
Two Solution Methods for Models of Parallel Queues [PDF]
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 [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nigel Thomas
ESM'01, Fifteenth European Simulation Multiconference
June, 2001
A Matrix-based Method for Analysing Stochastic Process Algebras [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [GZipped Postscript]
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 [PDF]
Anton Stefanek, Uli Harder, Jeremy T. Bradley
28th UK Performance Engineering Workshop (UKPEW 2012)
July, 2012
PCTMC models of Wireless Sensor Network protocols [PDF]
Marcel C. Guenther, Jeremy T. Bradley
UKPEW'12, 28th UK Performance Engineering Workshop
2012
MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool [PDF]
Marcel C. Guenther, Jeremy T. Bradley
Imperial College Computing Student Workshop (ICCSW)
September, 2011
Normal and inhomogeneous moment closures for stochastic process algebras [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF] [GZipped Postscript]
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 [PDF]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley
UKPEW 2007, 23rd Annual UK Performance Engineering Workshop
July, 2007
A Continuous State Space Approximation for PEPA Queues [PDF]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF]
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 [PDF] [GZipped Postscript]
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) [PDF]
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 [PDF] [Postscript]
Jeremy T. Bradley
Department of Computing, Imperial College London
March, 2007
Posters
Mean-field performance analysis of a hazard detection Wireless Sensor Network [PDF]
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.