Allan McInnes

According to our database, Allan McInnes authored at least 6 papers between 2005 and 2011.

Collaborative distances:

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

2011

Model Checking a TTCAN Implementation.

Daniel Keating, Allan McInnes, Michael P. Hayes

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

An Industrial Application of Model Checking to a Vessel Control System.

Daniel Keating, Allan McInnes, Michael P. Hayes

Proceedings of the Sixth IEEE International Symposium on Electronic Design, 2011

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

Proceedings of the 2010 IEEE Wireless Communications and Networking Conference, 2010

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

Proceedings of the Access Networks - 5th International ICST Conference on Access Networks, 2010

2009

Utility of algebraic connectivity metric in topology design of survivable networks.

William Liu, Harsha R. Sirisena, Krzysztof Pawlikowski, Allan McInnes

Proceedings of the 7th International Workshop on Design of Reliable Communication Networks, 2009

2005

Design and Implementation of a Proof-of-Concept MMORPG Using CSP and occam-pi.

Allan McInnes

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005