Selected Publications

2022

S. Werner, D. Perez, L. Gudgeon, A. Klages-Mundt, D. Harz and W.J. Knottenbelt SoK: Decentralised Finance (DeFi). Proc. 4th ACM Conference on Advances in Financial Technologies (AFT 2022), Boston, MA, USA, September 2022.
T. Matsui, A. Al-Ali and W.J. Knottenbelt. On the Dynamics of Solid, Liquid and Digital Gold Futures. Proc. 4th IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2022), Shanghai, China, May 2022.

2021

A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris-Kogias, P. Moreno-Sanchez, A. Kiayias and W.J. Knottenbelt. SoK: Communication Across Distributed Ledgers. Proc. 25th International Conference on Financial Cryptography and Data Security (FC 2021), pp. 3-36, March 2021.
A. Koutsouri, M. Petch, W.J. Knottenbelt. Diversification Benefits of Commodities for Cryptoasset Portfolios. Proc. 3rd IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2021), Sydney, Australia, May 2021.
D. Ilie, S.M. Werner, I.D. Stewart and W.J. Knottenbelt. Unstable Throughput: When the Difficulty Algorithm Breaks. Proc. 3rd IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2021), Sydney, Australia, May 2021.

2020

L. Gudgeon, S. Werner, D. Perez and W.J. Knottenbelt. DeFi Protocols for Loanable Funds: Interest Rates, Liquidity and Market Efficiency. Proc. 2nd ACM Conference on Advances in Financial Technologies (AFT 2020), pp. 92-112, October 2020.
A. Zamyatin, Z. Avarikioti, D. Perez and W.J. Knottenbelt. TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation. Proc. 4th International Workshop on Cryptocurrencies and Blockchain Technology (CBT 2020), Surrey, UK, pp. 269-286, September 2020.
A. Koutsouri, M. Petch and W.J. Knottenbelt. Stress Testing Diversified Portfolios: The Case of the CoinShares Gold and Cryptoassets Index. Proc. 2nd International Conference on Mathematical Research for Blockchain Economy (MARBLE 2020), August 2020.

2019

D. Harz, L. Gudgeon, A. Gervais and W.J. Knottenbelt. Balance: Dynamic Adjustment of Cryptocurrency Deposits. Proc. 26th ACM Conference on Computer and Communications Security (CCS 2019), London, UK, November 2019.
A. Zamyatin, D. Harz, J. Lind, P. Panayiotou, A. Gervais and W.J. Knottenbelt. XCLAIM: Decentralized, Interoperable, Cryptocurrency-Backed Assets. Proc. 40th IEEE Symposium on Security and Privacy (IEEE S&P 2019), San Francisco, CA, USA, May 2019.
A. Koutsouri, F. Poli, E. Alfieri, M. Petch, W. Distaso and W.J. Knottenbelt. Balancing Cryptoassets and Gold: A Weighted-Risk-Contribution Index for the Alternative Asset Space. Proc. 1st International Conference on Mathematical Research for Blockchain Economy (MARBLE 2019) Santorini, Greece, May 2019. The basis of the Coinshares Gold and Cryptoassets Index available on Bloomberg under ticker COINCGCI.
D. Ilie, W.J. Knottenbelt and I. Stewart. Committing to Quantum Resistance, Better: A Speed-and-Risk-Configurable Defence for Bitcoin against a Fast Quantum Computing Attack. Proc. 1st International Conference on Mathematical Research for Blockchain Economy (MARBLE 2019) Santorini, Greece, May 2019.
S. Werner, P.J. Pritz, A. Zamyatin and W.J. Knottenbelt. Uncle Traps: Harvesting Rewards in a Queue-based Ethereum Mining Pool. Proc. 12th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2019), Palma, Spain, pp. 127-134, March 2019. Best student presentation award
H. Wu, W.J. Knottenbelt and K. Wolter. An Efficient Application Partitioning Algorithm in Mobile Environments. IEEE Transactions on Parallel and Distributed Systems. (in press), 2019.

2018

