About City
  1. Schools and departments
  2. Education
  3. Rector and President
  4. Governance and leadership
  5. Working at City
  6. History of City
  7. More about City
  8. Campus map
  9. Contact us
  1. Mathematics, Computer Science and Engineering
  2. Research
  3. Research Centre for Software Reliability
About City


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]