- PhD Student
- Supervisor
- Dr Jeremy Bradley
- DoC Home page
- Current project
- AMPS
- Analysis of Massively Parallel Stochastic Systems
16 Publications
Book Chapter
- GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models
- Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek
- Theory and Application of Multi-Formalism Modeling
- 2013
Journal Articles
- Fluid computation of passage time distributions in large Markov models
![[PDF]](/images/icon-pdf-mini.png)
- Richard Hayden, Anton Stefanek, Jeremy T. Bradley
- Theoretical Computer Science
- January, 2012
- Fluid computation of the performance-energy trade-off in large scale Markov models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- SIGMETRICS Performance Evaluation Review
- December, 2011
- Invited Response to Computer Journal Lecture by Prof. Jane Hillston
- Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek
- The Computer Journal
- November, 2011
Conference and Workshop Papers
- Specification and efficient computation of passage-time distributions in GPA
- Matej Kohut, Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- 9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
- 2012
- Moment closures for performance models with highly non-linear rates
- Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley
- EPEW 2012, 9th European Performance Engineering Workshop
- 2012
- Mean-field analysis of Markov models with reward feedback
- Anton Stefanek, Richard Hayden, Marc Mac Gonagle, Jeremy T. Bradley
- ASMTA 2012, 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications
- 2012
- GPA - A tool for fluid scalability analysis of massively parallel systems
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- QEST'11, 8th International Conference on Quantitative Evaluation of Systems
- October, 2011
- Fluid analysis of energy consumption using rewards in massively parallel Markov models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- ICPE 2011, 2nd ACM/SPEC International Conference on Performance Engineering, March 14-16, 2011, Karlsruhe, Germany
- March, 2011
- A new tool for the performance analysis of massively parallel computer systems
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), March 27-28, 2010, Paphos, Cyprus
- March, 2010
National Workshop Papers
- Energy Consumption in The Office
- Anton Stefanek, Uli Harder, Jeremy T. Bradley
- 28th UK Performance Engineering Workshop (UKPEW 2012)
- July, 2012
- Normal and inhomogeneous moment closures for stochastic process algebras
- Anton Stefanek, Marcel C. Guenther, Jeremy T. Bradley
- 10th Workshop on Process Algebra and Stochastically Timed Activities 2011 (PASTA'11)
- September, 2011
- Hybrid analysis of large scale PEPA models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
- September, 2010
- GPA - Tool for rapid analysis of very large scale PEPA models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- UKPEW'10, 26th UK Performance Engineering Workshop. 7-8th July, University of Warwick
- July, 2010
Technical Report
- Capturing the energy-performance trade-off in virtualised computing models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- Dept of Computing, Imperial College London
- 2011
Undergraduate project
- Continuous and spatial extension of stochastic pi-calculus
- Anton Stefanek
- Imperial College London
- July, 2009
Information from pubs.doc.ic.ac.uk/authors/as1005.
