Jeremy T. Bradley

Ann. Oper. Res., 2016

2014

Preface.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System.

[BibT_eX]

[DOI]

Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

Meeting inelastic demand in systems with storage and renewable sources.

[BibT_eX]

[DOI]

Natarajan Gautam

Yunjian Xu

Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014

On Performance of Gossip Communication in a Crowd-Sensing Scenario.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2013

Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis.

[BibT_eX]

[DOI]

Allan Clark

IEEE Trans. Software Eng., 2013

Mean-field analysis of data flows in wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Journey Data Based Arrival Forecasting for Bicycle Hire Schemes.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012

Fluid computation of passage-time distributions in large Markov models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Preface.

[BibT_eX]

[DOI]

Keijo Heljanko

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Invited Response to Computer Journal Lecture by Prof. Jane Hillston.

[BibT_eX]

[DOI]

Comput. J., 2012

Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA.

[BibT_eX]

[DOI]

BMC Bioinform., 2012

Mean-field performance analysis of a hazard detection Wireless Sensor network.

[BibT_eX]

[DOI]

Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Specification and Efficient Computation of Passage-Time Distributions in GPA.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Energy Consumption in the Office.

[BibT_eX]

[DOI]

Uli Harder

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Moment Closures for Performance Models with Highly Non-linear Rates.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

PCTMC Models of Wireless Sensor Network Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Mean-Field Analysis of Markov Models with Reward Feedback.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2012

Providing Dependability and Resilience in the Cloud: Challenges and Opportunities.

[BibT_eX]

[DOI]

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

Scalable Stochastic Modelling for Resilience.

[BibT_eX]

[DOI]

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Network Performance Engineering, 2011

Fluid computation of the performance: energy tradeoff in large scale Markov models.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2011

Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only).

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2011

Passage-time computation and aggregation strategies for large semi-Markov processes.

[BibT_eX]

[DOI]

Perform. Evaluation, 2011

Preface.

[BibT_eX]

[DOI]

Samuel Kounev

Nikolaus Huber

Fabian Brosig

Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 2011

Computer Performance Evaluation: Preface.

[BibT_eX]

[DOI]

Comput. J., 2011

Fluid analysis of energy consumption using rewards in massively parallel markov models.

[BibT_eX]

[DOI]

Proceedings of the ICPE'11, 2011

GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool.

[BibT_eX]

[DOI]

Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

Higher Moment Analysis of a Spatial Stochastic Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering, 2011

2010

A fluid analysis framework for a Markovian process algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Extracting state-based performance metrics using asynchronous iterative techniques.

[BibT_eX]

[DOI]

Perform. Evaluation, 2010

Evaluating fluid semantics for passive stochastic process algebra cooperation.

[BibT_eX]

[DOI]

Perform. Evaluation, 2010

A new tool for the performance analysis of massively parallel computer systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

2009

Distributed Response Time Analysis of GSPN Models with MapReduce.

[BibT_eX]

[DOI]

Oliver J. Haggarty

Simul., 2009

Performance engineering - editorial.

[BibT_eX]

[DOI]

IET Softw., 2009

Preface.

[BibT_eX]

[DOI]

Uli Harder

Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009

Shared Transaction Markov Chains for fluid analysis of massively parallel systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

PageRank: Splitting Homogeneous Singular Linear Systems of Index One.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information Retrieval Theory, 2009

2008

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models.

[BibT_eX]

[DOI]

Jane Hillston

J. Comput. Syst. Sci., 2008

Fluid semantics for passive stochastic process algebra cooperation.

[BibT_eX]

[DOI]

Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008

Extracting Response Times from Fluid Analysis of Performance Models.

[BibT_eX]

[DOI]

Tamas Suto

Proceedings of the Performance Evaluation: Metrics, 2008

A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering, 2008

2007

PEPA Queues: Capturing Customer Behaviour in Queueing Networks.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Continuous PEPA queues: individual behaviour in continuous queueing networks.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Location-Aware Quality of Service Measurements for Service-Level Agreements.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Asynchronous iterative solution for state-based performance metrics.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2007

Tackling Large State Spaces in Performance Modelling.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Performance Evaluation, 2007

Performance Trees: Expressiveness and Quantitative Semantics.

[BibT_eX]

[DOI]

Tamas Suto

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006

Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models.

[BibT_eX]

[DOI]

Peter G. Harrison

Future Gener. Comput. Syst., 2006

Performance Trees: A New Approach to Quantitative Performance Specification.

[BibT_eX]

[DOI]

Tamas Suto

Proceedings of the 14th International Symposium on Modeling, 2006

Performance analysis of stochastic process algebra models using stochastic simulation.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Functional Performance Specification with Stochastic Probes.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Stochastic Process Algebra Models of a Circadian Clock.

[BibT_eX]

[DOI]

Thomas Thorne

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.

[BibT_eX]

[DOI]

Adelinde M. Uhrmacher

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

2005

Iterative convergence of passage-time densities in semi-Markov performance models.

[BibT_eX]

[DOI]

Helen J. Wilson

Perform. Evaluation, 2005

Observing Internet Worm and Virus Attacks with a Small Network Telescope.

[BibT_eX]

[DOI]

Uli Harder

Matt W. Johnson

Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005

Stochastic Simulation Methods Applied to a Secure Electronic Voting Model.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005

Hypergraph Partitioning for Faster Parallel PageRank Computation.

[BibT_eX]

[DOI]

Aleksandar Trifunovic

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004

Stochastic analysis of scheduling strategies in a Grid-based resource model.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2004

Preface.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004

Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software and Performance, 2004

The ipc/HYDRA Tool Chain for the Analysis of PEPA Models.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results.

[BibT_eX]

[DOI]

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

Modelling techniques and tools for computer performance evaluation.

[BibT_eX]

[DOI]

Perform. Evaluation, 2003

Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic.

[BibT_eX]

[DOI]

Peter G. Harrison

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Modeling, 2003

Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models.

[BibT_eX]

[DOI]

Peter G. Harrison

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

A Passage-Time Preserving Equivalence for Semi-Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation, 2002

2000

The SSL Reference Implementation Project.

[BibT_eX]

[DOI]

PhD thesis, 2000

Approximating Variance in Non-product Form Decomposed Models.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

A Matrix-based Method for Analysing Stochastic Process Algebras.

[BibT_eX]