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


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.