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


Jones. K, Nickovic. D, Konrad. V, "Analog property checkers: a DDR2 case study", Proc. Formal Verification of Analog Circuits, 2008.

Palanque, P, Winckler, M, Bernhaupt, R, Alberdi, E, Strigini, E, Ryan, E. , "AROVE-v: Assessing the resilience of open verifiable E-voting systems", 7th European Dependable Computing Conference (EDCC 2008), Kaunas, Lithuania. M, 2008. [abstract]

Alberdi, E, Povyakalo, AA, Strigini, L, Ayton, P., Given-Wilson, R. , "CAD in mammography: lesion-level versus case-level analysis of the effects of prompts on human decisions", International Journal of Computer Assisted Radiology and Surgery, vol. 3, pp. 115-122, 2008. [abstract]

Bloomfield R, Gashi I, Povyakalo A, Stankovic V, "Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network", in Proc. ISSRE-2008, 18th International Symposium on Software Reliability Engineering, Seattle, WA, USA, IEEE Computer Society Press, pp. 219-228, 2008. [abstract]

Littlewood, B., Popov, P., Strigini, L., Shryane, N., "Modelling the Effects of Combining Diverse Software Fault Detection Techniques", Formal Methods and Testing: An outcome of the FORTEST Network Revised Selected Papers, (Hierons, R. M., Bowen, J. P., Harman, M., Eds.), vol. LNCS 4949, pp. 345 - 366, Springer, Berlin Heidelberg, 2008. [abstract] [more information]

Jones. K, Kim. J, Konrad. V, "Some Real World problems in the analog and mixed signal domains", Proc. Designing Correct Circuits, 2008.