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.
Alistair A. McEwan
2010 – today
- 2012
[c8]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- 2011
- [c7]Irfan F. Mir, Alistair A. McEwan: A Reliability Enhancement Mechanism for High-Assurance MLC Flash-Based Storage Systems. RTCSA (1) 2011: 190-194
- [c6]Dan Slipper, Alistair A. McEwan: A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C. CPA 2011: 317-327
- 2010
- [j2]Alistair A. McEwan: Guest editorial. Concurrency and Computation: Practice and Experience 22(8): 909-911 (2010)
- [j1]Alistair A. McEwan, Steve Schneider: Modelling and analysis of the AMBA bus using CSP and B. Concurrency and Computation: Practice and Experience 22(8): 949-964 (2010)
2000 – 2009
- 2008
- [c5]
- [e2]Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson (Eds.): The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008. Concurrent Systems Engineering Series 66, IOS Press 2008, ISBN 978-1-58603-907-3
- 2007
- [c4]Alistair A. McEwan, Steve Schneider: Modeling and Analysis of the AMBA Bus Using CSP and B. CPA 2007: 379-398
- [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
- 2006
- [c3]Alistair A. McEwan, Steve Schneider: A verified development of hardware using CSP/spl par/B. MEMOCODE 2006: 81
- [c2]Alistair A. McEwan: A Circus Development and Verification of an Internet Packet Filter. CPA 2006: 339-362
- 2004
- [c1]Alistair A. McEwan, J. C. P. Woodcock: A refinement based approach to calculating a fault tolerant railway signal device. IFIP Congress Topical Sessions 2004: 621-628
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:21 CEST by the dblp team