On this page:

105 publications for this author.

- 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
- IGI Global
- 2013
- Providing Dependability and Resilience in the Cloud: Challenges and Opportunities
- Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Stephen Gilmore, Anton Stefanek
- Resilience Assessment and Evaluation of Computing Systems
- pp.65–81
- Springer Verlag
- November, 2012
- Scalable Stochastic Modelling for Resilience
*Jeremy T. Bradley, Lucia Cloth, Richard Hayden, Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter*- Resilience Assessment and Evaluation of Computing Systems
- pp.115–149
- Springer
- November, 2012
- Analysis of non-product form parallel queues using a Markovian process algebra
- Nigel Thomas, Jeremy T. Bradley
- Next Generation Internet: Performance Evaluation and Applications
- Volume 5233, pp.331–342
- Lecture Notes in Computer Science, Springer Verlag
- April, 2011
- Modelling tools and techniques for the performance analysis of wireless protocols
- Ashok Argent-Katwala, Jeremy T. Bradley, Nil Geisweiller, Stephen Gilmore, Nigel Thomas
- Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement
- Issue 1
- Nova Science Publishers, Inc
- October, 2007
- Tackling Large State Spaces in Performance Modelling
- William J. Knottenbelt, Jeremy T. Bradley
- Formal Methods for Performance Evaluation
- Volume 4486, pp.318–370
- Lecture Notes in Computer Science, Springer
- 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
- Volume 1, pp.3–41
- Nova Science Publishers, Inc
- 2006

- Fluid computation of passage time distributions in large Markov models
- Richard Hayden, Anton Stefanek, Jeremy T. Bradley
- Theoretical Computer Science
- Volume 413, Issue 1, pp.106–141
- Elsevier
- January, 2012
- Performance specification and evaluation with Unified Stochastic Probes and fluid analysis
- Richard Hayden, Jeremy T. Bradley, Allan Clark
- IEEE Transactions on Software Engineering
- IEEE Computer Society
- 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
- Invited Response to Computer Journal Lecture by Prof. Jane Hillston
- Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek
- The Computer Journal
- Oxford Journals
- 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
- Volume 68, Issue 3, pp.211–236
- Elsevier
- March, 2011
- Extracting State-Based Performance Metrics using Asynchronous Iterative Techniques
- Douglas de Jager, Jeremy T. Bradley
- Performance Evaluation
- Volume 67, Issue 12, pp.1353–1372
- Elsevier
- December, 2010
- A fluid analysis framework for a Markovian process algebra
- Richard Hayden, Jeremy T. Bradley
- Theoretical Computer Science
- Volume 411, Issues 22–24, pp.2260–2297
- Elsevier
- May, 2010
- Evaluating fluid semantics for passive stochastic process algebra cooperation
- Richard Hayden, Jeremy T. Bradley
- Performance Evaluation
- Volume 67, Issue 4, pp.260–284
- Elsevier
- April, 2010
- Distributed Response Time Analysis of GSPN Models with MapReduce
- Oliver Haggarty, William J. Knottenbelt, Jeremy T. Bradley
- SIMULATION
- Volume 85, Issue 8, pp.497–509
- Sage Publications, Inc.
- August, 2009
- Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
- Jeremy T. Bradley, Stephen Gilmore, Jane Hillston
- Journal of Computer and System Sciences
- Volume 74, Issue 6, pp.1013–1032
- Elsevier
- 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
- Volume 22, Issue 7, pp.828–837
- Elsevier
- August, 2006
- Iterative Convergence of Passage-time Densities in Semi-Markov Performance Models
- Jeremy T. Bradley, Helen Wilson
- Performance Evaluation
- Volume 60, Issues 1–4, pp.237–254
- Elsevier
- May, 2005
- Semi-Markov PEPA: Modelling with Generally Distributed Actions
- Jeremy T. Bradley
- International Journal of Simulation
- Volume 6, Issues 3–4, pp.43–51
- IJSIM
- February, 2005
- Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
- IEE Proceedings - Software
- Volume 151, Issue 5, pp.232–239
- IEE
- 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 Wilson
- Linear Algebra and Its Applications
- Volume 386, pp.311–334
- Elsevier
- July, 2004
- An approximate solution of PEPA models using component substitution
- Nigel Thomas, Jeremy T. Bradley, David Thornley
- IEE Proceedings - Computers and Digital Techniques
- Volume 150, Issue 2, pp.67–74
- March, 2003
- Countless Simson Line Configurations
- Christopher J. Bradley, Jeremy T. Bradley
- The Mathematical Gazette
- Volume 80, Issue 488, pp.314–321
- July, 1996

