Jeremy T. Bradley

85 papers A* 1A 2B 5C 1Misc 1Journal 21Unranked 41

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Approximate and robust bounded job start scheduling for Royal Mail delivery offices. J. Sched. Dimitrios Letsios, Jeremy T. Bradley, Suraj G, Ruth Misener, Natasha Page
2019	C	`conf`	Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries Under Uncertainty. COCOA Jeremy T. Bradley, Dimitrios Letsios, Ruth Misener, Natasha Page
2019	J	`jnl`	Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries under Uncertainty. CoRR Dimitrios Letsios, Jeremy T. Bradley, Suraj G, Ruth Misener, Natasha Page
2016	J	`jnl`	Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates. Ann. Oper. Res. Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2015	—	`ed.`	Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings EPEW Marta Beltrán, William J. Knottenbelt, Jeremy T. Bradley
2015	—	`ed.`	Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014 PASM Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas
2014	—	`conf`	Meeting inelastic demand in systems with storage and renewable sources. SmartGridComm Natarajan Gautam, Yunjian Xu, Jeremy T. Bradley
2014	—	`conf`	On Performance of Gossip Communication in a Crowd-Sensing Scenario. QEST Marcel C. Guenther, Jeremy T. Bradley
2014	—	`conf`	Preface. PASM Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas
2014	—	`conf`	Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System. UKPEW Jeremy T. Bradley, Matthew Forshaw, Anton Stefanek, Nigel Thomas
2013	—	`conf`	Journey Data Based Arrival Forecasting for Bicycle Hire Schemes. ASMTA Marcel C. Guenther, Jeremy T. Bradley
2013	B	`conf`	Mean-field analysis of data flows in wireless sensor networks. ICPE Marcel C. Guenther, Jeremy T. Bradley
2013	J	`jnl`	Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis. IEEE Trans. Software Eng. Richard A. Hayden, Jeremy T. Bradley, Allan Clark
2013	—	`ed.`	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 PASM/PDMC Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas
2012	—	`conf`	Energy Consumption in the Office. EPEW/UKPEW Anton Stefanek, Uli Harder, Jeremy T. Bradley
2012	J	`jnl`	Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci. Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley
2012	J	`jnl`	Invited Response to Computer Journal Lecture by Prof. Jane Hillston. Comput. J. Jeremy T. Bradley, Nigel Thomas, Richard A. Hayden, Anton Stefanek
2012	—	`conf`	Mean-Field Analysis of Markov Models with Reward Feedback. ASMTA Anton Stefanek, Richard A. Hayden, Mark Mac Gonagle, Jeremy T. Bradley
2012	—	`conf`	Mean-field performance analysis of a hazard detection Wireless Sensor network. VALUETOOLS Marcel C. Guenther, Jeremy T. Bradley
2012	J	`jnl`	Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA. BMC Bioinform. Xian Yang, Rui Han, Yike Guo, Jeremy T. Bradley, Benita Cox, Robert Dickinson, Richard Kitney
2012	—	`conf`	Moment Closures for Performance Models with Highly Non-linear Rates. EPEW/UKPEW Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley
2012	—	`conf`	PCTMC Models of Wireless Sensor Network Protocols. EPEW/UKPEW Marcel C. Guenther, Jeremy T. Bradley
2012	—	`conf`	Preface. PASM/PDMC Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas
2012	—	`ch.`	Providing Dependability and Resilience in the Cloud: Challenges and Opportunities. Resilience Assessment and Evaluation of Computing Systems Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Anton Stefanek, Stephen Gilmore
2012	—	`ch.`	Scalable Stochastic Modelling for Resilience. Resilience Assessment and Evaluation of Computing Systems Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
2012	—	`conf`	Specification and Efficient Computation of Passage-Time Distributions in GPA. QEST Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011	—	`ch.`	Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra. Network Performance Engineering Nigel Thomas, Jeremy T. Bradley
2011	J	`jnl`	Computer Performance Evaluation: Preface. Comput. J. Jeremy T. Bradley
2011	—	`ed.`	Fifth International Workshop on the Practical Application of Stochastic Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011 PASM@ICPE Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig
2011	J	`jnl`	Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only). SIGMETRICS Perform. Evaluation Rev. Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011	B	`conf`	Fluid analysis of energy consumption using rewards in massively parallel markov models. ICPE Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011	J	`jnl`	Fluid computation of the performance: energy tradeoff in large scale Markov models. SIGMETRICS Perform. Evaluation Rev. Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011	—	`conf`	GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. QEST Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011	—	`conf`	Higher Moment Analysis of a Spatial Stochastic Process Algebra. EPEW Marcel C. Guenther, Jeremy T. Bradley
2011	—	`conf`	MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool. ICCSW Marcel C. Guenther, Jeremy T. Bradley
2011	J	`jnl`	Passage-time computation and aggregation strategies for large semi-Markov processes. Perform. Evaluation Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt
2011	—	`conf`	Preface. PASM@ICPE Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig
2010	J	`jnl`	A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci. Richard A. Hayden, Jeremy T. Bradley
2010	—	`conf`	A new tool for the performance analysis of massively parallel computer systems QAPL Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2010	J	`jnl`	Evaluating fluid semantics for passive stochastic process algebra cooperation. Perform. Evaluation Richard A. Hayden, Jeremy T. Bradley
2010	J	`jnl`	Extracting state-based performance metrics using asynchronous iterative techniques. Perform. Evaluation Douglas Vincent de Jager, Jeremy T. Bradley
2010	—	`ed.`	Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, PASM@MASCOTS 2009, London, UK, September 2009 PASM@MASCOTS Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder
2009	—	`ed.`	Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings EPEW Jeremy T. Bradley
2009	J	`jnl`	Distributed Response Time Analysis of GSPN Models with MapReduce. Simul. Oliver J. Haggarty, William J. Knottenbelt, Jeremy T. Bradley
2009	Misc	`conf`	PageRank: Splitting Homogeneous Singular Linear Systems of Index One. ICTIR Douglas Vincent de Jager, Jeremy T. Bradley
2009	J	`jnl`	Performance engineering - editorial. IET Softw. Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt
2009	—	`conf`	Preface. PASM@MASCOTS Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder
2009	—	`ed.`	Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, PASM@EPEW 2008, Palma de Mallorca, Spain, September 2008 PASM@EPEW Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
2009	B	`conf`	Shared Transaction Markov Chains for fluid analysis of massively parallel systems. MASCOTS Richard A. Hayden, Jeremy T. Bradley
2008	—	`conf`	A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra. EPEW Jeremy T. Bradley
2008	J	`jnl`	Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston
2008	—	`conf`	Extracting Response Times from Fluid Analysis of Performance Models. SIPEW Jeremy T. Bradley, Richard A. Hayden, William J. Knottenbelt, Tamas Suto
2008	—	`conf`	Fluid semantics for passive stochastic process algebra cooperation. VALUETOOLS Richard A. Hayden, Jeremy T. Bradley
2008	—	`conf`	Preface. PASM@EPEW Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
2007	A*	`conf`	Asynchronous iterative solution for state-based performance metrics. SIGMETRICS Douglas Vincent de Jager, Jeremy T. Bradley
2007	—	`conf`	Continuous PEPA queues: individual behaviour in continuous queueing networks. VALUETOOLS Ashok Argent-Katwala, Jeremy T. Bradley
2007	—	`conf`	Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore
2007	—	`conf`	PEPA Queues: Capturing Customer Behaviour in Queueing Networks. QAPL Ashok Argent-Katwala, Jeremy T. Bradley
2007	—	`conf`	Performance Trees: Expressiveness and Quantitative Semantics. QEST Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
2007	—	`conf`	Tackling Large State Spaces in Performance Modelling. SFM William J. Knottenbelt, Jeremy T. Bradley
2006	—	`conf`	06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 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
2006	J	`jnl`	Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models. Future Gener. Comput. Syst. Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
2006	—	`conf`	Functional Performance Specification with Stochastic Probes. EPEW Ashok Argent-Katwala, Jeremy T. Bradley
2006	B	`conf`	Performance Trees: A New Approach to Quantitative Performance Specification. MASCOTS Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
2006	A	`conf`	Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
2006	—	`conf`	Stochastic Process Algebra Models of a Circadian Clock. Simulation and Verification of Dynamic Systems Jeremy T. Bradley, Thomas Thorne
2005	—	`conf`	Hypergraph Partitioning for Faster Parallel PageRank Computation. EPEW/WS-FM Jeremy T. Bradley, Douglas Vincent de Jager, William J. Knottenbelt, Aleksandar Trifunovic
2005	J	`jnl`	Iterative convergence of passage-time densities in semi-Markov performance models. Perform. Evaluation Jeremy T. Bradley, Helen J. Wilson
2005	—	`conf`	Observing Internet Worm and Virus Attacks with a Small Network Telescope. PASM@FM Uli Harder, Matt W. Johnson, Jeremy T. Bradley, William J. Knottenbelt
2005	—	`ed.`	Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, PASM 2004, London, UK, September 4, 2004 PASM Jeremy T. Bradley, William J. Knottenbelt
2005	—	`conf`	Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. PASM@FM Jeremy T. Bradley, Stephen T. Gilmore
2004	—	`conf`	Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. WOSP Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle
2004	—	`conf`	How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. FORTE Workshops Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
2004	—	`conf`	Preface. PASM Jeremy T. Bradley, William J. Knottenbelt
2004	J	`jnl`	Stochastic analysis of scheduling strategies in a Grid-based resource model. IEE Proc. Softw. Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
2004	—	`conf`	The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. QEST Jeremy T. Bradley, William J. Knottenbelt
2003	B	`conf`	Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. MASCOTS Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt
2003	A	`conf`	Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models. IPDPS Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
2003	J	`jnl`	Modelling techniques and tools for computer performance evaluation. Perform. Evaluation Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
2003	—	`conf`	Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. PNPM Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
2002	—	`conf`	A Passage-Time Preserving Equivalence for Semi-Markov Processes. Computer Performance Evaluation / TOOLS Jeremy T. Bradley
2002	—	`ed.`	Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings Computer Performance Evaluation / TOOLS Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
2000	—	`conf`	A Matrix-based Method for Analysing Stochastic Process Algebras. ICALP Satellite Workshops Jeremy T. Bradley, N. J. Davies
2000	—	`conf`	Approximating Variance in Non-product Form Decomposed Models. ICALP Satellite Workshops Nigel Thomas, Jeremy T. Bradley
2000	—	`—`	The SSL Reference Implementation Project. Jeremy T. Bradley