Jeremy T. Bradley

According to our database1, Jeremy T. Bradley
  • authored at least 73 papers between 2000 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates.
Annals OR, 2016

2015
Preface.
Electr. Notes Theor. Comput. Sci., 2015

Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System.
Electr. Notes Theor. Comput. Sci., 2015

2014
Meeting inelastic demand in systems with storage and renewable sources.
Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014

On Performance of Gossip Communication in a Crowd-Sensing Scenario.
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

Preface.
Electr. Notes Theor. Comput. Sci., 2013

Mean-field analysis of data flows in wireless sensor networks.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Journey Data Based Arrival Forecasting for Bicycle Hire Schemes.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012
Fluid computation of passage-time distributions in large Markov models.
Theor. Comput. Sci., 2012

Invited Response to Computer Journal Lecture by Prof. Jane Hillston.
Comput. J., 2012

Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA.
BMC Bioinformatics, 2012

Mean-field performance analysis of a hazard detection Wireless Sensor network.
Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Specification and Efficient Computation of Passage-Time Distributions in GPA.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Energy Consumption in the Office.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Moment Closures for Performance Models with Highly Non-linear Rates.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

PCTMC Models of Wireless Sensor Network Protocols.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Mean-Field Analysis of Markov Models with Reward Feedback.
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

Scalable Stochastic Modelling for Resilience.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011
Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra.
Proceedings of the Network Performance Engineering, 2011

Fluid computation of the performance: energy tradeoff in large scale Markov models.
SIGMETRICS Performance Evaluation Review, 2011

Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only).
SIGMETRICS Performance Evaluation Review, 2011

Passage-time computation and aggregation strategies for large semi-Markov processes.
Perform. Eval., 2011

Preface.
Electr. Notes Theor. Comput. Sci., 2011

Computer Performance Evaluation: Preface.
Comput. J., 2011

Fluid analysis of energy consumption using rewards in massively parallel markov models.
Proceedings of the ICPE'11, 2011

GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool.
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

Higher Moment Analysis of a Spatial Stochastic Process Algebra.
Proceedings of the Computer Performance Engineering, 2011

2010
A fluid analysis framework for a Markovian process algebra.
Theor. Comput. Sci., 2010

Extracting state-based performance metrics using asynchronous iterative techniques.
Perform. Eval., 2010

Evaluating fluid semantics for passive stochastic process algebra cooperation.
Perform. Eval., 2010

Preface.
Electr. Notes Theor. Comput. Sci., 2010

A new tool for the performance analysis of massively parallel computer systems
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

2009
Distributed Response Time Analysis of GSPN Models with MapReduce.
Simulation, 2009

Performance engineering - editorial.
IET Software, 2009

Preface.
Electr. Notes Theor. Comput. Sci., 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

PageRank: Splitting Homogeneous Singular Linear Systems of Index One.
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

Fluid semantics for passive stochastic process algebra cooperation.
Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008

Extracting Response Times from Fluid Analysis of Performance Models.
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
PEPA Queues: Capturing Customer Behaviour in Queueing Networks.
Electr. Notes Theor. Comput. Sci., 2007

Continuous PEPA queues: individual behaviour in continuous queueing networks.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Location-Aware Quality of Service Measurements for Service-Level Agreements.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Asynchronous iterative solution for state-based performance metrics.
Proceedings of the 2007 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2007

Tackling Large State Spaces in Performance Modelling.
Proceedings of the Formal Methods for Performance Evaluation, 2007

Performance Trees: Expressiveness and Quantitative Semantics.
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 Generation Comp. Syst., 2006

Observing Internet Worm and Virus Attacks with a Small Network Telescope.
Electr. Notes Theor. Comput. Sci., 2006

Stochastic Simulation Methods Applied to a Secure Electronic Voting Model.
Electr. Notes Theor. Comput. Sci., 2006

Performance Trees: A New Approach to Quantitative Performance Specification.
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

Functional Performance Specification with Stochastic Probes.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Stochastic Process Algebra Models of a Circadian Clock.
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. Eval., 2005

Preface.
Electr. Notes Theor. Comput. Sci., 2005

Hypergraph Partitioning for Faster Parallel PageRank Computation.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004
Stochastic analysis of scheduling strategies in a Grid-based resource model.
IEE Proceedings - Software, 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

The ipc/HYDRA Tool Chain for the Analysis of PEPA Models.
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
Modelling techniques and tools for computer performance evaluation.
Perform. Eval., 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
A Passage-Time Preserving Equivalence for Semi-Markov Processes.
Proceedings of the Computer Performance Evaluation, 2002

2000
The SSL Reference Implementation Project.
PhD thesis, 2000

Approximating Variance in Non-product Form Decomposed Models.
ICALP Satellite Workshops, 2000

A Matrix-based Method for Analysing Stochastic Process Algebras.
ICALP Satellite Workshops, 2000


  Loading...