Selected Publications
2011
-
W.J. Knottenbelt, A.S. Lebrecht and N.J. Dingle. Performance Models of
Zoned Disk Arrays. Volume L:
Trends in Parallel, Distributed, Grid and Cloud Computing for Engineering
(Edited by P. Ivanyi and B.H.V. Topping), Chapter 5, Saxe-Coburg
Publications, April 2011, pp. 105-134.
-
F. Franciosi, W.J. Knottenbelt.
Data Allocation Strategies for the Management of
Quality of Service in Virtualised Storage Systems.
Proc. 27th IEEE Conference on Mass Storage Systems and Technologies
(MSST 2011), Denver Colorado, May
2011 (to appear).
-
N. Anastasiou, T.-C. Horng, W.J. Knottenbelt.
Deriving Generalised Stochastic
Petri Net Performance Models from High-Precision Location Tracking
Data (PDF format).
Proc. 5th International Conference on Performance Evaluation
Methodologies and Tools (VALUETOOLS 2011), Paris, France, May
2011.
-
M.C. Guenther, N.J. Dingle, J.T. Bradley, W.J. Knottenbelt.
Passage-time Computation and Aggregation Strategies for Large
Semi-Markov Processes.
Performance Evaluation Journal, Volume 68, Issue
3, pp. 211-236, March 2011.
2010
-
A. Mason, N.J. Dingle, W.J. Knottenbelt, D. Bell, W. Buchanan and
C. Thuemmler.
Modelling Infection Spread Using Location Tracking.
International Journal of Healthcare Technology and Management
. Volume 11, Issue 6, pp. 442-461, 2010, DOI:
10.1504/IJHTM.2010.036925
(See also sample press release).
-
A.S. Lebrecht, N.J. Dingle and W.J. Knottenbelt.
Analytical and Simulation Modelling of Zoned RAID Systems.
The Computer Journal, 2010, DOI: 10.1093/comjnl/bxq053.
2009
-
A.S. Lebrecht, N.J. Dingle and W.J. Knottenbelt
Modelling Zoned RAID Systems using Fork-Join Queueing Networks
(PDF Format).
Lecture Notes in Computer Science 5662: Proc. 6th European
Performance Engineering Workshop (EPEW 2009), London, UK, September 2009, pp. 16-29.
- A.S. Lebrecht, N.J. Dingle, P.G. Harrison, W.J. Knottenbelt and
S. Zertal.
Using Bulk Arrivals to Model I/O Request Response Time Distributions
in Zoned Disks and RAID Systems
(PDF format).
Proc. 4th International Conference on Performance Evaluation
Methodologies and Tools (VALUETOOLS 2009), Pisa, Italy, October
2009.
-
A.S. Lebrecht, N.J. Dingle and W.J. Knottenbelt.
A Performance Model of Zoned Disk Drives with I/O Request Reordering (PDF Format).
Proc. 6th International Conference on Quantitative
Evaluation of Systems (QEST 2009), Budapest, Hungary, September
2009, pp. 97-106.
-
H.A. Bond, N.J. Dingle, F. Franciosi, P.G. Harrison and W.J. Knottenbelt.
Data Placement and Migration Strategies for Virtualised Data Storage Systems
(PDF Format).
Proc. 23rd Annual European Simulation and Modelling Conference (ESM
2009),
Leicester, UK, October 2009.
- T.-C. Horng, N.J. Dingle, A. Jackson and
W.J. Knottenbelt.
Towards the Automated Inference of Queueing Network
Models from High-Precision Location Tracking Data (PDF Format). Proc. 23rd
European Conference on Modelling and Simulation, Madrid,
Spain, June 2009, pp. 664-674.
-
M.C. Guenther, N.J. Dingle, J.T. Bradley and W.J. Knottenbelt.
Passage-time Computation and Aggregation Strategies for Large
Semi-Markov Processes (PDF Format).
Proc. 3rd International Symposium on Semi-Markov Models: Theory and Applications,
Cagliari, Italy, June 2009.
-
M.C. Guenther, N.J. Dingle, J.T. Bradley and W.J. Knottenbelt.
Truncation of Passage Time Calculations in Semi-Markov Models (PDF Format).
Proc. 25th UK Performance Engineering Workshop (UKPEW 2009),
Leeds, UK, July 2009.
-
F. Franciosi and W.J. Knottenbelt.
Towards a QoS-aware Virtualised File System (PDF Format).
Proc. 25th UK Performance Engineering Workshop (UKPEW 2009),
Leeds, UK, July 2009.
- O.J. Haggarty, W.J. Knottenbelt and
J.T. Bradley.
Distributed Response Time Analysis of GSPN Models with MapReduce
(PDF Format).
SIMULATION, Volume 85,
Issue 8, August 2009, pp. 497-509.
- S.W.M. Au-Yeung, U. Harder, E.J. McCoy and
W.J. Knottenbelt. Predicting Patient Arrivals in an Accident and
Emergency Department. Emergency Medicine Journal, Volume 26,
Number 4, April 2009, pp. 241-244.
-
N.J. Dingle, W.J. Knottenbelt and T. Suto.
PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets
(PDF Format).
Performance Evaluation Review (Special
issue on tools for computer performance modelling and reliability
analysis), Vol. 36(4), March 2009, pp. 34-39.
-
W.J. Knottenbelt, N.J. Dingle and T. Suto. Parallel and
Distributed Evaluation of Performance Tree Queries. Volume L:
Parallel, Distributed and Grid Computing for Engineering
(Edited by B.H.V. Topping and P. Ivanyi), Chapter 9, Saxe-Coburg
Publications, April 2009, pp. 165-198.
2008
- A. Trifunovic and W.J. Knottenbelt.
Parallel Multilevel Algorithms for Hypergraph Partitioning (PDF Format).
Journal of Parallel and Distributed Computing, Vol. 68(5), May
2008, pp. 563-581.
- H. Kulatunga and W.J. Knottenbelt.
Efficient Computation of
Passage Time Densities and Distributions in Markov Chains using the
Laguerre Method (PDF format). Electronics Letters, Vol. 44(15), July
2008, pp. 935-936.
- O. Haggarty, W.J. Knottenbelt and J.T. Bradley.
Distributed
Response Time Analysis of GSPN Models with MapReduce (PDF format).
Proc. International Symposium on Performance Evaluation of Computer
and Telecommunications Systems (SPECTS 2008), Edinburgh, UK, June
2008. Best paper award.
- A.S. Lebrecht, N.J. Dingle and W.J. Knottenbelt.
A Response Time
Distribution Model for Zoned RAID (PDF format).
Lecture Notes in Computer Science 5055: Proc. 15th International
Conference on Analytical and Stochastic Modelling Techniques and
Applications (ASMTA 2008), Nicosia, Cyprus, June 2008, pp. 144-157.
- A.S. Lebrecht, N.J. Dingle and W.J. Knottenbelt.
Modelling and Validation of Response Times in Zoned RAID (PDF format).
Proc. 16th IEEE International Symposium on Modeling, Analysis and
Simulation of Computer and Telecommunications Systems (MASCOTS 2008), Baltimore, Maryland, USA, September 2008.
-
A.S. Lebrecht, P.G. Harrison and W.J. Knottenbelt.
Towards a Performance Model for Virtualised Multi-tier Storage
Systems (PDF Format, Work-in-Progress Report).
6th USENIX Conference on File and Storage Technologies (FAST 2008),
San Jose, California, USA, February 2008.
-
F. Wan, N.J. Dingle, W.J. Knottenbelt and A.S. Lebrecht.
Simulation and Modelling of RAID 0 System Performance
(PDF Format).
Proc. 22nd Annual European Simulation and Modelling Conference (ESM
2008),
Le Havre, France, October 2008.
-
D.K. Brien, N.J. Dingle, W.J. Knottenbelt, H. Kulatunga and
T. Suto.
Performance Trees: Implementation and Distributed Evaluation
(PDF Format, Work-in-Progress Report). Proc. 7th International
Workshop on Parallel and Distributed Methods in Verification (PDMC
2008), Budapest, Hungary, March 2008.
-
D.K. Brien, N.J. Dingle, W.J. Knottenbelt, H. Kulatunga and
T. Suto.
A Parallel and Distributed Pipeline for Performance Tree
Evaluation (PDF Format).
Proc. 5th International Conference on Quantitative
Evaluation of Systems (QEST 2008), St Malo, France, September
2008, pp. 237-238.
-
N.J. Dingle and W.J. Knottenbelt.
Automated Customer-Centric Performance Analysis of Generalised
Stochastic Petri Nets using Tagged Tokens (PDF Format).
Proc. 3rd Workshop on Practical Applications of Stochastic
Modelling (PASM 2008), Palma de
Mallorca, Spain, September 2008.
-
L. Wang, N.J. Dingle and W.J. Knottenbelt.
Natural Language Specification of Performance Trees
(PDF Format).
Lecture Notes in Computer Science 5261: Proc. 5th European Performance Engineering Workshop (EPEW 2008), Palma de
Mallorca, Spain, September 2008, pp. 141-151.
-
N.J. Dingle, W.J. Knottenbelt and L. Wang.
Service Level Agreement Specification, Compliance Prediction and
Monitoring with Performance Trees (PDF Format).
Proc. 22nd Annual European Simulation and Modelling Conference (ESM
2008),
Le Havre, France, October 2008.
-
J.T. Bradley, R. Hayden, W.J. Knottenbelt and T. Suto.
Extracting Response Times from Fluid Analysis of Performance Models
(PDF Format).
Lecture Notes in Computer Science 5119: Proc. SPEC International Performance Workshop (SIPEW 2008),
Darmstadt, Germany, June 2008, pp. 29-43.
-
N.J. Dingle and W.J. Knottenbelt.
State-space Size Estimation by Least-squares Fitting (PDF Format).
Proc. 24th UK Performance Engineering Workshop (UKPEW 2008),
London, UK, July 2008, pp. 347-357.
-
A.S. Lebrecht, N.J. Dingle and W.J. Knottenbelt.
Validation of Large Zoned RAID Systems (PDF Format).
Proc. 24th UK Performance Engineering Workshop (UKPEW 2008),
London, UK, July 2008, pp. 246-261.
2007
- T. Suto, J.T. Bradley and W.J. Knottenbelt.
Performance Trees:
Expressiveness and Quantitative Semantics
(PDF format).
Proc. 4th International Conference on the Quantitative Evaluation
of Systems (QEST 2007), Edinburgh, UK, September 2007, pp. 41-50.
-
H. Kulatunga, A. Argent-Katwala and W.J. Knottenbelt.
Cluster Grid based Response Time Analysis Module for the PIPE Tool
(PDF format)
Proc. 4th International Conference on the Quantitative Evaluation
of Systems (QEST 2007), Edinburgh, UK, September 2007, pp. 51-52.
- S.W.M. Au-Yeung, P.G. Harrison and W.J. Knottenbelt.
Approximate
Queueing Network Analysis of Patient Treatment Times
(PDF format).
Proc. 2nd International Conference on Performance Evaluation
Methodologies and Tools (VALUETOOLS 2007), Nantes, France, October
2007.
-
W.J. Knottenbelt and J.T. Bradley.
Tackling Large State Spaces in
Performance Modelling
(PDF format).
Lecture Notes in Computer Science 4486: Formal Methods for
Performance Evaluation (SFM 2007), June 2007, pp. 318-370.
- P. Bonet, C.M. Llado, R. Puijaner and W.J. Knottenbelt.
PIPE v2.5: A Petri Net Tool for Performance Modelling
(PDF format). Proc. 23rd Latin American Conference on
Informatics (CLEI 2007), San Jose, Costa Rica, October 2007.
-
A.S. Lebrecht and W.J. Knottenbelt.
Response Time Approximations in Fork-Join Queues (PDF format).
Proc. 23rd Annual UK Performance Engineering Workshop (UKPEW 2007),
Ormskirk, UK, July 2007.
2006
-
P.G. Harrison and W.J. Knottenbelt.
Quantiles of Sojourn Times
(PDF format).
In Computer System
Performance Modelling in Perspective: A Tribute to the Work of
Professor Kenneth C. Sevcik (E. Gelenbe ed.), Chapter 10, Imperial College Press, 2006, pp. 156-194.
-
J.T. Bradley, N.J. Dingle, P.G. Harrison and W.J. Knottenbelt.
Distributed Computation of Transient State Distributions and Passage
Time Quantiles in Large Semi-Markov Models (PDF format). Future
Generation Computer Systems 22(7), August 2006, pp. 828-837.
-
J.T. Bradley, N.J. Dingle, U. Harder, P.G. Harrison and W.J. Knottenbelt.
Response Time Densities and Quantiles in Large Markov and Semi-Markov
Models (PDF format). In Performance Evaluation of Parallel,
Distributed and Emergent Systems: Volume 1 in Distributed, Cluster and
Grid Computing (M. Ould-Khaoua and G. Min Eds.), Chapter 1, Nova
Science, October 2006 (34 pages).
-
T. Suto, J.T. Bradley and W.J. Knottenbelt.
Performance Trees: A New Approach to Quantitative Performance Specification
(PDF format). In Proc. 14th IEEE/ACM
International Symposium on Modeling, Analysis and Simulation of
Computer and Telecommunication Systems (MASCOTS 2006), Monterey,
California, USA, September 2006, pp. 303-313.
-
S.W.M. Au-Yeung, P.G. Harrison and W.J. Knottenbelt.
A Queueing Network
Model of Patient Flow in an Accident and Emergency
Department (PDF format). Proc. 20th Annual European and Simulation Modelling
Conference, Toulouse, France, October 2006, pp. 60-67.
-
A. Trifunovic and W.J. Knottenbelt.
A General Graph Model for
Representing Exact Communication Volume in Parallel Sparse
Matrix-Vector Multiplication (PDF format). Proc. 21st International Symposium on
Computer and Information Sciences (ISCIS 2006), Istanbul, Turkey,
November 2006, pp. 813-824.
2005
-
J.T. Bradley, D.V. de Jager, W.J. Knottenbelt and A. Trifunovic.
Hypergraph
Partitioning for Faster PageRank Computation (PDF format).
Lecture Notes in Computer Science 3670:
Proc. European Performance Evaluation Workshop (EPEW 2005),
Versailles, France, September 2005, pp. 155-171.
-
U. Harder, M.W. Johnson, J.T. Bradley, W.J. Knottenbelt.
Observing Internet Worm and Virus Attacks with a Small Network
Telescope (Postscript format). Proc. 2nd Workshop on Practical Applications of
Stochastic Modelling (PASM 2005), Newcastle, UK, July 2005,
pp. 113-126.
2004
-
J.T. Bradley and W.J. Knottenbelt.
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models (Postscript format). Proc. 1st International Conference on the Quantitative Evaluation
of Systems (QEST 2004), Enschede, Netherlands, September 2004, pp. 334-335.
- J.T. Bradley, N.J. Dingle, W.J. Knottenbelt and H.J. Wilson.
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models
(PDF Format).
Journal of Linear Algebra and its Applications, Vol 386, July 2004, pp. 311-334.
- N.J. Dingle, P.G. Harrison and W.J. Knottenbelt. Uniformisation and Hypergraph Partitioning for the Distributed
Computation of Response Time Densities in Very Large Markov Models
(PDF Format).
Journal of Parallel and Distributed Computing, Vol. 64(8), August
2004, pp. 908-920.
-
N. Thomas, J.T. Bradley and W.J. Knottenbelt.
Stochastic Analysis of Scheduling Strategies in a Grid-based Resource
Model (PDF format). IEE Proceedings - Software, Vol. 151(5), October 2004,
pp. 232-239.
-
N. Thomas, J.T. Bradley and W.J. Knottenbelt.
Semi-blind Scheduling in a Finite Capacity System
(Postscript format). Proc. 20th UK Performance
Engineering Workshop (UKPEW 2004), Bradford, UK, July 2004, pp. 38-47.
-
S.W.M. Au-Yeung, N.J. Dingle and W.J. Knottenbelt.
Efficient
Approximation of Response Time Densities and Quantiles in Stochastic
Models (PDF format). Proc. 4th ACM Workshop on Software and
Performance (WOSP 2004), Redwood City, California, USA, January
2004, pp. 151-155. (Also available in
PostScript format).
-
A. Trifunovic and W.J. Knottenbelt.
Parkway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool. (PDF format)
Lecture Notes in Computer Science 3280: Proc. 19th International Symposium on Computer and Information Sciences
(ISCIS 2004), Antalya, Turkey, October 2004, pp. 789-800. (Also
available in
PostScript
format).
-
A. Trifunovic and W.J. Knottenbelt.
A Parallel Algorithm for k-way Multilevel Hypergraph Partitioning (PDF format). Proc. 3rd International Symposium on Parallel
and Distributed Computing (ISPDC 2004), Cork, Ireland,
July 2004, pp. 114-121.
-
A. Trifunovic and W.J. Knottenbelt.
Towards a Parallel Disk-based Algorithm for
Multilevel k-way Hypergraph Partitioning (PDF format). Proc. 5th Workshop
on Parallel and Distributed Scientific and Engineering Computing,
Santa Fe, New Mexico, USA, April 2004 (8 pages, IEEE CDROM Proceedings).
2003
-
J.T. Bradley, N.J. Dingle, P.G. Harrison and
W.J. Knottenbelt. Distributed Computation of Passage Time Quantiles
and Transient State Distributions in Large Semi-Markov
Models (PDF format). Proc. International Workshop on Performance Modeling,
Evaluation, and Optimization of Parallel and Distributed Systems
(PMEO-PDS 2003), Nice, France, April 2003 (8 pages, IEEE CDROM Proceedings) (Also available in PostScript
format).
-
N.J. Dingle, P.G. Harrison and W.J. Knottenbelt. HYDRA:
HYpergraph-based Distributed Response-time Analyser (PDF
format). Proc. International
Conference on Parallel and Distributed Processing Techniques and
Applications (PDPTA 2003), Las Vegas, Nevada, USA, June 2003, pp.
215-219.
-
J.T Bradley, N.J. Dingle, P.G. Harrison and
W.J. Knottenbelt. Exact
Aggregation Strategies for
Semi-Markov Performance Models (PDF Format). Proc. International
Symposium on Performance Evaluation of Computer and Telecommunication
Systems (SPECTS 2003),
Montreal, Canada, July 2003, pp. 755-762. (Also available in PostScript
format).
-
J.T. Bradley, N.J. Dingle, W.J. Knottenbelt and
H.J. Wilson. Hypergraph-based Parallel Computation of Passage Time
Densities in Large Semi-Markov Models (PDF format). Proc. 4th
International Meeting on the Numerical Solution of Markov Chains (NSMC
2003), Chicago, USA, September 2003, pp. 99-120. (Also available in PostScript
format).
-
J.T. Bradley, N.J. Dingle, P.G. Harrison and
W.J. Knottenbelt. Performance
Queries on Semi-Markov Stochastic Petri nets with an Extended
Continuous Stochastic Logic (PDF format). Proc. 10th IEEE Workshop on Petri nets and
Performance Models (PNPM 2003), Chicago, USA, September 2003, pp. 62-71.
-
J.T. Bradley, N.J. Dingle, S.T. Gilmore and
W.J. Knottenbelt. Extracting Passage Time Measures from PEPA models
with the HYDRA tool: A Case Study (PDF format). Proc. 19th UK Performance
Engineering Workshop (UKPEW 2003), Warwick, UK, July 2003, pp. 79-90.
-
J.T. Bradley, N.J. Dingle, S.T. Gilmore and
W.J. Knottenbelt. Derivation of Passage-time Densities in PEPA Models
using the Imperial PEPA Compiler (ipc) (PDF format). Proc. 11th IEEE/ACM
International Symposium on Modeling, Analysis and Simulation of
Computer and Telecommunication Systems (MASCOTS 2003), Orlando, USA,
October 2003, pp. 344-351.
2002
-
P.G. Harrison and W.J. Knottenbelt. Passage
Time Distributions in Large Markov Chains (PDF format).
Proc. ACM SIGMETRICS 2002, Marina Del Rey, California, USA,
June 2002, pp. 77-85. (Also available in PostScript
format).
-
N.J. Dingle, P.G. Harrison and W.J. Knottenbelt. Response
time Densities in Generalised Stochastic Petri net Models
(PDF format).
Proc. 3rd ACM Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 2002, pp.
46-54.(Also available in PostScript
format).
- I. Davies, W.J. Knottenbelt and P.S. Kritzinger. Symbolic
Methods for the State Space Exploration of GSPN Models (PDF format).
Lecture notes in Computer Science 2324: Proc. 12th International
Conference on Modelling Techniques and Tools (TOOLS 2002),
London, UK, April 2002, pp. 188-199. (Also available in PostScript
format).
- J.T. Bradley, W.J. Knottenbelt, P.G. Harrison and C.J. Vowden. Transient and Passage-Time Distributions in Semi-Markov Processes (PostScript format).
Proc. 18th UK Performance Engineering Workshop (UKPEW 2002), Glasgow, UK, July 2002, pp. 153-162.
- N.J. Dingle and W.J. Knottenbelt. Distributed Solution of Large Markov Models using Asynchronous Iterations and Graph Partitioning (PostScript format).
Proc. 18th UK Performance Engineering Workshop (UKPEW 2002), Glasgow, UK, July 2002, pp. 27-34.
2001
2000
- W.J. Knottenbelt. Performance
Analysis of Large Markov Models (PDF format). PhD Thesis,
Imperial College of Science, Technology and Medicine, London, UK,
February 2000. (Also available in gzipped
PostScript format).
- W.J. Knottenbelt, P.G. Harrison, M.A. Mestern and P.S. Kritzinger. A Probabilistic Dynamic Technique for the Distributed Generation of
Very Large State Spaces (PostScript format). Performance Evaluation Journal, Volume 39, Issue 1-4, February 2000, pp. 127-148.
1999
1998
1996
PhD theses supervised
2010
2009
2008
2006
2004
Last Updated: September 2009.