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


Gashi I., Leita C., Stankovic V., Thonnard O., "An Experimental Study of Diversity with Off-The-Shelf AntiVirus Engines", in Proc. NCA'09, the 8th IEEE International Symposium on Network Computing and Applications, Cambridge, MA, USA, IEEE Computer Society Press, accepted for publication, 2009. [abstract]

Jones. K, Nickovic. D, Konrad. V, "Analog property checkers: a DDR2 case study", Formal Methods in System Design Publisher Springer Netherlands ISSN 0925-9856 (Print) 1572-8102 (Online), 2009.

Winckler, M., Bernhaupt, R., Palanque, P., Lundin, D., Leach, K., Ryan, P., Alberdi, E. & Strigini, L., "Assessing the usability of open verifiable e-voting systems: a trial with the system Prêt à Voter", In Kaplan, A. a. B., Asim and Aktan, Coskun and Dalbay, Ozkan (Ed.) Proc. of ICE-GOV. Ankara, Turkey, Turksat, 2009.

E. Alberdi, A. Povyakalo, L. Strigini, and P. Ayton, "Computer Aided Detection: Risks and benefits for radiologists' decisions", in The Handbook of Medical Image Perception and Techniques, E. Samei and E. Krupinski, Eds. Cambridge, UK: Cambridge University Press, 2010, pp. 320-332, ISBN-13: 9780521513920,, 2009.

Alberdi, E., Strigini, L., Leach, K., Ryan, P., Palanque, P. & Winckler, M., "Gaining assurance in a voter-verifiable voting system", DEPEND 2009, Athens, Greece, 2009.

Gashi I., Popov P., Stankovic V., "Uncertainty Explicit Assessment of Off-The-Shelf Software: A Bayesian Approach", in Elsevier Journal of Information and Software Technology, Elsevier, 51 (2), pp. 497�511, 2009. [abstract]

E. Alberdi, L. Strigini, A. A. Povyakalo, and P. Ayton, "Why are people's decisions sometimes worse with computer support?", in Proc. SAFECOMP 2009, The 28th International Conference on Computer Safety, Reliability and Security, (Bettina Buth, Gerd Rabe, Till Seyfarth, Eds.), pp. 18-31, Springer, Lecture Notes in Computer Science 5775, Hamburg, Germany, 2009. [abstract]