I. Stewart, D. Ilie, A. Zamyatin, S. Werner, M. F. Torshizi, W. J. Knottenbelt. Committing to quantum resistance: a slow defence for Bitcoin against a fast quantum computing attack. Royal Society Open Science, Special Collection on Blockchain Technology, DOI: 10.1098/rsos.180410, June 2018.
A. Zamyatin, N. Stifter, A. Judmayer, P. Schindler, E. Weippl and W.J. Knottenbelt. A Wild Velvet Fork Appears! Inclusive Blockchain Protocol Changes in Practice. Proc. 5th Workshop on Bitcoin and Blockchain Research. Curaçao, March 2018.
Z. Gurguc and W. J. Knottenbelt. Cryptocurrencies: Overcoming Barriers to Trust and Adoption, Research Report, Imperial Consultants, July 2018 (commissioned by eToro).

2017

T. Pesu, J. Kettunen, W.J. Knottenbelt and K. Wolter. Three-way Optimisation of Response Time, Subtask Dispersion and Energy Consumption in Split-Merge Systems. Proc. 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2017), Venice, Italy, December 2017.
A. Zamyatin, K. Wolter, S. Werner, C.E.A. Mulligan, P.G. Harrison and W.J. Knottenbelt. Swimming with Fishes and Sharks: Beneath the Surface of Queue-based Ethereum Mining Pools. Proc. 25th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (MASCOTS 2017), Banff, Alberta, Canada, September 2017.
S. Vinyes Mora and W.J. Knottenbelt. Deep Learning for Domain-Specific Action Recognition in Tennis. Proc. 3rd IEEE International Workshop on Computer Vision in Sports (CVSports), Honolulu, Hawaii, July 2017.

2016

P.G. Harrison, N.M. Patel and W.J. Knottenbelt. Energy-performance trade-offs via the EP-queue. ACM Transactions on Modeling and Performance Evaluation of Computer Systems (ACM TOMPECS), Volume 1, Issue 2, June 2016 (Gold open access).
I. Tsimashenka, W.J. Knottenbelt and P.G. Harrison. Controlling Variability in Split-Merge Systems and its Impact on Performance. Annals of Operations Research, Volume 239, Issue 2, April 2016, pp. 569–588 (Gold Open Access).
D. McGinn, D. Birch, D. Akroyd, M. Molina-Solana, Y. Guo and W.J. Knottenbelt. Visualizing Dynamic Bitcoin Transaction Patterns. Big Data, 4(2), pp. 109-119, June 2016.
H. Wu, W.J. Knottenbelt, K. Wolter and Y. Sun. An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing. Proc. 13th International Conference on Quantitative Evaluation of Systems (QEST 2016). Quebec City, Quebec, Canada, August 2016.
T. Pesu and W.J. Knottenbelt. Optimising Hidden Stochastic PERT Networks. Proc. 10th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2016). Taormina, Siciliy, October 2016.
G. Haughian, R. Osman and W.J. Knottenbelt. Benchmarking Replication in Cassandra and MongoDB NoSQL Datastores. Proc. 27th International Conference on Database and Expert Systems Applications (DEXA 2016). Porto, Portugal, September 2016.
J. Kelly and W.J. Knottenbelt. Does disaggregated electricity feedback reduce domestic electricity consumption? A systematic review of the literature. Proc. 3rd International Workshop on Non-Intrusive Load Monitoring. Vancouver, Canada, May 2016.

2015

