# Jeremy T. Bradley

According to our database

Collaborative distances:

^{1}, Jeremy T. Bradley authored at least 74 papers between 2000 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2019

Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries under Uncertainty.

CoRR, 2019

Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries Under Uncertainty.

Proceedings of the Combinatorial Optimization and Applications, 2019

2016

Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates.

Annals OR, 2016

2015

Electron. Notes Theor. Comput. Sci., 2015

Electron. Notes Theor. Comput. Sci., 2015

2014

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

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

2013

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

IEEE Trans. Software Eng., 2013

Electron. Notes Theor. Comput. Sci., 2013

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

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

2012

Theor. Comput. Sci., 2012

Comput. J., 2012

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

BMC Bioinform., 2012

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

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

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

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

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

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

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

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

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

2011

Proceedings of the Network Performance Engineering, 2011

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

SIGMETRICS Perform. Evaluation Rev., 2011

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

SIGMETRICS Perform. Evaluation Rev., 2011

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

Perform. Evaluation, 2011

Electron. Notes Theor. Comput. Sci., 2011

Comput. J., 2011

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

Proceedings of the ICPE'11, 2011

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

Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

Proceedings of the Computer Performance Engineering, 2011

2010

Theor. Comput. Sci., 2010

Extracting state-based performance metrics using asynchronous iterative techniques.

Perform. Evaluation, 2010

Perform. Evaluation, 2010

Electron. Notes Theor. Comput. Sci., 2010

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

2009

Simul., 2009

IET Softw., 2009

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

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

Proceedings of the Advances in Information Retrieval Theory, 2009

2008

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

J. Comput. Syst. Sci., 2008

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

Proceedings of the Performance Evaluation: Metrics, 2008

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

Proceedings of the Computer Performance Engineering, 2008

2007

Electron. Notes Theor. Comput. Sci., 2007

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

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

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

Proceedings of the Formal Methods for Performance Evaluation, 2007

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.

Future Gener. Comput. Syst., 2006

Electron. Notes Theor. Comput. Sci., 2006

Electron. Notes Theor. Comput. Sci., 2006

Proceedings of the 14th International Symposium on Modeling, 2006

Performance analysis of stochastic process algebra models using stochastic simulation.

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

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

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.

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.

Perform. Evaluation, 2005

Electron. Notes Theor. Comput. Sci., 2005

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

2004

IEE Proc. Softw., 2004

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

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

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.

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

2003

Perform. Evaluation, 2003

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

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.

Proceedings of the 11th International Workshop on Modeling, 2003

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

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

2002

Proceedings of the Computer Performance Evaluation, 2002

2000

PhD thesis, 2000

Approximating Variance in Non-product Form Decomposed Models.

Proceedings of the ICALP Workshops 2000, 2000

A Matrix-based Method for Analysing Stochastic Process Algebras.

Proceedings of the ICALP Workshops 2000, 2000