BibTeX records: Richard A. Hayden

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics