A new tool for the performance analysis of massively parallel computer systems - Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (QAPL, 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)

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)

Providing Dependability and Resilience in the Cloud: Challenges and Opportunities. - Samuel Kounev; Philipp Reinecke; Fabian Brosig; Jeremy T. Bradley; Kaustubh Joshi 001; Vlastimil Babka; Anton Stefanek; Stephen Gilmore (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)

Moment Closures for Performance Models with Highly Non-linear Rates. - Marcel C. Guenther; Anton Stefanek; Jeremy T. Bradley (EPEW/UKPEW, 2012)

Energy Consumption in the Office. - Anton Stefanek; Uli Harder; Jeremy T. Bradley (EPEW/UKPEW, 2012)

Specification and Efficient Computation of Passage-Time Distributions in GPA. - Matej Kohut; Anton Stefanek; Richard A. Hayden; Jeremy T. Bradley (QEST, 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)

A high-level framework for efficient computation of performance : energy trade-offs in Markov population models. - Anton Stefanek (2013)

Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System. - Jeremy T. Bradley; Matthew Forshaw; Anton Stefanek; Nigel Thomas (UKPEW, 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)