AESOP : People / Dr William Knottenbelt

Reader

DoC Home page

Office

Room 371 Huxley

Telephone

Within College 48331

In the UK 020 7594 8331

International +44 20 7594 8331

Current projects

AMPS: Analysis of Massively Parallel Stochastic Systems
iPODS: Intelligent Performance Optimisation of Virtualised Data Storage Systems

Research students

65 Publications

Book Chapters

Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis: William J. Knottenbelt, Nicholas J. Dingle, Tamas Suto; Parallel, Distributed and Grid Computing for Engineering; March, 2009
Tackling Large State Spaces in Performance Modelling: William J. Knottenbelt, Jeremy T. Bradley; Formal Methods for Performance Evaluation; May, 2007
Response Time Densities and Quantiles in Large Markov and Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, Peter G. Harrison, William J. Knottenbelt; Performance Evaluation of Parallel, Distributed and Emergent Systems; 2006

Journal Articles

Predicting patient arrivals to an accident and emergency department: Susanna Wau Men Au-Yeung, Uli Harder, Emma McCoy, William J. Knottenbelt; Emergency Medicine Journal; March, 2009
Efficient computation of passage time densities and distributions in Markov chains using Laguerre method: Harini Kulatunga, William J. Knottenbelt; Electronics Letters; June, 2008
Distributed Computation of Transient State Distributions and Passage Time Quantiles in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; Future Generation Computer Systems; July, 2006
Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model: Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt; IEE Proceedings - Software; August, 2004
Uniformization and Hypergraph Partitioning for the Distributed Computation of Response Time Densities in Very Large Markov Models: Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; Journal of Parallel and Distributed Computing; July, 2004
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen J. Wilson; Linear Algebra and Its Applications; June, 2004
Performance analysis of three implementation strategies for distributed lock management: William J. Knottenbelt, Soraya Zertal, Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; August, 2001
A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces: William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter Kritzinger; Performance Evaluation; February, 2000

Journal Special Issue Article

PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets: Nicholas J. Dingle, William J. Knottenbelt, Tamas Suto; Special Issue on Tools for Computer Performance Modelling and Reliability Analysis; March, 2009

Electronic Journal Article

Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens: Nicholas J. Dingle, William J. Knottenbelt; March, 2009

Conference and Workshop Papers

