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 463252

Research publications (7)

  1. Unikernel support for the deployment of light-weight, self-contained, and latency avoiding services

    Jaradat, W., Dearle, A. & Lewis, J. 21 Mar 2018 1 p.

    Research output: Contribution to conference › Abstract

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

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

View all

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

View graph of relations