Computer Science @ University of St Andrews

University of St Andrews crest

Dr Jonathan Lewis

Dr Jonathan Lewis

Position: Teaching Fellow

Email: jon.lewis@st-andrews.ac.uk

Office: JC0.26 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1630

Home page: http://jonl.host.cs.st-andrews.ac.uk

Recent Publications

Channel and active component abstractions for WSN programming: A language model with operating system support

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.

Towards verifying correctness of wireless sensor network applications using Insense and Spin

Sharma, O , Lewis, JP , 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.

A component-based model and language for wireless sensor network applications

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, 28 July-1 August 2008, Turku, Finland. IEEE COMPSAC, IEEE Computer Society, pp. 1303-1308, 32nd Annual IEEE International Computer Software and Applications Conference, Turku, Finland, 28-1 August.

Enabling nonholonomic smoothness generically allowing for unpredictable drift

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.

POTBUG: A mind's eye approach to providing BUG-like guarantees for adaptive obstacle navigation using dynamic potential fields

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.

A comparison of dominance mechanisms and simple mutation on non-stationary problems

Lewis, J , Hart, E & Ritchie, G 1998, ' A comparison of dominance mechanisms and simple mutation on non-stationary problems ' PARALLEL PROBLEM SOLVING FROM NATURE - PPSN V , vol 1498, pp. 139-148.