Senior Lecturer in Computer Science
S. Bradley, W. Henderson, D. Kendall, and A. Robson. Practical formal development of real-time systems. In 11th IEEE Workshop on Real-Time Operating Systems and Software, RTOSS '94, Seattle, pages 44-48, May 1994. [ bib | .pdf ]
S. Bradley, W. Henderson, D. Kendall, and A. Robson. Application-Oriented Real-Time Algebra. Software Engineering Journal, 9(5):201-212, September 1994. [ bib | .pdf ]
S. Bradley, W. Henderson, D. Kendall, and A. Robson. Designing and implementing correct real-time systems. In H Langmaack, W-P de Roever, and J Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT '94, Lubeck, Lecture Notes in Computer Science 863, pages 228-246. Springer-Verlag, September 1994. [ bib | .pdf ]
S. Bradley, W. Henderson, D. Kendall, and A. Robson. A formally based hard real-time kernel. Microprocessors and Microsystems, 18(9):513-521, November 1994. [ bib | .pdf ]
S. Bradley, W. Henderson, D. Kendall, and A. Robson. Validation, verification and implementation of timed protocols using AORTA. In P. Dembinski, editor, Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing and Verification, pages 205-220. Chapman and Hall, June 1995. [ bib | .pdf ]
S. Bradley, W. Henderson, D. Kendall, A. Robson, and S. Hawkes. A formal design and implementation method for systems with predictable performance. In Proc. 22nd Euromicro Conference (EUROMICRO'96) Beyond 2000: HArdware and Software Design Strategies, pages 77-84. IEEE Computer Society Press, September 1996. [ bib | .pdf ]
D. Kendall, S. Bradley, W. Henderson, and A. Robson. A formal basis for tool-supported simulation and verification of real-time CAN systems. In Proceedings of 4th International CAN Conference (iCC'97), pages 719-727, Berlin, October 1997. CAN in Automation. [ bib | .pdf ]
S. Bradley, W. Henderson, D. Kendall, and A. Robson. Integrating AORTA with model-based data specification languages. In E. Astesiano, editor, Proceedings of Conference on Fundamental Approaches to Software Engineering (FASE'98), volume 1382 of LNCS. Springer Verlag, March 1998. [ bib | .pdf ]
D. Kendall, W. Henderson, and A. Robson. Modelling and analysis of broadcasting embedded control systems. In IEE Colloquium on "Real-Time Systems: Can we meet future challenges?", Digest No. 1998/306, pages 8/1-4, London, UK, April 1998. IEE. [ bib | .pdf ]
D. Kendall, S. Bradley, W. Henderson, and A. Robson. bCANDLE: Formal modelling and analysis of CAN control systems. In Proceedings of 4th IEEE Real Time Technology and Applications Symposium (RTAS'98), pages 171-177. IEEE Press, June 1998. [ bib | .pdf ]
D. Kendall, S. Bradley, W. Henderson, and A. Robson. CANDLE: A high level language and development environment for high integrity CAN control systems. In Proceedings of 4th IEE Workshop on Discrete Event Systems, Cagliari, pages 58-63, August 1998. [ bib | .pdf ]
W. Henderson, D. Kendall, A. Robson, and S. Bradley. χrma: An holistic approach to performance prediction of distributed real-time CAN systems. In Proceedings of the 5th International CAN Conference (iCC'98), San Jose, California, USA, pages 917-924. CiA, November 1998. [ bib | .pdf ]
D. Kendall, W. Henderson, and A. Robson. Using Sharing Trees in the automated analysis of real-time systems with data. In IEE Colloquium on Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems, Ref. No. 1999/006, pages 6/1-4, London, UK, January 1999. IEE. [ bib | .pdf ]
S. Bradley, W. Henderson, and D. Kendall. Reducing conservatism in response time analysis of distributed systems. In IEE Colloquium in Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems, Ref. No. 1999/006, pages 7/1-4, London, UK, January 1999. IEE. [ bib | .pdf ]
S. Bradley, W. Henderson, and D. Kendall. Using timed automata for response time analysis of distributed real-time systems. In Proceedings 24th IFAC/IFIP Workshop on Real-Time Programming (WRTP'99), Schlos Dagstuhl, Saarland, Germany. IFAC, May 1999. [ bib | .pdf ]
D. Kendall, W. Henderson, and A. Robson. Space efficient reachability analysis for a value passing, timed process algebra. In Internal report, July 1999. [ bib | .pdf ]
W. Henderson, D. Kendall, and A. Robson. Accounting for clock frequency variation in the analysis of distributed factory control systems. In 3rd IEEE International Workshop on Factory Communication Systems, Porto, Portugal. IEEE, Piscataway, NJ, USA, September 2000. [ bib ]
W. Henderson, D. Kendall, and A. Robson. Improving the accuracy of scheduling analysis applied to distributed systems - computing minimal response times and reducing jitter. Journal of Real-Time Systems, 20(1):5-25, 2001. [ bib | .pdf ]
S. Bradley, W. Henderson, D. Kendall, and A. Robson. A formal design language for real-time systems with data. Science of Computer Programming, 40(1):3-29, 2001. [ bib ]
D. Kendall. CANDLE: A tool for efficient analysis of CAN control systems. In Proceedings of the 1st Workshop on Real-Time Tools (RT-TOOLS'2001), Aalborg, Denmark, Technical Report 2001-014, University of Uppsala, August 2001. [ bib | .pdf ]
D. Kendall. Formal Modelling and Analysis of Broadcasting Embedded Control Systems. PhD thesis, Department of Computing Science, University of Newcastle upon Tyne, September 2001. [ bib | .pdf ]
K. Saghar, W. Henderson, D. Kendall, and A. Bouridane. Applying formal modelling to detect DoS attacks in wireless medium. In 7th International Symposium on Communication Systems Networks and Digital Signal Processing (CSNDSP), pages 896 - 900, 2010. [ bib | .pdf ]
K. Saghar, W. Henderson, D. Kendall, and A. Bouridane. Formal modelling of a robust wireless sensor network routing protocol. In ASA/ESA Conference on Adaptive Hardware and Systems (AHS), pages 281 - 288, 2010. [ bib | .pdf ]
K. Saghar, D. Kendall, and A. Bouridane. Vulnerability of INSENS to denial of service attacks. In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pages 1896 - 1899, 2011. [ bib | .pdf ]
This file was generated by bibtex2html 1.97.