Insense Papers

Publications and slides related to the Insense language.

Software Compostion 08:

A Composition-Based Approach to the Construction and Dynamic Reconfiguration of Wireless Sensor Network Applications, Dharini Balasubramaniam, Alan Dearle & Ron Morrison; Proceedings of the 7th International Symposium, Sofware Composition 2008, Budapest, Hungary, March 29-30, 2008, in Springer Verlag Lecture Notes in Computer Science Volume V4954/2008, ISBN 0302-9743 (Print) 1611-3349 (Online) pp 206-214. springerlink

CORCS 08:

A Component-based Model and Language for Wireless Sensor Network Applications, Alan Dearle, Dharini Balasubramaniam, Jonathan Lewis, Ron Morrison; in Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July – 1 August 2008, Turku, Finland. IEEE Computer Society 2008, ISBN 978-0-7695-3262-2 pp 1303-1308. ieeelink

SPIN 09

Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin, Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek; In proceedings of 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, pp. 223-240,  Lecture Notes in Computer Science, springerlink.

InterNode11

High-level abstractions for programming self-managing wireless sensor network applications, Jonathan Lewis and Alan Dearle; School of Computer Science Technical Report, University of St Andrews, Fife KY16 9SX, Scotland.

SENSORNETS 2012

Channel and Active Component Abstractions for WSN Programming: A Language Model with Operating System Support, Paul Harvey, Alan Dearle, Jonathan Lewis and Joseph Sventek, to appear in the proceedings of the 1st International Conference on Sensor Networks, Rome, Italy, 2012.