William Henderson

According to our database, William Henderson authored at least 33 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Pressure Ulcer Categorization and Reporting in Domiciliary Settings Using Deep Learning and Mobile Devices: A Clinical Trial to Evaluate End-to-End Performance.

Paul Fergus, Carl Chalmers, William Henderson, Danny Roberts, Atif Waraich

IEEE Access, 2023

2022

Pressure Ulcer Categorisation using Deep Learning: A Clinical Trial to Evaluate Model Performance.

Paul Fergus, Carl Chalmers, William Henderson, Danny Roberts, Atif Waraich

CoRR, 2022

2010

Applying formal modelling to detect DoS attacks in wireless medium.

Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane

Proceedings of the 7th International Symposium on Communication Systems Networks and Digital Signal Processing, 2010

Formal modelling of a robust Wireless Sensor Network routing protocol.

Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane

Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 2010

2001

A formal design language for real-time systems with data.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Sci. Comput. Program., 2001

Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter.

William Henderson, David Kendall, Adrian Robson

Real Time Syst., 2001

State-dependent Coupling of Quasireversible Nodes.

William Henderson, Peter G. Taylor

Queueing Syst. Theory Appl., 2001

State-Dependent Coupling in General Networks.

Xiuli Chao, William Henderson, Peter G. Taylor

Queueing Syst. Theory Appl., 2001

1998

bCANDLE: Formal Modelling and Analysis of CAN Control Systems.

David Kendall, Steven Bradley, William Henderson, Adrian Robson

Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998

Integrating AORTA with Model-Based Data Specification Languages.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1996

A mean-value analysis of slotted-ring network models.

Andrew J. Coyle, Boudewijn R. Haverkort, William Henderson, Charles E. M. Pearce

Telecommun. Syst., 1996

Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets.

J. L. Coleman, William Henderson, Peter G. Taylor

Perform. Evaluation, 1996

A Formal Design and Implementation Method for Real-Time Embedded Systems.

Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes

Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995

Triggered batch movement in queueing networks.

William Henderson, Bruce S. Northcote, Peter G. Taylor

Queueing Syst. Theory Appl., 1995

Computer supported collaborative learning in schools: a distributed approach.

Helen Tomlinson, William Henderson

Br. J. Educ. Technol., 1995

Validation, verification and implementation of timed protocols using AORTA.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Proceedings of the Protocol Specification, 1995

1994

A convolution algorithm for calculating exact equilibrium distributions in resource allocation problems with moderate user interference.

J. L. Coleman, William Henderson, Peter G. Taylor

IEEE Trans. Commun., 1994

A general formulation for mean-value analysis in product-form batch-movement queueing networks.

Andrew J. Coyle, William Henderson, Charles E. M. Pearce, Peter G. Taylor

Queueing Syst. Theory Appl., 1994

A formally based hard real-time kernel.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Microprocess. Microsystems, 1994

Application-oriented real time algebra.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Softw. Eng. J., 1994

Geometric equilibrium distributions for queues with interactive batch departures.

William Henderson, Bruce S. Northcote, Peter G. Taylor

Ann. Oper. Res., 1994

Designing and Implementing Correct Real-Time Systems.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Reduced load approximations for loss networks.

Andrew J. Coyle, William Henderson, Peter G. Taylor

Telecommun. Syst., 1993

Aggregation and Disaggregation Through Insensitivity in Stochastic Petri Nets.

William Henderson, D. Lucic

Perform. Evaluation, 1993

Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets.

William Henderson

Comput. Networks ISDN Syst., 1993

1992

Insensitivity in discrete time queues with a moving server.

William Henderson, Peter G. Taylor

Queueing Syst. Theory Appl., 1992

1991

Embedded Processes in Stochastic Petri Nets.

William Henderson, Peter G. Taylor

IEEE Trans. Software Eng., 1991

Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets.

William Henderson, D. Lucic

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

1990

Product Form in Networks of Queues with Batch Arrivals and Batch Services.

William Henderson, Peter G. Taylor

Queueing Syst. Theory Appl., 1990

Closed Queueing Networks with Batch Services.

William Henderson, Charles E. M. Pearce, Peter G. Taylor, Nico M. van Dijk

Queueing Syst. Theory Appl., 1990

Performance Analysis: When Do We Give Up on Product Form Solutions.

William Henderson

Comput. Networks ISDN Syst., 1990

1989

Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets.

William Henderson, Peter G. Taylor

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

1984

A Second Look at a Problem of Queueing in Lanes.

William Henderson, R. W. Kennington, Charles E. M. Pearce

Transp. Sci., 1984