William J. Knottenbelt

Affiliations:
  • Imperial College London, UK


According to our database1, William J. Knottenbelt authored at least 145 papers between 1998 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Demystifying Just-in-Time (JIT) Liquidity Attacks on Uniswap V3.
IACR Cryptol. ePrint Arch., 2023

Leverage Staking with Liquid Staking Derivatives (LSDs): Opportunities and Risks.
IACR Cryptol. ePrint Arch., 2023

Blockchain Transaction Censorship: (In)secure and (In)efficient?
IACR Cryptol. ePrint Arch., 2023

Pay Less for Your Privacy: Towards Cost-Effective On-Chain Mixers.
IACR Cryptol. ePrint Arch., 2023

zkFL: Zero-Knowledge Proof-based Gradient Aggregation for Federated Learning.
CoRR, 2023

Defending Against Malicious Behaviors in Federated Learning with Blockchain.
CoRR, 2023

Optimal Hedge Ratio Estimation for Bitcoin Futures using Kalman Filter.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

2022
Time-series Transformer Generative Adversarial Networks.
CoRR, 2022

On the Dynamics of Solid, Liquid and Digital Gold Futures.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

SoK: Decentralized Finance (DeFi).
Proceedings of the 4th ACM Conference on Advances in Financial Technologies, 2022

2021
Message from the Chairs.
SIGMETRICS Perform. Evaluation Rev., 2021

A Scalable Inference Method For Large Dynamic Economic Systems.
CoRR, 2021

Evaluation of Active Learning Techniques on Medical Image Classification with Unbalanced Data Distributions.
Proceedings of the Deep Generative Models, and Data Augmentation, Labelling, and Imperfections, 2021

Diversification Benefits of Commodities for Cryptoasset Portfolios.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

Unstable Throughput: When the Difficulty Algorithm Breaks.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

Three Gaps for Quantisation in Learned Image Compression.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021

Performance Analysis of a Hyperledger Iroha Blockchain Framework Used in the UK Livestock Industry.
Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

2020
TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation.
IACR Cryptol. ePrint Arch., 2020

Committing to Quantum Resistance, Better: A Speed - and - Risk - Configurable Defence for Bitcoin against a Fast Quantum Computing Attack.
IACR Cryptol. ePrint Arch., 2020

Bitcoin Crypto - Bounties for Quantum Capable Adversaries.
IACR Cryptol. ePrint Arch., 2020

Stress Testing Diversified Portfolios: The Case of the CoinShares Gold and Cryptoassets Index.
Proceedings of the 2nd International Conference on Mathematical Research for Blockchain Economy, 2020

DeFi Protocols for Loanable Funds: Interest Rates, Liquidity and Market Efficiency.
Proceedings of the AFT '20: 2nd ACM Conference on Advances in Financial Technologies, 2020

Black-Box Models for Restart, Reboot and Rejuvenation.
Proceedings of the Handbook of Software Aging and Rejuvenation, 2020

2019
An Efficient Application Partitioning Algorithm in Mobile Environments.
IEEE Trans. Parallel Distributed Syst., 2019

SoK: Communication Across Distributed Ledgers.
IACR Cryptol. ePrint Arch., 2019

Uncle Traps: Harvesting Rewards in a Queue-based Ethereum Mining Pool.
IACR Cryptol. ePrint Arch., 2019

Balance : Dynamic Adjustment of Cryptocurrency Deposits.
IACR Cryptol. ePrint Arch., 2019

Revenue-Driven Scheduling in Drone Delivery Networks with Time-sensitive Service Level Agreements.
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019

XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets.
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Preface.
Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019

Balancing Cryptoassets and Gold: A Weighted-Risk-Contribution Index for the Alternative Asset Space.
Proceedings of the 1st International Conference on Mathematical Research for Blockchain Economy, 2019

EthExplorer: A Tool for Forensic Analysis of the Ethereum Blockchain.
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

2018
Flux: Revisiting Near Blocks for Proof-of-Work Blockchains.
IACR Cryptol. ePrint Arch., 2018

(Short Paper) A Wild Velvet Fork Appears! Inclusive Blockchain Protocol Changes in Practice.
IACR Cryptol. ePrint Arch., 2018

Issue, Trade, Redeem: Crossing Systems Bounds with Cryptocurrency-Backed Tokens.
IACR Cryptol. ePrint Arch., 2018

Committing to Quantum Resistance: A Slow Defence for Bitcoin against a Fast Quantum Computing Attack.
IACR Cryptol. ePrint Arch., 2018

Towards Safer Smart Contracts: A Survey of Languages and Verification Methods.
CoRR, 2018