- 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)
- Lecture Notes in Computer Science, Springer
- 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
- Lecture Notes in Computer Science, Springer Verlag
- 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
- pp.147–148
- IEEE
- October, 2011
- Higher moment analysis of a spatial stochastic process algebra
- Marcel C. Guenther, Jeremy T. Bradley
- EPEW 2011, 8th European Performance Engineering Workshop
- Volume 6977, pp.87–101
- Lecture Notes in Computer Science, Springer
- 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
- pp.121–131
- ACM
- 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
- Volume 28, pp.159–181
- Electronic Proceedings in Theoretical Computer Science
- 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
- Volume 5766, pp.17–28
- Lecture Notes in Computer Science, Springer Verlag
- 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
- IEEE Computer Society
- 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
- ACM
- 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
- Volume 5261, pp.79–94
- Lecture Notes in Computer Science, Springer Verlag
- September, 2008
- Distributed Response Time Analysis of GSPN Models with MapReduce
- Oliver Haggarty, William J. Knottenbelt, Jeremy T. Bradley
- SPECTS'08, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Edinburgh, 16-18 June 2008
- pp.82–90
- SCS
- 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
- Volume 5119, pp.29–43
- Lecture Notes in Computer Science, Springer
- 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
- Issue 54
- ACM Press
- November, 2007
- Location-Aware Quality of Service Measurements for Service-Level Agreements
- Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore
- TGC'07, Trustworthy Global Computing
- Volume 4912, pp.222–239
- Lecture Notes in Computer Science, Springer
- 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
- Volume 190, Issue 3, pp.3–25
- Electronic Notes in Theoretical Computer Science, Elsevier
- 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
- pp.41–50
- IEEE Computer Society
- 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.
- pp.373–374
- ACM Press
- 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
- pp.303–313
- IEEE Computer Society
- September, 2006
- Functional Performance Specification with Stochastic Probes
- Ashok Argent-Katwala, Jeremy T. Bradley
- EPEW'06, 3rd European Performance Evaluation Workshop
- Volume 4054, pp.31–46
- Lecture Notes in Computer Science, Springer
- 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
- Volume 151, Issue 3, pp.47–59
- Electronic Notes in Theoretical Computer Science, Elsevier
- June, 2006
- Stochastic simulation methods applied to a secure electronic voting model
- Jeremy T. Bradley, Stephen Gilmore
- PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
- Volume 151, Issue 3, pp.5–25
- Electronic Notes in Theoretical Computer Science, Elsevier
- June, 2006
- Performance analysis of Stochastic Process Algebra models using Stochastic Simulation
- Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
- PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems
- p.321
- IEEE Computer Society Press
- 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
- Volume 3670, pp.155–171
- Lecture Notes in Computer Science, Springer-Verlag
- September, 2005
- How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results
- Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
- EPEW'04, European Performance Evaluation Workshop
- Volume 3236, pp.128–142
- Lecture Notes in Computer Science, Springer-Verlag
- 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
- pp.334–335
- IEEE Computer Society Press
- 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
- Volume 29, Issue 1, pp.49–58
- ACM SIGSOFT Software Engineering Notes, ACM
- January, 2004
- Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler
- Jeremy T. Bradley, Nicholas J. Dingle, Stephen Gilmore, William J. Knottenbelt
- MASCOTS'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems
- pp.344–351
- IEEE Computer Society Press
- 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 Wilson
- NSMC 2003, 4th International Workshop on Numerical Solution of Markov Chains
- pp.99–120
- 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
- pp.62–71
- IEEE Computer Society Press
- 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
- pp.755–762
- SCS
- 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
- p.281
- IEEE Computer Society Press
- April, 2003
- A Passage-time Preserving Equivalence for Semi-Markov Processes
- Jeremy T. Bradley
- TOOLS 2002, Computer Performance Evaluation: Modelling Techniques and Tools
- Volume 2324, pp.178–187
- Lecture Notes in Computer Science, Springer-Verlag
- April, 2002
- Two Solution Methods for Models of Parallel Queues
- Nigel Thomas, Jeremy T. Bradley
- ESM'01, Fifteenth European Simulation Multiconference
- pp.741–745
- SCS
- 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
- pp.746–750
- SCS
- June, 2001
- A Matrix-based Method for Analysing Stochastic Process Algebras
- Jeremy T. Bradley, Neil Davies
- PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops
- pp.579–590
- Carleton Scientific
- 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.
- pp.607–619
- Carleton Scientific
- July, 2000
- Decomposing Models of Parallel Queues
- Nigel Thomas, Jeremy T. Bradley
- QNETS'00, Fourth International Workshop on Queueing Networks with Finite Capacity
- pp.381–388
- July, 2000

