School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. UKACM 2019
  4. Compressors Conference
  5. Our London location
  6. Athena SWAN
  7. Placements and internships
  8. Engineering & Mathematics scholarships and funding
  9. Computer Science scholarships and funding
  1. Research Centre for Software Reliability
  2. Publications
School of Mathematics, Computer Science & Engineering


Bishop, P.G, Pullen, F.D., "A Random Walk through Software Reliability Theory", Mathematical Structures for Software Engineering, (de Neumann, B., Simpson, D., Slater, G., Eds.), pp. 83-112, Clarendon Press, Oxford, ISBN 0-19-853627-5, 1991.

Meulen, M.J.P. van der, "Analyse bedrijfszekerheid kan calamiteiten voorkomen", I2P, 1991.

Wright, D. R., "Comments on paper by Christodoulakis and Panziou", Information and Software Technology, (J. Weightman, Eds.), vol. 33(1), pp. 103-4, Butterworth-Heinemann, 1991.

Di Giandomenico F, Strigini L, "Implementations and extensions of the conversation concept", Conference Proceedings: 5-th GI/ITG/GMA International Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment, vol. 283, pp. 42-53, Nurnberg, Germany, 1991.

Sutcliffe A.G. and Maiden N.A.M., "Interactive Tool Support for Specification Reuse by Analogy", 9th National Conference on Artificial Intelligence, pp. 104-114, 1991.

Conti M, Grandoni F, Gregori E, Lenzini L, Strigini L, "Interconnection of Dual Bus MANs: Architecture and Algorithms for Bandwidth Allocation", Internetworking: Research and Experience, vol. 2, pp. 1-22, London, 1991.

Jones. K, "LM3: A Larch interface language for Modula-3: A definition and introduction", Digital Equipment Corporation, Systems Research Center, 1991.

Meulen, M.J.P. van der, "Methoden voor onderhoud beschikbaar maar vaak ongebruikt", Polytechnisch Tijdschrift, pp. iA6-9, 1991.

Lindsay. P, Jones. C, Jones. K, Moore. R, "Mural: A Formal Development Support System", Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1991.

Meulen, M.J.P. van der, "Redundantie synoniem met overbodig?", Polytechnisch tijdschrift, pp. iA2-4, 1991.

Littlewood B, "Reliability", Chapter 11 of Software Metrics: A Rigorous Approach (N Fenton), Chapman and Hall, London, pp230-249, 1991.

Brocklehurst S., Kanoun K., Laprie J.C., Littlewood B., Metge S., Mellor P, Tanner A., "Reliability analyses of workstation failure data", Conference - Proc. ESPRIT'91, pp. 826-831, Brussels, 1991.

Dahll, G., Barnes M., Bishop, P.G., "Software Diversity: Way to enhance Safety?", Information and Software Technology, Vol. 32, no 10, 1991.

Littlewood B, "Software reliability modelling: achievements and limitations", (invited paper) Proc IEEE CompEuro91 (Bologna, May 13-16), IEEE Computer Society Press, 1991.