Research

I am an RA in the AESOP research group in the Department of Computing at Imperial College. See my publications there. Various files and additional data referenced by my Ph. D. thesis are available on this page.

My research is concerned with the analysis of very large stochastic performance models with specific application to the performance modelling of computer and communication networks.

My CV is available as a PDF or on the web. For a more detailed version, please email me to request it.

Publications

Journal papers

• Richard A. Hayden, Jeremy T. Bradley, Allan Clark Performance specification and evaluation with Unified Stochastic Probes and fluid analysis, IEEE Transactions on Software Engineering, to appear 2012
• Richard A. Hayden Mean-field approximations for performance models with generally-timed transitions, SIGMETRICS Performance Evaluation Review, to appear 2012
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley Fluid computation of the performance-energy trade-off in large scale Markov models, SIGMETRICS Performance Evaluation Review, to appear 2012
• Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley, Fluid computation of passage-time distributions in large Markov models, Theoretical Computer Science, 2012
• Jeremy T. Bradley, Nigel Thomas, Richard A. Hayden, Anton Stefanek, Invited Response to Computer Journal Lecture by Prof. J. Hillston, The Computer Journal, 2012
• Richard A. Hayden, Jeremy T. Bradley, A fluid analysis framework for a Markovian process algebra, Theoretical Computer Science, 2010
• Richard A. Hayden, Jeremy T. Bradley, Evaluating fluid semantics for passive stochastic process algebra cooperation, Performance Evaluation, 2009

International conference and workshop papers

• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, GPA - A tool for fluid scalability analysis of massively parallel systems, QEST '11, 8th International Conference on Quantitative Evaluation of Systems, Germany, September 2011
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, Fluid analysis of energy consumption using rewards in massively parallel Markov models, ICPE '11, 2nd ACM/SPEC International Conference on Performance Engineering, Germany, March 2011
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, A new tool for the performance analysis of massively parallel computer systems, QAPL '10, 8th Workshop on Quantitative Aspects of Programming Languages, Cyprus, March 2010
• Richard A. Hayden, Jeremy T. Bradley, Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems, MASCOTS '09, 17th Annual Meeting of the IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, United Kingdom, September 2009
• Richard A. Hayden, Jeremy T. Bradley, Fluid semantics for passive stochastic process algebra cooperation, VALUETOOLS '08, 3rd International Conference on Performance Evaluation Methodologies and Tools, Greece, October 2008
• Jeremy T. Bradley, Richard A. Hayden, William Knottenbelt, Tamas Suto Extracting response times from fluid analysis of performance models, SIPEW '08, SPEC International Performance Evaluation Workshop, Germany, June 2008
• Andrew Cheadle, Tony Field, John Ayres, Neil Dunn, Richard A. Hayden, Johan Nyström-Persson, Visualising dynamic memory allocators, ISMM '06, International Symposium on Memory Management, Canada, June 2006.

National conference and workshop papers

• Richard A. Hayden, Convergence of ODE approximations and bounds on performance models in the steady-state, PASTA '10, 9th Workshop on Process Algebra and Stochastically Timed Activities, September 2010
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, Hybrid analysis of large scale PEPA models, PASTA '10, 9th Workshop on Process Algebra and Stochastically Timed Activities, September 2010
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, GPA - Tool for rapid analysis of very large scale PEPA models, UKPEW '10, 26th UK Performance Engineering Workshop, July 2010
• Richard A. Hayden, Jeremy T. Bradley, A functional central limit theorem for PEPA, PASTA '09, 8th Workshop on Process Algebra and Stochastically Timed Activities, August 2009
• Jeremy T. Bradley, Richard A. Hayden, William Knottenbelt, Tamas Suto, Extracting fluid response times from PEPA models, PASTA '08, 7th Workshop on Process Algebra and Stochastically Timed Activities, July 2008
• Richard A. Hayden, Jeremy T. Bradley, ODE-based general moment approximations for PEPA, PASTA '08, 7th Workshop on Process Algebra and Stochastically Timed Activities, July 2008
• Richard A. Hayden, Jeremy T. Bradley, Fluid-flow solutions in PEPA to the state space explosion problem, PASTA '07, 6th Workshop on Process Algebra and Stochastically Timed Activities, July 2007