Visualising dynamic memory allocators. - Andrew M. Cheadle; A. J. Field; J. W. Ayres; Neil Dunn; Richard A. Hayden; Johan Nyström-Persson (ISMM, 2006)

Extracting Response Times from Fluid Analysis of Performance Models. - Jeremy T. Bradley; Richard A. Hayden; William J. Knottenbelt; Tamas Suto (SIPEW, 2008)

Fluid semantics for passive stochastic process algebra cooperation. - Richard A. Hayden; Jeremy T. Bradley (VALUETOOLS, 2008)

Shared Transaction Markov Chains for fluid analysis of massively parallel systems. - Richard A. Hayden; Jeremy T. Bradley (MASCOTS, 2009)

A new tool for the performance analysis of massively parallel computer systems - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (QAPL, 2010)

Evaluating fluid semantics for passive stochastic process algebra cooperation. - Richard A. Hayden; Jeremy T. Bradley (Perform. Evaluation, 2010)

A fluid analysis framework for a Markovian process algebra. - Richard A. Hayden; Jeremy T. Bradley (Theor. Comput. Sci., 2010)

GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (QEST, 2011)

Fluid analysis of energy consumption using rewards in massively parallel markov models. - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (ICPE, 2011)

Mean-field approximations for performance models with generally-timed transitions. - Richard A. Hayden (SIGMETRICS Perform. Evaluation Rev., 2011)

Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only). - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (SIGMETRICS Perform. Evaluation Rev., 2011)

Fluid computation of the performance: energy tradeoff in large scale Markov models. - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (SIGMETRICS Perform. Evaluation Rev., 2011)

Scalable performance analysis of massively parallel stochastic systems. - Richard Alexander Hayden (2011)

Scalable Stochastic Modelling for Resilience. - Jeremy T. Bradley; Lucia Cloth; Richard A. Hayden; Leïla Kloul; Philipp Reinecke; Markus Siegle; Nigel Thomas; Katinka Wolter (Resilience Assessment and Evaluation of Computing Systems, 2012)

Mean-Field Analysis of Markov Models with Reward Feedback. - Anton Stefanek; Richard A. Hayden; Mark Mac Gonagle; Jeremy T. Bradley (ASMTA, 2012)

Mean Field for Performance Models with Deterministically-Timed Transitions. - Richard A. Hayden (QEST, 2012)

Specification and Efficient Computation of Passage-Time Distributions in GPA. - Matej Kohut; Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (QEST, 2012)

Basic theory and some applications of martingales. - Richard A. Hayden (SIGMETRICS, 2012)

Invited Response to Computer Journal Lecture by Prof. Jane Hillston. - Jeremy T. Bradley; Nigel Thomas; Richard A. Hayden; Anton Stefanek (Comput. J., 2012)

Fluid computation of passage-time distributions in large Markov models. - Richard A. Hayden; Anton Stefanek; Jeremy T. Bradley (Theor. Comput. Sci., 2012)

Bounds on the deviation of discrete-time Markov chains from their mean-field model. - Luca Bortolussi; Richard A. Hayden (Perform. Evaluation, 2013)

Product-forms in batch networks: Approximation and asymptotics. - Peter G. Harrison; Richard A. Hayden; William J. Knottenbelt (Perform. Evaluation, 2013)

Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis. - Richard A. Hayden; Jeremy T. Bradley; Allan Clark (IEEE Trans. Software Eng., 2013)

Mean Field for Performance Models with Generally-Distributed Timed Transitions. - Richard A. Hayden; Illés Horváth; Miklós Telek (QEST, 2014)

Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates. - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (Ann. Oper. Res., 2016)