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


Bloomfield, R. E, "A descriptive model of failures in complex systems", Proceedings DSN 2003, Supplemental Volume, pp. B76-77, IEEE Computer Society, 2003.

M. Oussalah, M. Newby, "Analysis of serial-parallel systems in the framework of fuzzy/possibility theory. Part I: Appraisal. Case of Independent components", Journal of Reliability Engineering and System Safety, vol. 79(3), pp. 353-368, 2003.

M. Oussalah and J. De Schutter, "Approximated fuzzy L-R computations", Information Sciences, vol. 153, pp. 154-175, 2003.

E. Alberdi, A. Povyakalo, L. Strigini, P. Ayton, "Decision support or automation bias? A study of computer aided decision making in breast screening", Proceedings of SPUDM 2003 (Subjective Probability, Utility and Decision Making), 2003. [abstract]

P. Popov and L. Strigini, "Diversity with Off-The-Shelf Components: A Study with SQL Database Servers", International Conference on Dependable Systems and Networks (DSN 2003) - Fast Abstracts supplement, 2003, pp. B84-B85., 2003. [more information]

E. Alberdi, A. Povyakalo, L. Strigini, P. Ayton, "Does incorrect computer prompting affect human decision making? A case study in mammography", International Congress Series (Proceedings of CARS 2003: Computer Assisted Radiology and Surgery), (H.U. Lemke, M.W. Vannier, K. Inamura, A.G. Farman, K. Doi and J.H.C. Reiber, Eds.), vol. 1256, pp. 938-943, 2003. [abstract]

Wright, D. R., "Elicitation and Validation of Graphical Dependability Models", Proc. 22nd International Conference on Computer Safety, Reliability and Security. ISBN 3-540-20126-2, (Stuart Anderson, Massimo Felici, Bev Littlewood, Eds.), vol. SAFECOMP2003, pp. 8--21, Springer-Verlag Heidelberg, Edinburg, 2003. [abstract] [more information]

P. Popov, L. Strigini, J. May and S. Kuball, "Estimating Bounds on the Reliability of Diverse Systems", IEEE Transactions on Software Engineering, vol. 29, no. 4, 2003, pp.345-359, 2003. [abstract]

M. Oussalah, H. Maaref, C. Barret, "From Adaptive Combination Rule to Progressive Rule", Fuzzy Sets and Systems, vol. 139(3), pp. 559-582, 2003.

M. Oussalah, J. De Schutter, H. Bruyninckx, "Fuzzy-Based Approach for Contact Identification in Force-Controlled Robot Tasks. Experimental results and modelling influence", Engineering Application of Artificial Intelligence, vol. 16, pp. 691-707, 2003.

L. Strigini, A. Povyakalo and E. Alberdi, "Human-machine diversity in the use of computerised advisory systems: a case study", DSN 2003 - IEEE International Conference on Dependable Systems and Networks, San Francisco, U.S.A., 2003, pp. 249-258, 2003. [abstract]

M. Oussalah and A. Zaatri, "Integration and design of multimodal interfaces for supervisory control systems", Information Fusion, vol. 4(2), pp. 135-150, 2003.

Bishop P.G. , Bloomfield R.E, Clement T.P., Guerra A.S.L and Jones C.C.M., "Integrity Static Analysis of COTS/SOUP", Proc SAFECOMP 2003, 23-26 Sept, pp. 63-76, Elsevier, Edinburgh, Scotland, 2003. [more information]

M. Oussalah, "Interval possibility and necessity measures", International Journal of Kybernetics, vol. 32/3, pp. 317-343, 2003.

Bishop P.G., "MC/DC based estimation and detection of residual faults in PLC logic networks", ISSRE 2003 Fast Abstracts, 17-20 Nov, (R. Chillarege, Eds.), pp. 297-298, Chillarege Press, Denver, USA, 2003. [abstract] [more information]

Bloomfield, R.E and Littlewood, B., "Multi-legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments", Proceedings DSN 2003, pp. 25-34, IEEE Computer Society, ISBN 0-7695-1952-0, 2003.

M. Oussalah, "On the use of Hamacher's t-norms family for information aggregation", Information Sciences, vol. 153, pp. 107-154, 2003.

Bishop P.G. and Bloomfield R.E., "Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction", ISSRE 2003, 17-20 Nov., pp. 237-245, Denver, USA, 2003. [abstract] [more information]