School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Placements and internships
  6. Our London location
  1. Publications
School of Mathematics, Computer Science & Engineering


Povyakalo A. A., " Some issues of formal qualitative safety analysis of dynamic systems.", Proceedings of Sixth International Conference On Nuclear Engineering (ICONE-6), 10-15 May, 1998, San-Diego, California, CD ROM, paper ICONE-6160, American society of mechanical engineers (ASME), 1998. [abstract]

G. Sonneck, E. Schoitsch, L. Strigini, "A Holistic View on the Dependability of Software-Intensive Systems", Proc. Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP '98, Heidelberg, Germany, Springer, pp. 369-379, (W. Ehrenberger, Eds.), 1998. [abstract]

Bishop P.G., Bloomfield, R.E., "A Methodology for Safety Case Development", Safety-critical Systems Symposium (SSS 98), Birmingham, UK, Feb, 1998. [more information]

Mellor P., "A Model of the Problem or a Problem with the Model?", Computing & Control Engineering Journal, vol. 9(1), pp. 8-18, 1998.

Littlewood B, Barghout M , Abdel-Ghaly A.A, "A non-parametric order statistics software reliability model", Journal - Software Testing, Verification and Reliability, vol. 8, pp. 113-132, 1998. [more information]

Strigini, L., A. Albanese, L. Fratta, "A routing strategy for interconnecting high-speed metropolitan area networks", Conference, Proc. 9th International Conference on Computer Communication, pp. 303-309, Tel Aviv, Israel, 1998.

Fenton N.E., and Neil M., "A Strategy for Improving Safety Related Software Engineering Standards", IEEE Transactions on Software Engineering, vol. 24(11), 1998.

Bishop, P.G., Bloomfield, R.E., Jones, C.C.M, "Adelard Safety Case Development Manual", Adelard, ISBN 0 9533771 0 5, 1998. [more information]

Alberdi, E. & Logie, R., "Applying Cognitive Theories and Methods to the Design of Computerised Medical Decision Support", Proceedings of the Twentieth Annual Meeting of the Cognitive Science Society, pp. 30-35, Mahwah, NJ: Lawrence Erlbaum, 1998.

Bertolino A, Strigini L, "Assessing the risk due to software faults: estimates of failure rate vs evidence of perfection", Software Testing, Verification and Reliability, vol. 8, no.3, pp.155-166, 1998.

M.Pizza, L.Strigini, A.Bondavalli, F.Di Giandomenico, "Bayesian Diagnosis of Transient vs Permanent Faults", CSR Technical Report, 1998.

Pizza M. and Strigini L., "Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality", Proc. Ninth International Symposium on Software Reliability Engineering, ISSRE '98, Paderborn, Germany, IEEE Computer Society Press, pp. 144-153, 1998. [more information]

Popov P. and Strigini L., "Conceptual models for the reliability of diverse systems - new results", Proc. 28th International Symposium on Fault-Tolerant Computing (FTCS-28), Munich, Germany, IEEE Computer Society Press, pp. 80-89, 1998. [more information]

P.Popov, L.Strigini, M.Pizza, "Diverse redundancy against design error: a model of fault creation and its implications on reliability", CSR Technical Report, 1998. [abstract]

Frankl, P., Hamlet, D., Littlewood, B. and Strigini, L., "Evaluating testing methods by delivered reliability", IEEE Transactions on Software Engineering, vol. SE-24(8), pp. 586-601, 1998. [more information]

Ohlsson N and Fenton NE, "Experience with data collection in a large scale environment", Conference - Proc of 8th Internat Conf on Applications of Software Measurement, pp. 157-224, Atlanta, USA, 1998.

Meulen, M.J.P. van der, Clement, T., "Formal methods in the specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier", Symposium on formal methods, Boppard, 1998.

Neil M., Southworth M., Tobin M. and Ostrolenk G., "Lessons from Using Z to Specify a Software Tool", IEEE Transactions on Software Engineering, vol. 24(1), pp. 15-23, 1998.

Ohlsson N and Fenton NE, "Let's start testing some basic software hypotheses!", Conference- Proc of Workshop on Empirical Studies of Software Maintenance (WESS 97), pp. 27-29, Monterey, Calif, 1998.

Pizza, M., Strigini, L., Bondavalli, A., Di Giandomenico, F., "Optimal Discrimination between Transient and Permanent Faults", Proc. 3rd IEEE High-Assurance Systems Engineering Symposium (HASE), IEEE Computer Society Press, Washington DC, USA, 1998. [more information]

Meulen, M.J.P. van der, Bloomfield, R.E., "Refurbishment of the emergency system of the eastern scheldt storm surge barrier", 3rd International Symposium; Programmable Electronic Systems in Safety Related Applications, Cologne, 1998.

Mellor P., "Reliability of Systems, Equipment and Components", Journal - British Standards Institution - Guide to the assessment of reliability of systems containing software, vol. 8, 1998.

Mellor P., "Technological Risks -- Reliability & Safety", Digital Risk Conference, (/}, IBC Conferences Ltd, Eds.), 1998.

K.Finney, N.Fenton, A.Fedorec, "The effects of structure on the comprehensibility of formal specifications", IEEE Transactions on Software Engineering, 1998.

Popov P, Strigini L. and Pizza M., "The efficacy of diverse redundancy against design error: some practical considerations", Proc. Third International Conference on Control and Instrumentation in Nuclear Installations (INucE), Edinburgh, U.K, 1998. [more information]

Littlewood, B. (Chair), "The Use of Computers in Safety-critical Applications", Final Report to Nuclear Safety Advisory Committee (NuSAC) of the Study Group on the Safety of Operational Computer Systems, 1998.

Meulen, M.J.P. van der, "Veiligheid van tunnels onder Oude Maas en Dordtsche Kil", Alert, 1998.