Computing 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

Volume 21, pp.165–198

Computational Science, Engineering and Technology, Saxe-Coburg Publications

April, 2009

Tackling Large State Spaces in Performance Modelling

William J. Knottenbelt, Jeremy T. Bradley

Formal Methods for Performance Evaluation

Volume 4486, pp.318–370

Lecture Notes in Computer Science, Springer

June, 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

Volume 1, pp.3–41

Nova Science Publishers, Inc

2006

Quantiles of Sojourn Times

Peter G. Harrison, William J. Knottenbelt

Computer System Performance Modeling in Perspective: A Tribute to the Work of Prof Kenneth C Sevcik

pp.156–194

Imperial College Press

September, 2006

Journal Articles

Comparative Evaluation of Independent Private Values Distributions on Internet Auction Performance

Timothy Leung, William J. Knottenbelt

International Journal of E-Entrepreneurship and Innovation

Volume 3, Issue 1, pp.59–72

IGI Global

January, 2012

Analytical and Simulation Modelling of Zoned RAID Systems

Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt

The Computer Journal

Volume 54, Issue 5, pp.691–707

Oxford Journals

May, 2011

Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes

Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt

Performance Evaluation

Volume 68, Issue 3, pp.211–236

Elsevier

March, 2011

Consumer-to-Consumer Internet Auction Models

Timothy Leung, William J. Knottenbelt

International Journal of Online Marketing

Volume 1, Issue 3, pp.17–28

ICEIS

2011

Modelling infection spread using location tracking

Andrew Mason, Nicholas J. Dingle, William J. Knottenbelt, Derek Bell, William Buchanan, Christoph Thuemmler

International Journal of Healthcare Technology and Management

Volume 11, Issue 6, pp.442–461

Inderscience Enterprises Ltd.

2010

Distributed Response Time Analysis of GSPN Models with MapReduce

Oliver Haggarty, William J. Knottenbelt, Jeremy T. Bradley

SIMULATION

Volume 85, Issue 8, pp.497–509

Sage Publications, Inc.

August, 2009

Predicting patient arrivals to an accident and emergency department

Susanna Wau Men Au-Yeung, Uli Harder, Emma McCoy, William J. Knottenbelt

Emergency Medicine Journal

Volume 26, Issue 4, pp.241–244

BMJ Publishing Group Limited

April, 2009

Efficient computation of passage time densities and distributions in Markov chains using Laguerre method

Harini Kulatunga, William J. Knottenbelt

Electronics Letters

Volume 44, Issue 15

The Institution of Engineering and Technology

July, 2008

Parallel Multilevel Algorithms for Hypergraph Partitioning

Aleksandar Trifunovic, William J. Knottenbelt

Journal of Parallel and Distributed Computing

Volume 68, Issue 5, pp.563–581

May, 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

Volume 22, Issue 7, pp.828–837

Elsevier

August, 2006

Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model

Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt

IEE Proceedings - Software

Volume 151, Issue 5, pp.232–239

IEE

October, 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

Volume 64, Issue 8, pp.908–920

Elsevier

August, 2004

Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models

Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson

Linear Algebra and Its Applications

Volume 386, pp.311–334

Elsevier

July, 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

Volume 158, Issues 4–5, pp.176–186

IEE

September, 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

Volume 39, Issues 1–4, pp.127–148

Elsevier

February, 2000

Modelling the biological aspects of local endemism in South African Fynbos

D.J. McDonald, J.M. Juritz, R.M. Cowling, William J. Knottenbelt

Plant Systematics and Evolution

Volume 195, Issues 3–4, pp.137–147

September, 1995

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

Volume 36, Issue 4, pp.34–39

ACM SIGMETRICS Performance Evaluation Review, ACM Press

March, 2009

Electronic Journal Article

Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens

Nicholas J. Dingle, William J. Knottenbelt

Volume 232, pp.75–88

Electronic Notes in Theoretical Computer Science

March, 2009

Conference and Workshop Papers

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)

pp.1–6

May, 2011

Deriving Generalised Stochastic Petri Net performance models from high-precision location tracking data

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

Volume 275, Issue 27, pp.93–104

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)

Electronic Notes in Theoretical Computer Science

March, 2011

Global B2C and C2C Online Auction Models

Timothy Leung, William J. Knottenbelt

Annual Conference on Innovations in Business & Management

January, 2011

GPU-Enabled Steady-State Solution of Large Markov Models

Bruno Magalhaes, Nicholas J. Dingle, William J. Knottenbelt

6th International Workshop on the Numerical Solution of Markov Chains (NSMC'10)

pp.63–66

September, 2010

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)

October, 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)

October, 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)

pp.97–106

September, 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)

Volume 5652, pp.16–29

Lecture Notes in Computer Science, Springer Verlag

July, 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

June, 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)

pp.664–674

June, 2009

Towards a QoS-aware Virtualised Storage System

Felipe Franciosi, William J. Knottenbelt

UKPEW 2009

pp.56–67

April, 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)

pp.137–144

October, 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)

pp.145–149

October, 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

pp.237–238

IEEE Computer Society

September, 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

September, 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)

September, 2008

Natural Language Specification of Performance Trees

Lei Wang, Nicholas J. Dingle, William J. Knottenbelt

