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


D. Bosio, B. Littlewood, M.J. Newby and L. Strigini, "Advantages of open source processes for reliability: clarifying the issues", Presented at Workshop on Open Source Software Development, Newcastle upon Tyne, February, 2002. [abstract] [more information]

Littlewood, B., Popov, P., Strigini, L., "Assessing the reliability of diverse fault-tolerant software-based systems", Safety Science, vol. 40, pp. 781-796, Pergamon, 2002. [abstract]

M. Oussalah, "Building a fusion architecture for intelligent robotics applications", Fusion of Soft Computing and Hard Computing Techniques for Autonomous Robotic Systems, (Eds: Changjiu Zhou, Dario Maravall and Da Ruan., Eds.), pp. 35-73, Physica-Verlag, 2002.

Alberdi, E., Taylor, P., Lee, R., Fox, J., Todd-Pokropek, A., "Eliciting a Terminology for Mammographic Calcifications", Clinical Radiology, vol. 57 (11), pp. 1007-1013, 2002.

Bishop, P.G., "Estimating Residual Faults from Code Coverage", SAFECOMP 2002, 10-13 September 2002, Catania, Italy, pp. 163-174, 2002. [abstract] [more information]

M. Oussalah and J. De Schutter, "Hybrid Fuzzy Probabilistic Data Association Filter and Joint Probabilistic Data Association Filter", Information Sciences, vol. 142, pp. 195-226, 2002.

Taylor, P., Lee, R. and Alberdi, E., "Incorporating Explanations into a CAD tool for the classification of calcification", Proceedings of the Sixth International Workshop on Digital Mammography 2002, (Peitgen, Eds.), 2002. [abstract]

Bishop, P.G. Bloomfield, R.E. Froome, P.K.D., "Justifying the use of software of uncertain pedigree (SOUP) in safety related applications", 5th International Symposium: Programmable Electronic Systems in Safety Related Applications, Cologne, 7th to 8th May, 2002.

M. Oussalah, A. Zaatri, H. Van brussel, "Kalman filtering approach for lane extraction and following", International Journal of Intelligent Robotics Systems, vol. 34, pp. 195-218, 2002.

Meulen, M.J.P. van der, "Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit using SMV", Proceedings of the Fourth International Conference on Formal Methods in Computer-Aided Design, November 6-8, 2002, Portland, Oregon, USA, 2002.

M. Oussalah, "On the compatibility between defuzzification and fuzzy arithmetic operations", Fuzzy Sets and Systems, vol. 128(2), pp. 247-260, 2002.

M. Oussalah, "On the normalization of the subnormal possibility distribution", International Journal of General Systems, vol. 31(3), pp. 277-301, 2002.

Bloomfield, Robin.E and Guerra, Sofia, "Process Modelling to Support Dependability Arguments", Proc DSN 2002, IEEE Computer Society, Washington DC USA, 2002. [abstract]

Popov, P., "Reliability Assessment of Legacy Safety-Critical Upgraded with Off-the-Shelf Components", Proc. SAFECOMP 2002, 10-13 September, 2002, Catalina, Italy, (S. Anderson, S. Bolognia, M. Felici, Eds.), vol. LNCS 2434, pp. 139-150, Springer, 2002. [abstract] [more information]

Bishop, P.G., "Rescaling Reliability Bounds for a New Operational Profile", International Symposium on Software Testing and Analysis (ISSTA 2002), July 22-24, (Phyllis G. Frankl, Eds.), vol. 27 (4), pp. 180-190, ACM Software Engineering Notes, Rome, Italy, 2002. [abstract] [more information]

Bishop, P.G., Bloomfield, R.E., Clement,T.P., Guerra, A.S.L., "Software Criticality Analysis of COTS/SOUP", SAFECOMP 2002, 10-13 September 2002, Catania, Italy, pp. 198-211, 2002.

Bishop, P.G., Bloomfield, R.E., "Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects", Thirteenth International Symposium on Software Reliability Engineering (ISSRE '02), November 12-15, Annapolis, Maryland, USA, pp. 295-303, 2002. [abstract] [more information]