| Fluid computation of passage-time distributions in large Markov models RA Hayden, A Stefanek, JT Bradley Theoretical Computer Science, 2011 | 61 | 2011 |
| A new tool for the performance analysis of massively parallel computer systems A Stefanek, R Hayden, J Bradley Arxiv preprint arXiv:1006.5104, 2010 | 34 | 2010 |
| Providing dependability and resilience in the cloud: Challenges and opportunities S Kounev, P Reinecke, F Brosig, JT Bradley, K Joshi, V Babka, A Stefanek, ... Resilience assessment and evaluation of computing systems, 65-81, 2012 | 28 | 2012 |
| Fluid analysis of energy consumption using rewards in massively parallel Markov models A Stefanek, RA Hayden, JT Bradley Proceeding of the second joint WOSP/SIPEW international conference on …, 2011 | 26 | 2011 |
| Moment closures for performance models with highly non-linear rates MC Guenther, A Stefanek, JT Bradley | 23* | |
| GPA-A tool for fluid scalability analysis of massively parallel systems A Stefanek, RA Hayden, JT Bradley Quantitative Evaluation of Systems (QEST), 2011 Eighth International …, 2011 | 21 | 2011 |
| Spatial extension of stochastic pi calculus A Stefanek, M Vigliotti, JT Bradley 8th Workshop on Process Algebra and Stochastically Timed Activities, 109-117, 2009 | 14 | 2009 |
| Mean-field analysis of Markov models with reward feedback A Stefanek, R Hayden, M Mac Gonagle, J Bradley Analytical and Stochastic Modeling Techniques and Applications, 193-211, 2012 | 10 | 2012 |
| Fluid computation of the performance-energy trade-off in large scale Markov models A Stefanek, RA Hayden, JT Bradley SIGMETRICS Performance Evaluation Review-Measurement and Evaluation 39 (3), 104, 2011 | 8 | 2011 |
| Hybrid analysis of large scale PEPA models A Stefanek, R Hayden, JT Bradley 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA …, 2010 | 8 | 2010 |
| Normal and inhomogeneous moment closures for stochastic process algebras A Stefanek, MC Guenther, JT Bradley | 8* | |
| Continuous and spatial extension of stochastic π-calculus A Stefanek Master’s thesis, Imperial College of Science, Technology and Medicine, 2009 | 7 | 2009 |
| Mean-field analysis of large scale Markov fluid models with fluid dependent and time-inhomogeneous rates A Stefanek, RA Hayden, JT Bradley Annals of Operations Research to appear, 2013 | 6 | 2013 |
| Fluid passage-time calculation in large Markov models RA Hayden, JT Bradley Theoretical Computer Science, to appear, 2011 | 6 | 2011 |
| GPA-Tool for rapid analysis of very large scale PEPA models A Stefanek, R Hayden, JT Bradley 26th UK Performance Engineering Workshop (UKPEW 2010), 2010 | 6 | 2010 |
| Time-inhomogeneous population models of a cycle-stealing distributed system JT Bradley, M Forshaw, A Stefanek, N Thomas Electronic Notes in Theoretical Computer Science 318, 5-17, 2015 | 5 | 2015 |
| A high-level framework for efficient computation of performance: energy trade-offs in Markov population models A Stefanek Imperial College London, UK, 2013 | 4 | 2013 |
| Energy consumption in the office A Stefanek, U Harder, JT Bradley Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich …, 2013 | 4 | 2013 |
| Specification and efficient computation of passage-time distributions in GPA M Kohut, A Stefanek, RA Hayden, JT Bradley 2012 Ninth International Conference on Quantitative Evaluation of Systems …, 2012 | 3 | 2012 |
| Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates A Stefanek, RA Hayden, JT Bradley Annals of Operations Research 239, 667-693, 2016 | 2 | 2016 |
Jeremy BradleyComputer Science, Imperial College LondonVerified email at doc.ic.ac.uk