O. Parson, G. Fisher, A. Hersey, N. Batra, J. Kelly A. Singh, W.J. Knottenbelt and A. Rogers. Dataport and NILMTK: A Building Data Set Designed for Non-intrusive Load Monitoring. Proc. 1st International Symposium on Signal Processing Applications in Smart Buildings, Orlando, Florida, USA, December 2015.
J. Kelly and W.J. Knottenbelt. Neural NILM: Deep Neural Networks Applied to Energy Disaggregation. Proc. 2nd ACM International Conference on Embedded Systems for Energy-Efficient Buildings (ACM BuildSys 2015). Seoul, South Korea, November 2015.
J. Kelly and W.J. Knottenbelt. The UK-DALE dataset, domestic appliance-level electricity demand and whole-house demand from five UK homes. Scientific Data 2:150007 doi:10.1038/sdata.2015.7 (2015) (Gold Open Access).
X. Chen, L. Rupprecht, R. Osman, P. Pietzuch, W.J. Knottenbelt and F. Franciosi. CloudScope: Diagnosing Performance Interference for Resource Management in Multi-Tenant Clouds. Proc. 23rd IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (MASCOTS 2015). Altanta, Georgia, USA, October 2015.
H. Wu, W.J. Knottenbelt and K. Wolter. Analysis of the Energy-Response Time Tradeoff for Mobile Cloud Offloading Using Combined Metrics. Proc. 27th International Teletraffic Congress (ITC 27). Ghent, Belgium, September 2015.
S. Vinyes Mora, G. Barnett, C.O. da Costa-Luis, J. Garcia Maegli, M. Ingram, J. Neale and W.J. Knottenbelt. A Low-cost Spatiotemporal Data Collection System for Tennis. Proc. 5th Mathematics in Sport Conference. Loughborough, UK, June 2015.
X. Chen and W.J. Knottenbelt. A Performance Tree-based Monitoring Platform for Clouds. Proc. 6th ACM/SPEC International Conference on Performance Engineering (ICPE 2015). Austin, Texas, USA, January 2015.
T. Pesu and W.J. Knottenbelt. Dynamic Subtask Dispersion Reduction in Heterogeneous Parallel Queueing Systems. Electronic Notes in Theoretical Computer Science 318:129--142, November 2015.

2014

M. Nika, T. Wilding, D. Fiems, K. De Turck and W.J. Knottenbelt. Going Multi-viral: Synthedemic Modelling of Internet-based Spreading Phenomena. Proc. 8th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2014). Bratislava, Slovakia, December 2014.
W.-C. Huang and W.J. Knottenbelt. Self-Adaptive Containers: Interoperability Extensions and Cloud Integration. Proc. 11th IEEE International Conference on Autonomic and Trusted Computing (ATC 2014). Bali, Indonesia, December 2014.
J. Kelly, N. Batra, O. Parson, H. Dutta, W.J. Knottenbelt, A. Rogers, A. Singh and M. Srivastava. NILMTK v0.2: A Non-intrusive Load Monitoring Toolkit for Large Scale Data Sets. Proc. 1st ACM International Conference on Embedded Systems for Energy-Efficient Buildings (ACM BuildSys 2014). Memphis, USA, November 2014. Best demo award (See demo).
R. Danila, M. Nika, T. Wilding and W.J. Knottenbelt. Uncertainty in On-The-Fly Epidemic Fitting. Proc. 11th European Performance Engineering Workshop (EPEW 2014). Florence, Italy, September 2014.
A. Gandini, M. Gribaudo, W.J. Knottenbelt, R. Osman and P. Piazzolla. Performance Analysis of NoSQL Databases. Proc. 11th European Performance Engineering Workshop (EPEW 2014). Florence, Italy, September 2014.
J. Kelly and W.J. Knottenbelt. Metadata for Energy Disaggregation. Proc. 2nd IEEE International Workshop on Consumer Devices and Systems (CDS 2014). Vasteras, Sweden, July 2014.
W.-C. Huang and W.J. Knottenbelt. Low-Overhead Development of Scalable Resource-Efficient Software Systems. In Handbook of Research on Emerging Advancements and Technologies in Software Engineering (Edited by I. Ghani, W. Kadir and M. Ahmad), Chapter 5, IGI Global, pp. 81-105, April 2014.
N. Batra, J. Kelly, O. Parson, H. Dutta, W. Knottenbelt, A. Rogers, A. Singh and M. Srivastava. NILMTK: An Open Source Toolkit for Non-intrusive Load Monitoring. Proc. 5th International Conference on Future Energy Systems (ACM e-Energy 2014), Cambridge, UK, June 2014.
M. Nika, D. Fiems, K. de Turck and W.J. Knottenbelt. Modelling Interacting Epidemics in Overlapping Populations. Proc. 21st International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA 2014), Budapest, Hungary, June 2014.
W.-C. Huang and W.J. Knottenbelt. Self-Adaptive Containers: Functionality Extensions and Further Case Study. Proc. 6th International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE 2014), Venice, Italy, May 2014.
X. Chen, C.P. Ho, R. Osman, P.G. Harrison and W.J. Knottenbelt. Understanding, Modelling and Improving the Performance of Web Applications in Multi-core Virtualised Environments. Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE 2014), Dublin, Ireland, March 2014 (Gold Open Access).

