Items where Author is "Henderson, William"

Saghar, Kashif, Henderson, William, Kendall, David and Bouridane, Ahmed (2010) Applying formal modelling to detect DoS attacks in wireless medium. In: 7th International Symposium on Communication Systems Networks and Digital Signal processing (CSNDSP), 21-23 July 2010, Northumbria University, Newcastle upon Tyne.

Saghar, Kashif, Henderson, William, Kendall, David and Bouridane, Ahmed (2010) Formal modelling of a robust wireless sensor network routing protocol. In: 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS). IEEE, Piscataway, NJ, pp. 281-288. ISBN 978-1-4244-5887-5

Saghar, Kashif, Henderson, William and Kendall, David (2009) Formal modelling and analysis of routing protocol security in wireless sensor networks. In: 10th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting (PGNET 09).

Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (2001) Formal design language for real-time systems with data. Science of Computer Programming, 40 (1). pp. 3-29. ISSN 0167-6423

Henderson, William, Kendall, David and Robson, Adrian (2001) Improving the accuracy of scheduling analysis applied to distributed systems. Real-Time Systems, 20 (1). pp. 5-25. ISSN 0922 6443

Henderson, William, Kendall, David and Robson, Adrian (2000) Accounting for clock frequency variation in the analysis of distributed factory control systems. In: 2000 IEEE International Workshop on Factory Communication Systems, 6-8 Spetember 2000, Torino.

Bradley, Steven, Henderson, William and Kendall, David (1999) Reducing conservatism in response time analysis of distributed systems. IEE Colloquium (Digest) (6). pp. 25-28. ISSN 0963 3308

Kendall, David, Henderson, William and Robson, Adrian (1999) Using sharing trees in the automated analysis of real-time systems with data. IEE Colloquium (Digest) (6). pp. 21-24. ISSN 0963-3308

Kendall, David, Henderson, William and Robson, Adrian (1998) Modelling and analysis of broadcasting embedded control systems. In: IEE Colloquium on Real-Time Systems (Digest No. 1998/306), 21 April 1998, York.

Kendall, David, Bradley, Steven, Henderson, William and Robson, Adrian (1998) bCANDLE: Formal modelling and analysis of CAN control systems. In: Fourth IEEE Real-Time Technology and Applications Symposium, 3-5 June 1998, Denver, CO.

Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (1994) A formally based hard real-time kernel. Microprocessors and Microsystems, 18 (9). pp. 513-521. ISSN 0141-9331

Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (1994) Practical formal development of real time systems. In: RTOSS '94: 11th IEEE Workshop on Real-Time Operating Systems and Software, 18-19 May 1994, Seattle.

Robson, Adrian and Henderson, William (1993) Data flow model for the implementation of real-time programs on simple target machines. Information and Software Technology, 35 (1). pp. 3-16. ISSN 0950-5849