- Stochastic Process Algebra Models of a Circadian Clock
- Jeremy T. Bradley, Thomas Thorne
- Simulation and Verification of Dynamic Systems, Dagstuhl
- Volume 6161
- Dagstuhl Seminar Proceedings
- September, 2006

- Computer Performance Evaluation: Special Issue of the Computer Journal
- Jeremy T. Bradley
- The Computer Journal
- Volume 54, Issue 5, pp.639–640
- Oxford Journals
- May, 2011
- Performance Engineering
- Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt
- IET Software
- Volume 3, Issue 6, pp.443–521
- IET
- December, 2009
- Modelling Techniques and Tools for Computer Performance Evaluation
- A. J. Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
- Performance Evaluation
- Volume 54, Issue 2, pp.77–206
- Elsevier
- October, 2003

- Practical Applications of Stochastic Modelling 2009
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder
- PASM 2009, Practical Applications of Stochastic Modelling, Imperial College London
- Volume 261, pp.1–4
- Electronic Notes in Theoretical Computer Science, Elsevier
- February, 2010
- Proceedings of MASCOTS 2009, 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems
- Jeremy T. Bradley, James Conrad, Uli Harder, William J. Knottenbelt, George Riley, A. J. Field
- MASCOTS 2009, International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, Imperial College London
- IEEE Computer Society Press
- September, 2009
- Proceedings of EPEW 2009, Computer Performance Engineering. 6th European Workshop Performance Engineering Modelling
- Jeremy T. Bradley
- EPEW 2009. Computer Performance Engineering. Imperial College London, 9-10 July 2009
- Volume 5652
- Lecture Notes in Computer Science, Springer Verlag
- July, 2009
- Proceedings of PASM 2008, 3rd International Workshop on the Practical Application of Stochastic Modelling
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
- Volume 232, pp.1–178
- Electronic Notes in Theoretical Computer Science, Elsevier
- March, 2009
- Proceedings of PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling
- Jeremy T. Bradley, William J. Knottenbelt
- PASM 2004, Practical Applications of Stochastic Modelling
- Volume 128, Issue 4, pp.1–164
- Electronic Notes in Theoretical Computer Science, Elsevier
- April, 2005
- Practical Applications of Stochastic Modelling 2004
- Jeremy T. Bradley, William J. Knottenbelt
- 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
- A. J. Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
- Volume 2324
- Lecture Notes in Computer Science, Springer-Verlag
- April, 2002

- Mean field and fluid approaches to Markov chain analysis
- Jeremy T. Bradley
- QAPL 2012, 10th Workshop on Quantitative Aspects of Programming Languages
- pp.62–64
- March, 2011
- Working Groups' Report: The Challenge of Combining Simulation and Verification
*Gregory Batt, Jeremy T. Bradley, Roland Ewald, 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, Dagstuhl
- Volume 6161
- Dagstuhl Seminar Proceedings
- September, 2006

- 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
- pp.91–101
- 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
- pp.13–23
- August, 2009
- Spatial extension of stochastic pi calculus
- Anton Stefanek, Maria Vigliotti, Jeremy T. Bradley
- 8th Workshop on Process Algebra and Stochastically Timed Activities
- pp.109–117
- 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
- pp.17–28
- 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
- pp.25–37
- July, 2007
- PerformDB: Community-driven performance modelling and analysis
- Ashok Argent-Katwala, Jeremy T. Bradley
- UKPEW 2007, 23rd Annual UK Performance Engineering Workshop
- pp.86–94
- 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
- pp.113–126
- July, 2005
- Stochastic Simulation Methods applied to a Secure Electronic Voting Model
- Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
- PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling
- pp.127–149
- 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 Gilmore, William J. Knottenbelt
- UKPEW 2003, 19th UK Performance Engineering Workshop
- pp.79–90
- 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

- Towards Reliable Modelling with Stochastic Process Algebras
- Jeremy T. Bradley
- Dept. of Computer Science, University of Bristol
- February, 2000

- Mean-field Analysis of Large Scale Markov Fluid Models with Fluid Dependent and Time-Inhomogeneous Rates
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- Annals of Operations Research
- 2013
- Proceedings of Imperial College Energy and Performance Colloquium (ICEP 2012)
- Jeremy T. Bradley, Richard Hayden
- Department of Computing, Imperial College London
- 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
- The Aftermath of the 2010 UK General Election: Weighted First-Past-The-Post
- Jeremy T. Bradley, Helen Wilson
- Imperial College London
- May, 2010
- RCAT: From PEPA to Product form
- Jeremy T. Bradley
- Department of Computing, Imperial College London
- Volume 2007, Issue 2, pp.1–8
- March, 2007

- 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

BibTeX file for these publications

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.