Publications
|
[1]
|
Bev Littlewood and John Rushby.
Reasoning about the reliability of diverse two-channel systems in
which one channel is ''possibly perfect''.
[ .pdf ]
|
|
[2]
|
Massimo Felici.
The risk of trust in safety: Confidence games.
In Proceedings of the 2nd IET International Conference on System
Safety, pages 249-252. IET, 2007.
[ .pdf ]
|
|
[3]
|
Russell Lock, Tim Storer, Natalie Harvey, Conrad Hughes, and Ian Sommerville.
Human factors observations of the e-counting system for the
Scottish 2007 elections.
Project Working Paper 2, InDeED Project, May 2007.
Submitted to British-HCI 2007.
[ .pdf ]
|
|
[4]
|
Ian Sommerville, Tim Storer, and Russell Lock.
Responsibility modelling for contingency planning.
Working Paper 5, InDeED Project, School of Computer Science,
University of St Andrews, June 2007.
Submitted to the Journal of Reliability Engineering & System Safety.
[ .pdf ]
|
|
[5]
|
Ian Sommerville, Tim Storer, and Russell Lock.
Responsibility modelling for contingency planning.
In Workshop on Understanding Why Systems Fail, Contingency
Planning and Longer Term Perspectives on Learning from Failure in Safety
Critical Systems, June 2007.
[ .pdf ]
|
|
[6]
|
Robin E. Bloomfield, Bev Littlewood, and David Wright.
Confidence: Its role in dependability cases for risk assessment.
In The 37th Annual IEEE/IFIP International Conference on
Dependable Systems and Networks, DSN 2007, pages 338-346, Edinburgh, UK,
June 2007. IEEE Computer Society.
[ http ]
|
|
[7]
|
Russell Lock, Tim Storer, Natalie Harvey, Conrad Hughes, and Ian Sommerville.
Observations of the Scottish elections 2007.
In eGov 2007, Third e-Government Workshop, Leeds, UK, September
2007.
[ .pdf ]
|
|
[8]
|
Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, Peter Ayton, and Rosalind
Given-Wilson.
Cad in mammography: lesion-level versus case-level analysis of the
effects of prompts on human decisions.
In International Journal of Computer Assisted Radiology and
Surgery (IJCARS), 2008.
[ .pdf ]
|
|
[9]
|
Tim Storer and Russell Lock.
Modelling responsibility.
Project Working Paper 7, InDeED Project, April 2008.
[ .pdf ]
|
|
[10]
|
Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, and Peter Ayton.
Why are people's decisions sometimes worse with computer support?
safecomp. hamburg, germany.
In Proceedings of SAFECOMP09, 2009.
[ .pdf ]
|
|
[11]
|
Eugenio Alberdi, Lorenzo Strigini, Kieran Leach, Peter Ryan, Philippe Palanque,
and Marco Winckler.
Gaining assurance in a voter-verifiable voting system.
In Proceedings of DEPEND09, 2009.
[ .pdf ]
|
|
[12]
|
Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, and Peter Ayton.
Computer aided detection: Risks and benefits for radiologists'
decisions.
In The Handbook of Medical Image Perception and Techniques,
pages 322-334. Cambridge, UK: Cambridge University Press, 2009.
[ .pdf ]
|
|
[13]
|
Tim Storer and Russell Lock.
Accuracy: The fundamental requirement for voting systems.
In Proceedings of the The Third International Conference on
Availability, Reliability and Security, ARES 2008, pages 374-379, Fukuoka,
Japan, March 2009. IEEE Computer Society.
[ .pdf ]
|
|
[14]
|
Ian Sommerville, Russell Lock, Tim Storer, and John Dobson.
Deriving information requirements from responsibility models.
In Pascal Van Eck, Jaap Gordijn, and Roel Wieringa, editors,
Advanced Information Systems Engineering, 21st International Conference,
CAiSE 2009, volume 5565 of Lecture Notes in Computer Science, pages
515-529, Amsterdam, Netherlands, June 2009. Springer Verlag.
[ .pdf ]
|
|
