Wilson Ifill

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Safety Analysis

Nuclear Power Plant

Top Venues

University of Surrey, Guildford, UK (PHD)

Education History

University of Surrey, Guildford, UK

PHD

Publications

Dan Slipper, Wilson Ifill, Gordon Hunter, Roger Green, Richard Johnson, Alistair A. McEwan
Towards Tool Support for Design and Safety Analysis of High Consequence Arming Systems Using Matlab. BMMDS/EMMSAD (2012)
Wilson Ifill, Steve A. Schneider
A step towards refining and translating B control annotations to Handel-C. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill
A Step towards Merging xUML and CSP || {\| \ }B. Rigorous Methods for Software Construction and Analysis (2009)
Steve A. Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill
Experiments in Translating CSP || B to Handel-C. CPA (2008)
Wilson Ifill, Steve A. Schneider, Helen Treharne
Augmenting B with Control Annotations. B (2007)
Chris Nettleton, Wilson Ifill, Colin Marsh
Towards a demonstrably-correct ada compiler. SIGAda (2007)
Wilson Ifill, Steve A. Schneider
A Step Towards Refining and Translating B Control Annotations to Handel-C. CPA (2007)
Neil Evans, Wilson Ifill
Hardware Verification and Beyond: Using B at AWE. B (2007)