Design and Implementation of a Proof-of-Concept MMORPG Using CSP and occam-pi. - Allan McInnes (PDPTA, 2005)

Utility of algebraic connectivity metric in topology design of survivable networks. - William Liu; Harsha R. Sirisena; Krzysztof Pawlikowski; Allan McInnes (DRCN, 2009)

A Fast and Simple Scheme for Mobile Station-Controlled Handover in Mobile WiMAX. - Sayan Kumar Ray; Swapan Kumar Ray; Krzysztof Pawlikowski; Allan McInnes; Harsha R. Sirisena (AccessNets, 2010)

Self-Tracking Mobile Station Controls Its Fast Handover in Mobile WiMAX. - Sayan Kumar Ray; Swapan Kumar Ray; Krzysztof Pawlikowski; Allan McInnes; Harsha R. Sirisena (WCNC, 2010)

An Industrial Application of Model Checking to a Vessel Control System. - Daniel Keating; Allan McInnes; Michael P. Hayes (DELTA, 2011)

Model Checking a TTCAN Implementation. - Daniel Keating; Allan McInnes; Michael P. Hayes (ICST, 2011)