Jeremy T. Bradley

	2012
52		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)
	2011
51		Marcel C. Guenther, Jeremy T. Bradley: Higher Moment Analysis of a Spatial Stochastic Process Algebra. EPEW 2011: 87-101
50		Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley: Fluid analysis of energy consumption using rewards in massively parallel markov models. ICPE 2011: 121-132
49		Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley: GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. QEST 2011: 147-148
48		Nigel Thomas, Jeremy T. Bradley: Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra. Network Performance Engineering 2011: 331-342
47		Jeremy T. Bradley: Computer Performance Evaluation: Preface. Comput. J. 54(5): 641-642 (2011)
46		Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig: Preface. Electr. Notes Theor. Comput. Sci. 275: 1-3 (2011)
45		Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt: Passage-time computation and aggregation strategies for large semi-Markov processes. Perform. Eval. 68(3): 221-236 (2011)
44		Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley: Fluid computation of the performance: energy tradeoff in large scale Markov models. SIGMETRICS Performance Evaluation Review 39(3): 104-106 (2011)
43		Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley: Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only). SIGMETRICS Performance Evaluation Review 39(3): 13 (2011)
	2010
42		Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley: A new tool for the performance analysis of massively parallel computer systems QAPL 2010: 159-181
41		Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder: Preface. Electr. Notes Theor. Comput. Sci. 261: 1-4 (2010)
40		Douglas V. de Jager, Jeremy T. Bradley: Extracting state-based performance metrics using asynchronous iterative techniques. Perform. Eval. 67(12): 1353-1372 (2010)
39		Richard A. Hayden, Jeremy T. Bradley: Evaluating fluid semantics for passive stochastic process algebra cooperation. Perform. Eval. 67(4): 260-284 (2010)
38		Richard A. Hayden, Jeremy T. Bradley: A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci. 411(22-24): 2260-2297 (2010)
	2009
37		Jeremy T. Bradley: Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings Springer 2009
36		Douglas V. de Jager, Jeremy T. Bradley: PageRank: Splitting Homogeneous Singular Linear Systems of Index One. ICTIR 2009: 17-28
35		Richard A. Hayden, Jeremy T. Bradley: Shared Transaction Markov Chains for fluid analysis of massively parallel systems. MASCOTS 2009: 1-12
34		Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt: Preface. Electr. Notes Theor. Comput. Sci. 232: 1-3 (2009)
33		Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt: Performance engineering - editorial. IET Software 3(6): 443-444 (2009)
32		Oliver J. Haggarty, William J. Knottenbelt, Jeremy T. Bradley: Distributed Response Time Analysis of GSPN Models with MapReduce. Simulation 85(8): 497-509 (2009)
	2008
31		Jeremy T. Bradley: A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra. EPEW 2008: 79-94
30		Jeremy T. Bradley, Richard A. Hayden, William J. Knottenbelt, Tamas Suto: Extracting Response Times from Fluid Analysis of Performance Models. SIPEW 2008: 29-43
29		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)
	2007
28		Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt: Performance Trees: Expressiveness and Quantitative Semantics. QEST 2007: 41-50
27		William J. Knottenbelt, Jeremy T. Bradley: Tackling Large State Spaces in Performance Modelling. SFM 2007: 318-370
26		Douglas V. de Jager, Jeremy T. Bradley: Asynchronous iterative solution for state-based performance metrics. SIGMETRICS 2007: 373-374
25		Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore: Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC 2007: 222-239
24		Ashok Argent-Katwala, Jeremy T. Bradley: Continuous PEPA queues: individual behaviour in continuous queueing networks. VALUETOOLS 2007: 54
23		Ashok Argent-Katwala, Jeremy T. Bradley: PEPA Queues: Capturing Customer Behaviour in Queueing Networks. Electr. Notes Theor. Comput. Sci. 190(3): 3-25 (2007)
	2006
