Jeremy T. Bradley

2009
32	EE	Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt: Preface. Electr. Notes Theor. Comput. Sci. 232: 1-3 (2009)
2008
31	EE	Jeremy T. Bradley: A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra. EPEW 2008: 79-94
30	EE	Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto: Extracting Response Times from Fluid Analysis of Performance Models. SIPEW 2008: 29-43
29	EE	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	EE	Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt: Performance Trees: Expressiveness and Quantitative Semantics. QEST 2007: 41-50
27	EE	William J. Knottenbelt, Jeremy T. Bradley: Tackling Large State Spaces in Performance Modelling. SFM 2007: 318-370
26	EE	Douglas V. de Jager, Jeremy T. Bradley: Asynchronous iterative solution for state-based performance metrics. SIGMETRICS 2007: 373-374
25	EE	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	EE	Ashok Argent-Katwala, Jeremy T. Bradley: Continuous PEPA queues: individual behaviour in continuous queueing networks. VALUETOOLS 2007: 54
23	EE	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	EE	Ashok Argent-Katwala, Jeremy T. Bradley: Functional Performance Specification with Stochastic Probes. EPEW 2006: 31-46
21	EE	Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas: Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS 2006
20	EE	Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt: Performance Trees: A New Approach to Quantitative Performance Specification. MASCOTS 2006: 303-313
19	EE	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	EE	Jeremy T. Bradley, Thomas Thorne: Stochastic Process Algebra Models of a Circadian Clock. Simulation and Verification of Dynamic Systems 2006
17	EE	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	EE	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	EE	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	EE	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	EE	Jeremy T. Bradley, William J. Knottenbelt: Preface. Electr. Notes Theor. Comput. Sci. 128(4): 1-2 (2005)
12	EE	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	EE	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	EE	Jeremy T. Bradley, William J. Knottenbelt: The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. QEST 2004: 334-335
9	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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]
2	Grégory Batt	[19]
3	Allan Clark	[25]
4	N. J. Davies	[2]
5	Nicholas J. Dingle	[6] [7] [9] [15]
6	Roland Ewald	[19]
7	François Fages	[19]
8	Tony Field (A. J. Field)	[4] [5]
9	Stephen Gilmore (Stephen T. Gilmore)	[6] [11] [16] [21] [25] [29]
10	Uli Harder	[4] [5] [17]
11	Peter G. Harrison	[4] [5] [7] [15]
12	Richard Hayden	[30]
13	Holger Hermanns	[19]
14	Jane Hillston	[19] [29]
15	Douglas V. de Jager	[14] [26]
16	Matt W. Johnson	[17]
17	Peter Kemper	[19]
18	William J. Knottenbelt	[6] [7] [8] [10] [13] [14] [15] [17] [20] [27] [28] [30] [32]
19	Alke Martens	[19]
20	Pieter J. Mosterman	[19]
21	Flemming Nielson	[19]
22	Oleg Sokolsky	[19]
23	Tamas Suto	[20] [28] [30]
24	Nigel Thomas	[1] [8] [11] [21] [32]
25	Thomas Thorne	[18]
26	Aleksandar Trifunovic	[14]
27	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[19]
28	Helen J. Wilson	[12]

Colors in the list of coauthors