Dr Jonathan Lewis

Director of Teaching

Lecturer

Researcher profile

Phone

+44 (0)1334 46 3252

Email

jon.lewis@st-andrews.ac.uk

 

Selected publications

• 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 › peer-review

• 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

• 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

• 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

• Enabling nonholonomic smoothness generically allowing for unpredictable drift

  Weir, M. K., Lewis, J. P. & Bott, M. P., 2008, 10th International Conference on Control, Automation, Robotics and Vision, 2008. ICARCV 2008. IEEE, p. 2072-2077 6 p.

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

• 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, From Animals to Animats 9: 9th International Conference on Simulation of Adaptive Behaviour. Nolfi, S., Baldassarre, G., Calabretta, R., Hallam, JCT., Marocco, D., Meyer, JA., Miglino, O. & Parisi, O. (eds.). Springer-Verlag, p. 239-250 12 p. (Lecture Notes in Computer Science; vol. 4095).

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

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

  Lewis, J., Hart, E. & Ritchie, G., 1998, Parallel Problem Solving from Nature — PPSN V. Springer, Vol. 1498. p. 139-148 10 p. (Lecture Notes in Computer Science).

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

 

See more publications