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. 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.