Some Data-Analytic Problems in Archaeology and History. - David Kendall (IFIP Congress (2), 1971)

Designing and Implementing Correct Real-Time Systems. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (FTRTFT, 1994)

Application-oriented real time algebra. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Softw. Eng. J., 1994)

A formally based hard real-time kernel. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Microprocess. Microsystems, 1994)

Validation, verification and implementation of timed protocols using AORTA. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (PSTV, 1995)

A Formal Design and Implementation Method for Real-Time Embedded Systems. - Steven Bradley; William Henderson; David Kendall; Adrian Robson; Stephen Hawkes (EUROMICRO, 1996)

Integrating AORTA with Model-Based Data Specification Languages. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (FASE, 1998)

bCANDLE: Formal Modelling and Analysis of CAN Control Systems. - David Kendall; Steven Bradley; William Henderson; Adrian Robson (IEEE Real Time Technology and Applications Symposium, 1998)

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)

A formal design language for real-time systems with data. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Sci. Comput. Program., 2001)

Formal modelling and analysis of broadcasting embedded control systems. - David Kendall (2001)

Formal modelling of a robust Wireless Sensor Network routing protocol. - Kashif Saghar; William Henderson; David Kendall; Ahmed Bouridane (AHS, 2010)

Applying formal modelling to detect DoS attacks in wireless medium. - Kashif Saghar; William Henderson; David Kendall; Ahmed Bouridane (CSNDSP, 2010)

Vulnerability of insens to denial of service attacks. - Kashif Saghar; David Kendall; Ahmed Bouridane (ICASSP, 2011)

Please slow down!: the impact on tor performance from mobility. - Stephen Doswell; Nauman Aslam; David Kendall; Graham Sexton (SPSM@CCS, 2013)

The novel use of Bridge Relays to provide persistent Tor connections for mobile devices. - Stephen Doswell; Nauman Aslam; David Kendall; Graham Sexton (PIMRC, 2013)

A longitudinal approach to measuring the impact of mobility on low-latency anonymity networks. - Stephen Doswell; David Kendall; Nauman Aslam; Graham Sexton (IWCMC, 2015)

A Flexible Laboratory Environment Supporting Honeypot Deployment for Teaching Real-World Cybersecurity Skills. - Neil Eliot; David Kendall; Michael J. Brockway (IEEE Access, 2018)

A New Metric for the Analysis of Swarms Using Potential Fields. - Neil Eliot; David Kendall; Michael J. Brockway (IEEE Access, 2018)

Void Reduction in Self-Healing Swarms. - Neil Eliot; David Kendall; Alun Moon; Michael J. Brockway; Martyn Amos (ALIFE, 2019)

A novel potential field model for perimeter and agent density control in multiagent swarms. - Neil Eliot; David Kendall; Michael J. Brockway; Paul Oman 001; Ahmed Bouridane (Expert Syst. Appl., 2023)