Wilson Ifill

According to our database, Wilson Ifill authored at least 8 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

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

Dan Slipper, Wilson Ifill, Gordon Hunter, Roger Green, Richard Johnson, Alistair A. McEwan

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2012

2009

A Step towards Merging xUML and CSP || {\| \ }B.

Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

B Annotations in CriticalControl SystemsDevelopment.

Wilson Ifill

PhD thesis, 2008

Experiments in Translating CSP || B to Handel-C.

Steve A. Schneider, Helen Treharne, Alistair A. McEwan, Wilson Ifill

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

2007

A Step Towards Refining and Translating B Control Annotations to Handel-C.

Wilson Ifill, Steve A. Schneider

Proceedings of the 30th Communicating Process Architectures Conference, 2007

Towards a demonstrably-correct ada compiler.

Chris Nettleton, Wilson Ifill, Colin Marsh

Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

Augmenting B with Control Annotations.

Wilson Ifill, Steve A. Schneider, Helen Treharne

Proceedings of the B 2007: Formal Specification and Development in B, 2007

Hardware Verification and Beyond: Using B at AWE.

Neil Evans, Wilson Ifill

Proceedings of the B 2007: Formal Specification and Development in B, 2007