Issue Date	Title	Author(s)
1-May-1986	Performance modelling of parallel computer architectures	Harrison, P; Field, T
1-Jan-2003	Performance queries on Semi-Markov Stochastic Petri nets with an extended continuous Stochastic logic	Bradley, JT; Dingle, NJ; Harrison, PG; Knottenbelt, WJ
31-Mar-2008	Performance Trees: Implementation And Distributed Evaluation	Suto, T; Knottenbelt, W; Dingle, N; Kulatunga, H; Brien, D
31-Mar-2009	PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets	Dingle, N; Knottenbelt, W; Suto, T
31-Mar-2009	Preface: Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling (PASM 2008)	Thomas, N; Bradley, J; Knottenbelt, W
29-Feb-2000	A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces	Knottenbelt, W; Harrison, P; Mestern, M; Kritzinger, P
Jun-2006	Process algebraic non-product-forms	Harrison, P
30-Sep-2006	Quantiles of Sojourn Times	Knottenbelt, W; Harrison, P
31-Jul-2007	Response Time Approximations in Fork-Join Queues	Lebrecht, A; Knottenbelt, W
31-Dec-2006	Response Time Densities and Quantiles in Large Markov and Semi-Markov Models	Bradley, J; Dingle, N; Harder, U; Harrison, P; Knottenbelt, W
31-Jul-2002	Response Time Densities in Generalised Stochastic Petri Net Models.	Dingle, N; Harrison, P; Knottenbelt, W
Nov-2005	Separable equilibrium state probabilities via time reversal in Markovian process algebra	Harrison, P; Lee, T
1-Jan-2008	SERVICE LEVEL AGREEMENT SPECIFICATION, COMPLIANCE PREDICTION AND MONITORING WITH PERFORMANCE TREES	Dingle, NJ; Knottenbelt, WJ; Wang, L; Bertelle C, Ayesh A
1-Jan-2006	Service-enabling legacy applications for the GENIE project	Panagiotidi, S; Cohen, J; Darlington, J; Krznaric, M; Katsiri, E, et al
1-Jan-2009	Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems	Hayden, R; Bradley, JT; Bradley JT, Conrad JM, Field AJ, Harder U, Knottenbelt WJ, Riley GF
1-Jan-2008	SIMULATION AND MODELLING OF RAID 0 SYSTEM PERFORMANCE	Wan, F; Dingle, NJ; Knottenbelt, WJ; Lebrecht, AS; Bertelle C, Ayesh A
31-Aug-2009	Spatial extension of stochastic Pi calculus	Stefanek, A; Vigliotti, M; Bradley, J
31-Jul-2008	State-Space Size Estimation By Least-Squares Fitting	Knottenbelt, W; Dingle, N
1-Oct-2004	Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model	Thomas, N; Bradley, JT; Knottenbelt, WJ
1-May-1997	Stochastic model of a cache-coherency overhead in SCI rings	Field, AJ; Harrison, PG