A Wild Velvet Fork Appears! Inclusive Blockchain Protocol Changes in Practice - (Short Paper).
Proceedings of the Financial Cryptography and Data Security, 2018

2017
Preface.
Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, 2017

Three-way Optimisation of Response Time, Subtask Dispersion and Energy Consumption in Split-Merge Systems.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Swimming with Fishes and Sharks: Beneath the Surface of Queue-Based Ethereum Mining Pools.
Proceedings of the 25th IEEE International Symposium on Modeling, 2017

Deep Learning for Domain-Specific Action Recognition in Tennis.
Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017

2016
Energy-Performance Trade-Offs via the EP Queue.
ACM Trans. Model. Perform. Evaluation Comput. Syst., 2016

Editorial.
Perform. Evaluation, 2016

Preface.
Proceedings of the 8th International Workshop on Practical Application of Stochastic Modeling, 2016

Does disaggregated electricity feedback reduce domestic electricity consumption? A systematic review of the literature.
CoRR, 2016

Visualizing Dynamic Bitcoin Transaction Patterns.
Big Data, 2016

Controlling variability in split-merge systems and its impact on performance.
Ann. Oper. Res., 2016

Optimising Hidden Stochastic PERT Networks.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Benchmarking Replication in Cassandra and MongoDB NoSQL Datastores.
Proceedings of the Database and Expert Systems Applications, 2016

2015
Going Multi-viral: Synthedemic Modelling of Internet-based Spreading Phenomena.
EAI Endorsed Trans. Ambient Syst., 2015

A Performance Tree-based Monitoring Platform for Clouds.
Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, TX, USA, January 31, 2015

Analysis of the Energy-Response Time Tradeoff for Mobile Cloud Offloading Using Combined Metrics.
Proceedings of the 27th International Teletraffic Congress, 2015

Neural NILM: Deep Neural Networks Applied to Energy Disaggregation.
Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, 2015

CloudScope: Diagnosing and Managing Performance Interference in Multi-tenant Clouds.
Proceedings of the 23rd IEEE International Symposium on Modeling, 2015

Dataport and NILMTK: A building data set designed for non-intrusive load monitoring.
Proceedings of the 2015 IEEE Global Conference on Signal and Information Processing, 2015

2014
Dynamic Subtask Dispersion Reduction in Heterogeneous Parallel Queueing Systems.
Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

Preface.
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

'UK-DALE': A dataset recording UK Domestic Appliance-Level Electricity demand and whole-house demand.
CoRR, 2014

NILMTK v0.2: A Non-intrusive Load Monitoring Toolkit for Large Scale Data Sets.
CoRR, 2014

Understanding, modelling, and improving the performance of web applications in multicore virtualised environments.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Self-Adaptive Containers: Interoperability Extensions and Cloud Integration.
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014

NILMTK v0.2: a non-intrusive load monitoring toolkit for large scale data sets: demo abstract.
Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014

Performance Evaluation of NoSQL Databases.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

Uncertainty in On-The-Fly Epidemic Fitting.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

NILMTK: an open source toolkit for non-intrusive load monitoring.
Proceedings of the Fifth International Conference on Future Energy Systems, 2014

Metadata for Energy Disaggregation.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Modelling Interacting Epidemics in Overlapping Populations.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2014

2013
Product-forms in batch networks: Approximation and asymptotics.
Perform. Evaluation, 2013

Performance modelling of database contention using queueing petri nets.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Towards a monitoring feedback loop for cloud applications.
Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds, 2013

Deriving coloured generalised stochastic petri net performance models from high-precision location tracking data.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

On celebrity, epidemiology and the internet.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

PEPERCORN: Inferring Performance Models from Location Tracking Data.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Self-adaptive containers: building resource-efficient applications with low programmer overhead.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Reduction of Subtask Dispersion in Fork-Join Systems.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Trading Off Subtask Dispersion and Response Time in Split-Merge Systems.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

Performance Modelling of Concurrency Control Schemes for Relational Databases.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012
Database system performance evaluation models: A survey.
Perform. Evaluation, 2012

Comparative Evaluation of Independent Private Values Distributions on Internet Auction Performance.
Int. J. E Entrepreneurship Innov., 2012

Preface.
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Theory and Practice of Stochastic Modelling.
Comput. Math. Appl., 2012

A common-opponent stochastic model for predicting the outcome of professional tennis matches.
Comput. Math. Appl., 2012

Topic 2: Performance Prediction and Evaluation.
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

On the (Page) Ranking of Professional Tennis Players.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Controlling Variability in Split-Merge Systems.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2012

