UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for '- no address book entry -' ordered by Year. (3)

2009 2007 2005

2009

Towards Verifying Correctness of Wireless Sensor Network Applications using Insense and Spin
Sharma,O. Lewis,J. Miller,A. Dearle,A. Balasubramaniam,D. Morrison,R. Sventek,J. Proceedings of the 16th Spin workshop (Spin'09), Lecture Notes in Computing Science 5758 pp 223--240 Springer [More Details].

2007

Detecting Worm Variants using Machine Learning
Sharma,O. Girolami,M. Sventek,J.S. Proceedings of the 3rd International Conference on emerging Networking EXperiments and Technologies (CoNEXT), New York, NY, USA, December 2007 ACM [More Details].

2005

Self-Managed Cell Simulator
Heeps,S. Sharma,O. pp 1-13 [More Details].