Research output per year
Research output per year
-
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
File -
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
File -
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
File -
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