Skip to content

Research at St Andrews

University > Research portal > Researchers > Jonathan Peter Lewis

Jonathan Peter Lewis

Person

Jonathan Peter Lewis
Postal address:
School of Computer Science
North Haugh
St Andrews
Fife
United Kingdom

E-mail: jon.lewis@st-andrews.ac.uk

Direct phone: +44 (0)1334 461630

Research publications (6)

  1. 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-44

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  2. 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; vol. 5578)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  3. 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

View all

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations