Home

Publications

"Process modelling to support dependability arguments"
Robin Bloomfield and Sofia Guerra, In Proceedings of the International Conference on Dependable Systems and Networks, DSN 2002, Washington, DC, USA, June 2002.

"The Practicalities of Goal-Based Safety Regulation"
J Penny, A Eaton CAA (SRG), PG Bishop, RE Bloomfield (Adelard), Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium Bristol, UK, 6-8 February 2001, Felix Redmill and Tom Anderson (eds.) London; New York: Springer, 2001 ISBN: 1-85233-411-8, pages 35-48

"Formal methods diffusion: past lessons and future prospects"
R E Bloomfield (Co Author: D. Craigen, F. Koob, M. Ullmann, S. Wittmann, Safecomp 2000, LNCS series.

"The use of computers in safety-critical application"
Contributor to: B Littlewood, Final report of the study group on the safety of operation computer systems, HSE books, ISBN 0 7176 1620 7, 1998

"A Methodology for Safety Case Development"
P G Bishop and R E Bloomfield, Safety-critical Systems Symposium, Birmingham, UK, Feb 1998 in Industrial Perspectives of Safety-critical systems, ISBN 3-540-76189-6, Springer-Verlag 1998.

"The use of computers in safety-critical application"
Contributor to: B Littlewood, Final report of the study group on the safety of operation computer systems, HSE books, ISBN 0 7176 1620 7, 1998

"ASCAD—Adelard Safety Case Development Manual"
R E Bloomfield, P G Bishop, C C M Jones, P K D Froome, Adelard 1998, ISBN 0 9533771 0 5

"A Conservative Theory for Long-Term Reliability Growth Prediction"
P.G. Bishop and R.E. Bloomfield, IEEE Trans. Reliability, Vol 45, No 4, December 1996

"PERE: Evaluation and Improvement of Dependable Processes"
Robin Bloomfield, John Bowers, Luke Emmet, Stephen Viller, Safecomp 96, Vienna, Oct 96, Springer Verlag 1996

"A Conservative Theory for Long-Term Reliability Growth Prediction"
P.G. Bishop and R.E. Bloomfield, SSRE 96, Oct 1996, White Plains, NY, USA

"The SHIP Safety Case - A Combination of System and Software Methods"
P.G. Bishop and R.E. Bloomfield, in SRSS95, Proc. 14th IFAC Conf. on Safety and Reliability of Software-based Systems, Brugge, Belgium, 12-15 September 1995.

"SpecBox-a checker for VDM specifications"
P K D Froome, B Q Monahan and R E Bloomfield, in Proc. Second Int. Conf. on Software Engineering for Real Time Systems, Cirencester, UK, 1989.

"The application of formal methods to the assessment of high integrity software"
R E Bloomfield and P K D Froome, EEE Trans. on Software Engineering, vol. SE12 no. 9, pp. 988-993, September 1986.

"The production and assessment of high integrity software"
R E Bloomfield and P K D Froome, Electrotechnology pp. 125-127, October 1986