AESOP home

People

Dr Anton Stefanek

Picture of Dr Anton Stefanek
Past member
DoC Home page

17 Publications with AESOP

Book Chapters
GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models [PDF]
Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek
Theory and Application of Multi-Formalism Modeling
2013
Providing Dependability and Resilience in the Cloud: Challenges and Opportunities [PDF]
Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Stephen T. Gilmore, Anton Stefanek
Resilience Assessment and Evaluation of Computing Systems
November, 2012
Journal Articles
Fluid computation of passage time distributions in large Markov models [PDF]
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 [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
SIGMETRICS Performance Evaluation Review
December, 2011
Invited Response to Computer Journal Lecture by Prof. Jane Hillston [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
Anton Stefanek
Imperial College London
July, 2009

Information from pubs.doc.ic.ac.uk/authors/as1005.