Richard A. Hayden

24 papers A* 1B 2C 1Journal 11Unranked 8
YearRankTypeTitle / Venue / Authors
2016 J jnl
Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates.
Ann. Oper. Res.
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2014 — conf
Mean Field for Performance Models with Generally-Distributed Timed Transitions.
QEST
Richard A. Hayden, Illés Horváth, Miklós Telek
2013 J jnl
Bounds on the deviation of discrete-time Markov chains from their mean-field model.
Perform. Evaluation
Luca Bortolussi, Richard A. Hayden
2013 J jnl
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis.
IEEE Trans. Software Eng.
Richard A. Hayden, Jeremy T. Bradley, Allan Clark
2013 J jnl
Product-forms in batch networks: Approximation and asymptotics.
Perform. Evaluation
Peter G. Harrison, Richard A. Hayden, William J. Knottenbelt
2012 A* conf
Basic theory and some applications of martingales.
SIGMETRICS
Richard A. Hayden
2012 J jnl
Fluid computation of passage-time distributions in large Markov models.
Theor. Comput. Sci.
Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley
2012 J jnl
Invited Response to Computer Journal Lecture by Prof. Jane Hillston.
Comput. J.
Jeremy T. Bradley, Nigel Thomas, Richard A. Hayden, Anton Stefanek
2012 — conf
Mean Field for Performance Models with Deterministically-Timed Transitions.
QEST
Richard A. Hayden
2012 — conf
Mean-Field Analysis of Markov Models with Reward Feedback.
ASMTA
Anton Stefanek, Richard A. Hayden, Mark Mac Gonagle, Jeremy T. Bradley
2012 — ch.
Scalable Stochastic Modelling for Resilience.
Resilience Assessment and Evaluation of Computing Systems
Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
2012 — conf
Specification and Efficient Computation of Passage-Time Distributions in GPA.
QEST
Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011 J jnl
Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only).
SIGMETRICS Perform. Evaluation Rev.
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011 B conf
Fluid analysis of energy consumption using rewards in massively parallel markov models.
ICPE
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011 J jnl
Fluid computation of the performance: energy tradeoff in large scale Markov models.
SIGMETRICS Perform. Evaluation Rev.
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011 — conf
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems.
QEST
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011 J jnl
Mean-field approximations for performance models with generally-timed transitions.
SIGMETRICS Perform. Evaluation Rev.
Richard A. Hayden
2010 J jnl
A fluid analysis framework for a Markovian process algebra.
Theor. Comput. Sci.
Richard A. Hayden, Jeremy T. Bradley
2010 — conf
A new tool for the performance analysis of massively parallel computer systems
QAPL
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2010 J jnl
Evaluating fluid semantics for passive stochastic process algebra cooperation.
Perform. Evaluation
Richard A. Hayden, Jeremy T. Bradley
2009 B conf
Shared Transaction Markov Chains for fluid analysis of massively parallel systems.
MASCOTS
Richard A. Hayden, Jeremy T. Bradley
2008 — conf
Extracting Response Times from Fluid Analysis of Performance Models.
SIPEW
Jeremy T. Bradley, Richard A. Hayden, William J. Knottenbelt, Tamas Suto
2008 — conf
Fluid semantics for passive stochastic process algebra cooperation.
VALUETOOLS
Richard A. Hayden, Jeremy T. Bradley
2006 C conf
Visualising dynamic memory allocators.
ISMM
Andrew M. Cheadle, A. J. Field, J. W. Ayres, Neil Dunn, Richard A. Hayden, Johan Nyström-Persson