Computing Publications

Publications Home » Authors » Dr Jeremy Bradley

Authors

Dr Jeremy Bradley

On this page:

Book Chapters
Journal Articles
Conference and Workshop Papers
Seminar
Journal Special Issues Edited
Proceedings Edited
Position Papers
National Workshop Papers
PhD Thesis
Technical Reports
Posters
BibTeX

104 publications for this author.

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; IGI Global; To appear 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; Springer Verlag; June, 2012
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; Springer; June, 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

Journal Articles

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
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, Allan Clark; IEEE Transactions on Software Engineering; IEEE Computer Society; 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

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); Lecture Notes in Computer Science, Springer; To appear 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

Seminar

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

Journal Special Issues Edited

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

Proceedings Edited

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

Position Papers

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, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde Uhrmacher; Simulation and Verification of Dynamic Systems, Dagstuhl; Volume 6161; Dagstuhl Seminar Proceedings; September, 2006

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; 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

PhD Thesis

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

Technical Reports

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

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

BibTeX file for these publications

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