Dan Slipper

Safety Requirement Patterns for High Consequence Arming Systems

Daniel James Slipper, Dan Slipper, 2015 .

Modelling and analysing Defence-in-Depth in arming systems

Wilson Ifill, Dan Slipper, Alistair A. McEwan, 2013, 2013 International Conference on System Science and Engineering (ICSSE).

Towards Tool Support for Design and Safety Analysis of High Consequence Arming Systems Using Matlab

Richard Johnson, Wilson Ifill, Dan Slipper, 2012, BMMDS/EMMSAD.

A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C

Dan Slipper, Alistair A. McEwan, A. McEwan, 2011, CPA.