Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

Harvey, P., Dearle, A., Lewis, J. and Sventek, J. (2012) Channel and active component abstractions for WSN programming - a language model with operating system support. In: SensorNets 2012, Rome, Italy, 24-26 Feb 2012,

Galpin, L., Brenninkmeijer, C., Gray, A., Jabeen, F., Fernandes, A. and Paton, N.W. (2011) SNEE: a query processor for wireless sensor networks. Distributed and Parallel Databases, 29(1-2), pp. 31-85. (doi: 10.1007/s10619-010-7074-3)

Sharma, O., Lewis, J., Miller, A. , Dearle, A., Balasubramaniam, D., Morrison, R. and Sventek, J. (2009) Towards verifying correctness of wireless sensor network applications using insense and spin. Lecture Notes in Computer Science, 5578, pp. 223-240. (doi: 10.1007/978-3-642-02652-2_19)

Koliousis, A. and Sventek, J. (2007) Management of Networked Sensor Systems. Technical Report. University of Glasgow, Glasgow, UK.

Ballarini, P. and Miller, A. (2006) Model checking medium access control for sensor networks. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 255-262. (doi:10.1109/ISoLA.2006.16)

This list was generated on Thu Jul 9 05:28:03 2020 BST.