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


Fox, J., Sordo, M., Taylor, P., Lee, R., Alberdi, E., "Combining decision support and image processing: a PROforma model", MedInfo 2001, Studies in Health Technology and Informatics, (R. Rogers , R. Haux and V. Patel, Eds.), vol. 84, 2001.

Littlewood, B., Popov, P. and Strigini, L., "Design Diversity: an Update from Research on Reliability Modelling", Proc. Safety-Critical Systems Symposium 2001, Bristol, U.K., Springer, 2001. [more information]

Alberdi, E., Becher, J-C., Gilhooly, K., Hunter, J., Logie, R., Lyon, A., McIntosh, N., and Reiss, J., "Expertise and the interpretation of computerised physiological data: Implications for the design of computerised physiological monitoring in neonatal intensive care", International Journal of Human Computer Studies, vol. 55(3), pp. 191-216, 2001. [more information]

Taylor, P., Alberdi, E., Lee, R., "Incorporating radiological knowledge in a CAD system", Computer Assisted Radiology and Surgery (Proceedings of CARS 2001), (H. U. Lemke, M. W. Vannier, K. Inamura, A. G. Farman and K. Doi, Eds.), pp. 559-564, Amsterdam: Elsevier, 2001.

M. Oussalah S Nefti, K. Djouani and J. Pontnau, "Intelligent Adaptive Mobile Robot Navigation", Journal of Intelligent Robotics Systems, vol. 30, pp. 311-329, 2001.

Bishop, P.G., Bloomfield, R. E., Froome, P. K. D., "Justifying the use of software of uncertain pedigree (SOUP) in safety-related applications", Health and Safety Executive Contract Research Report, CRR 336/2001, ISBN 0 7176 2010 7, HSE, May, 2001. [more information]

Jones, C., Bloomfield, R.E., Froome, P.D.K., Bishop, P.G.,, "Methods for assessing the safety integrity of safety-related software of uncertain pedigree (SOUP)", Health and Safety Executive Contract Research Report CRR 337/2001, HSE, ISBN 0 7176 2011 5, 2001. [more information]

Littlewood, B., Popov, P. and Strigini, L., "Modelling software design diversity - a review", ACM Computing Surveys, vol. 33, no. 2, pp. 177 - 208, 2001. [abstract] [more information]

M. Oussalah, H. Maaref, C. Barret, "New Fusion Methodology Approach and Application to Mobile Robotics: Investigation in the Framework of Possibility Theory", Information Fusion, vol. 2(1), pp. 31-48, 2001.

Popov, P., Strigini, L., Riddle, S. and Romanovsky, A., "On Systematic Design of Protectors for Employing OTS Items", 27th Euromicro Conference, Workshop on Component-Based Software Engineering, pp. 22-29, Warsaw, Poland, 2001. [abstract]

M. Oussalah, J. De Schutter, "Possibilistic Kalman Filtering for Radar 2D tracking", Information Sciences, vol. 130, pp. 85-107, 2001.

Popov, P., Strigini, L., Riddle, S. and Romanovsky, A., "Protective Wrapping of OTS Components", 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction, Toronto, Canada, 2001. [abstract]

M. Oussalah, J. De Schutter, "Robust Fuzzy Linear Regression and its application for contact identification", Intelligent Automation and Soft Computing journal, vol. 8(1), pp. 1-9, 2001.

M. Oussalah, "Suboptimal Multiple Model Filter for Mobile Robot Localization", International Journal of Robotics Research, vol. 20(2), pp. 977-989, 2001.

Penny, J., Eaton, A., Bishop, P., Bloomfield, R., "The Practicalities of Goal-Based Safety Regulation", Proc. Ninth Safety-critical Systems Symposium (SSS 01), Bristol, UK, 6-8 Feb, pp. 35-48, New York: Springer, ISBN: 1-85233-411-8, 2001.

P. Popov and L. Strigini, "The Reliability of Diverse Systems: a Contribution using Modelling of the Fault Creation Process", DSN 2001 - The International Conference on Dependable Systems and Networks, Goteborg, Sweden, 2001, 2001. [abstract] [more information]