Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Wilson Ifill
2010 – today
- 2012
[c7]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: 393-405- 2010
- [j1]Wilson Ifill, Steve A. Schneider: A step towards refining and translating B control annotations to Handel-C. Concurrency and Computation: Practice and Experience 22(8): 1023-1048 (2010)
2000 – 2009
- 2009
- [c6]Helen Treharne, Steve Schneider, Neil Grant, Neil Evans, Wilson Ifill: A Step towards Merging xUML and CSP || {\| \ }B. Rigorous Methods for Software Construction and Analysis 2009: 130-146
- 2008
- [c5]Steve Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill: Experiments in Translating CSP || B to Handel-C. CPA 2008: 115-133
- 2007
- [c4]Wilson Ifill, Steve A. Schneider, Helen Treharne: Augmenting B with Control Annotations. B 2007: 34-48
- [c3]
- [c2]Chris Nettleton, Wilson Ifill, Colin Marsh: Towards a demonstrably-correct ada compiler. SIGAda 2007: 89-96
- [c1]Wilson Ifill, Steve Schneider: A Step Towards Refining and Translating B Control Annotations to Handel-C. CPA 2007: 399-424
- [e1]Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch (Eds.): The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007. Concurrent Systems Engineering Series 65, IOS Press 2007, ISBN 978-1-58603-767-3
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:00 CEST by the dblp team