Richard A. Hayden

Ann. Oper. Res., 2016

2014

Mean Field for Performance Models with Generally-Distributed Timed Transitions.

[BibT_eX]

[DOI]

Illés Horváth

Miklós Telek

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2013

Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis.

[BibT_eX]

[DOI]

Allan Clark

IEEE Trans. Software Eng., 2013

Product-forms in batch networks: Approximation and asymptotics.

[BibT_eX]

[DOI]

Peter G. Harrison

William J. Knottenbelt

Perform. Evaluation, 2013

Bounds on the deviation of discrete-time Markov chains from their mean-field model.

[BibT_eX]

[DOI]

Luca Bortolussi

Perform. Evaluation, 2013

2012

Fluid computation of passage-time distributions in large Markov models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Invited Response to Computer Journal Lecture by Prof. Jane Hillston.

[BibT_eX]

[DOI]

Comput. J., 2012

Basic theory and some applications of martingales.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, 2012

Specification and Efficient Computation of Passage-Time Distributions in GPA.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Mean Field for Performance Models with Deterministically-Timed Transitions.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Mean-Field Analysis of Markov Models with Reward Feedback.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2012

Scalable Stochastic Modelling for Resilience.

[BibT_eX]

[DOI]

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

Scalable performance analysis of massively parallel stochastic systems.

[BibT_eX]

[DOI]

Richard Alexander Hayden

PhD thesis, 2011

Fluid computation of the performance: energy tradeoff in large scale Markov models.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2011

Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only).

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2011

Mean-field approximations for performance models with generally-timed transitions.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2011

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

[BibT_eX]

[DOI]

Proceedings of the ICPE'11, 2011

GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2010

A fluid analysis framework for a Markovian process algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Evaluating fluid semantics for passive stochastic process algebra cooperation.

[BibT_eX]

[DOI]

Perform. Evaluation, 2010

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

2009

Shared Transaction Markov Chains for fluid analysis of massively parallel systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

2008

Fluid semantics for passive stochastic process algebra cooperation.

[BibT_eX]

[DOI]

Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008

Extracting Response Times from Fluid Analysis of Performance Models.

[BibT_eX]

[DOI]