David Kendall

Formal modelling of a robust Wireless Sensor Network routing protocol

Kashif Saghar, W. Henderson, David Kendall et al. · 2010 · 27 citations

Computing, Computer Engineering, Computer Science +17

A Flexible Laboratory Environment Supporting Honeypot Deployment for Teaching Real-World Cybersecurity Skills

Neil Eliot, David Kendall, Michael Brockway · IEEE Access · 2018 · 24 citations · Full text

Computing, Computer Science, Cybersecurity +8

Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems

Steven Bradley, W. Henderson, David Kendall · IFAC Proceedings Volumes · 1999 · 21 citations

Computing, Computer Science, Computer Systems +16

Formal modelling and analysis of routing protocol security in wireless sensor networks

Kashif Saghar, W. Henderson, David Kendall · Northumbria Research Link (Northumbria University) · 2009 · 21 citations

Computing, Computer Engineering, Computer Science +17

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

W. Henderson, David Kendall, Adrian Robson · Real-Time Systems · 2001 · 20 citations

Computing, Computer Engineering, Computer Science +14