2011
Passage-time computation and aggregation strategies for large semi-Markov processes.
Perform. Evaluation, 2011

Consumer-to-Consumer Internet Auction Models.
Int. J. Online Mark., 2011

Preface.
Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 2011

Stochastic Modelling and Optimisation of Internet Auction Processes.
Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 2011

LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks.
Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 2011

Analytical and Simulation Modelling of Zoned RAID Systems.
Comput. J., 2011

Deriving generalised stochastic Petri net performance models from high-precision location tracking data.
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Data allocation strategies for the management of Quality of Service in Virtualised Storage Systems.
Proceedings of the IEEE 27th Symposium on Mass Storage Systems and Technologies, 2011

Reduction of variability in split-merge systems.
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data.
Proceedings of the Computer Performance Engineering, 2011

The Effect of Private Valuation on E-Auction Revenues.
Proceedings of the Digital Enterprise and Information Systems - International Conference, 2011

2009
Distributed Response Time Analysis of GSPN Models with MapReduce.
Simul., 2009

PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets.
SIGMETRICS Perform. Evaluation Rev., 2009

Performance engineering - editorial.
IET Softw., 2009

Preface.
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009

Using bulk arrivals to model I/O request response time distributions in zoned disks and RAID systems.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

A Performance Model of Zoned Disk Drives with I/O Request Reordering.
Proceedings of the QEST 2009, 2009

Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation.
Proceedings of the Computer Performance Engineering, 2009

Adaptive Planning of Staffing Levels in Health Care Organisations.
Proceedings of the Electronic Healthcare - Second International ICST Conference, 2009

Towards The Automated Inference Of Queueing Network Models From High-Precision Location Tracking Data.
Proceedings of the European Conference on Modelling and Simulation, 2009

2008
Parallel multilevel algorithms for hypergraph partitioning.
J. Parallel Distributed Comput., 2008

Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens.
Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, 2008

Extracting Response Times from Fluid Analysis of Performance Models.
Proceedings of the Performance Evaluation: Metrics, 2008

A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Modelling and Validation of Response Times in Zoned RAID.
Proceedings of the 16th International Symposium on Modeling, 2008

Natural Language Specification of Performance Trees.
Proceedings of the Computer Performance Engineering, 2008

A Response Time Distribution Model for Zoned RAID.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2008

2007
Contract related agents.
PhD thesis, 2007

Approximate queueing network analysis of patient treatment times.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Tackling Large State Spaces in Performance Modelling.
Proceedings of the Formal Methods for Performance Evaluation, 2007

Performance Trees: Expressiveness and Quantitative Semantics.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Cluster Grid based Response-time analysis module for the PIPE Tool.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006
Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models.
Future Gener. Comput. Syst., 2006

Performance Trees: A New Approach to Quantitative Performance Specification.
Proceedings of the 14th International Symposium on Modeling, 2006

A General Graph Model for Representing Exact Communication Volume in Parallel Sparse Matrix-Vector Multiplication.
Proceedings of the Computer and Information Sciences, 2006

2005
Observing Internet Worm and Virus Attacks with a Small Network Telescope.
Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005

Contract Driven Agents.
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

Hypergraph Partitioning for Faster Parallel PageRank Computation.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Contract-Related Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004
Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models.
J. Parallel Distributed Comput., 2004

Stochastic analysis of scheduling strategies in a Grid-based resource model.
IEE Proc. Softw., 2004

Preface.
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004

Efficient approximation of response time densities and quantiles in stochastic models.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

The ipc/HYDRA Tool Chain for the Analysis of PEPA Models.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

A Parallel Algorithm for Multilevel k-Way Hypergraph Partitioning.
Proceedings of the 3rd International Symposium on Parallel and Distributed Computing (ISPDC 2004), 2004

Par kway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool.
Proceedings of the Computer and Information Sciences, 2004

Towards a Parallel Disk-Based Algorithm for Multilevel k-way Hypergraph Partitioning.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003
Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

HYDRA: HYpergraph-Based Distributed Response-Time Analyzer.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler.
Proceedings of the 11th International Workshop on Modeling, 2003

Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
Response time densities in generalised stochastic petrinet models.
Proceedings of the Third International Workshop on Software and Performance, 2002

Passage time distributions in large Markov chains.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002

Symbolic Methods for the State Space Exploration of GSPN Models.
Proceedings of the Computer Performance Evaluation, 2002

2000
Parallel performance analysis of large Markov models.
PhD thesis, 2000

A probabilistic dynamic technique for the distributed generation of very large state spaces.
Perform. Evaluation, 2000

1998
Probability, Parallelism and the State Space Exploration Problem.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998


  Loading...