5th European Performance Engineering Workshop (EPEW 2008)

Issue 5261, pp.141–151

Lecture Notes in Computer Science

September, 2008

Distributed Response Time Analysis of GSPN Models with MapReduce

Oliver Haggarty, William J. Knottenbelt, Jeremy T. Bradley

SPECTS'08, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Edinburgh, 16-18 June 2008

pp.82–90

SCS

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)

pp.144–157

Lecture Notes in Computer Science

June, 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

Volume 5119, pp.29–43

Lecture Notes in Computer Science, Springer

June, 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

Approximate Queueing Network Analysis of Patient Treatment Times

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

Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt

QEST 2007, 4th International Conference on the Quantitative Evaluation of Systems

pp.51–52

IEEE Computer Society

September, 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

pp.41–50

IEEE Computer Society

September, 2007

A General Graph Model for Representing Exact Communication Volume in Parallel Sparse Matrix-Vector Multiplication

Aleksandar Trifunovic, William J. Knottenbelt

21st International Symposium on Computer and Information Sciences (ISCIS 2006)

pp.813–824

November, 2006

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

pp.60–67

October, 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

pp.303–313

IEEE Computer Society

September, 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

Volume 151, Issue 3, pp.47–59

Electronic Notes in Theoretical Computer Science, Elsevier

June, 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

Volume 3670, pp.155–171

Lecture Notes in Computer Science, Springer-Verlag

September, 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)

Volume 3280, pp.789–800

Lecture Notes in Computer Science, Springer-Verlag

October, 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

pp.334–335

IEEE Computer Society Press

September, 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

pp.114–121

IEEE Computer Society

July, 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 Gilmore, William J. Knottenbelt

MASCOTS'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems

pp.344–351

IEEE Computer Society Press

October, 2003

Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models

Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson

NSMC 2003, 4th International Workshop on Numerical Solution of Markov Chains

pp.99–120

September, 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

pp.62–71

IEEE Computer Society Press

September, 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

pp.755–762

SCS

July, 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)

pp.215–219

June, 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 Modelling, Evaluation, and Optimization of Parallel and Distributed Systems

p.281

IEEE Computer Society Press

April, 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

pp.46–54

July, 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

Volume 30, Issue 1, pp.77–85

ACM SIGMETRICS Performance Evaluation Review, ACM Press

June, 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

pp.58–75

September, 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

Volume 1469, pp.165–179

Lecture Notes in Computer Science, Springer Verlag

September, 1998

Journal Special Issue Edited

Performance Engineering

Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt

IET Software

Volume 3, Issue 6, pp.443–521

IET

December, 2009

Proceedings Edited

SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies

Polyvios Tsirimpas, William J. Knottenbelt

8th International Conference on Quantitative Evaluation of SysTems (QEST) 2011

pp.155–156

CPS

September, 2011

An Environment for the Specification and Evaluation of Betting Strategies

Polyvios Tsirimpas, William J. Knottenbelt

3rd IMA International Conference on Mathematics in Sport

June, 2011

Practical Applications of Stochastic Modelling 2009

Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder

PASM 2009, Practical Applications of Stochastic Modelling, Imperial College London

Volume 261, pp.1–4

Electronic Notes in Theoretical Computer Science, Elsevier

February, 2010

Proceedings of MASCOTS 2009, 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems

Jeremy T. Bradley, James Conrad, Uli Harder, William J. Knottenbelt, George Riley, A. J. Field

MASCOTS 2009, International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, Imperial College London

IEEE Computer Society Press

September, 2009

Proceedings of PASM 2008, 3rd International Workshop on the Practical Application of Stochastic Modelling

Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt

Volume 232, pp.1–178

Electronic Notes in Theoretical Computer Science, Elsevier

March, 2009

Proceedings of PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling

Jeremy T. Bradley, William J. Knottenbelt

PASM 2004, Practical Applications of Stochastic Modelling

Volume 128, Issue 4, pp.1–164

Electronic Notes in Theoretical Computer Science, Elsevier

April, 2005

Practical Applications of Stochastic Modelling 2004

Jeremy T. Bradley, William J. Knottenbelt

PASM 2004, Practical Applications of Stochastic Modelling, Imperial College London

September, 2004

National Workshop Papers

Towards a QoS-aware Virtualised File System

Felipe Franciosi, William J. Knottenbelt

UK Performance Engineering Workshop

July, 2009

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

pp.17–28

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

Nicholas J. Dingle, William J. Knottenbelt

24th UK Performance Engineering Workshop (UKPEW 2008)

pp.347–357

July, 2008

Validation of Large Zoned RAID Systems

Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt

24th UK Performance Engineering Workshop (UKPEW 2008)

pp.246–261

July, 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)

October, 2007

Response Time Approximations in Fork-Join Queues

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

Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt

PASM 2005, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling

pp.113–126

July, 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

July, 2004

Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study

Jeremy T. Bradley, Nicholas J. Dingle, Stephen Gilmore, William J. Knottenbelt

UKPEW 2003, 19th UK Performance Engineering Workshop

pp.79–90

July, 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

pp.27–34

July, 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

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

William J. Knottenbelt

Department of Computer Science, University of Cape Town

June, 1996