Dr Steven Bradley, BA MSc PhD
Teaching Fellow in the School of Engineering and Computing Sciences
Telephone: +44 (0) 191 33 41754
Room number: E114 (Christopherson)
(email at firstname.lastname@example.org)
School of Engineering and Computing Sciences
School of Applied Social Sciences
- Distributed systems
- Formal methods
- Real-time systems
- Software engineering
Edited works: conference proceedings
- 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.
- 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.
- Bradley SP, W Henderson, D Kendall & A Robson (1998). Integrating AORTA with Model-Based Data Specification Languages. Fundamental Approaches to Software Engineering FASE'98, Springer.
- 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.