AESOP home

People

Prof. William Knottenbelt

Professor
Postal Address
Prof. William Knottenbelt
Department of Computing
Huxley Building
Imperial College London
180 Queen's Gate
London
SW7 2RH
DoC Home page
Office
Room 371 Huxley
Telephone
Within College 48331
In the UK 020 7594 8331
International +44 20 7594 8331
Research students

90 Publications

Book Chapters
Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis [PDF] [Postscript]
William J. Knottenbelt, Nicholas J. Dingle, Tamas Suto
Parallel, Distributed and Grid Computing for Engineering
April, 2009
Tackling Large State Spaces in Performance Modelling [PDF] [GZipped Postscript]
William J. Knottenbelt, Jeremy T. Bradley
Formal Methods for Performance Evaluation
June, 2007
Response Time Densities and Quantiles in Large Markov and Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, Peter G. Harrison, William J. Knottenbelt
Performance Evaluation of Parallel, Distributed and Emergent Systems
2006
Quantiles of Sojourn Times [PDF] [GZipped Postscript]
Peter G. Harrison, William J. Knottenbelt
Computer System Performance Modeling in Perspective: A Tribute to the Work of Prof Kenneth C Sevcik
September, 2006
Journal Articles
Product-forms in batch networks: approximation and asymptotics [PDF]
Peter G. Harrison, Richard Hayden, William J. Knottenbelt
Performance Evaluation
2013
Database System Performance Evaluation Models: A Survey
Rasha Osman, William J. Knottenbelt
Performance Evaluation
2012
Predicting the outcomes of tennis matches using a low-level point model
Demetris Spanias, William J. Knottenbelt
IMA Journal of Management Mathematics
2012
A common-opponent stochastic model for predicting the outcome of professional tennis matches
William J. Knottenbelt, Demetris Spanias, Agnieszka M. Madurska
Computers & Mathematics with Applications. An InternationalJournal
2012
Comparative Evaluation of Independent Private Values Distributions on Internet Auction Performance
Timothy Leung, William J. Knottenbelt
International Journal of E-Entrepreneurship and Innovation
January, 2012
Analytical and Simulation Modelling of Zoned RAID Systems
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
The Computer Journal
May, 2011
Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes [PDF]
Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt
Performance Evaluation
March, 2011
Consumer-to-Consumer Internet Auction Models
Timothy Leung, William J. Knottenbelt
International Journal of Online Marketing
2011
Modelling infection spread using location tracking [PDF]
Andrew Mason, Nicholas J. Dingle, William J. Knottenbelt, Derek Bell, William Buchanan, Christoph Thuemmler
International Journal of Healthcare Technology and Management
2010
Predicting patient arrivals to an accident and emergency department
Susanna Wau Men Au-Yeung, Uli Harder, Emma McCoy, William J. Knottenbelt
Emergency Medicine Journal
April, 2009
Efficient computation of passage time densities and distributions in Markov chains using Laguerre method
Harini Kulatunga, William J. Knottenbelt
Electronics Letters
July, 2008
Distributed Computation of Transient State Distributions and Passage Time Quantiles in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Future Generation Computer Systems
August, 2006
Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model [PDF] [Postscript]
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
IEE Proceedings - Software
October, 2004
Uniformization and Hypergraph Partitioning for the Distributed Computation of Response Time Densities in Very Large Markov Models [PDF]
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Journal of Parallel and Distributed Computing
August, 2004
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen J. Wilson
Linear Algebra and Its Applications
July, 2004
Performance analysis of three implementation strategies for distributed lock management [PDF] [GZipped Postscript]
William J. Knottenbelt, Soraya Zertal, Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
September, 2001
A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces [PDF] [GZipped Postscript]
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 [PDF] [Postscript]
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 [PDF]
Nicholas J. Dingle, William J. Knottenbelt
March, 2009
Conference and Workshop Papers
Product-forms in batch networks: approximation and asymptotics [PDF]
Peter G. Harrison, Richard Hayden, William J. Knottenbelt
31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
2013
Controlling Variability in Split-Merge Systems
Iryna Tsimashenka, William J. Knottenbelt, Peter G. Harrison
Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2012)
June, 2012
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data
Nikolas Anastasiou, William J. Knottenbelt, Andrea Marin
8th European Performance Engineering Workshop (EPEW 2011)
October, 2011
The Effect of Private Valuation on E-Auction Revenues
Timothy Leung, William J. Knottenbelt
Digital Enterprise and Information Systems (DEIS 2011)
July, 2011
Data Allocation Strategies for the Management of Quality of Service in Virtualised Storage Systems
Felipe Franciosi, William J. Knottenbelt
IEEE Conference on Mass Storage Systems and Technologies (MSST 2011)
May, 2011
Deriving Generalised Stochastic Petri Net performance models from high-precision location tracking data [PDF]
Nikolas Anastasiou, Tzu-Ching Horng, William J. Knottenbelt
Fifth International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2011)
May, 2011
LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks
Tzu-Ching Horng, Nikolas Anastasiou, A. J. Field, William J. Knottenbelt
Electronic Notes in Theoretical Computer Science
March, 2011
Stochastic Modelling and Optimisation of Internet Auction Processes
Timothy Leung, William J. Knottenbelt
Fifth International Workshop on the Practical Application of Stochastic Modelling (PASM)
March, 2011
Global B2C and C2C Online Auction Models [PDF]
Timothy Leung, William J. Knottenbelt
Annual Conference on Innovations in Business & Management
January, 2011
GPU-Enabled Steady-State Solution of Large Markov Models [PDF]
Bruno R. C. Magalhaes Magalhaes, Nicholas J. Dingle, William J. Knottenbelt
6th International Workshop on the Numerical Solution of Markov Chains (NSMC'10)
September, 2010
Data Placement And Migration Strategies For Virtualised Data Storage Systems [PDF]
Henry Bond, Nicholas J. Dingle, Felipe Franciosi, Peter G. Harrison, William J. Knottenbelt
23rd Annual European Simulation and Modelling Conference (ESM 2009)
October, 2009
Using Bulk Arrivals to Model I/O Request Response Time Distributions in Zoned Disks and RAID Systems [PDF]
Abigail Lebrecht, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, Soraya Zertal
4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009)
October, 2009
A Performance Model of Zoned Disk Drives with I/O Request Reordering [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
6th International Conference on Quantitative Evaluation of Systems (QEST 2009)
September, 2009
Modelling Zoned RAID Systems using Fork-Join Queueing Simulation [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
6th European Performance Engineering Workshop (EPEW 2009)
July, 2009
Aggregation strategies for large semi-Markov processes [PDF] [Postscript]
Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt
3rd International Symposium on Semi-Markov Models: Theory and Applications
June, 2009
Towards The Automated Inference Of Queueing Network Models From High-Precision Location Tracking Data [PDF]
Nicholas J. Dingle, Adam Jackson, William J. Knottenbelt
23rd European Conference on Modelling and Simulation (ECMS 2009)
June, 2009
Towards a QoS-aware Virtualised Storage System [PDF]
Felipe Franciosi, William J. Knottenbelt
UKPEW 2009
April, 2009
Service Level Agreement Specification, Compliance Prediction And Monitoring With Performance Trees [PDF]
Nicholas J. Dingle, William J. Knottenbelt, Lei Wang
22nd Annual European Simulation and Modelling Conference (ESM'08)
October, 2008
Simulation And Modelling Of RAID 0 System Performance [PDF]
Francis Wan, Nicholas J. Dingle, William J. Knottenbelt, Abigail Lebrecht
22nd Annual European Simulation and Modelling Conference (ESM'08)
October, 2008
A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation [PDF]
Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto
QEST'08, 5th International Conference on the Quantitative Evaluation of Systems
September, 2008
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens [PDF]
Nicholas J. Dingle, William J. Knottenbelt
Third International Workshop on Practical Applications of Stochastic Modelling (PASM'08), Palma de Mallorca, Spain
September, 2008
Modelling and Validation of Response Times in Zoned RAID [PDF]
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)
September, 2008
Natural Language Specification of Performance Trees [PDF]
Lei Wang, Nicholas J. Dingle, William J. Knottenbelt
5th European Performance Engineering Workshop (EPEW 2008)
September, 2008
Distributed Response Time Analysis of GSPN Models with MapReduce [PDF] [GZipped Postscript]
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 [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
The 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '08)
June, 2008
Extracting Response Times from Fluid Analysis of Performance Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
SIPEW'08, SPEC International Performance Evaluation Workshop, Darmstadt, 27-28 June 2008
June, 2008
Performance Trees: Implementation And Distributed Evaluation [PDF]
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
Approximate Queueing Network Analysis of Patient Treatment Times [PDF]
Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt
2nd International Conference on Performance Evaluation Methodologies and Tools
October, 2007
Cluster Grid based Response-time Analysis Module for the PIPE Tool [PDF]
Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt
QEST 2007, 4th International Conference on the Quantitative Evaluation of Systems
September, 2007
Performance Trees: Expressiveness And Quantitative Semantics [PDF] [GZipped Postscript]
Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
QEST'07, 4th International Conference on the Quantitative Evaluation of Systems
September, 2007
A Queueing Network Model of Patient Flow in an Accident and Emergency Department [PDF]
Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt
20th Annual European and Simulation Modelling Conference
October, 2006
Performance Trees: A New Approach To Quantitative Performance Specification [PDF] [GZipped Postscript]
Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
MASCOTS'06, 14th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
September, 2006
Observing Internet Worm and Virus Attacks with a Small Network Telescope [PDF] [GZipped Postscript]
Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt
PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
June, 2006
Hypergraph Partitioning for Faster Parallel PageRank Computation [PDF] [GZipped Postscript]
Jeremy T. Bradley, Douglas de Jager, William J. Knottenbelt, Aleksandar Trifunovic
EPEW'05, Proceedings of the 2nd European Performance Evaluation Workshop
September, 2005
Parkway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool [PDF]
Aleksandar Trifunovic, William J. Knottenbelt
19th International Symposium on Computer and Information Sciences (ISCIS 2004)
October, 2004
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, William J. Knottenbelt
QEST'04, 1st IEEE International Conference on the Quantitative Evaluation of Systems
September, 2004
A Parallel Algorithm for Multilevel k-way Hypergraph Partitioning [PDF] [Postscript]
Aleksandar Trifunovic, William J. Knottenbelt
ISPDC 2004, 3rd International Symposium on Parallel and Distributed Computing
July, 2004
Towards a Parallel Disk-Based Algorithm for Multilevel k-way Hypergraph Partitioning [PDF] [Postscript]
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 [PDF] [Postscript]
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 [PDF] [GZipped Postscript]
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
October, 2003
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen J. Wilson
NSMC 2003, 4th International Workshop on Numerical Solution of Markov Chains
September, 2003
Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic [PDF] [GZipped Postscript]
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
September, 2003
Exact Aggregation Strategies for Semi-Markov Performance Models [PDF] [GZipped Postscript]
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
July, 2003
HYDRA: HYpergraph-based Distributed Response-time Analyser [PDF]
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003)
June, 2003
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
PMEO-PDS 2003, International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems
April, 2003
Response Time Densities in Generalised Stochastic Petri Net Models. [PDF]
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
3rd International Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 24-26 2002
July, 2002
Passage Time Distributions in Large Markov Chains [PDF] [GZipped Postscript]
Peter G. Harrison, William J. Knottenbelt
SIGMETRICS'02, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems
June, 2002
Distributed Disk-based Solution Techniques for Large Markov Models [PDF] [GZipped Postscript]
William J. Knottenbelt, Peter G. Harrison
NSMC'99, 3rd International Workshop on the Numerical Solution of Markov Chains
September, 1999
Probability, Parallelism and the State Space Exploration Problem [PDF]
William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter Kritzinger
TOOLS'98, 10th International Conference on Modelling, Techniques and Tools
September, 1998
Journal Special Issue Edited
Performance Engineering
Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt
IET Software
December, 2009
Proceedings Edited
Practical Applications of Stochastic Modelling 2009
PASM 2009, Practical Applications of Stochastic Modelling, Imperial College London
February, 2010
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
April, 2005
Practical Applications of Stochastic Modelling 2004 [GZipped Postscript]
PASM 2004, Practical Applications of Stochastic Modelling, Imperial College London
September, 2004
National Workshop Papers
Truncation of Passage-time Calculations in Semi-Markov Models [PDF] [GZipped Postscript]
Marcel C. Guenther, Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt
UKPEW'09, 25th UK Performance Engineering Workshop
July, 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
July, 2008
State-Space Size Estimation By Least-Squares Fitting [PDF]
Nicholas J. Dingle, William J. Knottenbelt
24th UK Performance Engineering Workshop (UKPEW 2008)
July, 2008
Validation of Large Zoned RAID Systems [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
24th UK Performance Engineering Workshop (UKPEW 2008)
July, 2008
PIPE v2.5: A Petri Net Tool for Performance Modelling [PDF]
Pere Bonet, Catalina , Ramon Puigjaner, William J. Knottenbelt
23rd Latin American Conference on Informatics (CLEI 2007)
October, 2007
Response Time Approximations in Fork-Join Queues [PDF]
Abigail Lebrecht, William J. Knottenbelt
23rd Annual UK Performance Engineering Workshop (UKPEW)
July, 2007
Observing Internet Worm and Virus Attacks with a Small Network Telescope [PDF] [GZipped Postscript]
Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt
PASM 2005, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling
July, 2005
Semi-blind scheduling in a finite capacity system [PDF] [GZipped Postscript]
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
UKPEW'04, 20th Annual UK Performance Evaluation Workshop
July, 2004
Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study [PDF]
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt
UKPEW 2003, 19th UK Performance Engineering Workshop
July, 2003
Distributed Solution of Large Markov Models Using Asynchronous Iterations and Graph Partitioning [PDF]
Nicholas J. Dingle, William J. Knottenbelt
18th UK Performance Engineering Workshop (UKPEW 2002), Glasgow July 10-11, 2002
July, 2002
PhD Thesis
Parallel Performance Analysis of Large Markov Models [PDF] [GZipped Postscript]
William J. Knottenbelt
Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
December, 1999
Poster
Towards a Performance Model for Virtualised Multi-Tier Storage Systems
Abigail Lebrecht, Peter G. Harrison, William J. Knottenbelt
6th USENIX Conference on File and Storage Technologies (FAST 2008)
February, 2008
Master's Thesis
Generalised Markovian Analysis of Timed Transition Systems [PDF] [GZipped Postscript]
William J. Knottenbelt
Department of Computer Science, University of Cape Town
June, 1996

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