School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Athena SWAN
  6. Placements and internships
  7. Our London location
  1. Research Centre for Software Reliability
  2. Publications
School of Mathematics, Computer Science & Engineering

2004

Bentley, J.G.W., Bishop, P.G., Meulen, M.J.P. van der, "An Empirical Exploration of the Difficulty Function", Safecomp, Potsdam, 21.-24 Sep. 2004, Potsdam, Germany, pp. 60-71, Springer Verlag, 2004. [abstract]

Meulen, M.J.P. van der, Bishop, P.G., Revilla, M., "An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs", ISSRE 2004, Rennes, France, pp. 101-12, 2004. [abstract]

M. Oussalah and M. Newby, "Combination of qualitative and quantitative sources of knowledge for risk assessment in the framework of possibility theory", International Journal of General Systems, vol. 33(2), pp. 133-151, 2004.

E. Alberdi, A. A. Povyakalo, L. Strigini, P. Ayton, "Effects of incorrect CAD output on human decision making in mammography", Academic Radiology, vol. 11( 8), pp. 909-918, (recipient of the 2005 Herbert M. Stauffer Award for "Best Clinical Paper" from the Association of University Radiologists), 2004. [abstract]

E. Alberdi, P. Taylor, R. Lee, "Elicitation and Representation of Expert Knowledge for Computer Aided Diagnosis in Mammography", Methods of Information in Medicine, vol. 43(3), pp. 239-46, 2004. [abstract]

Bishop, P.G., "Estimating PLC Logic Program Reliability", Safety-critical Systems Symposium, Birmingham, 17-19 Feb. 2004, (F. Redmill and T Anderson, Eds.), pp. 179-194, Springer, 2004. [abstract]

Povyakalo. AA, Alberdi. E, Strigini. L, Ayton. P, "Evaluating 'Human + Advisory computer' systems: A case study", Proceedings of HCI2004, 18th British HCI Group Annual Conference, (Dearden. A, Watts. L, Eds.), vol. 2, pp. 93-96, British HCI Group, 2004. [abstract]

Gashi I., Popov P., Strigini L., "Fault diversity among off-the-shelf SQL database servers", Proc. DSN 2004, International Conference on Dependable Systems and Networks,Florence, Italy, IEEE Computer Society Press, pp:389-398, 2004. [abstract]

Strigini, L., "Formalism and judgement in assurance cases", Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, held at DSN 2004, International Conference on Dependable Systems and Networks, Florence, Italy, June, 2004. [more information]

Kharchenko V., Popov P., Romanovsky A., "On Dependability of Composite Web Services with Components Upgraded Online", In Int. Conf. on Dependable Systems and Networks (DSN '04 - Workshop supplement), pp. 287-291, IEEE Computer Society, Florence, Italy, 2004. [abstract]

Kharchenko V., Popov P., Romanovsky A., "On Dependability of Composite Web Services with Components Upgraded Online", In Int. Conf. on Dependable Systems and Networks (DSN '04 - Workshop supplement), pp. 287-291, Florence, Italy, 2004.

Gashi I., Popov P., Stankovic V., Strigini L., "On Designing Dependable Services with Diverse Off-The-Shelf SQL Servers", in "Architecting Dependable Systems II", Lecture Notes in Computer Science, (R. de Lemos, C. Gacek and A. Romanovsky, Eds.), vol. 3069, pp. 191-214, Springer-Verlag, 2004. [abstract] [more information]

Meulen, M.J.P. van der, "On the use of smart sensors, common cause failure and the need for diversity", 6th International Symposium, Programmable Electronic Systems in Safety Related Applications, TUV, 2004. [abstract]

B. Littlewood and L. Strigini, "Redundancy and diversity in security", Proc. ESORICS 2004, 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September, pp. 423-438, Springer-Verlag, Lecture Notes in Computer Science 3193, 2004. [abstract] [more information]

P. Popov, L. Strigini, A. Kostov, V. Mollov and D. Selensky, "Software Fault-Tolerance with Off-the-Shelf SQL Servers", Proc. 3rd International Conference on Component-Based Software Systems (ICCBSS'04), 2-4 Feb. 2004, Redondo Beach, CA, U.S.A., pp. 117-126, Springer, 2004. [abstract] [more information]

P. Popov, B. Littlewood, "The effect of testing on the reliability of fault-tolerant software", Proc International Conference on Dependable Systems and Networks (DSN2004), pp. 265-274, IEEE Computer Society, 2004. [abstract]