- Research Assistant
- Home page
- email
- rh@doc.ic.ac.uk
- Office
- Room 348 Huxley
- Mobile phone
- +44 7789488893
Traditional performance analysis has always suffered from the state-space explosion problem. Recent research has indicated that state-spaces can be approximated by continuous variables allowing the exploration of the performance properties of huge systems of industrial scale. I work on developing mathematical models based on ordinary and stochastic differential equations and showing formally how these relate to the original discrete state model.
13 Publications
Journal Article
- Evaluating fluid semantics for passive stochastic process algebra cooperation
![[PDF]](/images/icon-pdf-mini.png)
![[GZipped Postscript]](/images/icon-gzps-mini.png)
- Richard Hayden, Jeremy T. Bradley
- Performance Evaluation
- Expected 2010
Conference and Workshop Papers
- 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
- August, 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
- September, 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
- May, 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
- May, 2006
National Workshop Papers
- A functional central limit theorem for PEPA
- Richard Hayden, Jeremy T. Bradley
- 8th Workshop on Process Algebra and Stochastically Timed Activities
- 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
- June, 2008
- ODE-based general moment approximations for PEPA
- Richard Hayden, Jeremy T. Bradley
- PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
- June, 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
- June, 2007
Technical Reports
- Fluid passage-time calculation in large Markov models
- Richard Hayden, Jeremy T. Bradley
- May, 2009
- Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems (extended version)
- Richard Hayden, Jeremy T. Bradley
- Imperial College London
- May, 2009
- A fluid analysis framework for a Markovian process algebra
- Richard Hayden, Jeremy T. Bradley
- August, 2008
Undergraduate project
- Addressing the state space explosion problem for PEPA models through fluid-flow approximation
- Richard Hayden
- Imperial College London
- June, 2007
Information from pubs.doc.ic.ac.uk/authors/rh.
