View Profile
Dr Steven Bradley, BA MSc PhD
Teaching Fellow in the School of Engineering and Computing Sciences
Telephone: +44 (0) 191 33 41754
Room number: CS325 (Christopherson)
(email at s.p.bradley@durham.ac.uk)
Biography
Personal web pages http://www.dur.ac.uk/s.p.bradley
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