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

• W.J. Knottenbelt, S. Zertal and P.G. Harrison. Performance Analysis of Three Implementation Strategies for Distributed Lock Management (PostScript format). IEE Proceedings E - Computers and Digital Techniques, Volume 148, Number 4/5, July/September 2001, pp. 176-186

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 

• W.J. Knottenbelt and P.G. Harrison. Distributed Disk-based Solution Techniques for Large Markov Models (PostScript format). Proc. 3rd International Workshop on the Numerical Solution of Markov Chains (NSMC '99), Zaragoza, Spain, September 1999, pp. 58-75.

1998

• W.J. Knottenbelt, M.A. Mestern, P.G. Harrison and P.S. Kritzinger. Probability, Parallelism and the State Space Exploration Problem (PDF format). Lecture Notes in Computer Science 1469: Proc. 10th International Conference on Modelling, Techniques and Tools (TOOLS '98), Palma de Mallorca, September 1998, pp. 165-179. (Also available in PostScript format).

1996

• W.J. Knottenbelt. Generalised Markovian Analysis of Timed Transitions Systems (PostScript format). MSc Thesis, University of Cape Town, South Africa, July 1996.

PhD theses supervised

2010

• A.S. Lebrecht. Queueing network models of Zoned RAID system performance (PDF format). PhD Thesis, Imperial College London, London, UK, January 2010.

2009

• T. Suto. Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis (PDF format). PhD Thesis, Imperial College London, London, UK, January 2009.

2008

• S.W.M. Au-Yeung. Response Times in Healthcare Systems (PDF format). PhD Thesis, Imperial College London, London, UK, January 2008.

2006

• A. Trifunovic. Parallel Algorithms for Hypergraph Partitioning (PDF format). PhD Thesis, Imperial College of Science, Technology and Medicine, London, UK, February 2006.

2004

• N.J. Dingle. Parallel Computation of Response Time Quantiles in Large Markov and Semi-Markov Models (PDF format). PhD Thesis, Imperial College of Science, Technology and Medicine, London, UK, 2004.

Last Updated: September 2009.