Dr Jonathan Lewis
Director of Teaching
Lecturer
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-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; 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, J., Marocco, D., Meyer, J., 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