Computing Publications

Publications Home » Authors » Dr Jeremy Bradley

Authors

Dr Jeremy Bradley

105 publications for this author.

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
IGI Global
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 Gilmore, Anton Stefanek
Resilience Assessment and Evaluation of Computing Systems
pp.65–81
Springer Verlag
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
pp.115–149
Springer
November, 2012
Analysis of non-product form parallel queues using a Markovian process algebra [PDF]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [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
Volume 1, pp.3–41
Nova Science Publishers, Inc
2006

Journal Articles

Fluid computation of passage time distributions in large Markov models [PDF]
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 [PDF]
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 [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
Oxford Journals
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
Volume 68, Issue 3, pp.211–236
Elsevier
March, 2011
Extracting State-Based Performance Metrics using Asynchronous Iterative Techniques [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF]
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 [PDF] [GZipped Postscript]
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 [PDF]
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 [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
Lecture Notes in Computer Science, Springer Verlag
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
pp.147–148
IEEE
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
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 [PDF]
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 [PDF]
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 [PDF]
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 [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
IEEE Computer Society
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
ACM
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
Volume 5261, pp.79–94
Lecture Notes in Computer Science, Springer Verlag
September, 2008
Distributed Response Time Analysis of GSPN Models with MapReduce [PDF] [GZipped Postscript]
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 [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
Volume 5119, pp.29–43
Lecture Notes in Computer Science, Springer
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
Issue 54
ACM Press
November, 2007
Location-Aware Quality of Service Measurements for Service-Level Agreements [PDF]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [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.
pp.373–374
ACM Press
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
pp.303–313
IEEE Computer Society
September, 2006
Functional Performance Specification with Stochastic Probes [PDF] [GZipped Postscript]
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 [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
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [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
pp.62–71
IEEE Computer Society Press
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
pp.755–762
SCS
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
p.281
IEEE Computer Society Press
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
Volume 2324, pp.178–187
Lecture Notes in Computer Science, Springer-Verlag
April, 2002
Two Solution Methods for Models of Parallel Queues [PDF]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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 [PDF]
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 [GZipped Postscript]
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 [PDF]
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 [PDF]
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

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
pp.91–101
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
pp.13–23
August, 2009
Spatial extension of stochastic pi calculus [PDF]
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 [PDF] [GZipped Postscript]
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 [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
pp.25–37
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
pp.86–94
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
pp.113–126
July, 2005
Stochastic Simulation Methods applied to a Secure Electronic Voting Model [PDF] [GZipped Postscript]
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 [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 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 [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
Jeremy T. Bradley
Dept. of Computer Science, University of Bristol
February, 2000

Technical Reports

Mean-field Analysis of Large Scale Markov Fluid Models with Fluid Dependent and Time-Inhomogeneous Rates [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
Annals of Operations Research
2013
Proceedings of Imperial College Energy and Performance Colloquium (ICEP 2012) [PDF]
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 [PDF]
Jeremy T. Bradley, Helen Wilson
Imperial College London
May, 2010
RCAT: From PEPA to Product form [PDF] [Postscript]
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 [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

BibTeX file for these publications

 

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