Publications Home » Authors » Mr Anton Stefanek
Authors
Mr Anton Stefanek
18 publications for this author.
Book Chapters
- 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
- IGI Global
- To appear 2013
- Providing Dependability and Resilience in the Cloud: Challenges and Opportunities
![[PDF]](/decor/icon-pdf-mini.png)
- Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Stephen Gilmore, Anton Stefanek
- Resilience Assessment and Evaluation of Computing Systems
- Springer Verlag
- June, 2012
Journal Articles
- Fluid computation of passage time distributions in large Markov models
- Richard Hayden, Anton Stefanek, Jeremy T. Bradley
- Theoretical Computer Science
- Volume 413, Issue 1, pp.106–141
- Elsevier
- 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
- Oxford Journals
- 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
- Lecture Notes in Computer Science, Springer Verlag
- 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
- pp.147–148
- IEEE
- 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
- pp.121–131
- ACM
- 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
- Volume 28, pp.159–181
- Electronic Proceedings in Theoretical Computer Science
- 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
- pp.91–101
- University of Warwick
- July, 2010
- Spatial extension of stochastic pi calculus
- Anton Stefanek, Maria Vigliotti, Jeremy T. Bradley
- 8th Workshop on Process Algebra and Stochastically Timed Activities
- pp.109–117
- August, 2009
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
- Distinguished project
- July, 2009
BibTeX file for these publications
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.