David Kendall

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