Centre for Software Reliability
  1. News
  2. Staff
  3. Research
  4. Publications
  5. Courses
  6. Consultancy & Advisory Services
  7. Contact CSR
Software Reliability

2000

Lee, R., Alberdi, E. & Taylor, P., "A comparative study of four techniques for calcification detection", Proceedings of IDWM-2000, (M. Yaffe, Eds.), 2000.

Strigini L and Littlewood B, "A discussion of practices for enhancing diversity in software designs", DISPO Project Technical Report LS_DI_TR_04, 2000. [more information]

M. Oussalah, H. Bruyninckx, J. De Schutter, "A fuzzy logic approach to contact identification", Advances in Physics, Electronic and Signal Processing Application, (N. Mastorakis, Eds.), pp. 382-389, Word Scientific and Engineering Society Press, 2000.

Alberdi, E., Sleeman, D. H. & Korpi, M., "Accommodating Surprise in Taxonomic Tasks: The Role of Expertise", Cognitive Science, vol. 24, pp. 53-91, 2000. [abstract]

Fenton NE and Neil M, "Applying Bayesian Belief Networks to Critical Systems Assessment", Safety Critical Systems Club Newsletter, 2000.

Littlewood, B., Popov, P. and Strigini, L, "Assessing the Reliability of Diverse Fault-Tolerant Systems", Proc. INucE International Conference on Control and Instrumentation in Nuclear Installations, Bristol, U.K., 2000. [more information]

Littlewood B, Popov P, Strigini L., "Assessment of the Reliability of Fault-Tolerant Software: a Bayesian Approach", Proc. 19th International Conference on Computer Safety, Reliability and Security, SAFECOMP'2000, Rotterdam, the Netherlands, Springer, 2000. [abstract] [more information]

Courtois, P.-J., Littlewood, B., Strigini, L., Wright, D., Fenton, N. and Neil, M., "Bayesian Belief Networks for Safety Assessment of Computer-based Systems, in System Performance Evaluation: Methodologies and Applications", (E. Gelenbe, Ed.), pp. 349-363, CRC Press, 2000. [abstract]

Neil M, Fenton NE, Nielsen L, "Building large-scale Bayesian Networks", Knowledge Engineering Review, 2000.

Alberdi E., Taylor P., Lee R., Fox J., Sordo M., Todd-Pokropek A., "CADMIUM II: Acquisition and Representation of Radiological Knowledge for Computerized Decision Support in Mammography", Proceedings of AMIA Symposium 2000, (J.M. Overhage, Eds.), pp. 7-11, Los Angeles (CA), 2000.

Taylor P., Alberdi E., Lee R ., et al., "CADMIUM II: combining image processing and symbolic reasoning for computer-aided diagnosis", Proceedings of SPIE Medical Imaging 2000, (K. Hanson, Eds.), pp. 1008-16, 2000.

Popov, P., Strigini, L. and Littlewood, B., "Choosing between Fault-Tolerance and Increased V&V for Improving Reliability", Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), Monte Carlo Resort, Las Vegas, Nevada, USA, CSREA Press, 2000. [more information]

Meulen, M.J.P. van der, "Definitions for Hardware and Software Safety Engineers", ISBN 1-85233-175-5, Springer Verlag, 2000. [abstract]

Popov, P., Strigini, L. and Romanovsky, A., "Diversity for off-the-Shelf Components", International Conference on Dependable Systems & Networks (FTCS-30, DCCA-8) - Fast Abstracts, New York, NY, USA, 2000, pp. B60-B61, 2000. [more information]

Povyakalo A. A., "Formal Qualitative Safety Analysis of Safety-Critical Software algorithms", Proceedings of Eighth International Conference On Nuclear Engineering (ICONE-8), April 2-6, 2000, Baltimore, MD USA, CD ROM paper ICONE-8362, American Society of Mechanical Engineers (ASME), 2000. [abstract]

Littlewood B, Popov P, Strigini L, "Modelling software design diversity - a review", ACM Computing Surveys, vol33, no2, pp177-208, 2000. [abstract]

Littlewood, B., Popov, P., Strigini, L. and Shryane, N., "Modelling the effects of combining diverse software fault removal techniques", IEEE Transactions on Software Engineering, vol. SE-26, no. 12, pp.1157-1167, 2000. [more information]

Littlewood, B., Popov, P. and Strigini, L., "N-version design Versus one Good Version", International Conference on Dependable Systems & Networks (FTCS-30, DCCA-8) - Fast Abstracts, New York, USA, 2000, pp. B42-B43, 2000. [more information]

M. Oussalah, "On the possibility/probability transformations: A comparative analysis", International Journal of General Systems, vol. 29(5), pp. 671-718, 2000.

M. Oussalah, "On the qualitative possibility/necessity measures. Part 1. Investigation in the framework of measurement theory", Information Sciences, vol. 126, pp. 205-275, 2000.

Fenton NE and Ohlsson N, "Quantitative Analysis of Faults and Failures in a Complex Software System", IEEE Transactions on Software Engineering,, 2000.

Alberdi, E., Lee, R. & Taylor, P., "Radiologists' description and interpretation of mammographic calcifications: Knowledge elicitation for computerized decision support", Proceedings of IDWM-2000, (M. Yaffe, Eds.), 2000.

Fenton NE and Neil M, "Software metrics: successes, failures and new directions", Journal of Systems Software, 2000.

Littlewood, B. and Strigini, L., "Software Reliability and Dependability: a Roadmap, in The Future of Software Engineering", State of the Art Reports given at the 22nd Int. Conf. on Software Engineering, Limerick, June 2000, (A. Finkelstein, Ed.), pp. 177-188, ACM Press, 2000. [more information]

M. Oussalah, "Study of some algebrical properties of adaptive combination rules", Fuzzy Sets and Systems, vol. 114, pp. 391-409, 2000.

Finney K, Fenton NE, Fedorec, "The effects of structure on the comprehensibility of formal specifications", IEE Proceedings Software Engineering, 146(4), 193-202,1999., 2000.

Burns A, Prasad D, Bondavalli A, Di Giandomenico F, Ramamritham K, Stankovic J. and Strigini L., "The Meaning and Role of Value in Scheduling Flexible Real-Time Systems", Journal of Systems Architecture., 2000. [abstract]

Littlewood, B, "The problems of assessing software reliability", SCSS-2000, 2000. [abstract] [more information]

Littlewood, B., "The use of proof in diversity arguments", IEEE Transactions on Software Engineering, vol. 26, no. 10, pp.1022-1023, 2000. [abstract] [more information]