22		Ashok Argent-Katwala, Jeremy T. Bradley: Functional Performance Specification with Stochastic Probes. EPEW 2006: 31-46
21		Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas: Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS 2006
20		Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt: Performance Trees: A New Approach to Quantitative Performance Specification. MASCOTS 2006: 303-313
19		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
18		Jeremy T. Bradley, Thomas Thorne: Stochastic Process Algebra Models of a Circadian Clock. Simulation and Verification of Dynamic Systems 2006
17		Uli Harder, Matt W. Johnson, Jeremy T. Bradley, William J. Knottenbelt: Observing Internet Worm and Virus Attacks with a Small Network Telescope. Electr. Notes Theor. Comput. Sci. 151(3): 47-59 (2006)
16		Jeremy T. Bradley, Stephen T. Gilmore: Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. Electr. Notes Theor. Comput. Sci. 151(3): 5-25 (2006)
15		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 Generation Comp. Syst. 22(7): 828-837 (2006)
	2005
14		Jeremy T. Bradley, Douglas V. de Jager, William J. Knottenbelt, Aleksandar Trifunovic: Hypergraph Partitioning for Faster Parallel PageRank Computation. EPEW/WS-FM 2005: 155-171
13		Jeremy T. Bradley, William J. Knottenbelt: Preface. Electr. Notes Theor. Comput. Sci. 128(4): 1-2 (2005)
12		Jeremy T. Bradley, Helen J. Wilson: Iterative convergence of passage-time densities in semi-Markov performance models. Perform. Eval. 60(1-4): 237-254 (2005)
	2004
11		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
10		Jeremy T. Bradley, William J. Knottenbelt: The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. QEST 2004: 334-335
9		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
8		Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt: Stochastic analysis of scheduling strategies in a Grid-based resource model. IEE Proceedings - Software 151(5): 232-239 (2004)
	2003
7		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
6		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-
5		Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder: Modelling techniques and tools for computer performance evaluation. Perform. Eval. 54(2): 77-78 (2003)
	2002
4		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 Springer 2002
3		Jeremy T. Bradley: A Passage-Time Preserving Equivalence for Semi-Markov Processes. Computer Performance Evaluation / TOOLS 2002: 178-187
	2000
2		Jeremy T. Bradley, N. J. Davies: A Matrix-based Method for Analysing Stochastic Process Algebras. ICALP Satellite Workshops 2000: 579-590
1		Nigel Thomas, Jeremy T. Bradley: Approximating Variance in Non-product Form Decomposed Models. ICALP Satellite Workshops 2000: 607-619

Coauthor Index

1	Ashok Argent-Katwala	[9] [22] [23] [24] [25] [33]
2	Grégory Batt	[19]
3	Fabian Brosig	[46]
4	Allan Clark	[25]
5	N. J. Davies	[2]
6	Nicholas J. Dingle	[6] [7] [9] [15] [33] [41] [45]
7	Roland Ewald	[19]
8	François Fages	[19]
9	Tony Field (A. J. Field)	[4] [5]
10	Stephen Gilmore (Stephen T. Gilmore)	[6] [11] [16] [21] [25] [29]
11	Marcel C. Guenther	[45] [51]
12	Oliver J. Haggarty	[32]
13	Uli Harder	[4] [5] [17] [33] [41]
14	Peter G. Harrison	[4] [5] [7] [15]
15	Richard A. Hayden	[30] [35] [38] [39] [42] [43] [44] [49] [50] [52]
16	Holger Hermanns	[19]
17	Jane Hillston	[19] [29]
18	Nikolaus Huber	[46]
19	Douglas V. de Jager	[14] [26] [36] [40]
20	Matt W. Johnson	[17]
21	Peter Kemper	[19]
22	William J. Knottenbelt	[6] [7] [8] [10] [13] [14] [15] [17] [20] [27] [28] [30] [32] [33] [34] [41] [45] [46]
23	Samuel Kounev	[46]
24	Alke Martens	[19]
25	Pieter J. Mosterman	[19]
26	Flemming Nielson	[19]
27	Oleg Sokolsky	[19]
28	Anton Stefanek	[42] [43] [44] [49] [50] [52]
29	Tamas Suto	[20] [28] [30]
30	Nigel Thomas	[1] [8] [11] [21] [34] [41] [46] [48]
31	Thomas Thorne	[18]
32	Aleksandar Trifunovic	[14]
33	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[19]
34	Helen J. Wilson	[12]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page