We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.


View Profile

Dr Steven Bradley, BA MSc PhD

Telephone: +44 (0) 191 33 41754
Room number: E114 (Christopherson)

(email at


Personal web pages

Research Groups

School of Engineering and Computing Sciences

Research Projects

School of Applied Social Sciences

Research Interests

  • Distributed systems
  • Formal methods
  • Real-time systems
  • Software engineering

Selected Publications

  • Bradley SP, W Henderson & D Kendall (1999). Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems. 24th IFAC/IFIP Workshop on Real-Time Programming (WRTP 99) 143-148
  • Bradley SP, D Kendall, W Henderson & A Robson (1998). bCANDLE: Formal Modelling and Analysis of CAN Control Systems. 4th IEEE Real Time Technology and Applications Symposium (RTAS'98), IEEE Press 171-177
  • Bradley SP, W Henderson, D Kendall & A Robson (1998). Integrating AORTA with Model-Based Data Specification Languages. Fundamental Approaches to Software Engineering FASE'98 54-70
  • Bradley SP, W Henderson, D Kendall & A Robson (1996). A Formal Design and Implementation Method for Real-Time Embedded Systems. 22nd Euromicro conference (Euromicro '96), Prague, IEEE 77-84

Show all publications