Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Richard A. Hayden
@article{DBLP:journals/anor/StefanekHB16, author = {Anton Stefanek and Richard A. Hayden and Jeremy T. Bradley}, title = {Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates}, journal = {Ann. Oper. Res.}, volume = {239}, number = {2}, pages = {667--693}, year = {2016}, url = {https://doi.org/10.1007/s10479-014-1664-9}, doi = {10.1007/S10479-014-1664-9}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/anor/StefanekHB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/HaydenHT14, author = {Richard A. Hayden and Ill{\'{e}}s Horv{\'{a}}th and Mikl{\'{o}}s Telek}, editor = {Gethin Norman and William H. Sanders}, title = {Mean Field for Performance Models with Generally-Distributed Timed Transitions}, booktitle = {Quantitative Evaluation of Systems - 11th International Conference, {QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8657}, pages = {90--105}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10696-0\_8}, doi = {10.1007/978-3-319-10696-0\_8}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/qest/HaydenHT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pe/BortolussiH13, author = {Luca Bortolussi and Richard A. Hayden}, title = {Bounds on the deviation of discrete-time Markov chains from their mean-field model}, journal = {Perform. Evaluation}, volume = {70}, number = {10}, pages = {736--749}, year = {2013}, url = {https://doi.org/10.1016/j.peva.2013.08.012}, doi = {10.1016/J.PEVA.2013.08.012}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pe/BortolussiH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pe/HarrisonHK13, author = {Peter G. Harrison and Richard A. Hayden and William J. Knottenbelt}, title = {Product-forms in batch networks: Approximation and asymptotics}, journal = {Perform. Evaluation}, volume = {70}, number = {10}, pages = {822--840}, year = {2013}, url = {https://doi.org/10.1016/j.peva.2013.08.011}, doi = {10.1016/J.PEVA.2013.08.011}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pe/HarrisonHK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/HaydenBC13, author = {Richard A. Hayden and Jeremy T. Bradley and Allan Clark}, title = {Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis}, journal = {{IEEE} Trans. Software Eng.}, volume = {39}, number = {1}, pages = {97--118}, year = {2013}, url = {https://doi.org/10.1109/TSE.2012.1}, doi = {10.1109/TSE.2012.1}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/HaydenBC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/BradleyTHS12, author = {Jeremy T. Bradley and Nigel Thomas and Richard A. Hayden and Anton Stefanek}, title = {Invited Response to Computer Journal Lecture by Prof. Jane Hillston}, journal = {Comput. J.}, volume = {55}, number = {7}, pages = {882--886}, year = {2012}, url = {https://doi.org/10.1093/comjnl/bxr117}, doi = {10.1093/COMJNL/BXR117}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/BradleyTHS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HaydenSB12, author = {Richard A. Hayden and Anton Stefanek and Jeremy T. Bradley}, title = {Fluid computation of passage-time distributions in large Markov models}, journal = {Theor. Comput. Sci.}, volume = {413}, number = {1}, pages = {106--141}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2011.07.017}, doi = {10.1016/J.TCS.2011.07.017}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HaydenSB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asmta/StefanekHGB12, author = {Anton Stefanek and Richard A. Hayden and Mark Mac Gonagle and Jeremy T. Bradley}, editor = {Khalid Al{-}Begain and Dieter Fiems and Jean{-}Marc Vincent}, title = {Mean-Field Analysis of Markov Models with Reward Feedback}, booktitle = {Analytical and Stochastic Modeling Techniques and Applications - 19th International Conference, {ASMTA} 2012, Grenoble, France, June 4-6, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7314}, pages = {193--211}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30782-9\_14}, doi = {10.1007/978-3-642-30782-9\_14}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/asmta/StefanekHGB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/Hayden12, author = {Richard A. Hayden}, title = {Mean Field for Performance Models with Deterministically-Timed Transitions}, booktitle = {Ninth International Conference on Quantitative Evaluation of Systems, {QEST} 2012, London, United Kingdom, September 17-20, 2012}, pages = {63--73}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/QEST.2012.27}, doi = {10.1109/QEST.2012.27}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qest/Hayden12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/KohutSHB12, author = {Matej Kohut and Anton Stefanek and Richard A. Hayden and Jeremy T. Bradley}, title = {Specification and Efficient Computation of Passage-Time Distributions in {GPA}}, booktitle = {Ninth International Conference on Quantitative Evaluation of Systems, {QEST} 2012, London, United Kingdom, September 17-20, 2012}, pages = {199--200}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/QEST.2012.24}, doi = {10.1109/QEST.2012.24}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qest/KohutSHB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmetrics/Hayden12, author = {Richard A. Hayden}, editor = {Peter G. Harrison and Martin F. Arlitt and Giuliano Casale}, title = {Basic theory and some applications of martingales}, booktitle = {{ACM} {SIGMETRICS/PERFORMANCE} Joint International Conference on Measurement and Modeling of Computer Systems, {SIGMETRICS} '12, London, United Kingdom, June 11-15, 2012}, pages = {429--430}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2254756.2254828}, doi = {10.1145/2254756.2254828}, timestamp = {Fri, 30 Jul 2021 16:13:32 +0200}, biburl = {https://dblp.org/rec/conf/sigmetrics/Hayden12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/wolter2012/BradleyCHKRSTW12, author = {Jeremy T. Bradley and Lucia Cloth and Richard A. Hayden and Le{\"{\i}}la Kloul and Philipp Reinecke and Markus Siegle and Nigel Thomas and Katinka Wolter}, editor = {Katinka Wolter and Alberto Avritzer and Marco Vieira and Aad P. A. van Moorsel}, title = {Scalable Stochastic Modelling for Resilience}, booktitle = {Resilience Assessment and Evaluation of Computing Systems}, pages = {115--149}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29032-9\_6}, doi = {10.1007/978-3-642-29032-9\_6}, timestamp = {Tue, 16 May 2017 14:01:42 +0200}, biburl = {https://dblp.org/rec/books/sp/wolter2012/BradleyCHKRSTW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Hayden11, author = {Richard Alexander Hayden}, title = {Scalable performance analysis of massively parallel stochastic systems}, school = {Imperial College London, {UK}}, year = {2011}, url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.543326}, timestamp = {Tue, 05 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Hayden11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmetrics/StefanekHB11, author = {Anton Stefanek and Richard A. Hayden and Jeremy T. Bradley}, title = {Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only)}, journal = {{SIGMETRICS} Perform. Evaluation Rev.}, volume = {39}, number = {3}, pages = {13}, year = {2011}, url = {https://doi.org/10.1145/2160803.2160817}, doi = {10.1145/2160803.2160817}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigmetrics/StefanekHB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmetrics/StefanekHB11a, author = {Anton Stefanek and Richard A. Hayden and Jeremy T. Bradley}, title = {Fluid computation of the performance: energy tradeoff in large scale Markov models}, journal = {{SIGMETRICS} Perform. Evaluation Rev.}, volume = {39}, number = {3}, pages = {104--106}, year = {2011}, url = {https://doi.org/10.1145/2160803.2160872}, doi = {10.1145/2160803.2160872}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigmetrics/StefanekHB11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmetrics/Hayden11, author = {Richard A. Hayden}, title = {Mean-field approximations for performance models with generally-timed transitions}, journal = {{SIGMETRICS} Perform. Evaluation Rev.}, volume = {39}, number = {3}, pages = {119--121}, year = {2011}, url = {https://doi.org/10.1145/2160803.2160877}, doi = {10.1145/2160803.2160877}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigmetrics/Hayden11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/StefanekHB11, author = {Anton Stefanek and Richard A. Hayden and Jeremy T. Bradley}, title = {{GPA} - {A} Tool for Fluid Scalability Analysis of Massively Parallel Systems}, booktitle = {Eighth International Conference on Quantitative Evaluation of Systems, {QEST} 2011, Aachen, Germany, 5-8 September, 2011}, pages = {147--148}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/QEST.2011.26}, doi = {10.1109/QEST.2011.26}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qest/StefanekHB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wosp/StefanekHB11, author = {Anton Stefanek and Richard A. Hayden and Jeremy T. Bradley}, editor = {Samuel Kounev and Vittorio Cortellessa and Raffaela Mirandola and David J. Lilja}, title = {Fluid analysis of energy consumption using rewards in massively parallel markov models}, booktitle = {ICPE'11 - Second Joint {WOSP/SIPEW} International Conference on Performance Engineering, Karlsruhe, Germany, March 14-16, 2011}, pages = {121--132}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1958746.1958767}, doi = {10.1145/1958746.1958767}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wosp/StefanekHB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pe/HaydenB10, author = {Richard A. Hayden and Jeremy T. Bradley}, title = {Evaluating fluid semantics for passive stochastic process algebra cooperation}, journal = {Perform. Evaluation}, volume = {67}, number = {4}, pages = {260--284}, year = {2010}, url = {https://doi.org/10.1016/j.peva.2009.08.010}, doi = {10.1016/J.PEVA.2009.08.010}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pe/HaydenB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HaydenB10, author = {Richard A. Hayden and Jeremy T. Bradley}, title = {A fluid analysis framework for a Markovian process algebra}, journal = {Theor. Comput. Sci.}, volume = {411}, number = {22-24}, pages = {2260--2297}, year = {2010}, url = {https://doi.org/10.1016/j.tcs.2010.02.001}, doi = {10.1016/J.TCS.2010.02.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HaydenB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1006-5104, author = {Anton Stefanek and Richard A. Hayden and Jeremy T. Bradley}, editor = {Alessandra Di Pierro and Gethin Norman}, title = {A new tool for the performance analysis of massively parallel computer systems}, booktitle = {Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010}, series = {{EPTCS}}, volume = {28}, pages = {159--181}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.28.11}, doi = {10.4204/EPTCS.28.11}, timestamp = {Wed, 12 Sep 2018 01:05:15 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1006-5104.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mascots/HaydenB09, author = {Richard A. Hayden and Jeremy T. Bradley}, title = {Shared Transaction Markov Chains for fluid analysis of massively parallel systems}, booktitle = {17th Annual Meeting of the {IEEE/ACM} International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, {MASCOTS} 2009, September 21-23, 2009, South Kensington Campus, Imperial College, London, {UK}}, pages = {1--12}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/MASCOT.2009.5367050}, doi = {10.1109/MASCOT.2009.5367050}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mascots/HaydenB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sipew/BradleyHKS08, author = {Jeremy T. Bradley and Richard A. Hayden and William J. Knottenbelt and Tamas Suto}, editor = {Samuel Kounev and Ian Gorton and Kai Sachs}, title = {Extracting Response Times from Fluid Analysis of Performance Models}, booktitle = {Performance Evaluation: Metrics, Models and Benchmarks, {SPEC} International Performance Evaluation Workshop, {SIPEW} 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5119}, pages = {29--43}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-69814-2\_4}, doi = {10.1007/978-3-540-69814-2\_4}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/sipew/BradleyHKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/valuetools/HaydenB08, author = {Richard A. Hayden and Jeremy T. Bradley}, editor = {John S. Baras and Costas Courcoubetis}, title = {Fluid semantics for passive stochastic process algebra cooperation}, booktitle = {3rd International {ICST} Conference on Performance Evaluation Methodologies and Tools, {VALUETOOLS} 2008, Athens, Greece, October 20-24, 2008}, pages = {55}, publisher = {{ICST/ACM}}, year = {2008}, url = {https://doi.org/10.4108/ICST.VALUETOOLS2008.4329}, doi = {10.4108/ICST.VALUETOOLS2008.4329}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/valuetools/HaydenB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwmm/CheadleFADHN06, author = {Andrew M. Cheadle and A. J. Field and J. W. Ayres and Neil Dunn and Richard A. Hayden and Johan Nystr{\"{o}}m{-}Persson}, editor = {Erez Petrank and J. Eliot B. Moss}, title = {Visualising dynamic memory allocators}, booktitle = {Proceedings of the 5th International Symposium on Memory Management, {ISMM} 2006, Ottawa, Ontario, Canada, June 10-11, 2006}, pages = {115--125}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1133956.1133972}, doi = {10.1145/1133956.1133972}, timestamp = {Mon, 12 Jul 2021 15:34:15 +0200}, biburl = {https://dblp.org/rec/conf/iwmm/CheadleFADHN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.