David Kendall

ORCID

Publication Activity (10 Years)

Years Active: 1971-2023
Publications (10 Years): 4

Top Venues

Newcastle University, Newcastle upon Tyne, UK (PHD)

Education History

Newcastle University, Newcastle upon Tyne, UK

PHD

Publications

Neil Eliot, David Kendall, Michael J. Brockway, Paul Oman, Ahmed Bouridane
A novel potential field model for perimeter and agent density control in multiagent swarms. Expert Syst. Appl. 227 (2023)
Neil Eliot, David Kendall, Alun Moon, Michael J. Brockway, Martyn Amos
Void Reduction in Self-Healing Swarms. ALIFE (2019)
Neil Eliot, David Kendall, Michael J. Brockway
A New Metric for the Analysis of Swarms Using Potential Fields. IEEE Access 6 (2018)
Neil Eliot, David Kendall, Michael J. Brockway
A Flexible Laboratory Environment Supporting Honeypot Deployment for Teaching Real-World Cybersecurity Skills. IEEE Access 6 (2018)
Stephen Doswell, David Kendall, Nauman Aslam, Graham Sexton
A longitudinal approach to measuring the impact of mobility on low-latency anonymity networks. IWCMC (2015)
Stephen Doswell, Nauman Aslam, David Kendall, Graham Sexton
The novel use of Bridge Relays to provide persistent Tor connections for mobile devices. PIMRC (2013)
Stephen Doswell, Nauman Aslam, David Kendall, Graham Sexton
Please slow down!: the impact on tor performance from mobility. SPSM@CCS (2013)
Kashif Saghar, David Kendall, Ahmed Bouridane
Vulnerability of insens to denial of service attacks. ICASSP (2011)
Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane
Applying formal modelling to detect DoS attacks in wireless medium. CSNDSP (2010)
Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane
Formal modelling of a robust Wireless Sensor Network routing protocol. AHS (2010)
William Henderson, David Kendall, Adrian Robson
Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. Real Time Syst. 20 (1) (2001)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
A formal design language for real-time systems with data. Sci. Comput. Program. 40 (1) (2001)
David Kendall, Steven Bradley, William Henderson, Adrian Robson
bCANDLE: Formal Modelling and Analysis of CAN Control Systems. IEEE Real Time Technology and Applications Symposium (1998)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Integrating AORTA with Model-Based Data Specification Languages. FASE (1998)
Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes
A Formal Design and Implementation Method for Real-Time Embedded Systems. EUROMICRO (1996)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Validation, verification and implementation of timed protocols using AORTA. PSTV (1995)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Designing and Implementing Correct Real-Time Systems. FTRTFT (1994)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Application-oriented real time algebra. Softw. Eng. J. 9 (5) (1994)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
A formally based hard real-time kernel. Microprocess. Microsystems 18 (9) (1994)
David Kendall
Some Data-Analytic Problems in Archaeology and History. IFIP Congress (2) (1971)

David Kendall.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Kendall