Publications

1. Eugenio Alberdi, Lorenzo Strigini, Kieran Leach, Peter Ryan, Philippe Palanque, and Marco Winckler. 2009. Gaining assurance in a voter-verifiable voting system. In Proceedings of DEPEND09, 2009.
   [ .pdf ]
2. Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, and Peter Ayton. Computer aided detection: Risks and benefits for radiologists' decisions. 2009. In The Handbook of Medical Image Perception and Techniques, pages 322-334. Cambridge, UK: Cambridge University Press, 2009.
   [ .pdf ]
3. 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 ]
4. Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, and Peter Ayton. Why are people's decisions sometimes worse with computer support? 2009. In Proceedings of SAFECOMP09, Hamburg, Germany.
   [ .pdf ]
5. Peter Bishop, Robin Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright. 2010. Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. IEEE Transactions on Software Engineering, vol. 37 (5) pp. 708-717.
   http://doi.ieeecomputersociety.org/10.1109/TSE.2010.67
6. Robin E. Bloomfield, Bev Littlewood, and David Wright. Confidence: Its role in dependability cases for risk assessment. 2007. 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. Alan Burns and Ian .J. Hayes. 2010. A Timeband Framework for Modelling Real-Time Systems. Real-Time Systems Journal. 45 (1-2), 106-142.
   http://dx.doi.org/10.1007/s11241-010-9094-5.
   [ pdf ]
8. Alan Burns and Bev Littlewood. 2010. Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems.31st IEEE Real-Time Systems Symposium, 2010. pp.73-81.
   pdf
9. Massimo Felici. The risk of trust in safety: Confidence games. 2007. In Proceedings of the 2nd IET International Conference on System Safety, pages 249-252. IET, 2007.
   [ .pdf ]
10. Bev Littlewood and John Rushby. 2010. Reasoning about the Reliability of Diverse Two-Channel Systems in which One Channel is "Possibly Perfect". IEEE Transactions on Software Engineering, 01 Aug. 2011.
    [ .pdf ] http://doi.ieeecomputersociety.org/10.1109/TSE.2011.80
11. Russell Lock, Tim Storer, Natalie Harvey, Conrad Hughes, and Ian Sommerville. 2007. 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 ]
12. Russell Lock, Tim Storer, Natalie Harvey, Conrad Hughes, and Ian Sommerville. 2007. Observations of the Scottish elections 2007. In eGov 2007, Third e-Government Workshop, Leeds, UK, September 2007.
    [ .pdf ]
13. Tim Storer and Russell Lock.2008. 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. Russell Lock, Tim Storer, Natalie Harvey, Ian Sommerville and Gordon Baxter. Responsibility Modelling for Risk Analysis. 2009. Proc. ESREL 2009, September 2009, Prague. pp 1103-1109. ISBN: 978-0-415-55509-8
    [ .pdf ]
15. 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 ]
16. Ian Sommerville, Russell Lock, Tim Storer, and John Dobson. 2009. 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 ]
17. Ian Sommerville, Tim Storer and Russell Lock. 2009. Responsibility Modelling for Civil Emergency Planning. Risk Management Vol 11, issue 3-4, pp 179-207. DOI:10.1057/rm.2009.11
    [ .pdf ]
18. Russell Lock and Ian Sommerville. 2010. Modelling and Analysis of Socio-Technical System of Systems. International Conference on Engineering of Complex Computer Systems. pp 224-232. ISBN: 978-0-7695-4015-3
    [ .pdf ]
19. Tim Storer and Russell Lock. Modelling responsibility. Project Working Paper 7, InDeED Project, April 2008.
    [ .pdf ]
20. Kun Wei, Jim Woodcock and Alan Burns, Modelling Temporal Behaviour in Complex Systems with Timebands. 2012. Chapter 10 in the Springer book "Conquering Complexity" (to appear).
21. Kun Wei, Jim Woodcock, Alan Burns: Timed Circus: Timed CSP with the Miracle. 2011. ICECCS 2011.55-64
    [ PDF ]
22. Kun Wei, Jim Woodcock, Alan Burns: A Timed Model of Circus with the Reactive Design Miracle. SEFM 2010. 315-319.
    [ pdf ]
23. Jim Woodcock, Marcel Oliveira, Alan Burns Kun Wei: Modelling and Implementing Complex Systems with Timebands. SSIRI 2010. 1-13.
    [ pdf ]