Publications Home » Authors » Mr Richard Hayden
Authors
Mr Richard Hayden
On this page:
28 publications for this author.
Book Chapter
- Scalable Stochastic Modelling for Resilience
![[PDF]](/decor/icon-pdf-mini.png)
- 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
- May, 2012
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
- Invited Response to Computer Journal Lecture by Prof. Jane Hillston
- Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek
- The Computer Journal
- Oxford Journals
- 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
- Mean-field approximations for performance models with generally-timed transitions
- Richard Hayden
- 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
- 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
Conference and Workshop Papers
- Specification and efficient computation of passage-time distributions in GPA
- Matej Kohut, Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- QEST 2012
- To appear September, 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
- To appear 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
- 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
- Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems
![[GZipped Postscript]](/decor/icon-gzps-mini.png)
- 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
- 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
- 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
- Visualising Dynamic Memory Allocators
- Andrew Cheadle, A. J. Field, J.W. Ayres, N. Dunn, Richard Hayden, J. Nystrom-Persson
- ISMM'06, ACM International Symposium on Memory Management
- pp.115–125
- ACM Press
- June, 2006
National Workshop Papers
- Toward efficient parameter sweeping and optimisation of fluid performance models by Taylor-model based symbolic numerical integration
- Richard Hayden
- 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011)
- September, 2011
- Convergence of ODE approximations and bounds on performance models in the steady-state
- Richard Hayden
- 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
- September, 2010
- 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
- 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
PhD Thesis
- Scalable Performance Analysis of Massively Parallel Stochastic Systems
- Richard Hayden
- Imperial College London
- April, 2011
Technical Report
- Capturing the energy-performance trade-off in virtualised computing models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- Dept of Computing, Imperial College London
- 2011
Undergraduate project
- Addressing the state space explosion problem for PEPA models through fluid-flow approximation
- Richard Hayden
- Imperial College London
- Distinguished project
- July, 2007
BibTeX file for these publications
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.