Items where Author is "Henderson, William"

Article

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

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

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

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

Book Section

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

Conference or Workshop Item

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 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).

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.

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) 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.