Data Placement And Migration Strategies For Virtualised Data Storage Systems: Henry Bond, Nicholas J. Dingle, Felipe Franciosi, Peter G. Harrison, William J. Knottenbelt; 23rd Annual European Simulation and Modelling Conference (ESM 2009); September, 2009
Using Bulk Arrivals to Model I/O Request Response Time Distributions in Zoned Disks and RAID Systems: Abigail Lebrecht, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, Soraya Zertal; 4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009); September, 2009
A Performance Model of Zoned Disk Drives with I/O Request Reordering: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; 6th International Conference on Quantitative Evaluation of Systems (QEST 2009); August, 2009
Modelling Zoned RAID Systems using Fork-Join Queueing Simulation: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; 6th European Performance Engineering Workshop (EPEW 2009); June, 2009
Aggregation strategies for large semi-Markov processes: Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt; 3rd International Symposium on Semi-Markov Models: Theory and Applications; May, 2009
Towards The Automated Inference Of Queueing Network Models From High-Precision Location Tracking Data: Nicholas J. Dingle, Adam Jackson, William J. Knottenbelt; 23rd European Conference on Modelling and Simulation (ECMS 2009); May, 2009
Service Level Agreement Specification, Compliance Prediction And Monitoring With Performance Trees: Nicholas J. Dingle, William J. Knottenbelt, Lei Wang; 22nd Annual European Simulation and Modelling Conference (ESM'08); September, 2008
Simulation And Modelling Of RAID 0 System Performance: Francis Wan, Nicholas J. Dingle, William J. Knottenbelt, Abigail Lebrecht; 22nd Annual European Simulation and Modelling Conference (ESM'08); September, 2008
A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation: Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto; QEST'08, 5th International Conference on the Quantitative Evaluation of Systems; August, 2008
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens: Nicholas J. Dingle, William J. Knottenbelt; Third International Workshop on Practical Applications of Stochastic Modelling (PASM'08), Palma de Mallorca, Spain; August, 2008
Modelling and Validation of Response Times in Zoned RAID: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS); August, 2008
Natural Language Specification of Performance Trees: Lei Wang, Nicholas J. Dingle, William J. Knottenbelt; 5th European Performance Engineering Workshop (EPEW 2008); August, 2008
Distributed Response Time Analysis of GSPN Models with MapReduce: Oliver J. Haggarty, William J. Knottenbelt, Jeremy T. Bradley; SPECTS'08, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Edinburgh, 16-18 June 2008; 2008
A Response Time Distribution Model for Zoned RAID: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; The 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '08); May, 2008
Extracting Response Times from Fluid Analysis of Performance Models: Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto; SIPEW'08, SPEC International Performance Evaluation Workshop, Darmstadt, 27-28 June 2008; May, 2008
Performance Trees: Implementation And Distributed Evaluation: Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto; PDMC'08, 7th International Workshop on Parallel and Distributed Methods in Verification; March, 2008
Cluster Grid based Response-time Analysis Module for the PIPE Tool: Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt; QEST 2007, 4th International Conference on the Quantitative Evaluation of Systems; August, 2007
Performance Trees: Expressiveness And Quantitative Semantics: Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt; QEST'07, 4th International Conference on the Quantitative Evaluation of Systems; August, 2007
A Queueing Network Model of Patient Flow in an Accident and Emergency Department: Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt; 20th Annual European and Simulation Modelling Conference; September, 2006
Performance Trees: A New Approach To Quantitative Performance Specification: Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt; MASCOTS'06, 14th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems; August, 2006
Observing Internet Worm and Virus Attacks with a Small Network Telescope: Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt; PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling; May, 2006
Hypergraph Partitioning for Faster Parallel PageRank Computation: Jeremy T. Bradley, Douglas de Jager, William J. Knottenbelt, Aleksandar Trifunovic; EPEW'05, Proceedings of the 2nd European Performance Evaluation Workshop; August, 2005
Parkway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool: Aleksandar Trifunovic, William J. Knottenbelt; 19th International Symposium on Computer and Information Sciences (ISCIS 2004); September, 2004
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models: Jeremy T. Bradley, William J. Knottenbelt; QEST'04, 1st IEEE International Conference on the Quantitative Evaluation of Systems; August, 2004
A Parallel Algorithm for Multilevel k-way Hypergraph Partitioning: Aleksandar Trifunovic, William J. Knottenbelt; ISPDC 2004, 3rd International Symposium on Parallel and Distributed Computing; June, 2004
Towards a Parallel Disk-Based Algorithm for Multilevel k-way Hypergraph Partitioning: Aleksandar Trifunovic, William J. Knottenbelt; 5th Workshop on Parallel and Distributed Scientific and Engineering Computing; 2004
Efficient Approximation of Response Time Densities and Quantiles in Stochastic Models: Susanna Wau Men Au-Yeung, Nicholas J. Dingle, William J. Knottenbelt; 4th ACM Workshop on Software and Performance (WOSP 2004), Redwood City, California, USA, January 2004, pp. 151-155.; January, 2004
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler: Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt; MASCOTS'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems; September, 2003
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen J. Wilson; NSMC 2003, 4th International Workshop on Numerical Solution of Markov Chains; August, 2003
Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic: Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; PNPM 2003, 10th International Workshop on Petri Nets and Performance Models, Urbana IL, USA; August, 2003
Exact Aggregation Strategies for Semi-Markov Performance Models: Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt; SPECTS 2003, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Montreal, Canada, July 20-24 2003; June, 2003
HYDRA: HYpergraph-based Distributed Response-time Analyser: Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003); May, 2003
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; PMEO-PDS 2003, International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems; March, 2003
Response Time Densities in Generalised Stochastic Petri Net Models.: Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; 3rd International Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 24-26 2002; June, 2002
Passage Time Distributions in Large Markov Chains: Peter G. Harrison, William J. Knottenbelt; SIGMETRICS'02, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems; May, 2002
Distributed Disk-based Solution Techniques for Large Markov Models: William J. Knottenbelt, Peter G. Harrison; NSMC'99, 3rd International Workshop on the Numerical Solution of Markov Chains; August, 1999
Probability, Parallelism and the State Space Exploration Problem: William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter Kritzinger; TOOLS'98, 10th International Conference on Modelling, Techniques and Tools; August, 1998

Proceedings Edited

Proceedings of PASM 2008, 3rd International Workshop on the Practical Application of Stochastic Modelling: March, 2009
Proceedings of PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling: PASM 2004, Practical Applications of Stochastic Modelling; March, 2005
Practical Applications of Stochastic Modelling 2004: PASM 2004, Practical Applications of Stochastic Modelling, Imperial College London; August, 2004

National Workshop Papers

Truncation of Passage-time Calculations in Semi-Markov Models: Marcel C. Guenther, Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt; UKPEW'09, 25th UK Performance Engineering Workshop; June, 2009
Extracting Fluid Response times from PEPA models: Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto; PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities; June, 2008
State-Space Size Estimation By Least-Squares Fitting: Nicholas J. Dingle, William J. Knottenbelt; 24th UK Performance Engineering Workshop (UKPEW 2008); June, 2008
Validation of Large Zoned RAID Systems: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; 24th UK Performance Engineering Workshop (UKPEW 2008); June, 2008
PIPE v2.5: A Petri Net Tool for Performance Modelling: Pere Bonet, Catalina Lladó, Ramon Puigjaner, William J. Knottenbelt; 23rd Latin American Conference on Informatics (CLEI 2007); September, 2007
Response Time Approximations in Fork-Join Queues: Abigail Lebrecht, William J. Knottenbelt; 23rd Annual UK Performance Engineering Workshop (UKPEW); June, 2007
Observing Internet Worm and Virus Attacks with a Small Network Telescope: Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt; PASM 2005, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling; June, 2005
Semi-blind scheduling in a finite capacity system: Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt; UKPEW'04, 20th Annual UK Performance Evaluation Workshop; June, 2004
Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study: Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt; UKPEW 2003, 19th UK Performance Engineering Workshop; June, 2003
Distributed Solution of Large Markov Models Using Asynchronous Iterations and Graph Partitioning: Nicholas J. Dingle, William J. Knottenbelt; 18th UK Performance Engineering Workshop (UKPEW 2002), Glasgow July 10-11, 2002; June, 2002

PhD Thesis

Parallel Performance Analysis of Large Markov Models: William J. Knottenbelt; Department of Computing, Imperial College of Science, Technology and Medicine. University of London.; December, 1999

Master's Thesis

Generalised Markovian Analysis of Timed Transition Systems: William J. Knottenbelt; Department of Computer Science, University of Cape Town; May, 1996

Information from pubs.doc.ic.ac.uk/authors/wjk.