Discrete Mathematics by Example by Simpson, A

On the need for user-defined fine-grained access control policies for social networking applications by Simpson, A

Towards the mechanical verification of moving block signalling systems by Simpson, A

Safety through Security by Simpson, A

The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System by Simpson, A

Review of: Jolly, Margaret and Martha MacIntyre (eds.): Family and Gender in the Pacific: Domestic Contradictions and the Colonial Impact by Simpson, A

Into the unknown: the need to reframe risk analysis by Simpson, A

Whither the privacy breach case studies? by Simpson, A

On the need for user−defined fine−grained access control policies for social networking applications by Simpson, A

Railway Signalling as a case study in Safety through Determinism by Simpson, A

Logic‚ damned logic‚ and statistics by Simpson, A

Model Checking for Interlocking Safety by Simpson, A

Into the unknown: the need to reframe risk analysis by Simpson, A

Investigating resistance of glioblastoma multiforme to radiotherapy and chemotherapy by Simpson, A

On privacy and public data: A study of data.gov.uk by Simpson, A

A Formal Specification of an Automatic Train Protection System by Simpson, A

The Mechanical Lung Ventilator as a Z-to-B educational case study by Simpson, A

Teaching introductory formal methods and discrete mathematics to software engineers: reflections on a modelling-focussed approach by Simpson, A

Testing methods and reliability power / by 182586 Simpson, A.

Towards a greater understanding of Coordinated Vulnerability Disclosure policy documents by Walshe, T, Simpson, A