Harvey, P , Dearle, A , Lewis, JP & Sventek, J 2012, ' Channel and Active Component Abstractions for WSN Programming: A Language Model with Operating System Support '. in SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks. pp. 35-44, 1st International Conference on Sensor Networks, SENSORNETS 2012, Rome, Italy, 24-26 February.

Sharma, O , Lewis, J , Miller, A , Dearle, A , Balasubramaniam, D , Morrison, R & Sventek, J 2009, ' Towards verifying correctness of wireless sensor network applications using insense and spin '. in CS Pasareanu (ed.), Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Lecture Notes in Computer Science, vol. 5578, Springer, pp. 223-240, 16th International SPIN Workshop on Model Checking in Software , Grenoble, France, 26-28 June.

Dearle, A , Balasubramaniam, D , Lewis, JP & Morrison, R 2008, ' A component-based model and language for wireless sensor network applications '. in 32nd annual IEEE International Computer Software and Applications: COMPSAC 2008. IEEE COMPSAC, IEEE Computer Society, pp. 1303-1308, 32nd Annual IEEE International Computer Software and Applications Conference, Turku, Finland, 28-1 August.

Weir, MK , Lewis, JP & Bott, MP 2008, ' Enabling nonholonomic smoothness generically allowing for unpredictable drift '. in 10th International Conference on Control, Automation, Robotics and Vision, 2008. ICARCV 2008. IEEE, pp. 2072-2077, 2008 10th International Conference on Control, Automation, Robotics and Vision, ICARCV 2008, Hanoi, Vietnam, 17-20 December.

Weir, M , Buck, A & Lewis, J 2006, ' POTBUG: A mind's eye approach to providing BUG-like guarantees for adaptive obstacle navigation using dynamic potential fields '. in S Nolfi, G Baldassarre, R Calabretta, JCT Hallam, D Marocco, JA Meyer, O Miglino & O Parisi (eds), From Animals to Animats 9: 9th International Conference on Simulation of Adaptive Behaviour. Lecture Notes in Computer Science, vol. 4095, Springer-Verlag, pp. 239-250, 9th International Conference on Simulation of Adaptive Behaviour, SAB 2006, Rome, Italy, 25-29 September.