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]

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]