Jonathan Peter Lewis
- School of Computer Science - Teaching Fellow
School of Computer Science
North Haugh
St Andrews
Fife
KY16 9SS
United Kingdom
E-mail: jon.lewis@st-andrews.ac.uk
Direct phone: +44 (0)1334 461630
Research publications
Channel and Active Component Abstractions for WSN Programming: A Language Model with Operating System Support
Harvey, P., Dearle, A., Lewis, J. P. & Sventek, J. 2012 SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks. p. 35-44Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Towards verifying correctness of wireless sensor network applications using insense and spin
Sharma, O., Lewis, J. P., Miller, A., Dearle, A., Balasubramaniam, D., Morrison, R. & Sventek, J. 2009 Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Pasareanu , C. S. (ed.). Springer, p. 223-240 18 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A component-based model and language for wireless sensor network applications
Dearle, A., Balasubramaniam, D., Lewis, J. P. & Morrison, R. Jul 2008 32nd annual IEEE International Computer Software and Applications: COMPSAC 2008, 28 July-1 August 2008, Turku, Finland. IEEE Computer Society, p. 1303-1308 6 p. (IEEE COMPSAC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution