Allan McInnes

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Daniel Keating, Allan McInnes, Michael P. Hayes
An Industrial Application of Model Checking to a Vessel Control System. DELTA (2011)
Daniel Keating, Allan McInnes, Michael P. Hayes
Model Checking a TTCAN Implementation. ICST (2011)
Sayan Kumar Ray, Swapan Kumar Ray, Krzysztof Pawlikowski, Allan McInnes, Harsha R. Sirisena
Self-Tracking Mobile Station Controls Its Fast Handover in Mobile WiMAX. WCNC (2010)
Sayan Kumar Ray, Swapan Kumar Ray, Krzysztof Pawlikowski, Allan McInnes, Harsha R. Sirisena
A Fast and Simple Scheme for Mobile Station-Controlled Handover in Mobile WiMAX. AccessNets (2010)
William Liu, Harsha R. Sirisena, Krzysztof Pawlikowski, Allan McInnes
Utility of algebraic connectivity metric in topology design of survivable networks. DRCN (2009)
Allan McInnes
Design and Implementation of a Proof-of-Concept MMORPG Using CSP and occam-pi. PDPTA (2005)