Anton Stefanek

Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates

J. Bradley, R. Hayden, Anton Stefanek, 2014, Annals of Operations Research.

Fluid computation of passage-time distributions in large Markov models

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2012, Theor. Comput. Sci..

Fluid analysis of energy consumption using rewards in massively parallel markov models

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2011, ICPE '11.

A new tool for the performance analysis of massively parallel computer systems

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2010, QAPL.

MEng Final year project Uncertainty Quantification of Epidemic Phenomena and the Parallel Simulator Tool

A. Stefanek, Anton Stefanek, 2015 .

Providing Dependability and Resilience in the Cloud: Challenges and Opportunities

Stephen Gilmore, Samuel Kounev, Philipp Reinecke, 2012, Resilience Assessment and Evaluation of Computing Systems.

Spatial extension of stochastic π calculus

Jeremy T. Bradley, Anton Stefanek, M. Vigliotti, 2009 .

Invited Response to Computer Journal Lecture by Prof. Jane Hillston

Jeremy T. Bradley, Nigel Thomas, Anton Stefanek, 2012, Comput. J..

Moment Closures for Performance Models with Highly Non-linear Rates

Jeremy T. Bradley, Marcel C. Guenther, Anton Stefanek, 2012, EPEW/UKPEW.

GPA: A Multiformalism, Multisolution Approach to Efficient Analysis of Large-Scale Population Models

Jeremy T. Bradley, Marcel C. Guenther, Anton Stefanek, 2014 .