default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJeremy T. Bradley
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j20]Dimitrios Letsios
, Jeremy T. Bradley, Suraj G, Ruth Misener, Natasha Page:
Approximate and robust bounded job start scheduling for Royal Mail delivery offices. J. Sched. 24(2): 237-258 (2021)
2010 – 2019
- 2019
- [c49]Jeremy T. Bradley, Dimitrios Letsios, Ruth Misener, Natasha Page:
Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries Under Uncertainty. COCOA 2019: 69-81 - [i3]Dimitrios Letsios, Jeremy T. Bradley, Suraj G, Ruth Misener, Natasha Page:
Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries under Uncertainty. CoRR abs/1912.06862 (2019) - 2016
- [j19]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates. Ann. Oper. Res. 239(2): 667-693 (2016) - 2015
- [e9]Marta Beltrán, William J. Knottenbelt, Jeremy T. Bradley:
Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings. Lecture Notes in Computer Science 9272, Springer 2015, ISBN 978-3-319-23266-9 [contents] - [e8]Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas:
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014. Electronic Notes in Theoretical Computer Science 310, Elsevier 2015 [contents] - 2014
- [c48]Marcel C. Guenther, Jeremy T. Bradley:
On Performance of Gossip Communication in a Crowd-Sensing Scenario. QEST 2014: 122-137 - [c47]Natarajan Gautam, Yunjian Xu, Jeremy T. Bradley:
Meeting inelastic demand in systems with storage and renewable sources. SmartGridComm 2014: 97-102 - [c46]Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas:
Preface. PASM 2014: 1-3 - [c45]Jeremy T. Bradley, Matthew Forshaw, Anton Stefanek, Nigel Thomas:
Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System. UKPEW 2014: 5-17 - 2013
- [j18]Richard A. Hayden, Jeremy T. Bradley, Allan Clark:
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis. IEEE Trans. Software Eng. 39(1): 97-118 (2013) - [c44]Marcel C. Guenther, Jeremy T. Bradley:
Journey Data Based Arrival Forecasting for Bicycle Hire Schemes. ASMTA 2013: 214-231 - [c43]Marcel C. Guenther, Jeremy T. Bradley:
Mean-field analysis of data flows in wireless sensor networks. ICPE 2013: 51-62 - [e7]Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas:
Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, PASM 2012, and the Eleventh International Workshop on Parallel and Distributed Methods in Verification, PDMC 2012, London, UK, September 2012. Electronic Notes in Theoretical Computer Science 296, Elsevier 2013 [contents] - 2012
- [j17]Xian Yang, Rui Han, Yike Guo, Jeremy T. Bradley, Benita Cox, Robert Dickinson, Richard Kitney:
Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA. BMC Bioinform. 13(S-14): S4 (2012) - [j16]Jeremy T. Bradley, Nigel Thomas, Richard A. Hayden, Anton Stefanek:
Invited Response to Computer Journal Lecture by Prof. Jane Hillston. Comput. J. 55(7): 882-886 (2012) - [j15]Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley:
Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci. 413(1): 106-141 (2012) - [c42]Anton Stefanek, Richard A. Hayden, Mark Mac Gonagle, Jeremy T. Bradley:
Mean-Field Analysis of Markov Models with Reward Feedback. ASMTA 2012: 193-211 - [c41]Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley:
Moment Closures for Performance Models with Highly Non-linear Rates. EPEW/UKPEW 2012: 32-47 - [c40]Marcel C. Guenther, Jeremy T. Bradley:
PCTMC Models of Wireless Sensor Network Protocols. EPEW/UKPEW 2012: 172-187 - [c39]Anton Stefanek, Uli Harder, Jeremy T. Bradley:
Energy Consumption in the Office. EPEW/UKPEW 2012: 224-236 - [c38]Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Specification and Efficient Computation of Passage-Time Distributions in GPA. QEST 2012: 199-200 - [c37]Marcel C. Guenther, Jeremy T. Bradley:
Mean-field performance analysis of a hazard detection Wireless Sensor network. VALUETOOLS 2012: 220-221 - [c36]Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas:
Preface. PASM/PDMC 2012: 1-5 - [p3]Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Anton Stefanek, Stephen Gilmore:
Providing Dependability and Resilience in the Cloud: Challenges and Opportunities. Resilience Assessment and Evaluation of Computing Systems 2012: 65-81 - [p2]Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter:
Scalable Stochastic Modelling for Resilience. Resilience Assessment and Evaluation of Computing Systems 2012: 115-149 - 2011
- [j14]Jeremy T. Bradley:
Computer Performance Evaluation: Preface. Comput. J. 54(5): 641-642 (2011) - [j13]Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt:
Passage-time computation and aggregation strategies for large semi-Markov processes. Perform. Evaluation 68(3): 221-236 (2011) - [j12]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39(3): 13 (2011) - [j11]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Fluid computation of the performance: energy tradeoff in large scale Markov models. SIGMETRICS Perform. Evaluation Rev. 39(3): 104-106 (2011) - [c35]Marcel C. Guenther, Jeremy T. Bradley:
Higher Moment Analysis of a Spatial Stochastic Process Algebra. EPEW 2011: 87-101 - [c34]Marcel C. Guenther, Jeremy T. Bradley:
MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool. ICCSW 2011: 24-30 - [c33]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. QEST 2011: 147-148 - [c32]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Fluid analysis of energy consumption using rewards in massively parallel markov models. ICPE 2011: 121-132 - [c31]Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig:
Preface. PASM@ICPE 2011: 1-3 - [p1]Nigel Thomas, Jeremy T. Bradley:
Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra. Network Performance Engineering 2011: 331-342 - [e6]Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig:
Fifth International Workshop on the Practical Application of Stochastic Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011. Electronic Notes in Theoretical Computer Science 275, Elsevier 2011 [contents] - 2010
- [j10]Richard A. Hayden, Jeremy T. Bradley:
Evaluating fluid semantics for passive stochastic process algebra cooperation. Perform. Evaluation 67(4): 260-284 (2010) - [j9]Douglas Vincent de Jager, Jeremy T. Bradley:
Extracting state-based performance metrics using asynchronous iterative techniques. Perform. Evaluation 67(12): 1353-1372 (2010) - [j8]Richard A. Hayden, Jeremy T. Bradley:
A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci. 411(22-24): 2260-2297 (2010) - [c30]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
A new tool for the performance analysis of massively parallel computer systems. QAPL 2010: 159-181 - [e5]Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder:
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, PASM@MASCOTS 2009, London, UK, September 2009. Electronic Notes in Theoretical Computer Science 261, Elsevier 2010 [contents]
2000 – 2009
- 2009
- [j7]Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt:
Performance engineering - editorial. IET Softw. 3(6): 443-444 (2009) - [j6]Oliver J. Haggarty, William J. Knottenbelt, Jeremy T. Bradley:
Distributed Response Time Analysis of GSPN Models with MapReduce. Simul. 85(8): 497-509 (2009) - [c29]Douglas Vincent de Jager, Jeremy T. Bradley:
PageRank: Splitting Homogeneous Singular Linear Systems of Index One. ICTIR 2009: 17-28 - [c28]Richard A. Hayden, Jeremy T. Bradley:
Shared Transaction Markov Chains for fluid analysis of massively parallel systems. MASCOTS 2009: 1-12 - [c27]Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder:
Preface. PASM@MASCOTS 2009: 1-4 - [e4]Jeremy T. Bradley:
Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings. Lecture Notes in Computer Science 5652, Springer 2009, ISBN 978-3-642-02923-3 [contents] - [e3]Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt:
Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, PASM@EPEW 2008, Palma de Mallorca, Spain, September 2008. Electronic Notes in Theoretical Computer Science 232, Elsevier 2009 [contents] - 2008
- [j5]Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston:
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. 74(6): 1013-1032 (2008) - [c26]Jeremy T. Bradley:
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra. EPEW 2008: 79-94 - [c25]Jeremy T. Bradley, Richard A. Hayden, William J. Knottenbelt, Tamas Suto:
Extracting Response Times from Fluid Analysis of Performance Models. SIPEW 2008: 29-43 - [c24]Richard A. Hayden, Jeremy T. Bradley:
Fluid semantics for passive stochastic process algebra cooperation. VALUETOOLS 2008: 55 - [c23]Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt:
Preface. PASM@EPEW 2008: 1-3 - 2007
- [c22]Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt:
Performance Trees: Expressiveness and Quantitative Semantics. QEST 2007: 41-50 - [c21]William J. Knottenbelt, Jeremy T. Bradley:
Tackling Large State Spaces in Performance Modelling. SFM 2007: 318-370 - [c20]Douglas Vincent de Jager, Jeremy T. Bradley:
Asynchronous iterative solution for state-based performance metrics. SIGMETRICS 2007: 373-374 - [c19]Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore:
Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC 2007: 222-239 - [c18]Ashok Argent-Katwala, Jeremy T. Bradley:
Continuous PEPA queues: individual behaviour in continuous queueing networks. VALUETOOLS 2007: 54 - [c17]Ashok Argent-Katwala, Jeremy T. Bradley:
PEPA Queues: Capturing Customer Behaviour in Queueing Networks. QAPL 2007: 3-25 - 2006
- [j4]Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt:
Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models. Future Gener. Comput. Syst. 22(7): 828-837 (2006) - [c16]Ashok Argent-Katwala, Jeremy T. Bradley:
Functional Performance Specification with Stochastic Probes. EPEW 2006: 31-46 - [c15]Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas:
Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS 2006 - [c14]Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt:
Performance Trees: A New Approach to Quantitative Performance Specification. MASCOTS 2006: 303-313 - [i2]Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher:
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 2006 - [i1]Jeremy T. Bradley, Thomas Thorne:
Stochastic Process Algebra Models of a Circadian Clock. Simulation and Verification of Dynamic Systems 2006 - 2005
- [j3]Jeremy T. Bradley, Helen J. Wilson:
Iterative convergence of passage-time densities in semi-Markov performance models. Perform. Evaluation 60(1-4): 237-254 (2005) - [c13]Jeremy T. Bradley, Douglas Vincent de Jager, William J. Knottenbelt, Aleksandar Trifunovic:
Hypergraph Partitioning for Faster Parallel PageRank Computation. EPEW/WS-FM 2005: 155-171 - [c12]Jeremy T. Bradley, Stephen T. Gilmore:
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. PASM@FM 2005: 5-25 - [c11]Uli Harder, Matt W. Johnson, Jeremy T. Bradley, William J. Knottenbelt:
Observing Internet Worm and Virus Attacks with a Small Network Telescope. PASM@FM 2005: 47-59 - [e2]Jeremy T. Bradley, William J. Knottenbelt:
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, PASM 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(4), Elsevier 2005 [contents] - 2004
- [j2]Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt:
Stochastic analysis of scheduling strategies in a Grid-based resource model. IEE Proc. Softw. 151(5): 232-239 (2004) - [c10]Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas:
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. FORTE Workshops 2004: 128-142 - [c9]Jeremy T. Bradley, William J. Knottenbelt:
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. QEST 2004: 334-335 - [c8]Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle:
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. WOSP 2004: 49-58 - [c7]Jeremy T. Bradley, William J. Knottenbelt:
Preface. PASM 2004: 1-2 - 2003
- [j1]Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder:
Modelling techniques and tools for computer performance evaluation. Perform. Evaluation 54(2): 77-78 (2003) - [c6]Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt:
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models. IPDPS 2003: 281 - [c5]Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt:
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. MASCOTS 2003: 344- - [c4]Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt:
Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. PNPM 2003: 62-71 - 2002
- [c3]Jeremy T. Bradley:
A Passage-Time Preserving Equivalence for Semi-Markov Processes. Computer Performance Evaluation / TOOLS 2002: 178-187 - [e1]Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder:
Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings. Lecture Notes in Computer Science 2324, Springer 2002, ISBN 3-540-43539-5 [contents] - 2000
- [b1]Jeremy T. Bradley:
The SSL Reference Implementation Project. University of Bristol, UK, 2000 - [c2]Jeremy T. Bradley, N. J. Davies:
A Matrix-based Method for Analysing Stochastic Process Algebras. ICALP Satellite Workshops 2000: 579-590 - [c1]Nigel Thomas, Jeremy T. Bradley:
Approximating Variance in Non-product Form Decomposed Models. ICALP Satellite Workshops 2000: 607-619
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
