Computing Publications

Publications Home » Authors » Mr Richard Hayden

Authors

Mr Richard Hayden

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

Journal Articles

Bounds on the deviation of discrete-time Markov chains from their mean-field model [PDF]
Luca Bortolussi, Richard Hayden
Performance Evaluation
2013
Product-forms in batch networks: approximation and asymptotics [PDF]
Peter G. Harrison, Richard Hayden, William J. Knottenbelt
Performance Evaluation
2013
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
Mean-field approximations for performance models with generally-timed transitions [PDF]
Richard Hayden
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
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
April, 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
March, 2010

Conference and Workshop Papers

Bounds on the deviation of discrete-time Markov chains from their mean-field model [PDF]
Luca Bortolussi, Richard Hayden
31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
2013
Product-forms in batch networks: approximation and asymptotics [PDF]
Peter G. Harrison, Richard Hayden, William J. Knottenbelt
31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
2013
Mean field for performance models with deterministically-timed transitions [PDF]
Richard Hayden
9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
2012
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
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
September, 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
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
August, 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
September, 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
May, 2008
Visualising Dynamic Memory Allocators [PDF]
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
May, 2006

Tutorial

Basic Theory and Some Applications of Martingales [PDF]
Richard Hayden
12th Joint ACM SIGMETRICS/IFIP Performance Conference on Measurement and Modeling of Computer Systems
2012

Seminars

Scalable Performance Analysis of Massively Parallel Stochastic Systems
Richard Hayden
Seminar Series on Advances in Telecommunications, Networking and Computing, Budapest University of Technology and Economics (BME)
November, 2012
Scalable Performance Analysis of Massively Parallel Stochastic Systems
Richard Hayden
Laboratory for Foundations of Computer Science, University of Edinburgh
September, 2012
Scalable Performance Analysis of Massively Parallel Stochastic Systems
Richard Hayden
11th INFORMS Telecommunications Conference 2012
March, 2012

National Workshop Papers

Mean-field models for interacting battery-powered devices [PDF]
Richard Hayden
Imperial College Energy and Performance Colloquium (ICEP)
April, 2012
Toward efficient parameter sweeping and optimisation of fluid performance models by Taylor-model based symbolic numerical integration [PDF]
Richard Hayden
10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011)
August, 2011
Convergence of ODE approximations and bounds on performance models in the steady-state [PDF]
Richard Hayden
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
August, 2010
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)
August, 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
June, 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
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 [PDF]
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 [PDF] [GZipped Postscript]
Richard Hayden, Jeremy T. Bradley
PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities
pp.25–37
June, 2007

PhD Thesis

Scalable Performance Analysis of Massively Parallel Stochastic Systems [PDF]
Richard Hayden
Imperial College London
March, 2011

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
May, 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

Undergraduate project

Addressing the state space explosion problem for PEPA models through fluid-flow approximation [PDF]
Richard Hayden
Imperial College London
Distinguished project
June, 2007

BibTeX file for these publications

 

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