Tim M. Bull

Publication Activity (10 Years)

Years Active: 1992-1996
Publications (10 Years): 0

Durham University, UK (PHD)

Education History

Durham University, UK

PHD

Publications

E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull
Reverse Engineering Concurrent Programs using Formal Modelling and Analysis. ICSM (1996)
Tim M. Bull, Keith H. Bennett
System Safety through Formal Domain-Specific Languages. SSS (1996)
Tim M. Bull, Keith H. Bennett
A report on the Durham program transformations workshop. ACM SIGSOFT Softw. Eng. Notes 21 (4) (1996)
E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull
Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. WCRE (1996)
Tim M. Bull
Comprehension of Safety-Critical Systems Using Domain-Specific Languages. WPC (1996)
Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo
Bylands: reverse engineering safety-critical systems. ICSM (1995)
Keith H. Bennett, Tim M. Bull, Hongji Yang
A transformation system for maintenance-turning theory into practice. ICSM (1992)