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

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

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

View all

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

View graph of relations