2013

M. Nika, G. Ivanova and W.J. Knottenbelt. On Celebrity, Epidemiology and the Internet. Proc. 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013), Turin, Italy, December 2013.
P.G. Harrison, R. Hayden and W.J. Knottenbelt. Product-forms in Batch Networks: Approximation and Asymptotics. Performance Evaluation Journal, Volume 70, Issue 10, pp. 822-840, October 2013.
N. Anastasiou and W.J. Knottenbelt. Deriving Coloured Generalised Stochastic Petri Net Performance Models from High-Precision Location Tracking Data. Proc. 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague, Czech Republic, April 2013.
D. Coulden, R. Osman and W.J. Knottenbelt. Performance Modelling of Database Contention using Queueing Petri Nets (Work-in-Progress Report).Proc. 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague, Czech Republic, April 2013.
W.-C. Huang and W.J. Knottenbelt. Self-Adaptive Containers: Building Resource-Efficient Applications with Low Programmer Overhead. Proc. 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), San Francisco, USA, pp. 123-132, May 2013.
W.J. Knottenbelt and I. Tsimashenka. Reducing Subtask Dispersion in Parallel Systems. Developments in Parallel, Distributed, Grid and Cloud Computing for Engineering (Edited by B.H.V. Topping and P. Ivanyi), Chapter 9, Saxe-Coburg Publications, pp. 203-227, April 2013.
I. Tsimashenka and W.J. Knottenbelt. Trading off Subtask Dispersion and Response Time in Split-Merge Systems. Proc. 20th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA 2013), Ghent, Belgium, July 2013.
I. Tsimashenka and W.J. Knottenbelt. Reducing Subtask Dispersion in Fork-Join Systems. Proc. 10th European Performance Evaluation Workshop (EPEW 2013), Venice, Italy, September 2013.
R. Osman, D. Coulden and W.J. Knottenbelt. Performance Modelling of Concurrency Control Schemes for Relational Databases. Proc. 20th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA 2013), Ghent, Belgium, July 2013.
P. Bar, R. Benfredj, J. Marks, D. Ulevinov, B. Wozniak, G. Casale, W.J. Knottenbelt. Towards a Monitoring Feedback Loop for Cloud Applications. 1st International Workshop on Multi-Cloud Applications and Federated Clouds (MULTI-CLOUD 2013), Prague, Czech Republic, April 2013.
N. Anastasiou and W.J. Knottenbelt. PEPERCORN: Inferring Performance Models from Location Tracking Data. Proc. 10th International Conference on Quantitative Evaluation of Systems (QEST 2013), Buenos Aires, Argentina, August 2013.
G. Dumitrescu, X. Huang, W.J. Knottenbelt, D. Spanias and J. Wozniak. Inferring the Score of a Tennis Match from In-play Betting Exchange Markets. Proc. 4th Mathematics in Sport Conference, Leuven, Belgium, June 2013.
A. Cutmore and W.J. Knottenbelt. Quantitative Models for Retirement Risk in Professional Tennis. Proc. 4th Mathematics in Sport Conference, Leuven, Belgium, June 2013.
E. Noon and W.J. Knottenbelt. Market Making with a Reverse Kelly Strategy. Proc. 4th Mathematics in Sport Conference, Leuven, Belgium, June 2013.
P. Tsirimpas and W.J. Knottenbelt. Metaheuristic Optimisation of Parameterised Betting Exchange Strategies. Proc. 4th Mathematics in Sport Conference, Leuven, Belgium, June 2013.
D. Spanias and W.J. Knottenbelt. Tennis Player Ranking using Quantitative Models. Proc. 4th Mathematics in Sport Conference, Leuven, Belgium, June 2013.
D. Spanias and W.J. Knottenbelt. Predicting the Outcome of Tennis Matches Using a Low-Level Point model. IMA Journal of Management Mathematics, 24(3), pp. 311-320, 2013.
E. Noon, W.J. Knottenbelt and D. Kuhn. Kelly's Fractional Staking Updated for Betting Exchanges. IMA Journal of Management Mathematics, 24(3), pp. 283-299, 2013.

2012

R. Osman and W.J. Knottenbelt. Database System Performance Evaluation Models: A Survey. Performance Evaluation Journal Volume 69, Issue 10, pp. 471-493, October 2012. (See Top 25 Performance Evaluation Articles January 2013-December 2013)
I. Tsimashenka, W.J. Knottenbelt and P.G. Harrison. Controlling Variability in Split-Merge Systems. Proc. 19th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA 2012), Grenoble, France, June 2012.
T.L.Y. Leung and W.J. Knottenbelt. Comparative Evaluation of Independent Private Value Distributions on Internet Auction Performance, Volume 3, International Journal of E-Entrepreneurship and Innovation, volume 3, Issue 1, 2012.
W.J. Knottenbelt, D. Spanias and A.M. Madurska. A Common-Opponent Stochastic Model for Predicting the Outcome of Professional Tennis Matches. Computers and Mathematics with Applications, Volume 63, Issue 12, pp. 3820-3827, December 2012 (as featured on tennisinsight.com, Bloomberg News and Bloomberg Radio).
N.J. Dingle, W.J. Knottenbelt and D. Spanias. On the (Page) Ranking of Professional Tennis Players. Proc. European Performance Evaluation Workshop/UK Performance Engineering Workshop (EPEW/UKPEW 2012), Edinburgh, UK, July 2012.

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.
A.S. Lebrecht, N.J. Dingle and W.J. Knottenbelt. Analytical and Simulation Modelling of Zoned RAID Systems. The Computer Journal, Volume 54, Number 5, pp. 691-707, 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, pp. 105-134, April 2011.
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.
T.L.Y. Leung and W.J. Knottenbelt. The Effect of Private Valuation on E-Auction Revenues, Volume 194, Digital Enterprise and Information Systems, Part 6, pp. 229-242, 2011.
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.
N. Anastasiou, W.J. Knottenbelt and A. Marin. Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data. Lecture Notes in Computer Science 6977: Proc. 8th European Performance Engineering Workshop (EPEW 2011), Borrowdale, UK, pp. 29-41, October 2011,
P. Tsirimpas and W.J. Knottenbelt. SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies. Proc. 8th International Conference on Quantitative Evaluation of Systems (QEST 2011), Aachen, Germany, pp. 155-156, September 2011.
T.L.Y. Leung and W.J. Knottenbelt. Consumer-to-consumer Internet Auction Models. International Journal of Online Marketing, Volume 1, Number 3, pp. 17-28, 2011.
T.-C. Horng, N. Anastasiou, A.J. Field and W.J. Knottenbelt. LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks. Electronic Notes in Theoretical Computer Science 275: Proc. 5th International Workshop on the Practical Application of Stochastic Modelling (PASM 2011) , pp. 93-104, September 2011.

2010

Bruno R. C. Magalhaes, Nicholas J. Dingle and William J. Knottenbelt. GPU-enabled steady-state solution of large Markov models. Proc. 6th International Workshop on the Numerical Solution of Markov Chains (NSMC 2010), Williamsburg, Virgina, September 2010.
H. Kulatunga, W.J. Knottenbelt and V. Kadirkamanathan. Adaptive Planning of Staffing Levels in Health Care Organisations Electronic Healthcare: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Volume 27, Part 5, pp. 88-95, 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. (See also sample press release).

2009

A.S. Lebrecht, N.J. Dingle and W.J. Knottenbelt Modelling Zoned RAID Systems using Fork-Join Queueing Simulation (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). ACM SIGMETRICS 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. Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis. 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 (PDF 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. Parallel 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 (PDF format). MSc Thesis, University of Cape Town, South Africa, July 1996.

PhD theses supervised